逻辑对哲学的重要性 I.doc

逻辑对哲学的重要性 I
(【美】奎因著,翟玉章译)
【译者按】这是奎因(1908-2000)1947年12月2日在哈佛大学哲学俱乐部的讲演的文字稿,,Confessions of aConfirmed Extensionalist and Other Essays(《一个坚定的外延主义者的自白及其他论文》),Dagfinn Fllesdal【奎因的学生】and Douglas 【奎因的儿子】(eds.),Harvard University Press,2008.,在这之前未曾公开发表过。平时在与同事和学生的交流中,我一直觉得有必要讲清楚逻辑在哲学中的作用到底是什么。下个学期我要为哲学系的部分研究生开设数理逻辑课程。在备课过程中,我看到了奎因的这篇文章,真有一种说不出来的酒逢知己千杯少的感激心情。在这篇文章中,他讲述了现代逻辑在消解哲学伪问题(比如无或非存在的本性的问题),在澄清真正的哲学问题(比如经验主义提出的关于知识和感觉经验之间的关系问题,关于逻辑和数学知识的本性的问题)并将它们引向更精确、更深入的研究中的极端重要性。这对于许多长于玄想疏于论证的中国哲学工作者和学生是很有启发的。在这篇文章中,我们还看到一个真正的哲学家对待哲学研究的一丝不苟、不断进取的精神。这篇文章所呈现的绝不是奎因的最终哲学观点,他也没有对别人(包括他在哲学上所尊敬的人)的观点采取盲从的态度,而是无论对自己还是对他人的观点都采取了一个开放的态度。正是这种求真的精神和开放的态度,使得他的哲学观点能不断地得到发展,直至他生命的尽头。
为了方便大家的理解,我将文章的具体内容的摘要置于前面,并对正文中个别难解之处作了有节制的注释。欢迎各位老师和同学对我的译文和讲解提出批评,也欢迎对文章内容展开讨论和交流。
【内容摘要和评论】
1-2:开场白,引出主题:逻辑对哲学的重要性。
3-8:'nothing'的逻辑分析:'nothing'在日常语法中的名词性地位曾诱导在古往今来的很多哲学家追问所谓无的本性,但实际上,任何包含这个词的句子都可以改写成另外一个与之等值的句子,而新句子不包含与'nothing'对应的词,从而上面的那种诱惑就自然消失了。
9-15:罗素的摹状词理论:罗素通过对包含摹状词的语境的系统改写,向我们表明:单称词项的使用并不必然以这个词项有对应的超语言实体为前提,这就解开了从巴门尼德和柏拉图以来的所谓非存在之谜(据说,因为不存在的东西也是一个东西,所以我们不能自圆其说地声称某个东西不存在)。
16-29:经验主义的演变:经验主义在洛克和休谟那里的最初表述是:我们的一切观念都来自于感觉印象;美国哲学家图克对这个表述进行了语言学的转向,他建议对观念和印象之间关系的研究应该让位于词项和感觉词项之间关系的研究;边沁和罗素则倡导语境定义,即不再拘泥于寻找词项的根据感觉词项的直接定义,而转向寻找词项的语境定义,即寻求对词项出现的语境的整体的翻译而间接给出词项的定义。由于直接定义可以看成语境定义的特殊情形,因此句子(而不是词项)成了意义的基本单位。这是经验主义的又一次发展。但通过卡尔纳普的工作,人们看清了并不是所有语句都可以翻译为基本语句,这就表明即使是语境定义也仍是有局限性的,奎因正是通过对这一难局的思考提出了他的整体主义,即科学语句和常识语句单个地看,并不能蕴含任何基本语句,只有一个充分大的语句系统才能做到这一点。奎因的观点可视为经验主义的第三次发展。经验主义的每一次发展都离不开逻辑技术的运用。
30-35:分析真理的本性:康德对真理实行了两个两分法,一是所谓分析真理和综合真理的区分,二是所谓先天真理和经验真理的区分。关于这两个两分之间的关系,康德之前的莱布尼兹和休谟都认为它们是重合的,即分析真理同时也是先天真理,先天真理同时也是分析真理(莱布尼兹称为"理性真理",休谟则称为"观念的关系")康德同意前半句,但不同意后半句,他认为有些先天真理并不是分析真理,而是综合真理。根据康德的见解,算术真理就是这样的先天综合真理。数理逻辑的创始人弗雷格和罗素的工作都直接针对了康德(罗素和怀特海的《数学原理》一书的最初目的就是为了反驳康德这个"强词夺理的庸人"的),他们指出算术可以还原为逻辑;如果逻辑是分析的,那么算术也是分析的。对这个结论,康德的信徒当然仍有回旋的空间。但正反两方的交锋如果不想沦为毫无成果的吵架,了解和正视现代逻辑的发展就成为必要。
36-46:哥德尔定理和分析/综合真理的划界:根据哥德尔不完全性定理,包含集合论在内的广义逻辑系统不可能证明每一个该系统里的真理。这对分析性的概念是一个很大的冲击,因为一向被认为是分析真理的逻辑真理,居然也有无法被证明的情形。奎因在这篇文章提出了一个解决方案,即在不违背分析真