蒯因对表达式使用和提及的逻辑研究,逻辑学论文.docx

《蒯因对表达式使用和提及的逻辑研究,逻辑学论文.docx》由会员分享，可在线阅读，更多相关《蒯因对表达式使用和提及的逻辑研究,逻辑学论文.docx（24页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、蒯因对表达式使用和提及的逻辑研究,逻辑学论文摘 要： 西方逻辑学界或哲学界似乎只要弗雷格、卡尔纳普、塔尔斯基以及蒯因等为数不多的几个人严格区分了表示出式的使用和提及, 不少逻辑学家或哲学家, 甚至连罗素、刘易斯、马库斯以及赖尔之类的大家都将其混为一谈。使用和提及的区分自始至终贯穿于蒯因的逻辑研究之中, 充分具体表现出了他在逻辑研究中对精到准确性的不懈追求, 能够讲它是一把打开蒯因逻辑观之门的钥匙。本文明确地指出, 单独词项 (包括变元) 在暗昧语境中是被提及的, 而在透明语境中是被使用的, 并从使用和提及的独特视角, 以哲学的目光重新审视了蒯因的逻辑观, 进而全方位地凸显了他研究逻辑的科学精神

2、。 本文关键词语： 蒯因; 逻辑观; 使用; 提及; 蒯因是20世纪下半叶美国着名的哲学家和数理逻辑学家。他固然在逻辑学上没有什么原创性的奉献, 但是作为一位出色的阐述大师, 在逻辑理论和逻辑哲学方面的重要影响却是逻辑学界所公认的。他把逻辑研究同逻辑教学和哲学研究严密结合起来, 而逻辑教学和哲学研究都具有清楚明晰性的驱动力, 因而, 在逻辑研究方面, 他孜孜以求的也是实现这一清楚明晰性目的。他有意识地回避命题和性质而选择句子和类, 区分变元和形式字母, 尤其是严格区分表示出式的使用和提及, 这些做法正是这种清楚明晰性追求的集中具体表现出。本文明确指出, 单独词项 (包括变元) 在指称暗昧语境中

3、是被提及的, 而在指称透明语境中是被使用的, 并从使用和提及的独特视角, 以哲学的目光重新审视蒯因的逻辑观, 进而全方位地凸显了他研究逻辑的科学精神。 一、使用和提及的提出和定义 G.弗雷格 (G.Frege) 最先区分了表示出式的使用和提及, 并在长达约30年的时间中始终强调这一区分的重要性, 然而不幸的是, 他的忠告和范例并没有被当时其他逻辑学家所重视。后来, R.卡尔纳普 (Rudorf Carnap) 在(语言的逻辑句法一书中进一步讨论了这个问题, A.塔尔斯基 (Alfred Tarski) 也在(形式化语言中的真概念中指出了把整个引语看作一个简单记号的必要性。 (参见蒯因, 200

4、7a:22 23) 蒯因高度重视使用和提及这一区分的重要性。在(数理逻辑一书中, 他用十多页的篇幅专门讨论了使用和提及, 并且本书所有的定理都运用了准引语, 能够讲整本书是基于使用和提及的。 (参见蒯因, 2007:19 32) 在(逻辑方式方法一书中, 他再一次说明了使用和提及的区别。 (参见蒯因, 2007:46 48) 表示出式的使用 (use) 是指用它去命名事物、指称对象或陈述事件与事态。 而表示出式的提及 (mention) 是指, 表示出式本身被作为一述讲对象, 而不是用来指称或陈述。 (陈波, 1998:231) 表示出式的使用预设了一定类型的本体, 而它的提及则无此种本体假定

5、。 (陈波, 1998:232) 例如, 当我们讲 剑桥和波士顿毗连 时, 剑桥 和 波士顿 并不指称城市剑桥和波士顿, 因此我们不是使用剑桥和波士顿, 而是提及它们。当我们讲 剑桥和波士顿分别是英国和美国的一座城市 时, 剑桥 和 波士顿 指称了城市剑桥和波士顿, 因此我们不是提及剑桥和波士顿, 而是使用它们。 二、使用和提及与集合论 标准语言 (即初等逻辑语言) 的词典包括变元 x 、 y 和 z (由于谓词非本质地出如今初等逻辑真理中, 逻辑学家没有兴趣给出谓词词典) , 它的构造包括给变元加撇号、云谓、否认、合取和存在量化。给变元加撇号能够构成无穷多的新变元。云谓是由一个谓词和跟随其后

6、的一个或多个变元所构成的开语句。把小品词 (并非) 和存在量词 ?x 置于一个开语句之前, 把小品词 (并且) 置于两个开语句之间能够构成复合句。还能够把它们用于复合句, 进而构成更多的复合句。除此之外, 别的小品词和量词能够用上述语言来定义。 集合论语言的词典包括变元 x 、 y 、 z 和表示成员关系的谓词 (属于) , 它的构造包括给变元加撇号、属于构造、否认、合取和存在量化。属于构造能够在两个变元之间插入 构成开语句。集合论语言仅仅仅是在初等逻辑语言的基础上增加了一个谓词 , 因而只要把属于关系混谣雷同于云谓, 并且把集合作为可量化变元的值, 集合论就变成了初等逻辑。 尽管标准语言和集

7、合论语言在外表上特别类似, 但初等逻辑和集合论实际上却存在着一些显着的区别。蒯因在(答王浩一文中曾提到王浩对初等逻辑和集合论的重要区分:首先, 在本体论上, 初等逻辑是中性的, 而集合论成认集合, 因此它不是中性的;其次, 初等逻辑具有完全性, 而集合论不具有完全性;最后, 集合论具有多样性, 而初等逻辑具有单一性。 (cf.Hahn Schilpp, 1986: 646) 除此之外, 集合论语言的属于构造是分层的, 而标准语言的云谓构造却不是分层的;假如属于构造不分层, 那么集合论必将导致罗素悖论。 当代逻辑的先驱者如弗雷格、G.皮亚诺 (G.Peano) 及其追随者 (如怀特海、罗素) 把

8、集合论看作逻辑。康德提出了 先天综合判定怎样可能 的问题, 并从算术中得到某个意义最为明确的事例。弗雷格把算术复原为逻辑, 即证明算术真理是分析的, 进而使康德的答案:不成立。弗雷格、怀特海和罗素主张把数学复原为逻辑。然而, 这些复原得以实现的逻辑却是包括了集合论的逻辑。 蒯因在(逻辑哲学一书中明确地主张, 逻辑不包括集合论。人们之所以把集合论看成是逻辑, 是由于过高地估计了属于关系与云谓之间的类似性。而属性的归属这一中介概念又强化了这种关联的幻象。 (参见蒯因, 2007:61 64) 蒯因以为, 在初等逻辑语言的云谓 Fx 中, 变元 x 处于的位置是一个名称能够处于的位置, 形式字母 F

9、 处于的位置是一个谓词能够处于的位置。变元是实体的名称, 以实体为值, 能够被量化, 而形式字母不是实体的名称, 也不是以实体为值的变元, 因此不能够被量化。 Fx 和 F 仅仅仅是从形式上模拟一个开语句及其部分, 即 Fx 和 F 分别代表了一个开语句和一个谓词, 我们既没有用 F 来指称谓词, 也没有用它来指称集合或属性。一言以蔽之, 蒯因的主张是, F 只是提及一个符号, 而并没有使用一个符号。 罗素混淆了符号的使用和提及, 固然有时以为 F 提及了一个符号, 因此把它视为代表了一个未明示的谓词, 但是, 有时又以为 F 使用了一个符号, 因此把它视为给一个未明示的谓词命名。这样一来,

10、不仅 F 获得了名词身份, 而且 F 被解释为属性变元, 自然 Fx 也就被解释为 x有属性F 。弗雷格固然也持这样的观点, 但是他从来就没有混淆过符号的使用和提及, 能够讲他在这方面仅仅仅是因偏爱属性而有意为之。 罗素有时用弗雷格所谓的 命题函项 指称谓词, 有时用它指称属性。 命题函项 这一术语掩盖了他对谓词和属性的混淆。这种混淆不仅使他在对初等逻辑的谓词的无辜的描绘叙述中竟错误地议论起属性来, 而且使他觉得属性是比集合更合适的假定。罗素在(数理哲学导论一书中把类等同于命题函项。一切类 (包括集合和真类) 都能够被某个命题函项所定义, 这样的类所包含的元素就是责任题函项为真的那些主目。 (

11、参见罗素, 1982:172) 既然类能够用命题函项来定义, 而命题函项又能够指称属性, 类就能够用命题函项所指称的属性来定义, 即类是由具有命题函项所指称的属性的那些对象组成。这可以以得出同样的结论:属性是比集合更合适的假定。假如他以为属性是比集合更合适的假定, 他就会接受对属性的量化, 然后引进对集合的量化。 蒯因以为, 不能把 ?F 和 ?F 中 F 的值看作属性, 由于属性不能被个体化, 即属性的同一性问题得不到妥善解决, 根据没有同一性就没有实体, 属性根本不是实体;固然根据公理集合论的外延公理, 集合能够被个体化, 也就是讲, 集合是一个实体, 但是把 F 的值看作集合也是不能令人

12、满意的, 由于谓词的内涵是属性, 其外延是集合, 然而谓词并不是属性和谓词的名称。 总之, 假如严格地区分表示出式的使用和提及, 那么集合论根本不是逻辑, 但集合论和逻辑却都是数学的一个分支。 三、使用和提及与模态逻辑 蒯因严格区分了使用和提及, 因此严格区分了本质条件句和蕴涵关系。我们不是把实义词 蕴涵 置于两个陈述句或形式之间, 而是把它置于两个陈述句或形式的名称之间, 这些名称通常要加上引号。此时, 我们不是使用这些陈述句或形式, 而是提及它们。当我们把小品词 (假如 那么) 置于两个陈述句或形式之间而构成一个复合陈述句或形式时, 我们不是提及陈述句或形式, 而是使用它们。本质条件句和蕴

13、涵关系的区别在于, 本质条件句仅仅依靠于相关陈述句的真值, 而蕴涵不仅依靠于相关陈述句的真值, 而且依靠于相关陈述句间的构造。 (参见蒯因, 2007b:46 48) 蕴涵成立当且仅当本质条件句是有效的。 蒯因在(模态包含的三个等级一文中对模态逻辑产生的原因进行了探究。怀特海和罗素把本质条件句 p q 有时读作 假如p, 那么q , 有时读作 p蕴涵q , 把使用和提及混为一谈, 进而激化了有关本质蕴涵的老争论。由于 蕴涵 类似于逻辑蕴涵, 它比 假如 那么 表示出的意思要强得多, 因此有人反对把 读作 蕴涵 。为了对 加以改良, C I 刘易斯 (Clarence Irving Lewis)

14、 引进了符号 - , 并将其称为严格蕴涵。根据逻辑蕴涵成立当且仅当本质条件句是有效的这一原理, 再借助于一个语义谓词或动词 nec (是有效的) , 把 - 定义为 nec (p q) 。刘易斯是把符号 - 作为陈述连词来运用的, 当然能够把语义谓词 nec 看作是直接与陈述句连用的算子, 但是这种做法再一次混淆了使用和提及。由于 - 被读作 蕴涵 , 并且源于动词 蕴涵 一词的内涵, 应当作为一个动词来运用, 它连接的是两个陈述句的名称, 因此这两个被连接的陈述句只是被提及, 而不是被使用;假如把 - 作为陈述连词来运用, 那么, 它连接的是两个陈述句, 因此这两个被连接的陈述句是被使用,

15、而不是被提及。 (参见蒯因, 2007c:144 157) 假如把句子看作是某个实体的名称, 蕴涵 就能够直接置于两个句子之间, 进而具有二元谓词和二元句子联合词的双重身份。这样的处理方式显然不会混淆使用和提及。同时, 刘易斯等人对蕴涵的反复运用也合法了。但是句子所指称的抽象实体不能令人满意地被个体化 (即同一性问题) , 因而, 句子根本就不是某个实体的名称。 (参见蒯因, 2007a:28) 不仅在模态逻辑的产生上, 刘易斯混淆了使用和提及, 而且在对模态逻辑的解释问题的争论上, 不少哲学家也不同程度地混淆了使用和提及。因而, 蒯因不仅发现使用和提及的区分有必要反复强调, 而且在怎样使人们

16、真正意识到这一区分方面, 他感到实在无能为力, 甚而至于绝望。 必然性 (其他模态词可用 必然性 来定义) 是一个内涵性的词语, 无论是将它解释为动词或语义谓词 (即 是有效的 或 是分析的 ) , 还是将它解释为副词或陈述算子 (即 必然地 ) , 其语境都是指称暗昧的。在指称暗昧的语境中, 单独词项并不是没有指称, 而是除了指称外还牵涉其涵义。可以以讲, 指称暗昧语境中的单独词项不是被使用而是被提及。蒯因以为, 对模态逻辑的解释, 无论是对命题模态逻辑, 还是对谓词模态逻辑的解释, 其主要困难都在于模态语境的指称暗昧性。 蒯因在(答鲁斯 马库斯教授一文中指出, R.B.马库斯 (Ruth

17、B.Marcus) 在关于同一谓词 (即 = ) 的讨论中混淆了使用和提及。 (参见蒯因, 2007c:164 165) 马库斯是这样论证的: 由于 (1) 假如a=b, 并且任何东西对a为真, 那么该东西对b也为真 (即关于单独词项的同一性替换律) , 并且 (2) a=a 是重言式, 所以 (3) 假如a=b, 那么 a=b 是重言式。 从 (1) 和 (2) 推导出 (3) 的详细经过是:把 (1) 中 东西对 () 为真 替换为 重言式 a= () , 可得到 (4) 假如a=b, 并且重言式 a= () 对a为真 (即重言式 a=a ) , 那么重言式 a= () 对b也为真 (即重

18、言式 a=b ) 。由于 a=a 是重言式, 即它是恒真的东西, 因此我们能够从 (4) 中将其去掉, 于是我们就得到了 (3) 。 蒯因指出, 假如我们把 重言式 看作是附着于句子的引语的谓词, 那么她的论证是错误的。由于引语是指称暗昧的, 华而不实的单独词项 a 除了指称某个对象外还牵涉它的涵义, 它只是被提及而不是被使用, 所以, 即便a=b, 并且 a=a 是重言式, 也不能根据关于单独词项的同一性替换律, 得出这样的结论: a=b 是重言式。即便我们把 重言式 看作是附着于句子的模态算子, 马库斯的论证也是有问题的。由于模态语境也是指称暗昧的, 关于单独词项的同一性替换律也不再成立,

19、 只要同义的两个单独词项才能互相替换 (只要由指称某个对象的两个单独词项所构成的同一性陈述是分析的, 这两个单独词项就是同义的) (参见蒯因, 1987:140) , 而单独词项 a 和 b 不一定同义。 蒯因以为, 除了量化变元外, 其余的单独词项都是能够被消去的。因而, 我们能够避开由单独词项所引起的费事, 而直接讨论对模态语境的量化问题。在指称暗昧的模态语境中, 关于变元的同一性替换律已经失效, 模态语境外的量词根本不能约束模态语境内的变元, 正如引语外的量词不能约束引语内的变元一样。因而, 在蒯因看来, 对模态语境进行量化, 其困难的根本源头也无非是模态语境的指称暗昧性, 而指称暗昧性

20、又在一定程度上依靠于哲学家所愿意接受的本体论。 假如我们确定了量词、变项和真值函项符号, 并且某谓词具有强自返性, 即?x Gxx, 再加上变项的可代换性, 即?x?y (Gxy Fx Fy) , 那么谓词 G 就是同一谓词。假如唯一地确定对象x的任意两个条件是分析地等值的 (简称为 条件C ) , 即这两个条件的名称是同义的, 那么关于变项的同一性替换律, 即?x?y (x=y Fx Fy) , 就成立。 (参见蒯因, 1987:141) 也就是讲, 假如模态语境内的变元所指称的对象知足 条件C , 那么该变元就能够被模态语境外的量词所约束。再加上 L (x=x) , 我们能够证明这样一个结

21、论:一切同一都是必然的或本质的, 即?x?y (x=y L (x=y) ) 。这是巴康 (Barcan) 的谓词模态逻辑系统中的一个定理, 这个定理似乎已经表示清楚她准备成认本质主义的假定。 假如分析性概念没有疑问的话, 那么本质主义确实能够解决模态语境的量化问题。要是事物的本质性质能够被个体化, 它甚至能够解决可能个体的跨界同一性问题。但是, 蒯因竭力反对本质主义, 其原因大致有如下几点:第一, 蒯因是一个经历体验论者, 事物所具有的本质性质或非本质性质在经历体验上是无法得到验证的。第二, 在一个事物所具有的一些性质中, 难以区分究竟哪些是本质性质, 哪些是非本质性质;即便能够将其区分开来,

22、 它们也难以被个体化, 即同一性问题。第三, 如上所述, 本质主义是以成认分析性或同义性概念为前提的, 而蒯因在(经历体验论的两个教条一文中主张, 分析真理和综合真理之间根本没有明确的分界限 (参见蒯因, 1987:19) 。 条件C 不仅会导致本质主义, 而且会导致模态界限的消失。根据条件C, 能够证明 p Lp 。再根据公理 Lp p , 便可得到 Lp?p 。这样一来, 必然性算子 L 就变成了一个微缺乏道的东西, 模态逻辑也随之蜕化为经典逻辑。 (参见哈克, 2003:227 228) 在对模态逻辑的量化问题的讨论中, A.丘奇 (Alonzo Church) 和卡尔纳普曾尝试把量化变

23、项的值限制为内涵对象。这种本体论的缺陷在于, 其实体的个体化原则是以同一性或分析性概念为基础的。蒯因还举例讲明, 仅仅把变项的值限定为内涵对象还缺乏以保证 条件C 。设 Fx 和 p.Fx 是唯一地确定x的任意条件, 华而不实 p 是任意的非分析真理。那么, p.Fx 并不分析地等值于 Fx , 即便x是一个内涵对象。因而, 他们的这种尝试是不成功的。 (参见蒯因, 1987:142) 蒯因以为, 量词议论的是事物, 而不是议论我们议论事物的方式, 因而, 他主张量词的对象解释, 而反对量词的代入解释。马库斯向蒯因所偏好的量词的对象解释发起了挑战。G.赖尔 (G.Ryle) 争辩讲量化变元的值

24、是表示出式, 因而, 他以为蒯因的断言 存在就是成为一个变元的值 否认了除表示出式之外的所有东西。蒯因以为, 我们必须把真实意义上的变元的值 (即对象) 与赖尔意义上的变元的值 (即表示出式) 严格区分开来, 混淆了这些其实就是混淆了使用和提及。然而, 马库斯并没有混淆使用和提及, 她仅仅仅是在赖尔的意义上谈到了变元的值, 以为它们是能够用来代换变元的表示出式。她提出了存在量化的代入解释, 这种解释撇开了由对象构成的论域, 根本不需要任何真实意义上的对象作为量化变元的值, 进而避开了谓词模态逻辑在量词的对象解释上所碰到的难题。但是, 蒯因举例讲明了量词的代入解释是不成立的:由于适当的实数的存在

25、, 所以一个存在量化式的对象解释为真。但是, 假如这些适当的实数恰恰都不能分别地作出描绘叙述的话, 那么马库斯的代入解释则为假。 (参见蒯因, 2007c:167 168) S.哈克 (Susan Haack) 指出, 量词的代入解释是把本体论问题从量化变元转移到了名字, 进而延缓了本体论问题。蒯因以为, 名字能够借助于初等逻辑语言而被消除, 承当本体论任务的东西不是名字而是量化变元, 因此把本体论问题转移到名字其实是逃避形而上学的责任。 (参见哈克, 2003: 67) 一言以蔽之, 一方面, 我们必须严格区分使用和提及, 尽力设法走出指称暗昧的窘境;另一方面, 我们又会面临新的困难:一是模

26、态逻辑的出生不合法;二是模态逻辑的解释陷入了分析性和本质主义的形而上学的泥潭;三是量化变元因代入解释的采用而丧失了本体论的功能。 在解释模态逻辑时, 我们如何才能克制这些新的困难呢? 在(模态包含的三个等级一文中, 蒯因在三个不同的层次上解释了必然性概念。第一个层次:把必然性解释为语义谓词 nec (是有效的) , 该谓词是一个元语言概念, 它附着于一个语句的名称或带引号的语句以构成另一个语句。第二个层次:把必然性解释为陈述算子 nec (必然地) , 该算子附着于一个语句以构成另一个语句。第三个层次:把必然性解释为句子算子 nec , 该算子附着于一个开语句以构成另一个开语句, 进而为模态语

27、境的量化奠定了基础。 (参见蒯因, 2007c:144 145) 蒯因以为, 严格必然性 (而非物理必然性) 一般被以为是先验的或逻辑的, 因此模态议论的不是事物, 而是议论我们议论事物的方式。换言之, 我们不能讲一个事物本身必然具有某种性质, 而只能讲一个句子在逻辑形式上是有效的。能够讲所有的逻辑系统都是我们议论事物的方式。因而, 蒯因赞成必然性解释的第一个层次, 而反对第三个层次。由于第二个层次仅仅仅是第一个层次的一种缩写形式, 因此能够将其改写为第一个层次。这样一来, 尽管成功地避开了上面那些新的困难, 但是, 我们所得到的关于必然性的逻辑其实是证明论的核心内容, 它不是模态逻辑, 甚至

28、连命题模态逻辑也算不上。可以以讲这样的逻辑只不过是不牵涉语义谓词的重述原则的、语义谓词附着于引语的命题模态逻辑。 四、使用和提及与命题态度 一般讲来, 但凡被提及的词或句子都能够加上引号。换言之, 但凡被提及的东西都能够被看作是引语。引语是指称暗昧的或指称不透明的 (值得注意的是, 是真的 等特殊的谓词具有去引号的功能。因而, 这样的引语应当除外) 。也就是讲, 一个引语里单独词项所处的位置是非纯粹指称性位置。纯粹指称性位置必须服从同一性的可替换性。 当一个语句所包含的单独词项被具有同一所指的任何其他单独词项代替时, 这个语句的真值保持不变。 当一个单独词项所包含的单独词项被如此替换时, 则此

29、单独词项的指称保持不变 (蒯因, 2020: 149) , 像这样被包含的单独词项所处的位置就是纯粹指称性位置。由于一阶逻辑 (即初等逻辑) 里的量化变元是一个单独词项, 它指称论域里的任一对象或某个对象, 而指称暗昧的引语里的单独词项根本不指称任何对象, 所以, 不能对引语所包含的单独词项进行量化。 知道 (knows that) 、 相信 (believes that) 、 力求 (strives that) 、 希望 (wishes that) 、 讲 (says that) 、 害怕 (fears that) 等命题态度都是指称暗昧的。有人想把 知道 和 相信 理解为人和陈述之间的关系

30、, 因此能够把它们后面的从句加上引号。A.丘奇在(论鲁道夫 卡尔纳普对直言陈述和信念的分析一文中用令人感到惶恐的 分析性 概念对这种做法进行了反驳。 (cf.Church, 1950: 97 99) 蒯因指出, 没有必要硬把所有指称暗昧的语组都纳入引语模子之中, 但确实毋庸置疑的是, 知道 、 相信 这样的语组类似于引号语组:一个指称透明的句子被置于这样的语组中和被置于引号中一样, 它就变成了指称暗昧的句子。 (参见蒯因, 1987: 132) 对于命题态度来讲, 还有比引语更好的解释吗?蒯因在(语词和对象一书中给出了否认的答案:。 (参见蒯因, 2020:157 158、180、227 22

31、8) 仅仅笼统地讲 相信 (believes) 是指称暗昧的, 这显然是不够的, 我们还能够讲得详细一些, 公认的做法是把它的暗昧性归于 believes that 中的 that 或 believes to 中的 to 。例如: (1) Tom believes that Cicero denounced Catiline. (汤姆相信西塞罗曾指责过卡蒂利内。) (2) Tom believes Cicero to have denounced Catiline. (汤姆相信, 西塞罗曾指责过卡蒂利内。) (3) Tom believes Cicero and Catiline to be

32、related as denouncer and denounced. (汤姆相信西塞罗和卡蒂利内曾是指责者和被指责者的关系。) (1) 中的 Cicero 和 Catiline 都是指称暗昧的; (2) 中的 Cicero 是指称透明的, Catiline 是指称暗昧的; (3) 中的 Cicero 和 Catiline 都是指称透明的。 蒯因在用内涵抽象来处理命题态度时, 命题态度的暗昧性只限于内涵抽象 (记作 ) 的暗昧性。和弗雷格 丘奇理论不同, 在命题态度语句中, 蒯因只是把被暗昧地包含的那部分整个地看作在命名一个内涵, 这样的内涵对象包括命题、属性和关系。这种处理方式要求把 (1)

33、 、 (2) 、 (3) 分别改写为: (4) Tom believes Cicero denounced Catiline. ( 相信 是一个二元关系, 述谓一个人和一个命题。) (5) Tom believes x x denounced Catiline of Cicero. ( 相信 是一个三元关系, 述谓一个人、一个属性和另一个人。) (6) Tom believes xy x denounced y of Cicero and Catiline. ( 相信 是一个四元关系, 述谓一个人、一个关系和另两个人。) 在属性和关系的抽象中, 暗昧构造把括号 及其前面的 x 或 xy 都包括

34、在内。用内涵抽象来处理命题态度, 其困难在于命题、属性、关系等内涵对象难以个体化。 于是, 蒯因又试着用语句 (包括开语句和闭语句) 本身来处理命题态度。这个设想就是把 (4) (6) 改述如下: (7) Tom believes-true Cicero denounced Catiline . (汤姆相信 西塞罗指责卡蒂利内 为真。) (8) Tom believes-true y denounced Catiline of Cicero. (汤姆相信西塞罗的 y指责卡蒂利内 为真。) (9) Tom believes-true y denounced z of Cicero and Cat

35、iline. (汤姆相信西塞罗和卡蒂利内的 y指责z 为真。) 为了显得自然一些, 蒯因把 相信 (believes) 改为 相信为真 (believes-true) 。由于 为真 谓词具有去引号的功能, 笔者以为还是用 相信 (believes) 为宜。 (7) (9) 的设想也适用于其他命题态度。 用语句本身来处理命题态度, 其可取之处在于:一是这种设想不存在语句的个体化问题, 由于语句的同一性是一种记法的同一性;二是由于引语是指称暗昧的, 把内涵抽象转换为引语, 不会改变其指称暗昧性。 总而言之, 彻底摒弃关于命题态度的内涵抽象的处理方式, 将其内涵抽象理解为引语, 即语句的提及, 对于

36、命题态度的解释来讲, 这确实是一种富有吸引力的选择。 五、使用和提及与初等逻辑 一些逻辑学家混淆了使用和提及, 把小品词 、 、 、 和 ? 分别误读为实义词 否认 、 合取 、 析取 、 本质蕴涵 和 双本质蕴涵 。蒯因严格地区分了使用和提及。实义词 否认 处于句子或形式的名称之前, 合取 、 析取 、 本质蕴涵 和 双本质蕴涵 处于两个句子或形式的名称之间, 这些句子或形式是被提及, 而不是被使用, 提及通常要加上引号。小品词 并非 () 处于句子或形式之前, 并且 ( ) 、 或者 ( ) 、 假如 那么 ( ) 和 当且仅当 (?) 处于两个句子或形式之间, 这些句子或形式是被使用,

37、而不是被提及。 根据表示出式的使用的定义, 表示出式的使用预设了某种类型的实体。那么, 被使用的句子指称了一种什么样的实体呢?维特根斯坦以为句子是命题的名字, 弗雷格以为句子是真和假的名字。然而, 蒯因对这些观点都持反对态度, 其理由是句子根本不是任何实体的名字。 蒯因在(对命题演算的本体论评论一文中把演绎系统的两种解释进行了比照。 (参见蒯因, 2007c:246 248) 一些逻辑学家把记号 p 、 q 等解释为指称命题的命题变元或句子, 把记号 p 、 p q 、 p q 、 p q 和 p?q 分别解释为指称一个命题的否认、两个命题的合取、两个命题的析取、一个命题本质蕴涵另一个命题和两

38、个命题互相本质蕴涵。这样一来, 演绎理论就变成了命题演算。这种解释存在这样的缺陷:一是命题难以个体化;二是把记号 、 、 、 和 ? 分别解释为实义词 否认 、 合取 、 析取 、 本质蕴涵 和 双本质蕴涵 , 笔者以为, 这显然是把使用和提及混为一谈。 在不改变演绎理论的构造的前提下, 蒯因将其重建为句子演算。记号 p 、 q 等被解释为指称句子的句子变元, 记号 、 、 、 和 ? 分别被解释为把小品词 并非 、 并且 、 或者 、 假如 那么 和 当且仅当 附加到句子上的一种语义操作。这种解释的优点在于:一是句子变元取代了命题变元, 而句子的个体化问题能够得到妥善地解决;二是它能够在演绎

39、系统中排除一些非正常的情况;除此之外, 笔者以为这种解释还有这样一个优点:把记号 、 、 、 和 ? 附加到句子的名称上, 我们能够把这些句子的名称看作是被使用而不是被提及。 王浩在(超越分析哲学一书中指出, 蒯因把命题复原为句子的外延, 进而把命题演算变成了句子演算, 即真值函项理论。 (参见王浩, 2018:199) 这也是他后来在(数理逻辑中采取的进路。 笔者以为, 王浩的话只讲对了一半, 由于弗雷格所讲的句子的外延是句子的真值, 而蒯因不是把命题复原为句子的外延而是复原为句子。假如把命题复原为句子的真值, 那么命题演算就变成了等同于真值函项理论的句子演算, 蒯因的(数理逻辑正是这样的句

40、子演算。 在句子演算的基础上加上量词后, 其句子或形式还是被使用吗? 弗雷格用数学的一些方式方法来处理思维形式, 把函项概念 (该概念源于数学的函数概念) 引入逻辑系统, 实现了从主 谓区别到函项 主目区别的转变。在这里基础上, 又引入了关系、量词和约束变元。量词是运用于概念的概念, 是第二层次的函项。罗素曾试图把量词看作指示短语, 即把量词当作名字, R.蒙塔古 (Richard Montague) 等人也持这种观点。但后来罗素采用了弗雷格的方式。 (参见哈克, 2003: 56) 蒯因把真值函项记号和量词称为逻辑词汇、基本虚词或小品词, 这讲明他在这方面是弗雷格的追随者。既然量词和真值函项

41、记号都是逻辑词汇、基本虚词或小品词, 那么, 只要真值函项记号能够附加到句子或形式上, 量词就能够附加到句子或形式上, 同时这样的句子或形式可以以是被使用而不是被提及。假如像弗雷格那样再把句子看作是真值的名称, 那么, 这样做不仅符合蒯因(数理逻辑所采取的道路, 而且符合表示出式的使用预设实体的要求。 蒯因在(数理逻辑中写道: 只要在由量化或真值函项构成的语境里, 一个公式才能出如今另一公式里。我们会发现, 这个限制导致了以下方便的置换原则:假如 和 是真值一致的句子, 那么能够用 替换句子 中 的任何出现, 同时不影响 的真值。 (蒯因, 2007:85) 等值置换原则是一种同一性的可替换性

42、原则, 因而, 由量化或真值函项构成的语境是指称透明的。又由于蒯因已经证明 除真值函项外, 任何形式的陈述复合都是指称暗昧的 (蒯因, 1987:147) , 即由真值函项复合而成的陈述是指称透明的, 所以, 由量化和一个指称透明的陈述 (即句子或形式) 所构成的语境是指称透明的。 正由于如此, 蒯因在(模态包含的三个等级一文中, 把 指称暗昧的语境 定义为:所谓指称暗昧的语境就是不能量化的语境。这样的论证能够得出同样的结论:量词所附加到的句子或形式是被使用而非被提及。由于假如这样的句子或形式是被提及而非被使用, 它就得加上引号, 而引语是指称暗昧的。 (参见蒯因, 2007c:159) 正由

43、于如此, 量词辖域里的变元才能指称论域里的对象, 在本体论承诺中扮演重要角色的、对量词的对象性解释才会让蒯因如此偏爱。 六、结束语 为了在逻辑研究中实现精到准确性这一目的, 蒯因严格地区分了表示出式的使用和提及。正是由于这一严格的区分, 蒯因才对模态逻辑出生的合法性和模态逻辑的解释提出了质疑, 才对命题态度语境的暗昧性和初等逻辑语境的透明性作出了合理的解释, 也才会得出集合论不属于逻辑, 而集合论和逻辑都属于数学的结论。一言以蔽之, 逻辑就是带等词的初等逻辑, 这就是蒯因的逻辑观。 以下为参考文献 陈波, 1998, (奎因哲学研究, 生活 读书 新知三联书店。 哈克, 苏珊, 2003, (

44、逻辑哲学, 商务印书馆。 蒯因, 1987, (从逻辑的观点看, 江天骥、宋文鑫、张家龙、陈启伟译, 上海译文出版社。 蒯因, 2007a, (数理逻辑, 孔红、朱素梅、张鹰译, 张清宇、王路校, 载于(蒯因着作集第卷, 凃纪亮、陈波主编, 中国人民大学出版社。 蒯因, 2007b, (逻辑方式方法, 余俊伟、刘奋荣译, 张家龙校, 载于(蒯因着作集第卷, 凃纪亮、陈波主编, 中国人民大学出版社。 蒯因, 2007c, (悖论的方式及其他论文 (修订及扩大版) , 叶闯、江怡、孙伟平、费多益等译, 江怡、孙伟平、陈波校, 载于(蒯因着作集第卷, 凃纪亮、陈波主编, 中国人民大学出版社。 蒯因, 2020, (语词和对象, 陈启伟、朱锐、张学广译, 中国人民大学出版社。 罗素, 1982, (数理哲学导论, 晏成书译, 商务印书馆。 王浩, 2018, (超越分析哲学, 徐英瑾译, 浙江大学出版社。 Church, A., 1950, On Carnap s Analysis of Statements of Assertion and Belief , Analysis, no.5. Hahn, L. Schilpp, P.eds., 1986, The Philosophy of W.V.Quine, Open Court Press.