下卷导读：在地基上建造之前
三件事让直觉变得危险：它太快，太自信，太难被质疑。
你不需要读这一章。
如果你已经接触过形式证明，读过一点数理逻辑，知道命题和谓词的区别，可以直接从第14章开始。
但如果你从未认真想过"证明"究竟是什么——不是数学课上那种"根据题意可得……"式的论证，而是每一步都有明确来源、可以被机械检查的符号序列——那么先花二十分钟在这里，会让接下来的每一章都更清楚。
为什么自然语言推理是不可靠的
先看三个例子，它们会让你不舒服。这是故意的。
例子一：理发师悖论
一个村庄里有一位理发师，他给所有不自己刮胡子的村民刮胡子，且只给这样的村民刮胡子。
问：理发师自己刮不刮胡子？
- 如果他给自己刮：根据规则，他只给不自己刮的人刮，所以他不应该给自己刮。矛盾。
- 如果他不给自己刮：根据规则，他给所有不自己刮的人刮，所以他应该给自己刮。矛盾。
两种情况都导致矛盾。这个村庄里不可能有这样的理发师。
但问题在于：这个矛盾是从"存在这样一个集合"的假设推出来的。用自然语言描述的规则，可以在不知不觉间包含一个自相矛盾的假设——而你在引入它之前，根本发现不了。
形式系统的目的之一，就是让这类矛盾在语法层面就变得可见，而不是在推理了很久之后才突然爆发。
例子二：彩票悖论
一张彩票中奖的概率是百万分之一。所以对于任何一张彩票，理性地说，我相信它不会中奖。
好。现在对一百万张彩票，我分别相信它们每一张都不会中奖。
但我知道，其中有一张会中奖。
于是我同时相信"每张彩票都不会中奖"和"有一张彩票会中奖"。这两件事加在一起，是矛盾的。
这里哪里出了错？
"合理地相信"不是形式逻辑里的谓词，它没有可以被机械检查的规则。一旦你用了"合理"这个词，你就已经离开了形式系统，进入了某种需要概率论才能处理的推断。第17章正是要把"合理地相信"翻译成一个有精确规则的东西。
例子三：选择公理的直觉
给定任意多个非空集合，你可以从每个集合里各选一个元素，组成一个新集合。
这听起来完全显然——选一个，有什么难的？
但当集合有无穷多个，且每个集合里的元素之间没有任何区别（没有顺序，没有标签，无法命名），"选"这个动作就变得模糊了。你在选什么？根据什么规则？
选择公理把"这样的选择总是存在"作为公理接受下来——不是因为可以证明，而是因为不加它，很多重要的数学定理就无法成立。但加了它，会推出一些和直觉剧烈冲突的结论，比如巴拿赫-塔斯基定理：可以把一个球分解成有限块，重新拼合成两个和原来一模一样大的球。
这里的教训是：公理不是"显然的真理"，而是你选择接受的出发点。不同的公理集合给出不同的数学宇宙，这些宇宙里的定理可能截然不同，但在各自的系统内都是无懈可击地成立的。
这三个例子指向同一件事：自然语言里的直觉推理，在精确化之前是危险的。不是因为我们的直觉很差，而是因为自然语言允许歧义，允许自我指涉，允许把隐含假设藏进无害的措辞里。
下卷要做的事，是给推理建立一个无歧义的地基——不是为了限制推理，而是为了让推理的边界变得可见。
读这本书需要什么基础
诚实地说：下卷对读者的数学逻辑基础有要求。以下是具体的要求，不是模糊的建议。
你需要知道的（没有这些，第14-15章会很吃力）：
- 真值表：给定命题变元的赋值，能计算
、 、 、 的真值。特别是 在 为假时为真这件事。 - 证明的概念：接触过至少一次"从假设推出结论"的过程，哪怕只是高中几何里的"已知……求证……"。
- 函数和集合：知道函数是什么（输入到输出的映射），集合是什么（元素的汇集），能看懂
这种写法。 - 自然数和归纳法：知道数学归纳法的形式（对
成立，对 成立则对 成立，故对所有 成立）。
如果你还没有这些，建议先读（按时间成本排序）：
| 书目 | 需要时间 | 对应章节 |
|---|---|---|
| Velleman《How to Prove It》第1-3章 | 约10小时 | 第14-15章的语言基础 |
| Smullyan《What Is the Name of This Book?》（任意悖论入门书） | 约5小时 | 第15章的自指直觉 |
| Sipser《计算理论导论》第1章 | 约5小时 | 第16、19章的计算模型语言 |
后三章（第17-18章）需要你接触过基础概率（条件概率、全概率公式），但不需要超出高中范围。
不需要的（不要被这些词吓到）：
- 不需要知道 Lean、Coq 或任何定理证明助手
- 不需要读过任何数理逻辑教材
- 不需要会写程序（第16章提到Rust只是类比，不要求会Rust）
- 不需要读过上卷（但读过会更有感觉，特别是上卷ch07和ch13）
下卷的结构，以及每章在说什么
下卷九章有一条逻辑主线，但每章也可以相对独立地阅读。
ch14 形式系统 ← 地基：推理规则被精确化
ch15 不完备定理 ← 地基的裂缝：系统无法看见自身的全部
ch16 线性逻辑 ← 质疑一条规则：假设不是免费的
↓ 桥接：三值逻辑（16.7节）
ch17 概率推断 ← 真值扩张：从确定到不确定
ch18 因果推断 ← 推断新动词：干预不是条件化
ch19 复杂度理论 ← 计算的几何：推理有内在代价
ch20 启发式合同 ← 代价下的承诺："差不多对"的精确含义
ch21 学习理论 ← 逆推断：从观测推出规律
ch22 自指与涌现 ← 系统推理关于自身时发生什么如果你只能读三章：读 ch14、ch15、ch19。它们构成了下卷最核心的一条线：推理被形式化，然后碰到了无法越过的边界，然后这个边界被精确地测量。
读这本书的姿势
下卷的每一章都有三类材料，用法不同：
正文是叙事，目的是建立直觉和动机。可以快读，允许有些地方不立刻清楚——先往前走，回头会变清楚。
思考题分三级（★/★★/★★★）。★题是动手题，必须做——它们确认你真的理解了定义，而不只是读懂了文字。★★题需要时间，跳过就跳过。★★★题没有标准答案，只是把你推到边界上看一眼。
悬而未决不是没写完，是真的悬而未决。这些问题是当前数学或理论计算机科学的开放问题，或者是哲学上没有共识的问题。对它们的正确态度是：知道它们存在，不要假装有答案。
最后一件事。
下卷的第一章（第14章）会花很大篇幅说清楚一件你可能觉得"不就是这样吗"的事：什么叫证明，什么叫推断规则，为什么这些需要精确定义。
请不要跳过它。
那种"不就是这样吗"的感觉，正是需要被仔细检查的地方。