真与悖论问题-重庆理工大学学报.PDFVIP

重庆理工大学学报（社会科学）　　２０１３年第２７卷第９期 逻辑与科学方法论 ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅ）Ｖｏｌ．２７Ｎｏ．９２０１３ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１６７４－８４２５（ｓ）．２０１３．０９．０１３ 真与悖论问题 ———贺柏和“真”之公理化研究进路浅析 邵强进 （复旦大学 哲学学院，上海　２００４３３） 摘要：基于真理论的逻辑与哲学研究，牛津大学贺柏和教授在国际权威期刊上发表了大量学术 文章，它们形成了过去１０年间在该领域讨论的要点，使他成为当前该研究领域的领军人物。通 过真与悖论问题的相关讨论，介绍贺柏和真之公理化理论的基本思路，探讨相关公理系统的哲 学问题。 关键词：贺柏和；真；悖论；真之公理化理论 中图分类号：Ｂ８１　　　　文献标识码：Ａ 文章编号：１６７４－８４２５（２０１３）０９－００６９－０５ 　　自１９７５年以来，经由克里普克（Ｓ．Ｋｒｉｐｋｅ）、霍 把困扰留给逻辑学家［２］。但实际上，逻辑和悖论 维奇（Ｐ．Ｈｏｒｗｉｃｈ）、古普塔（Ａ．Ｇｕｐｔａ）、贝尔纳普 问题是与哲学理论紧密交织的，说谎者及其相关 （Ｎ．Ｂｅｌｎａｐ）、赫兹伯格（Ｈ．Ｈｅｒｚｂｅｒｇｅｒ）、菲尔德 悖论对哲学各部分都产生着广泛的影响。 （Ｈ．Ｆｉｅｌｄ）等人的研究与发展，真理论成为哲学中 面对经典的说谎者悖论这类语义悖论，不论 的一个分支，该理论的相关研究一直在稳步推进。 其采取何种形式，悖论专家的解决办法都是关注 ２０００年以后，新一代研究者开始崭露头角，其中， 于真谓词，明确真谓词中的假设。而另一些学者 ① 贺柏和 （ＶｏｌｋｅｒＨａｌｂａｃｈ）教授表现尤为突出，是 则怀疑问题不在于真谓词，而在于原句式的奇异 当前该领域的代表人物。贺柏和教授深谙证明 特征。贺柏和教授将进一步分析自我指涉问题与 论，包括真概念的证明论方法研究，在逻辑技术上 模态谓词的内在关联，探讨悖论问题解决的可能 ［３］ 特别强大；另一方面，他有很强的哲学分析手段， 思路 。 使他在结合逻辑与哲学方面拥有一种独特的能 一个句子“”是真的，当且仅当，。   力，把当代数理逻辑的成果广泛而深入地应用于 这是塔斯基的公理模式，它对于一个极小的 有关真的哲学问题［１］。由此，他也成为有关内涵 真理论来说是直接而最自然的要求，通常被称为 性谓词和算子（例如，必然、知道等等）逻辑与哲学 塔斯 基双 条 件 式 （ＴａｒｓｋｉＢｉｃｏｎｄｉｔｉｏｎａｌ，简作 ［４］ 研究的重要专家。其新著《真之公理化理论》在学 ＴＢ） 。ＴＢ包含一种去引号的直觉：若你真心打 界已经产生较大影响。 算假设性地或非假设性地断言某个句子 ，最好  也要准备断言 是真的。  一、真与说谎者悖论 但若考虑说谎者句子 Ｌ，它自称为假。那个