奎因对模态逻辑的批评

奎因对模态逻辑的批评包括：(i)因为模态语境是指称不透明的,所以对其量化纳入没有意义;(ii)一些关于必然真理的经验知识与关于必然性的语言学理论不相容;(iii)模态语境中的量化纳入承诺了“亚里士多德式的本质主义”。丘奇,克里普克和福雷斯达尔对奎因提出了批评。他们提出,模态构造应该是外延上不透明但指称上透明的。奎因式诉诸于模态环境指称不透明的批评,在不采用单称词项的模态逻辑中不成立。他对本质主义的批评引入了一种必然性,但这种必然性没有办法用语言陈述词项进行解释。通过对语言中名称使用的讨论,我们可以看出,有关包含名称的同一性陈述的真值的经验知识,和卡苏洛称之为“一般模态地位”的先验知识是相容的。既然奎因论证了真同一性陈述的必然真是逻辑真,而且所有逻辑真都遵循戴维森式的意义理论（另文讨论）,那么我们可以给出一个关于包含名称的同一性的真陈述的模态地位的先验知识的语言学理论。     

论奎因的逻辑论题

奎因通过定义逻辑真句子为他的逻辑论题辩护,即逻辑等于带等词的一阶逻辑,我们称之为奎因论题。奎因早期没有否认集合论属于逻辑,尽管他已经认识到集合论与逻辑之间相互区别的重要性。奎因后期在《逻辑哲学》中明确说集合论不属于逻辑。逻辑真句子的基础是逻辑概念和非逻辑概念的划分。塔尔斯基式的逻辑概念标准可以为奎因论题提供一种根本性的辩护。奎因批评模态逻辑,说它没有明确的语义。即使量化模态逻辑有了可能世界语义学,奎因论题仍然可以通过说明模态词不是逻辑词而得到辩护。     

概念变更与指称

模态逻辑的量化从其诞生之日起就饱受争议,支持者有卡尔纳普、丘奇等人,而蒯因是最著名的反对者之一,后者从同一性替换原则出发,论证了量化模态逻辑会导致模态区别的消解。然而,卡尔纳普等人的进路在蒯因的论证面前基本是站不住脚的,主要原因在于他们的语义学及相关的强本质主义立场;如引入弱本质主义和一种"双层语义学",则可以避免模态区别被消解的下场,并让量化模态逻辑变得可行。这种双层语义学把单称词项与普遍词项分开来,并赋予它们两种不同的语义学。在普遍词项那里,涵义是首要的,而在单称词项那里,重要的是指称。由此可以解决对象的识别问题,并使得量化模态逻辑成为可能。     

分析性概念的严格定义与哲学考察

刘壮虎先生曾对本文提出一些批评和建议,持此致谢。引言逻辑真、必然性和分析性是逻辑哲学和哲学经常讨论和涉及到的重要概念。今天逻辑真和必然性都得到了逻辑语义学的严格刻画,唯有分析性还是个空白。这并不表明分析性的重要性弱于其他两个概念。50年代,奎因的一篇檄文《经验论的两个教条》曾在西方哲学界掀起了一场待续十余年的激烈争论。其中所反对的第一个教条就是分析陈述与综合陈述之间存在根本的区别。奎因首先区分了两类分析陈述,逻辑真的分析陈述以及依赖同义性概念或其他处理的第二类分析陈述,它们分别以以下两个陈述为典型…     

谓词抽象及其作用

当今,命题模态逻辑作为一种标准的形式工具,已被广泛应用于计算机科学和人工智能的各个领域.然而,与命题模态逻辑不同,通常的一阶模态逻辑语言的表达力是不充分的,这是许多重要问题背后的原因所在,这些重要问题包括:模态逻辑中没能出现与经典逻辑相媲美的赫伯兰(Herbrand)定理、非严格指称问题、同一性问题、罗素的限定摹状词理论、动态逻辑的指派表达等等.美国当代逻辑学家、证明论专家菲汀(M.C.Fitting)充分认识到通常的一阶模态逻辑表达力不充分所产生的弊端,他通过把谓词抽象引入通常的一阶模态逻辑的语形和语义,以一种极其简单和自然的形式加强了一阶模态语言的表达力,从而使上述问题迎刃而解.本文首先介绍谓词抽象的基本思想及其简史,然后重点阐述谓词抽象在模态赫伯兰定理以及其他领域的重要作用.     

摹略万物之然,论求群言之比--模态逻辑新观念述评

模态逻辑是一个多方面的学科,它起初在哲学中得名,在很长一段时间中作为"必然和可能的逻辑"而被人所知.但是,把模态逻辑视为关于"可能"和"必然"的逻辑至少在20世纪60年代末就已经过时."模态语言是研究关系结构的一种简单但富于表达力的语言"、"模态语言为关系结构提供一种内部的、局部的视角"、"模态语言不是孤立的形式系统",这就是关于模态逻辑的新观点(这种观点有时称为"阿姆斯特丹观点").新观点不再把模态逻辑视为任意种类的形而上学系统,而是作为研究行为、知识以及我们周围任何其他具有良好结构的具体事物的逻辑形式系统.     

以谓词表达模态

以谓词表达模态,在表达力上比算子具有更明显的优势,但蒙塔古悖论和语义的不完善曾使模态谓词遭遇技术困境。采用"模态"与"真"相结合的研究策略,不仅可以在语形上利用真谓词限制模态谓词的表达力实现模态谓词的相容性,亦能在语义上借助语义真理论定义模态谓词的可能世界语义学。因此,以谓词表达模态可以促进模态逻辑的研究,实现各种模态概念与真概念的结合,体现真概念在逻辑研究中的基础性地位。     

等词可替换性原则和模态语境——奎因和卡尔纳普之间的分歧

一、奎因奎因批评模态逻辑的武器是所谓的等词可替换性原则。根据他的表述,“这一原则规定:给定一个真等同陈述,可以用它的两个词项中的一个替换另一个出现在任一真陈述中的的词项,得到的陈述仍是真的。”(Quine,2004,p.360)显然,这一原则在模态语境下是失效的,因为将真等同陈述“行星的数目=9”中的一个词项“行星的数目”替换另一个出现在真陈述“9必然大于7”中的词项“9”,得到的陈述“行星的数目必然大于7”却是假的。照一般意见,“9大于7”是数学真理,是必然的,而“行星的数目大于7”是事实真理,不是必然的。(同上,pp.363-364)等词可…     

可设想性是否蕴含可能性?——兼评模态知识论领域的若干争论

模态知识论的核心问题是"如何得知反事实命题和不确定性命题的可能性,以及得知非逻辑且非数学类知识的必然性"。本文主要考察后克里普克时代可设想性方案的研究进展,通过对模态怀疑主义、弱模态理性主义以及模态还原主义的理论剖析,重新阐释人类设想行为的约束条件,并对模态的多样性进行简单刻画。     

分析哲学和向黑格尔的回归（续）

分析的黑格尔主义摩尔式的经验主义的可能性是以直接知识为基础的,由于经验主义受到各个方面的批判,这种可能性也已经被削弱了。这些批评始于后期维特根斯坦,然后又在纽拉斯、奎因、塞勒斯、戴维森、罗蒂和其他一些人那里得到了继续。伴随着这些批评而来的是两个很不相同的为关     

模糊对象和模糊性的逻辑

本文最初写于2001年,旨在探究语言上的、概念上的与本体论中的模糊性问题。文章始于这样一个问题,即模糊性仅仅是一个词的特征,抑或它也是我们的概念的特征,甚或是实在的特征？其中主要的关注点在于模糊对象的问题和相关的模糊同一性的问题。本文首先论证,即便模糊概念总可以得到进一步澄清,每个概念工具也必定是模糊的。其次,本文认为,如果不仅仅是词语,而且这些词语所表达的概念也是模糊的,那么可以论证,对象也必定是模糊的。第三,那种认为模糊对象必定具有模糊的同一性的思路是一种误解。最后一点尤为重要,因为对于模糊对象的抵制部分就来自于下述观念,即这种对象是不可能的,因为它们不遵守逻辑的同一律。本文也论述了,通过放弃二值原则以使得模糊陈述具有真和假之间的某个值或根本就没有真值的办法,也无助于解决模糊性问题,而且恰恰会造成相反的情况,即妨碍我们找到问题的解决之道。本文表明,在为真和既不真又不假之间,难以清晰地划分界限,正如在模糊的情形下要在真和假之间划界一样困难。本文的方法是利用量化模态逻辑的框架和语义学来处理这些问题。基于哥德尔模式的模态逻辑系统T,本文提出了一种关于清晰性和模糊性的量化逻辑,其中利用清晰性算子来代替必然性算子。文章还进一步讨论了模糊性和概念工具的发展之间的关联。     

维特根斯坦与新指称理论——兼答欣提卡问题

欣提卡主张,前期维特根斯坦的指称观与新指称理论高度相似,进而暗示新指称理论存在着重要理论缺陷。通过批判性地考察维特根斯坦前后期的指称观和分析《逻辑哲学论》中的名称和对象之关系,本文指出前期维特根斯坦与新指称理论迥然有别,从而对欣提卡的哲学问题给出了答复。通过对《哲学研究》中关于直接指称表达式讨论的分析,本文指出,后期维特根斯坦对指示词和专名的性质作出了区分,其指称关系主张具有消去论特征。本文还进一步批评了那种认为后期维特根斯坦是指称的描述主义者的流行观点,并指出语境原则是贯穿前后期维特根斯坦指称论述的基本思路。     

模态对应理论述评

模态逻辑的关系语义(也称克里普克语义)起源于20世纪60年代左右关于模态词的解释,其主要特征是,与之前的模态代数理论[1]相比,作为一种塔尔斯基式的语义,使模态句法对象与语义结构     

空名与虚构实体

本文论证了如下观点:第一,存在是个体的一个真正的谓词.尽管说每一样东西存在可能是不足道的,但很多东西只具有偶然的存在.第二,虚构实质上是一种假装,虚构名称不具有普通名称的功能,它们只是在假装进行指称,关于虚构对象的陈述也只是假装表达了命题,而不是真的表达命题.第三,“虚构的”一词可以叠置,虚构实体是由于人们的活动才得以存在的一种特定类型的抽象实体,它们的存在取决于虚构作品是否被创造出来,因而虚构实体的存在是一个诉诸经验便可解决的问题,在日常语言中,我们完全可以对虚构实体进行量化并建立同一性.     

模态与本质：先验的模态本质主义知识论——以洛的严肃本质主义知识论为例

本质主义在近几年模态知识论的讨论中得到了大量的关注和认可。继法恩对本质的模态性解释路径提出挑战之后,学界掀起了新亚里士多德式的本质主义的新浪潮。洛提出了一种先验的严肃本质主义,他认为我们可以凭借对给定事物的真实定义的理解而把握到该事物的本质,然后再依据桥律(□xP→□P)我们就可获得模态知识。我们认为,面对自然类事物的模态探讨时,运用纯粹的先验方法总会顾此而失彼,而采用一种混合式的分析进路将会是未来探讨如何获得模态知识的主要趋势。     

论杰克逊的描述主义（英文）

克里普克提出对描述主义的著名反驳已经40多年,直接指称理论已成为语言哲学的一个新正统。杰克逊(F rank Jackson)在论文"关于指称和描述的修正"和其他一些著述中,提出一种声称能反驳直接指称论者所有严厉批评的新版本的描述主义。本文旨在评价杰克逊的观点,并就其对模态论证和语义论证的反驳提出质疑。     

逻辑哲学研究述评(下)

1982年,格雷林出版专著《哲学逻辑导论》,1997年又出了修订版。他认为,哲学逻辑不是关于逻辑的,也不是逻辑;“哲学逻辑是哲学,尽管是充满逻辑信息和对逻辑敏感的哲学,依然是哲学”。书中讨论的题目是:命题、分析性、必然性、存在、同一性、真、意义和所指。选择这些内容并把它们称为哲学逻辑,主要有三个理由:第一,“哲学逻辑”     

语境同义性逻辑(英文)

众所周知,基于可能世界语义的内涵逻辑由于对意义的刻画过于粗粝而导致了所谓的"超内涵问题"。为了解决超内涵问题,出现了各种超内涵逻辑,其中由Suszko提出的带等词的命题逻辑(SCI)是超内涵逻辑中最基本的一种。本文是对SCI的精炼,其动机是语境同义性论题(CST)。该论题认为,同义性标准具有语境依赖性。基于认知语境主义,我们给出了CST的一个论证。通过将SCI中的二元等词修改为一个三元结构,用来表示两个陈述相对某个语境表达同一命题,我们给出了CST的希尔伯特式公理系统。我们证明了该系统相对一个代数模型类是可靠的和完全的。该代数模型的论域由命题构成,同时附带一组命题上的全等关系,用以刻画相对于语境的命题同一性。我们运用该逻辑部分解决了分析悖论这一困扰逻辑学家多年的问题。与我们之前的基于相同动机的论文[17]相比,本文给出的形式语言更加丰富,从而能够表达不同语境之间以及不同语境的同义性之间的关系。     

单称命题、真理与指称（英文）

单称命题观念的可理解性和合法性是当代弗雷格主义语义学与罗素主义语义学争论的焦点问题。在模态结构下,单称命题观念与一系列强有力的基本假设相冲突。普兰廷加等人发展了一个专门针对单称命题的标准论证,试图通过归谬论证来证明单称命题观念是不融贯的。面对之于单称命题理论的这一挑战,一种颇具潜力的应对策略是区分两种真理观念,即命题在"世界里"为真与命题在"世界上"为真的区分。此策略试图表明,承诺单称命题"在世界上为真"并不导致与基本假设相冲突。本文在此专门考察这一策略的可行性。基于真理问题与指称问题的内在联系,即语句指称(真值)是语词指称的函项,我们力图证明,两种真理观念的区分实际上可还原为著名的顽固指称固定性和持续指称固定性的区分。而后一区分可以相当严格地在卡普兰的二维语义学框架下得到说明。此框架的实质基础是指称纳入的概念。文章基于对空名语义学的相关分析,通过借鉴埃文斯的描述性名称构造方式,构造了一种独特的绝对空名。最后,以此为基础,我们试图表明卡普兰框架下的指称"纳入"概念难以贯彻到底,继而,以之为基础来为单称命题观念提供辩护的策略也难以维系。     

“相对同一性”论争探析

"相对同一性"理论主张"绝对同一性"不成立,对象的同一必定是相对于种类的同一,主要观点分为D论题和R论题。深入分析关于"相对同一性"论争的不同立场,可以发现其与"偶然同一性"论争的异曲同工之处。系统把握相对同一论与偶然同一论之间的对应关联,有助于促进两大论争之间的互动,进一步澄清同一性论争的症结所在。本文力图表明,将真正的同一性陈述与其他属性陈述区分开来,可为深度辨析同一性问题提供新的支撑。