自指性命题与说谎者悖论.docxVIP

2013年2月太原理工大学学报(社会科学版lFeb．2013第31卷第i期Journalof TaiyuanUniversityofTechnology(SocialScienceEdition)V01．31No·1自指性命题与说谎者悖论谢佛荣1’2(1．南京大学哲学系，江苏南京210093；2．南京师范大学泰州学院，江苏泰州225300)摘要：文章试图做两方面的工作：一是在对哥德尔所构造的自指性命题与说谎者悖论的差异进 行分析的基础上探究说谎者悖论形成的重要特征；二是试论证马克思的辩证方法对于悖论消解及揭示概念的辩证本性方面具有的重要意义。关键词：哥德尔自指性命题；说谎者悖论；自我指称；悖论；方法论；辩证思维方法中图分类号；B812文献标识码：A文章编号：1009—5837(2013)01—0046—041931年库尔特·哥德尔(KurtGOdel)发表了就是要对自指性悖论这一结构进行重塑，从而来支一篇名为《数学原理及有关系统中的形式不可持他的证明。在其论文中，哥德尔提到了“说谎者悖判定命题》的论文，在这篇文章中哥德尔证明了两条论”，并把它与理查德悖论一起作为引领其证明的启重要定理(即哥德尔第一不完备性定理与哥德尔第发式人手。公元前6世纪希腊时代的一个诗人哲学二不完备性定理)，哥德尔思想的最深邃之处就在于家艾皮米尼地斯(Epimenides)说了一句很有名的他对这两条定理的证明。哥德尔证明的最核心之处话：“所有的克里特岛人都是说谎的。”就其自身来是构造了一个自指性命题G(为了论述的方便把哥说，这句话并不自相矛盾，但转换成下面形式：德尔自指性命题简称为哥德尔命题)，目的是表明它我正在说的这句话是假的为真时，却不能在算数形式系统内为它构造一个证现在问这句话是真的还是假的?如果说这句话明。因此，本文试通过分析哥德尔构造的自指性命是假的，那么“这句话是假的”是假的，也就是说这句题G与“说谎者悖论”之间的差异来展现哥德尔是话是真的；如果说这句话是真的，那么“这句话是假如何在证明中巧妙避开悖论这一怪圈的，并在其基的”是真的，也就是说这句话是假的，即这句话为真，础上来研究“说谎者悖论”形成的重要特征，最后基当且仅当为假。这即所谓的“说谎者悖论”。哥德尔 于上述的分析，试论证要构建合理、圆满的解悖方案正是利用这个悖论语句的类似命题，即“G在这个系需对悖论消解方案进行一般方法论的研究，进而指统内不可证”来进行构造证明。而哥德尔构造的命出马克思的辩证思维方法对于悖论消解及揭示概念题G却与“说谎者悖论”有非常大的区别，这时大家的辩证本性具有重要意义。就会有一个疑问，无论是哥德尔命题还是“说谎者悖论”在形式上非常相似，包含与悖论相联系的“自指”一、哥德尔自指性命题与“说谎者悖论”和“否定”概念，为什么不能把哥德尔的自指性命题的差异当作悖论来处理呢，这就是哥德尔证明的神奇之处，哥德尔不完全性定理证明的总体策略是，任何因此，下面仔细研究和分析哥德尔构造的自指性命足以展开初等数论的形式系统中，找到一个自指命题G与“说谎者悖论”两者之间的差异。题G，命题G和它的否定在系统中都是不可判定第一，两者的主要差异就在于哥德尔在构造证的。也就是说，在系统中存在一个真却不可证的命明哥德尔命题的过程中避开了恶性循环。所谓“恶题。因为根据经典逻辑的排中律，命题G和它的否性循环”实际上就是指自我指称性，也就是我们常说定是一对矛盾命题，G和1G必有一真，这就意味着的自己说自己。“说谎者悖论”恰恰具有这个特点，哥德尔构造了一个为真却不可证的命题来证明PM要断定“我正在说的这句话是假的”是真的，就必须系统是不完全的。构造或证明这一步最为惊奇之处依赖于其是假的才能断定，而要断定“我正在说的这*收稿日期：2012—10—08作者简介：谢佛荣(1983一)，男，江西赣州人，南京大学博士生，南京师范大学讲师，研究方向：逻辑哲学与科学逻辑。万方数据第1期谢佛荣：自指性命题与说谎者悖论47————————————————————————————————————————————————————————————————一一一句话是假的”是假的，就必须依赖于其是真的才能断说的，一个公式是可证的，意味着要么它是系统中的定。从上可得，“说谎者悖论”的循环是真值判断上公理，要么它是依据分离规则由公理推导得到的定的恶性循环。而哥德尔却很巧妙地避免了这个循理。因此，“真”与“可证”并非同一的，是有区别的。环，其奥妙就在于下面的构造过程：同时在哥德尔看来，“真”是不可定义的，他说：“在算第一步，构造哥德尔命题的基本方法就是用我术化的元逻辑中有些普通概念不可定义。证明这一们所谓的“哥德尔配数”思想方法来进行的。也就是点的方法就是假定该概念能到手，再由此推出矛盾；从形式系统的基本符号指配一个数开始，然后根据在论证