哥德尔针对物理主义的一个论证.pdfVIP

逻辑学研究 2014 年第3 期，1–11 文章编号：1674-3202(2014)-03-0001-11 哥德尔针对物理主义的一个论证 郝兆宽 复旦大学哲学学院 zkhao@ 摘 要：本文讨论哥德尔吉布斯演讲中针对物理主义的一个论证，我们称之为“哥德 尔析取式论证”（GDA）。除了强调GDA 是一个值得分析哲学家重视的哲学论证外，我 们还讨论了物理主义针对GDA 可能的反驳以及站在哥德尔立场上对这些反驳的回应。 关键词：哥德尔；物理主义；不完全性定理；心灵；机器 中图分类号：B81 文献标识码：A 1951 年 12 月26 日，在布朗大学举办的美国数学学会上，哥德尔应约做 第25 届吉布斯（JosiahWillardGibbs）演讲，题目是《数学基础中一些基本定 理及其推论》。有证据表明哥德尔曾打算将演讲的文稿发表在《美国数学学会 简报》（BulletinofAmericanMathematicalSociety）上，但由于哥德尔对自己的 发表有着近乎苛刻的要求，本篇与哥德尔的大多数手稿一样，最终未能出版。 幸运的是，这部极为重要的著作作为遗稿保存了下来，并收录于1995 年出版 的《哥德尔文集》第三卷“未发表论文和演讲”中。（[3]，第304–323 页）目 前学界通常用“吉布斯演讲”或“哥德尔*1951”称呼这篇论文，本文也将如 此。 吉布斯演讲主要讨论两个不完全性定理在数学哲学上的意义。哥德尔构 建了一个论证，认为这个论证决定性地反驳了物理主义哲学。本文主要讨论 的就是哥德尔论证以及对它的各种批评意见，尝试站在柏拉图主义的立场上 加以辩护，并希望藉此引起分析哲学界对这个论证，乃至整个哥德尔思想的 研究兴趣。当然，吉布斯演讲可称是鸿篇巨制，内容丰富而深刻，涉及到很多 哲学上的基本概念。全面讨论这篇论文需要更多的工作，不是本文的目的。 收稿日期：2014-07-21 2 逻辑学研究 第7 卷第3 期 2014 年 1 哥德尔析取式论证 为了理解哥德尔的论证，我们首先简述一下哥德尔的两个不完全性定理。 我们设想工作于一阶的算术语言LAR 中，它的非逻辑符号有常量符号，表 示后继的一元函数符号 ，和表示加法、乘法的二元函数符号 和 。假设 Q 是由以下公理组成的公理系统： () ̸ ; () ; () ̸ ; () ; () ; () ; () . Q 就是通常所谓的“罗宾逊算术”，是美国数学家罗宾逊（Raphael M. Robinson）在1950 年作为皮亚诺算术（Peano Arithmetic）的一个子系统提出 的。目的是检验只需要哪些公理就能将可计算的函数在皮亚诺算术中表示出 来。Q 是有穷可公理化的，比起皮亚诺算术来是非常弱的算术系统，所以它承 担了极少的哲学假设，即使最严格的有穷主义者，也应该接受它的公理。但对 于哥德尔第一不完全性定理，这样弱的假设就已经足够了。 定理1 (哥德尔第一不完全性定理) 假设T 是包含Q 的一个算术形式系 统，并且是递归可公理化的，那么，如果T 是一致的，则存在一个语句 ， 和并非 都不是T 可证明的。 由于 和并非 总有一个是真的，所以这等于说有一个真命题是T 不能 证明的。通常称这样的 是对于T 不可判定的。1 第二不完全性定理所需的假设要稍多一些。以下三条原则称为罗布可导 出条件（Löb DerivabilityConditions）： 假设T 是一个公理系统， ， 是语句，则 () 如果T 能证明，则T 能证明“ 在T 中有个证明”； 1当然，直觉主义者不同意这一点，因为这里的论证用到了排中律。事实上，在直觉主义者 看来，一方面不完全性是平凡的事实，那些不能给出构造性证明的数学命题总是处于不可判定 的状态；另一方面，不完全性并没有太多的意义，因为直觉主义者拒绝有一个客观上“真”的 概念。