认知笔记 · 科学哲学

逻辑，如何塑造了科学

从 1+1=2 到哥德尔不完备定理

主讲人：南方科技大学教授马兆远

核心

逻辑，是理性沟通的基本语言；
科学，是有效陈述下的可检验事实。

2500 年前，古希腊人梳理出逻辑；100 年前，科学因此有了自己的行规。

从 1+1=2 说起：常识也需要被追问

1+1=2 是小学常识，但很少有人认真思考：“1”到底代表什么数字？

一把椅子加一张桌子，等于“两个什么”？在二进制里，1+1=10 也没问题。

为了统一数学语言，罗素写了一套 1500 页的大书，每册 500 多页；直到第 1000 页，他才开始证明 1+1=2。

写完这套书，罗素说自己对数学的兴趣几乎被榨干，于是把后续工作交给了学生维特根斯坦。

逻辑到底是什么？

沟通要有明确规则，不同的人才能得出一致结论。

说“苹果”时，你想到的是吃的苹果，还是手里的苹果？必须先有共识，才能继续沟通。

同一律

矛盾律

排中律

因果律

有了这四条基本规则，才能进行逻辑证明。演绎法只有两种稳定方式：正面证明与反证法。

归纳法与类比法得不到稳定结论，但人类创造力往往正来自这里。

“学而时习之”的重新发现

繁体“習”上面是“羽”，下面是“白”，本意是小鸟学习飞行，引申为实践。

学而时习之，不只是复习，而是：学了理论知识，并在生活中实践，讲的是知行合一。

我在牛津时每年夏天负责烧烤。多年后带学生春游，学生惊讶“老板还有这手艺”——以前学过的手艺，很久后拿出来操演，内心狂喜。

一句古话，经过不同经验与时间，会被重新思考，产生不同含义。逻辑，正是消除歧义的工具。

古希腊的遗产：基本假设 + 逻辑演绎

公元前 500 年前后，人类进入轴心时代：古希腊、中国、古埃及、巴比伦、古印度等文化涌现。只有古希腊梳理出一种系统认知——逻辑。

毕达哥拉斯

认为自然背后有规律，规律是数学。虽然“整数论”被根号二推翻，但“用数学表达自然”从此成为科学论文的传统。

亚里士多德

总结逻辑规则：同一律、矛盾律、排中律、因果律。逻辑保证人与人无歧义沟通。

欧几里得

公元前 300 年建立平面几何：五个基本假设定义点、线、面，再由逻辑推出全部内容。

牛顿力学

3 个运动定律 + 1 个万有引力定律，共 4 个基本假设。

狭义相对论

协变性原理 + 光速不变原理，2 个基本假设推出 E=mc²。

现代学科的好处：任何定理都能回溯到基本假设。这个研究习惯，来自古希腊。

数学的自我审判：确定性的裂缝

1900 年，数学家领袖希尔伯特提出：数学用了 2500 年，必须证明自己是对的。他把工作拆成三步：

统一语言：让数学家使用相同语言，避免自然语言的歧义。
证明自洽与完备：内部无矛盾；任何正确命题可证，错误命题可证伪。
写出所有证明过程：若完成，未来数学家甚至可以“失业”。

第一步由罗素完成。第二步，一个 20 多岁的年轻人完成了——1931 年，哥德尔发表 26 页论文、46 条引理，证明哥德尔不完备定理。

在数学内部，即使它非常简单，自洽性与完备性也不能同时被满足。有些正确的东西，你永远找不到对它的证明。

比如哥德巴赫猜想：怎么验证都是对的，但数学内部可能找不到证明过程。

“这句话是错的”——没有真值。

“不存在对这个命题的证明”——有真值，但无法证明自己。

真实性 ≠ 可证性。直觉能告诉你它是对的，逻辑推演未必能。

1936 年，图灵啃完哥德尔的证明，给出更简洁的方法，并定义图灵机。1936 论文的目标，其实是在说明机器与人的差别：属于直觉的部分，图灵机无法完成。

阿克琉斯之踵：人工智能这个巨人似乎战无不胜，但从诞生那天起，图灵就指出了它的边界。今天所有电脑、手机、云中心，仍未超越图灵机。

维特根斯坦与科学的现代定义

罗素写完《数学原理》后，转向语言问题，发展出逻辑原子论：把每句话拆成原子，逐个判断真值。

例：“张三一直逍遥法外”可拆为：是否存在张三？他是否犯罪？他是否被抓住？只有全部为真，整句话才为真。

维特根斯坦把这项技术推到极限，并追问：为什么科学不断进步，哲学却没有？

他认为：哲学用语言描述，很多陈述无法被有效拆解——要么是无效陈述，要么研究的是超验命题。

“菩提本无树，明镜亦非台”——菩提是菩提，树是树，同时说“无”，违背矛盾律，本身说不清自己要说什么。

能说清楚的事情，必须是：有效陈述下的可检验事实。伦理、价值、美学、宗教与神秘体验，语言无法准确捕捉，只能保持沉默。

维也纳学派：给科学定下行规

熟读《逻辑哲学论》，并把它变成学术界的“圣经”，事实上定义了科学的现代定义。

只有通过逻辑分析，才能解决传统哲学命题。
拒绝形而上学；实验是检验知识唯一可靠的来源。

实践是检验真理的唯一标准。

从此，科学真正变成一个行业。科学家像医生一样：在实验室，只做可检验事实；离开实验室，仍可以有信仰、情感与完整人生。

图灵测试：把“智能”变成可检验事实

1950 年，人们问：机器到底有没有智能？“智能”本身是哲学命题。图灵测试让提问者无法分辨回答来自人还是机器，于是“智能”有了可检验标准，计算机工业随之被带动。

科学家更重要的工作之一，是把今天认为超验的东西变成可检验事实，从而开拓新领域。比如“快乐”与多巴胺。

晚年维特根斯坦的提醒

维特根斯坦晚年说：不好意思，你们把我理解错了。《逻辑哲学论》最重要的是第七章以后——但第七章只有一句话：对于不可说的内容，最好保持沉默。

语言不只可以被逻辑定义。说“水”，可能是水本身，也可能是“上善若水”，还可能是“今天的讲座很水”。

如果思想像古典逻辑一样纯洁，知识就会像冰面一样光滑。但摩擦系数为零时，你在冰面上哪里都去不了。

人类的创造力，来自不完美：归纳法不那么准确，类比法从一个事情想到另一个事情。若思想严格如机器，就不会创造任何新东西。

1929 年，维特根斯坦回到剑桥，走在街头，看到橱窗里挂着罗素、弗洛伊德、爱因斯坦的画像。他说：人类的精神文明在过去 100 年，从来没有像今天这样堕落过。

把科学当成新的神供在圣殿里，跟原来的神没什么差别。科学是人类文明的一部分，但如果把它当成人类文明的全部，这是堕落，而不是繁荣。

他留给世界的最后一句话是：我度过了美好的一生。

古典理性 vs 现代科学

古典理性

追求绝对真理体系

从牛顿到爱因斯坦

真理确定、客观

科学家像绝对权威

现代科学

真理是相对的，有前提

科学是工具，不是目的

从确定走向不确定

大胆假设，小心求证

科学的第一次革命：从文艺复兴、工业革命，到伽利略、牛顿、爱因斯坦，属于古典科学。

科学的第二次革命：上世纪二三十年代，从数学的确定性走向不确定性，从客观物理世界走向量子力学、混沌等更真实的世界。

所有不可证伪的理论，都不是科学理论。

留给我们的问题

科学无论怎么发展，对人本身还远远没有触及。

宗教体验、信仰、价值观、对美的感受——这些超验内容，才是人更重要的部分，也能被人感知。它们来自直觉、常识、信仰与美学。

AI 能做的，是在科学范畴内，让有效陈述更快、更高效；但非语言可表达的内容，超越了它的能力。

技术进步，是否一定带来人类的幸福？

还是让人类更卷？

这是这个时代，我们应该思考的关于人类本身的问题。

逻辑如何塑造了科学：从 1+1=2 到哥德尔不完备定理