逻辑观视角指称暧昧的疑惑探析,逻辑学论文.docx

逻辑观视角指称暧昧的疑惑探析,逻辑学论文摘 要： 词项的指称在模态语境下会发生游移，蒯因称之为“指称暗昧 ,详细表现为模态命题中会出现单独词项同一替换原理失效和表示出式量化存在概括原则失效，并以为模态逻辑无法解决该问题，因而质疑其合法性。蒯因把指称暗昧视作无解难题，源于其秉承的经典外延主义逻辑观，只要对这种逻辑观进行有限发展，引入可能世界语义学及其哲学解释，就能够准确刻画模态语境下的词项指称，进而无矛盾地解决指称暗昧问题。 本文关键词语 : 蒯因;克里普克;模态逻辑;指称暖昧;可能世界语义学;逻辑观; 为消除命题逻辑中的“蕴含怪论 ,刘易斯提出“严格蕴含 概念，并以模态词“可能() 、“必然() 进行刻画，创始当代模态逻辑研究先河。“严格蕴含怪论 的存在，使其没有能实现消除“蕴含怪论 的初衷112-18,但模态逻辑作为逻辑科学的重要分支却蓬勃发展起来，从时态逻辑、道义逻辑到相干逻辑、衍推逻辑以致归纳逻辑某些分支都与模态逻辑密不可分。在这里经过中也不断有人对模态逻辑提出质疑，华而不实以蒯因“模态语境必然导致指称暗昧 的观点最为着名。本文将表示清楚，蒯因的质疑立足于经典外延主义逻辑观，只要对其逻辑观进行有限发展，引入可能世界语义学相关解释，就能够无矛盾地消除模态语境下的指称暗昧性。 一、指称暗昧及其表现 指称暗昧是指如下情形：词项的指称在普通语境下本来非常明确，但在模态语境下却会变得游移不定，可能指称这个对象，可以能指称另一个对象，用蒯因的话讲就是变得“暗昧 。指称暗昧会导致在正常语境下为真的命题，在模态语境下却为假，详细表现为两种失效：单独词项同一替换原理失效和模态表示出式量化存在概括原则失效。 同一替换原理是指“给定一个关于同一性的真陈述，能够用它的两个词项中的一个替换另一个出如今任一真陈述中的词项，而其结果将是真的 2129,是支配同一性的基本原理之一。但在词项的某次或某几次出现不是纯指称性时，会发生同一替换原理失效。 词项的非纯指称性出现又有两种情形：一是混淆了对词项的提及和使用。例如下面两个陈述： (1)西塞罗(Cicero)=杜里(Tully); (2)“Cicero 有六个字母。 在(2)中，“Cicero 是作为一个名词被提及，而不是作为指称西塞罗这个人的名称被使用，它的出现是非纯指称性的。这时若根据(1)来进行同一替换，会得到假陈述 (3)“Tully 有六个字母。 二是陈述中使用了内涵性语组，如“知道 、“相信 等。弗雷格以为，当词项出如今由上述语组限定的陈述中时，是“间接出现 而非“直接出现 ,不再具有单纯的指称意义而是有了涵义色彩，可能影响命题的真值3。蒯因继承弗雷格的思想，以为上述语组造成了内涵语境，词项在华而不实的出现是非纯指称性的，会导致同一替换失效。他进而指出模态语组“必然 也同样会使语境成为内涵语境(或准确称为模态语境)并同样导致同一替换失效。如关系陈述 (4)9必然大于7, 这个陈述一般被以为是真的，而根据另一个为真的同一陈述 (5)行星的数目=91 对(4)施以同一替换，所得到的陈述 (6)行星的数目必然大于7 则就变为假。 在指出模态语境下会出现单独词项同一替换失效情形之后，蒯因进一步考察了他以为更重要的模态量化式情形。蒯因赞同罗素的摹状词理论4,以为单独词项可改写为摹状词，而摹状词又能够通过解释为量化式而消去。通过这样的逻辑处理，他得出着名的本体论承诺“存在就是作为一个变项的值 215,即理论最终关涉的对象不应被看作是由单独词项命名的事物，而是要看作量化式变元的值2134。因而他以为讨论指称暗昧性对模态量化式的影响更为重要，假如模态量化式能够克制指称暗昧，则单独词项同一替换失效将不构成对模态逻辑的致命反驳，反之，模态逻辑就无药可救了。考察表示清楚，指称暗昧同样折磨着模态量化式，量化理论中的存在概括原则在应用于模态式时会失效。 量化运算有全称举例运算和存在概括运算两种，但它们是同一原理的两个方面，因而只须集中考察存在概括运算即可。存在概括是这样一种逻辑运算，通过它，“我们能从定理中得到定理(?x),只是在包含x的自由出现的所有位置上，都包含y的自由出现 2110-111。如由“苏格拉底是有死的 进行存在概括可得“(?x)(x是有死的) 。假如用存在概括原则对语句(4)进行量化，会得到 (7)(?x)(x必然大于7)。 蒯因以为，对这个句子，根据(4),可知知足条件的数是9;再根据(5),又可知就是“行星的数目 知足条件，但若成认这点，则与 “语句(6)为假 的一般信念相矛盾。于是，陈述(7)只能是一个无意义的句子。追查深层原因，蒯因以为还是由于模态词的引入导致的指称暗昧性，即模态的知足“一般讲来不是有关对象的特性，而是要依靠于指称对象的方式 2137,对模态表示出式进行存在概括只能得到无意义的式子。 实际上蒯因对量化式的分析仍然借助于单独词项，从其讨论经过看，句子(7)之所以无意义，还是基于“9 与“行星的数目 应该能够进行同一替换的信念。他自个也意识到了这点，于是通过一种新的不牵涉到单独词项的方式方法来论证(7)的无意义，“凡大于7的东西是一个数，而任一给定的大于7的数都能够由各种条件之一唯一地决定。有的条件有x 7作为必然的后承，有的条件则否。 2138比方，同一个数可由条件 (8)x=x+x+xx 和条件 (9)恰有x个行星 来唯一决定，但(8)有“x 7 作为必然后承，而(9)则没有。“必然大于7这个性质应用于一个数x是没有意义的，必然性只属于x 7和举出x的特殊方式方法之间的联络。 2138蒯来由此证明，即便不考虑单独词项的同一替换，模态语组的指称暗昧性也会导致存在概括原则失效，对模态式进行量化难以实现。 总之，正如蒯因着名论文(指称和模态的题目所暗示的，只要考虑模态情况，词项指称必然出现与现实情形不同的游移，指称暗昧不可避免。 二、对指称暗昧问题的解决 蒯因对模态逻辑十分是量化模态逻辑的质疑是切中要害的，要为模态逻辑博得合法地位必须解决指称暗昧问题。早期的逻辑学家如丘奇、卡尔纳普、斯莫里安等采取不同的弥补方案，以期消除指称暗昧，维护模态逻辑合法性。丘奇、卡尔纳普走的是内涵主义道路，但其问题在于：一是需要成认内涵对象(“概念实体 )这样的可疑存在物，解释复杂且远离直观；二是建立在“同义性 或“分析性 之类的含混概念之上；三是从技术上难以准确刻画“分析上等值 。斯莫里安的方案虽可解释单独词项互相替换失效的情形，但牵涉到模态量化式时，则不得不求助于分析哲学家们一致厌恶的本质主义。以上两种弥补方案都不算成功。 既然模态语境下词项指称的游移无法避免，解题的关键就在于怎样准确刻画这种游移并从哲学直观层面给出合理解释。以克里普克的工作为基础的可能世界语义学及其哲学解释提供了解题工具。 对于模态逻辑的可能世界语义解释，可从两个层面把握。第一个层面是模态逻辑的形式语义学。较之经典一阶谓词语义学，模态谓词语义学(以LQM及其语义解释为例)一是对形式语言进行模态扩张，在普通一阶语言基础上引进模态算子(“必然 )及相应公式构成规则，构成模态谓词语言；二是对语义框架进行了扩张，把一阶语义仅包含个体集D的一元框架扩张为模态语义的四元框架F= W,R,D,H ,在这个被称为克里普克框架1390的基础上，能够进行赋值、给出解释模型、定义真和有效性等。1346-355第二个层面是模态语义学的可能世界解释。从日常模态直觉出发，用可能世界理论对模态形式语义进行直观解释。在框架 W,R,D,H 中，W被解释为可能世界集，对它的每一个元素wW,都解释为一个可能世界。这些可能世界并非毫不相干，R表示它们之间的可及关系。D是可能世界集W中所有个体的集合，对每一个wW,都有D的一个子集与之对应，函数H描绘叙述它们之间的映射关系H(w)=d:d是w中的个体?D。这一解释较之一阶谓词解释引入了可能世界的观念。 可能世界理论为解决指称暗昧问题提供了技术手段和哲学支撑，其基本思路如下： 首先，考察可能世界中的个体 (对象),会发现可能世界解释下的个体，在不同的可能世界能够处于不同的集合(用谓词表示)中，即可能具有不同的属性。基于可能世界语义框架同时有可能世界、个体集以及从可能世界到特定个体的映射函数H,能得出这样的推论：存在作为一系列可能情况的可能世界，各个可能世界包含的个体能够一样，可以以不同。又由于谓词可解释为具有某种性质的个体的集合，则某个体在不同的可能世界能够在某谓词描绘叙述的集合中，可以以不在该集合中。 其次，考察指称个体的指示词专名和摹状词，会发现可能世界解释下，专名的指称始终不变，而摹状词的指称会发生变化。专名是严格指示词，只要指称而无涵义，其指称在各个可能世界保持不变549-50。而摹状词不仅有指称而且有涵义，其涵义可看作专名与谓词的函项，个体a在可能世界w1知足某摹状条件即具有某种属性，而在可能世界w2则不知足(可能是个体b知足该摹状条件)。因而，摹状词的指称在不同可能世界间会发生游移，是非严格指示词557-58。例如，专名“尼克松 特指尼克松这个人，这点在各个可能世界中固定不变，即便在某个可能世界不存在尼克松这个人也无碍该判定；而一般被以为是用来描绘叙述尼克松的摹状词“1972年美国总统 则不具备这种指称严格性。设想“尼克松的对手汉弗莱在总统竞选中获胜 的可能情况，在这一可能世界中知足“1972年的美国总统 摹状性质的就是汉弗莱而非尼克松。 最后，考察包含指示词的模态命题，会发现其在所有相关可能世界中都真时才为真，仅现实世界真，不一定为真。模态语境下词项与指称之间不是一对一关系，而是一对多关系。要确定词项的指称，不仅要考虑现实世界，还要考虑可能世界，十分要考虑摹状词的指称可能发生游移。这样，单独词项的指称不再仅仅是它在现实中所指的那个对象，而是相应于不同可能世界的一组一样或不同的对象。设A是一个专名，B和C是摹状词，d1、d2、d3是不同个体， w1是现实世界，w2、w3是其他可能世界，A,B,C的指称可表示如下： 可见，A和B、C在现实世界中指称一样，在普通外延语境下能够进行同一替换，但若考虑模态语境下的可能世界，指称便不再一样，出现蒯因所谓“指称暗昧 ,再施以同一替换所得命题为假。这就解释清楚了模态语境下同一替换原理和存在概括原则失效的内在原因。 综上，引入可能世界语义学对模态语境下的词项指称游移进行刻画，蒯因眼中“暗昧 的指称重新变得清楚明晰明确，实际上是无矛盾解决或曰从根本上消解了指称暗昧问题。 三、从逻辑观看“指称暗昧之惑 这里还有一个可称为“指称暗昧之惑 的问题：为什么在可能世界理论框架中能够刻画并解决的模态语境下词项指称游移，却被蒯因以“指称暗昧 的名义公布无解?难道只是由于他缺少刻画模态语境的技术手段吗?追问“指称暗昧之惑 产生的深层根本源头，其意义不逊于解决指称暗昧问题。 蒯因秉承的经典外延主义逻辑观决定了在他那里必然会产生“指称暗昧之惑 。这种逻辑观的基本特点有二：一是对“逻辑 的理解主要基于经典一阶逻辑；二是坚持外延原则。这两个特点实际又是统一的，都与当代逻辑产生发展的历史联络在一起。 数学方式方法的引入是当代逻辑产生的关键。布尔、康托尔、弗雷格的工作使数学与逻辑紧紧联络在一起，尤其是被视作建立当代逻辑的弗雷格，以为“算术的对象就是逻辑的对象 , “议论自然数能够化归为议论集合、类或种类，用逻辑学家的术语来讲，就是概念的外延 6569。这种处理词项或语句时只考虑其外延的外延原则深深影响了经典逻辑，一阶系统中的常项与变项一般仅牵涉个体对象7227,它们与谓词的关系也一般被视为个体与类的关系8111,都是从外延角度出发刻画逻辑关系，根本不牵涉内涵问题。当代逻辑的演算系统大多可在语形上视作一阶演算的形式化扩张，也就自然遵循外延主义的语义解释。蒯因的逻辑观就是在这种背景下构成的，这可以从他对变异逻辑的态度看出9。 在这种逻辑观下，指称同一对象的专名与摹状词(包括摹状不同性质的多个摹状词),由于指称一样而在逻辑分析经过中具有同样的地位，华而不实任何一个的逻辑性质也为其他词项所具有。然而这种信念被一些必须成认为正确的模态直觉所困扰在模态语句中施以同一替换可能会导致真值变化；存在概括原则由于描绘叙述不同性质的摹状词在必然逻辑后承上的差异而失效，也就是出现蒯因所谓的“指称暗昧 。这讲明经典外延主义逻辑观在处理以模态语境为代表的内涵语境时力不从心。逻辑学家必须在下面两个方向间做出选择：要么拘泥于经典外延主义逻辑观，成认逻辑学在根本上无力处理模态或内涵问题；要么对逻辑观有所发展，寻找能够处理模态(内涵)语境的技术手段。蒯因无疑选择了前者，这表如今他一方面径直否认了丘奇、卡尔纳普的内涵主义方案；另一方面自个也无意去构建模态逻辑的形式语义学。 解决指称暗昧问题并在更高层次层面消除“指称暗昧之惑 的前提在于逻辑观上的发展。外延语境下词项与指称间确实定性关系在模态语境下会被打破并发生游移，这是任何逻辑学家都能看到的毕竟行星的数目很可能不是9而是其他数字。与蒯因不同，以克里普克为代表的新一代逻辑学在经典外延主义逻辑观的基础上又向前迈进了一小步。 这里的“一小步 意指：一方面他们不像蒯因那样将逻辑刻画的范围局限于“外延 ,而是将“内涵 因素也纳入华而不实；另一方面，他们带有内涵主义色彩的逻辑观又不是对经典逻辑观的革命性颠覆，而只是一种有限发展其基本观念、方式方法与经典逻辑观没有质的差异不同，归根到底要走外延主义道路1398。详细而言，他们要找一条新途径，把需要刻画的具有内涵色彩的表示出式转化为外延表示出式，然后再从外延角度进行处理。正是从这种新逻辑观出发，才找到可能世界语义学这一技术手段，在四元框架F= W,R,D,H 中，每一可能世界都对应着一个个体集，这种对应以映射函数H来表示，这个函数实际上就是从词项到其指称的映射。这样就能在词项(十分是具有涵义色彩的词项)与其指称间确立确定性的联络，对模态语境下可能发生游移的“暗昧 指称进行准确刻画。而这一点正是蒯因这样的经典外延主义逻辑观持有者固然能够清楚明晰觉察到却无力刻画的。 以下为参考文献 1周北海模态逻辑导论M北京:北京大学出版社, 1997. 2蒯因.从逻辑的观点看M江天骥, 宋文淦,张家龙，等,译.上海:上海译文出版社, 1987. 3弗雷格论涵义和所指A/马蒂尼奇语言哲学M.牟博。杨音莱,韩林合等，译.北京:商务印书馆。1998:375-397. 4罗素墓状词A/马蒂尼奇.语言哲学M.牟博,杨音莱， 韩林合等 ,译北京:商务印书馆, 1998:400-413. 5克里普克.命名与必然性M.梅文,译.上海:上海译文出版社，1988. 6威廉涅尔,玛莎涅尔逻辑学的发展M张家龙,洪汉鼎,译北京:商务印书馆, 1985. 7陈波.逻辑学十五讲M北京:北京大学出版社, 2008. 8赵总宽,陈慕泽,杨武金当代逻辑方式方法论M.北京:中国人民大学出版社, 1998. 9陈波.经典逻辑与变异逻辑J哲学研究, 2004(10):57-63. 注释 1这里沿用了蒯因用过的例子,那时天文学的结论是太阳系有9大行星