祝融说。

早晨的三种劳动

同一个清晨，三份不同的工作正在开始。

棋手在凌晨复盘昨天输掉的对局。规则不归他管：车走直线，马走日，兵只能向前——这些他无权更改，也无心更改。他全部的劳动是在给定的规则之内，判定哪一步推演有效、哪一手棋成立。他可以推演一万条变化，但每一条都发生在同一副规则的内部；他质疑一步棋所用的尺子，恰恰是规则本身。

建筑师在天亮前到了工地。她与棋手的处境有一处要紧的不同：地基是她们自己打的。桩打多深、承台怎么布、用哪种配筋——这些不是世界交给她的大前提，而是她的行业在几百年的失败与结算里逐渐定下的自家约定。地基一旦打好，楼就向上封闭地长：每一层的荷载都压着下一层，结构在自我堆叠中越来越高；而只要愿意，她也可以在另一块地上，按另一套约定另打一处地基，盖出一栋不同的楼。

航海者在锚地收锚出海。他手里有海图、罗经与星表，但没有一样能替他担保这一程：风会转向，流会改道，天气不与他商量。他的劳动是对话式的——定一条航线，看风浪的回答，测出偏差，修正，再听下一次回答。他从不指望风浪服从海图；海图之所以有用，恰恰因为它随时准备被今天的实测修改。

棋手、建筑师、航海者——本书的论题是：逻辑、数学、科学，分别是这三种劳动在思想史中的化身。逻辑像棋手，在给定规则内判定有效推演；数学像建筑师，自建公理地基再向上封闭；科学像航海者，在与风浪的对话中修正航线。三种劳动没有高下之分，差别只有一个：与什么打交道。本章要把这个隐喻锻造成一组足够严格的定义，作为全书的路线图；而锻造的炉子，是前两章搭好的那一座。

一个机制

先把炉子点起来。《RC》论文的公理 A6（共识强化）：跨主体、跨层级的观察结果若相互验证，则形成正向强化循环，收敛出稳定的客观实在。第一章给了这条公理的全部零件：基底、观察、锁定、快照、账户、再收敛；第二章给了它的时间形式：观察共识被总结为因果规律，因果规律被总结为规则框架，框架反向呈现为先验，由耗散的持续供能与共识的闭环维持。

本章的论题是：逻辑、数学与科学，没有各自不同的理性官能。不存在三种理性，只存在一个收敛机制的三种就业方向。它们的全部差别，浓缩为一句话：收敛对象与对话方不同。

逻辑与自身的推演实践对话：它把论辩、语言与计数实践中反复有效的形制抽出来，显式化为规则，再用这些规则反过来校正推演本身。数学与自己的建构对话：它从观察活动中分化出来，用公理给自己划定地界，在地界之内自问自答地生长。科学与世界对话：它把观察、理论、预测、新观察、修正做成制度，世界以实测的偏差回话。

对话方不同，命运便不同。与自身对话的，最稳定，也最难自我修正——因为修正它的工具是它自己。与自己建构对话的，获得了封闭中的扩张自由——地基可换，换一块地基便是一个新世界。与世界对话的，最可错，也最能再收敛——因为世界不迁就它，而它的全部制度就是为接收这种不迁就而设的。下面逐一细看，每看一种，配一个预告性的案例。

逻辑：纯粹收敛结构的显式化

逻辑的收敛对象，是推演实践本身——不是世界，不是物，而是我们说理与计算的动作。所谓逻辑是纯粹收敛结构的显式化，是说它做的事只有一件：把长期实践中反复有效的推演形制，从具体内容里抽出来，写成形制本身。导言对逻辑的速写——推断规范在长期的语言、论辩与计数实践中收敛到极限的形态——是这句话的叙事版；本章把它升格为定义。

预告的案例在两千三百多年前。亚里士多德在《前分析篇》里给出了三段论的体系。最著名的那条形制，后世称作 Barbara：凡人皆有死；苏格拉底是人；所以，苏格拉底有死。值得注意的是这条形制的来历：它不是从自然界读出的定律，而是从雅典的法庭、学园与论辩场上千万次说理实践中蒸馏出来的形制——哪些推演被人接受、哪些被驳倒，长期收敛之后，有效的形制被亚里士多德显式地写了出来。它是纯粹收敛结构的显式化的第一个伟大样本：结构（凡 M 是 P，凡 S 是 M，故凡 S 是 P）第一次从内容（人、死、苏格拉底）中剥离出来，获得了独立的身份。从此，检验一个论证不再需要知道它在谈论什么——只需要看它的形制。这个剥离动作，本书第二部分将从头讲起：斯多亚学派对条件句的辨析，中世纪词项逻辑的精细化，直到弗雷格与罗素把推理本身变成可以逐字符检查的演算。

显式化之后，逻辑踏上了漫长的收敛之路，而它的终点有一个别的领域不会出现的形状：对它的质疑必须使用它。要论证矛盾律为假，你的论证开口第一句就不能自相矛盾——于是任何反驳都在反驳之前缴了械。第一章的定律——收敛越彻底，越显得不曾收敛——在这里达到极大值：逻辑稳定到连否定它的形式都被它格式化，于是它呈现为绝对的、无历史的、思维本身的法则；教科书从符号直接开始，仿佛它从未在雅典的论辩场与中世纪的修道院里被反复打磨（导言已为此出示过证据）。而它的边界，哥德尔与塔斯基将作证：最严密的推演系统，不能在自身内部证明自己的无矛盾——棋手的规则最硬，但棋手无法用棋规证明棋规无瑕。这条边界将在第二部分的结尾接手本章的预告。

数学：收敛路径的自我封闭与扩张

数学的出身并不显赫。计数牲畜、丈量田地、编制历法——导言说过，它是从这些观察活动中分化出来的符号实践。它的转折点是公理化：欧几里得用几条公设与公理给几何划了地界，从此地界之内的事不再问外部世界——一个命题的真假，只由公理与推演裁决，而不由尼罗河泛滥后的田埂裁决。这是收敛路径的自我封闭：数学把自己的收敛路径围起来，不再依赖每一次与外界的相遇来维持。导言说数学经由公理化获得独立于任何具体应用的内部收敛，说的正是这件事；本章把它升格为定义，并补上定义的后半——封闭之后发生了什么。

封闭听来像限制，实际是解放。一旦真假的裁决权收归内部，路径就可以在内部自行扩张：从自然数到负数，从有理数到无理数，从有限到无穷，从三维到任意维——每一次扩张都不需要经验的批准，只需要公理的许可与推演的通过。负数与虚数在诞生时都被视为不通的诡辩，却在封闭的疆域内长成了完整的结构；黎曼在 1854 年把几何的弯曲程度当作可变的量时，没有参考任何一片实际的空间——他只是在自家的地基上，把"过直线外一点只能作一条平行线"这条约定换掉，看看能长出什么。

这引出预告的案例：非欧几何。欧几里得的第五公设在两千多年里一直被认为"自明"——希腊化时期就有人试图由其他公理推出它，普罗克洛斯记下过这些徒劳；十八世纪的萨凯里几乎沿着反证法走到了门口，又退了回来，理由是不敢怀疑如此自明的真理。1829 年起，俄国的罗巴切夫斯基接连发表论文，宣布换掉第五公设之后几何照样自洽；几乎同时，匈牙利的鲍耶伊在父亲著作的附录里给出了同样的结果；黎曼则在 1854 年把这条路修成了通衢。自明性原来是一种选择——是无数次沿同一条路径收敛之后，快照内部看出去的样子（第一章的定律第三次生效）。本书第三部分将细讲这段历史；此处要指出它的双重意义：对内，它证明数学的地基可以更换——建筑师可以在另一块地上另打地基，盖出不同而同样自洽的楼；对外，它在六十年后等来了爱因斯坦——广义相对论需要的几何，恰恰是黎曼在纯粹内部扩张中长出来的那一栋。Wigner 之问（数学为何对世界有效）的《RC》式回答，将在第三部分正式给出，此处先记下方向：自我封闭的扩张与世界的再对接，靠的不是奇迹，而是共同的生成史与一次次再收敛的缝合。

数学因此呈显出一种双面性格：在封闭的疆域内，它比逻辑更自由——逻辑不能换矛盾律，数学可以换平行公设；在与世界的关系上，它又比科学更超然——它的真假不等待实验裁决。这种双面性格，恰是"收敛路径的自我封闭与扩张"这句话的两半。

科学：与世界对话的可错收敛

科学是三种形态里最不神秘的一种——也正因为如此，它最诚实地暴露了机制本身。伽利略的望远镜（导言的主角）、牛顿的综合、实验室、同行评议、可重复性要求——这些制度加起来只做一件事：把"观察—理论—预测—新观察—修正"这个循环焊死，让它必须一圈一圈转下去。导言说科学是一台全社会规模的再收敛机器；本章把它拆开看：科学是与世界对话的可错收敛——它与世界对话，对话的语法是预测，世界的回答是实测，而可错不是它的耻辱，是它保持对话的方法。一个不再可能出错的理论，同时也不再可能聆听。

预告的案例在 1919 年。那年 5 月 29 日的日全食，是检验爱因斯坦广义相对论的机会：引力应当使星光弯曲，爱因斯坦预言太阳边缘星光的偏折约为 1.75 角秒，恰是牛顿理论所给值的两倍。爱丁顿带队远赴西非的普林西比，另一支队伍去巴西的索布拉尔，拍摄食甚时太阳附近的星场。11 月 6 日，皇家学会与皇家天文学会在伦敦的联席会议上公布结果：偏折在测量精度内符合爱因斯坦的预言。次日晨报让这个消息传遍世界，"牛顿被推翻"的说法不胫而走——但本书要给这个时刻的读数与此不同：牛顿没有被推翻。牛顿力学在低速、弱场的区域内依然精确成立，它作为收敛路径的一段被新框架接住，在特定极限下继续任职——改写的是光在引力场中的走法，不是光的存在。1919 年 5 月那几分钟的食甚，是世界对人类理论的一次回答；人类的账户随之改写了一笔，而其余亿万笔存款原封未动（第一章说过的再收敛的实况：局部手术，账目重开，世界不散架）。第四部分将从伽利略开始讲这条对话线的全程——包括归纳问题的哲学账目，与相对论、量子力学对"必然"的两次改写。

值得在此把科学的制度与《RC》的公理逐条对上，因为这种对应是三种形态里最直白的。同行评议是把"跨主体观察相互验证"做成流程：一个结果必须经过未参与者的检查才算数；可重复性要求是把共识强化的循环交给任何人来跑：另一个实验室、另一台仪器、另一组人，把同一条路径再走一遍，走通了才算再强调了一次；引用与优先权制度则在为账户记账——每一笔存款的来历都被登记，谁验证过、谁反对过，有案可查。科学史家把这些制度看作近代科学区别于古代自然哲学的标志之一，本书的读数是：这些制度是公理 A6 的工程化。逻辑的"共同体"是所有说理者，数学的"共同体"是所有能读懂证明的人，两者都把共同体默认为无限的；唯独科学给自己的共同体装了闸门与账本——它更挑剔地承认成员，也更认真地登记每一笔验证。这不是科学更狭隘，而是它的对话方太会顶嘴，不这样组织起来，对话就无法持续。

三种形态里，科学最可错，也正因此最能再收敛。它与逻辑构成了谱系的两端：逻辑与世界不对话，故绝对稳定而无法被世界纠正；科学与世界持续对话，故随时准备被纠正——而"随时准备被纠正"在《RC》的语汇里有一个正面的名字：保持了再收敛的接口，守住了可用余量。

差别只在对话方

现在把三分法并排放好，逐项回扣。

逻辑是纯粹收敛结构的显式化：收敛对象是推演实践本身，对话方是推演共同体与它自己的规则——没有外部世界来反驳一条推理规则。它的极端稳定性（连质疑都必须使用它）与它的无法自我封顶（哥德尔），是同一个处境的两面。

数学是收敛路径的自我封闭与扩张：收敛对象在公理化之后转为内部结构，对话方是它自己的公理与构造实践。它靠封闭获得扩张的自由，靠地基的可换性吸收深层改写；它与世界的贴合，靠生成史上的同源与后来的再对接。

科学是与世界对话的可错收敛：收敛对象是被观察锁定的实在，对话方是世界本身——世界以实测的偏差回话。它用制度化的可错性，换取持续的再收敛能力。

机制在三者中是同一个，都是 A6 的共识强化：相互验证的观察形成正向强化循环，稳定成实在。差别只在收敛对象与对话方——棋手的规则、建筑师的地基、航海者的风浪。由这一个差别，派生出全书第五部分将系统比较的三条刻度：收敛速度（逻辑一旦显式化即近乎完成，科学的收敛永远在进行时）、跨主体范围（数学的证明要求一切理性主体的接受，科学的共识以可重复实验为界）、对再收敛的抵抗力（逻辑最抵抗，数学居中，科学把可错做成了制度）。

还要补一笔三者之间的服务关系，免得三分法被读成三种孤立的事业。科学用数学搭建理论的结构，用逻辑检查推演的每一步；数学从科学的问题里领取新的地界（微积分之于力学，微分几何之于相对论）；现代逻辑则诞生于数学的地基危机——弗雷格构造概念文字，本就是为了给算术奠基。三者不是三种理性，而是同一个收敛机制在三个对话方向上的分工：对自己、对自己的建构、对世界。理性的所谓三驾马车，套的是同一匹马。

五部分的路线

至此，第一部分的任务完成：第一章给了机制（基底、观察、收敛、共识强化、快照、再收敛），第二章给了发生学（四道工序、两个维持机制、三个稳定性刻度、三问检验口），本章给了分类（三分法与一个机制）。此后的四部分，是把这套工具按对话方分四路送进历史。

第二部分讲逻辑——形式的胜利与边界：从亚里士多德的三段论与斯多亚学派的条件句，经中世纪词项逻辑的精细化，到弗雷格与罗素的符号逻辑、希尔伯特纲领，及其在哥德尔与塔斯基手中显出的边界。追踪的问题是：一个与自身对话的收敛系统，稳定到极限时会遇到什么。

第三部分讲数学——确定性的建构与其裂缝：从毕达哥拉斯派的数与欧几里得的公理化，经无理数与无穷的麻烦、微积分的基础危机、非欧几何的诞生、集合论悖论，到公理化集合论与不完备定理。追踪的问题是：自我封闭的扩张自由，以哪些裂缝为代价。

第四部分讲科学——与世界的对话：从伽利略与实验方法的诞生、牛顿的综合、归纳问题的哲学账目，到相对论与量子力学对"必然"的两次改写。追踪的问题是：一个靠世界回答而活的系统，如何把可错做成力量。

第五部分整合与前瞻：把三种形态放回同一机制下比较——收敛速度、跨主体范围、对再收敛的抵抗力——并以理性的可持续迭代收束：理性不是完成的殿堂，而是一种保持选择权在场的收敛能力。

夜晚收工。棋手合上棋谱，明天这副规则原样等他；建筑师在图纸上画下新的一栋，地基的约定可以再议；航海者泊进港湾，海图上添了今天实测的一笔，明天的风还没有定。三种劳动各自安眠，而它们共同的秘密是同一件：他们所依赖的一切坚固——规则、地基、海图——都曾被制作，都在被维持，也都还留着被重做的接口。接下来的四个部分，就是去这三个工地，看这些坚固是怎样一锤一锤敲实的。