祝融说。

一个十七岁少年记住的日食

1919 年，维也纳。一个十七岁的少年混迹于战败帝国首都拥挤的思想市场。这一年他后来反复回忆：爱丁顿的远征队把日食底片带回伦敦，报纸宣布牛顿的理念被推翻——正是第十四章讲过的那场仪式。令他印象至深的不是相对论的内容，而是这件事的形状：一个理论当众押上自己，被全世界的观测裁决，输了就认。同一个思想市场里还挤着别的学说——他先后卷入过的马克思主义团体、他熟识者信奉的阿德勒式精神分析——它们也同样言之成理，同样解释一切，却从不曾把自己押上任何一张底片。

少年名叫卡尔·波普尔（1902–1994）。他日后说，正是这个对照长成了他的哲学问题：爱因斯坦与那些学说，差别究竟在哪里？这个问题后来有了学名——分界问题：科学与非科学（伪科学、形而上学、意识形态）的界线划在哪里。它比"真理问题"更锋利，因为它不问哪些理论是对的，只问哪些理论在以"可以被证明为错"的方式工作。

第十四章已经给过 1919 年的《RC》读法：再收敛的重新观察仪式。本章换一个焦距——不看那场仪式换账的内容，看它暴露的纪律：理论与观察之间的通道，必须保持敞开。这正是本章要讨论的东西：二十世纪的两位检讨者，一位用一条标准给这条通道立了法，另一位指出这条法律本身需要修正。而《RC》将在两人之后给出自己的裁决：理性健康与否，看的不是它持有多少真定理，而是它保持收敛的能力。

证实的困境

波普尔的对手先要摆清楚。二十世纪二十年代的维也纳学派——石里克、卡尔纳普等人——把哲学的旧问题换成了一条新标准：证实原则。一个命题要有认知意义，就必须能够被经验证实——原则上可以指出哪些观察会支持它。这条标准的矛头是形而上学：黑格尔式的宏大断言既不容许任何观察支持，也不容许任何观察反对，那就干脆不算知识。这是一场清扫运动，动机与培根清扫假象（第十二章）一脉相承。

困境藏在标准自己身上，而困境的根就是导言的第二个疑题。休谟早已证明：从"过去每次都如此"推不出"将来也会如此"——任何有限次的确认，逻辑上都证不成一条普遍定律。第十三章把这条裂缝做成了制度：科学的账本之所以与神谕不同，在于它让"到目前为止"与"永远"之间的差额永远敞开着、被审计着。可证实原则在逻辑上恰恰要求用有限笔存款兑付一张无限额度的支票——它给科学开出的达标条件，科学按休谟的账目根本交不出来。更尴尬的是反向的不对称：找一百只白天鹅证实"天鹅皆白"，不抵一只黑天鹅的否证。确认与反驳的逻辑分量天生的不对等，被波普尔一眼看穿，并翻成了他的全部起点。

可证伪性

1934 年，波普尔出版《研究的逻辑》（Logik der Forschung）；1959 年，大幅扩充的英文版以《科学发现的逻辑》为名刊行。标准在此翻转：科学的地界不用证实划，用证伪划——一个理论是科学的，当且仅当它冒着自己被观察驳回的风险：它做出明确的预言，预言与观察可能冲突，而理论接受这种可能。理论的科学品格，不在于它被证实了多少次——占星术的"验证"车载斗量——而在于它禁止了什么：一条不容任何可设想的观察反驳的理论，什么也没禁止，因而什么也没说。

按本书的读法，这条标准可以直接放进第一部分的词汇表里翻译，而且翻译得惊人地贴合。可证伪性=给观察分歧保留通道。一个理论可证伪，意思是它给自己与世界的对话保留了产生观察分歧的可能——存在一类观察，它们一旦发生，将构成对共识的质疑（《RC》总纲 1.4 的"观察共识也可以因为不同的观察方式被质疑或否定，产生观察分歧"）。一个理论不可证伪，意思是它把通道焊死了：任何观察进来，都被框架吸收成对自身的再确认——第二章讲过的火鸡，就住在这样一座框架里。

而"给观察分歧保留通道"这件事，在《RC》的实践论里有一个现成的名字。总纲在 4.3 节讨论可持续决策时说：不存在最优决策，最优决策本质上其实是可持续决策；可持续决策即保持选择权始终在场，保持抵消规则固化的弹性。可证伪性正是这条原则的认知版：一个理论拒绝把自己焊死成不可反驳的，等于在时间维度上保留试错余量——它允许"下一次观察"拥有改变账目的权利。两套话语在这一点上正面相遇：波普尔用一条科学方法论的标准，说出了《RC》用公理 A7（余量守恒）说的话——锁定的同时不穷尽基底，给再收敛留出空间。第十六章刚刚把三种理性形态收进"认知中转站"，波普尔的标准此刻可以补一行注脚：中转站与终点站的差别，就写在可证伪性里——终点站不卖下一程的票。

这条标准还照亮了第十三章的两笔账。预言的公证——事先公开锁定路径、写明署名与时限、交世界裁决——正是可证伪性的制度化形态；波普尔赞赏的那种"冒险的预言"，与哈雷彗星的归期在结构上是同一件事。而特设性假设——波普尔明确禁止的那种只为对平旧账、不押任何新赌注的修正——就是第十三章的纸币：每印一张，框架的说服力折损一分。一个框架还剩多少生命，看的不是账面上的正资产，而是它还敢不敢开新赌注——第十三章的这句判语，几乎就是波普尔标准的会计翻译。

拉卡托斯的修正

标准立起来了，但二十世纪科学史的材料不肯完全就范。压力来自两边。一边是逻辑的：迪昂在十九世纪末、奎因在二十世纪中叶论证，理论从来不单独面对观察——判决性实验驳回的永远是一束假设（理论加辅助假设加仪器理论加数据处理的合取），辅助假设肯让步，理论本体总能幸免。另一边是历史的：第十四章的洛伦兹收缩就是现成的样本——一个恰好抵消观测、原则上无法独立测出的假设，按朴素证伪主义早该把以太理论枪毙，可物理学界用这套纸币照常营业了十几年，而且账目大体是平的。

修正者叫伊姆雷·拉卡托斯（1922–1974）。1970 年，他在论文《证伪与科学研究纲领方法论》中给出方案，这篇论文后来成为他身后文集《科学研究纲领方法论》（1978 年出版）的标题篇章。他的图景是：科学的基本单位不是单个理论，而是研究纲领。每个纲领有两层结构：硬核——纲领不容反驳的基本假设（牛顿纲领的硬核是三条运动定律加万有引力），放弃硬核等于放弃整个纲领；保护带——环绕硬核的辅助假设、初始条件与数据处理约定，它承受反常的冲击，并且可以不断调整。理论的死亡不来自单个反例——人们可以带着反常生活——而来自整个纲领的退化：当保护带的每一次调整都只是吞掉旧账、却开不出新的成功预言时，纲领就开始被共同体放弃；反之，能持续产出超预期预言的纲领是进步的。拉卡托斯自己举的样本，恰是本书第三、第四部分讲过的那些：牛顿纲领在它最好的年代是进步的范本——每一次保护带的调整（把一颗新摄动源记入账目）都附送一张新的现金支票，第十三章的海王星就是这张支票的巅峰兑现；而水星账上的祝融星，则是退化期的样本——保护带还在动，却再也开不出一张敢押上坐标与时刻的存单。同一副结构，两种账龄：进步与退化的分界，正是第十三章那句判语——还敢不敢开新赌注。

把这套结构放回本书的账本，会看见它几乎是《RC》总纲 3.4 节一条原理的科学史翻版。总纲在 3.4 节讨论动态演化时说："在分歧的早期，通常能维持表层制度上的形式稳定，而深层规则持续进行适应性调整。"第十四章已经用洛伦兹收缩兑现过这句话——以太是表层制度，教科书照编、教授照聘；长度、同时性、变换性质这些深层规则在暗中一条条改写。拉卡托斯的保护带，就是这条相位律的方法论化：硬核是表层的形式稳定，保护带是深层的适应性调整，而"退化"——纸币越印越多、现金再也开不出来——正是深层调整浮上表层、分歧进入末期的那道相位。第十四章的三幕剧（分歧悬账、补丁维持、再收敛）与拉卡托斯的叙事（反常、保护带调整、纲领更替）在同一批史料上两次显影，不是巧合：两者描述的是同一个机制，一个用《RC》的词汇，一个用科学哲学的词汇。

拉卡托斯对波普尔的修正在本书的读法下可以一句话说尽：可证伪性不错，错的是把检验的单位定得太小。分歧通道要保持敞开——这一条拉卡托斯全盘接受；但通道不是每一条观察分歧的直通道，而是以纲领为单位的记账通道。用第十三章的记法：账要按纲领清算，不按单笔清算——海王星式的现金与祝融星式的纸币，要攒够一个账期才见分晓。这恰好也是《RC》总纲 1.4 的立场：观察分歧的积累、再收敛的发生，都发生在"规则框架"的层级上，而不是单条规律的层级上。两位检讨者，一个立了通道的原则，一个量出了通道的宽度。

分界问题：通道而非内容

现在可以正面回答那个十七岁少年问题了：科学与意识形态的分界，究竟划在哪里。

波普尔的答案（按可证伪性划）在本书的读法下需要修正一处、保留一处。需要修正的是：单条命题的"内容"划不出这条界。同一条命题可以出现在科学与伪科学里——"某种心理倾向存在"可以是精神分析的教条，也可以是被实验检验的假说；"天体影响人事"可以是占星的兜底话术，也可以是潮汐理论。可见界线不在说了什么，而在怎么说、以及说什么之后做什么。

保留的是波普尔真正的洞见：界线在通道。科学是一种把分歧通道制度化敞开的组织方式——第十二章讲过的两条元规范正是它：结果公开（任何结果连同方法、数据、误差一并进入公共记录），方法可重复（任何人在任何地方按公布步骤应能重走同一条路径）；再加上同行评议——第三章说它把"跨主体观察相互验证"做成了流程。这三项制度的功能是同一件事：欢迎并放大分歧信号。一个结果越是有争议，越要被交给未参与者复核；一次观察越是出人意料，越要被别的仪器、别的小组、别的大陆重做——分歧不但不被视为威胁，反而是账目更新的正式入口。第十四章的联席会议、第十五章的贝尔实验一代代收紧漏洞，都是这条通道在最高规格上的运转。

意识形态——这里说的是它的病变形态，而非一切信念体系——则把通道反着装。它的三件工具，《RC》总纲在 2.2 节讨论语言的双向表征时已经列过，名单严丝合缝：信息过载，用模糊关键参数、堆砌冗余噪声削弱主体的判断能力；语义极化，用极端立场、滥用原意、无限扩展改写词汇的原有表述空间，瓦解主体间讨论的基础；情绪覆盖，用短期的释放替代长期持久的解决。总纲把这三种操作的统称给了语境污染——语言被用来完成规训，而不是完成认知。对照一下就会看见：这三件工具没有一件是"说错了内容"，每一件都是在封闭通道——让分歧产生不了、传不出、或者一出来就被噪声淹没。所以分界问题在《RC》框架里的答案可以一句话立住：科学与意识形态的差别不在账本上记了什么，而在账本还接不接收驳回。前者把观察分歧做成账目更新的入口，后者把观察分歧做成账户安全的威胁——用第一章的词汇说，前者保持着再收敛的接口，后者在焊死它。

这个读法还顺手安顿了分界问题的一桩老悬案：可证伪性标准自身可证伪吗？按老的争论方式，这条标准不是经验命题、无法被任何观察驳倒，似乎自己就不科学。按《RC》的读法，问题本身问错了类：可证伪性不是一条关于世界的理论，而是一项关于通道的制度设计——正如"账目要公开"不是一条会计学定理，而是让会计成为可能的章程。它不接受观察的裁决，但它接受另一类裁决：按它组织的认知系统，收敛能力是否真的更强、更快、更可传递。四百年的科学史在这类裁决上给出的证据，正是本书第四部分的全部内容。

理性的健康度

两位检讨者之后，《RC》可以给出自己的裁决了，它就是本章的标题。

理性的健康度，以保持收敛的能力衡量，不以持有真定理衡量。这不是修辞，而是两套完全不同的度量。按后一套度量，理性是一份资产清单：手里有多少已被证明的定理、多少已被验证的定律，清单越长越健康。按前一套度量，理性是一种代谢能力：分歧信号还能不能进来，进来之后还能不能转化为账目的更新，更新之后通道还敞不敞开。总纲在 2.1 节讨论过程性完备时早已立下原则：认知的完备性最终且只应体现于过程迭代的能力，而非结论的完成程度。神谕不可错，所以不可学——第十三章的这句判语，是健康度标准最短的表述。

两套度量的差别，在稳定时期看不出来，在扰动时期生死攸关。持有真定理的系统遇到反常，第一反应是保卫清单——因为清单就是它的全部；保持收敛能力的系统遇到反常，第一反应是记账——因为反常是通道畅通的证明。第十四章的以太物理学与第十五章的量子力学史，分别演过这两种反应：前者用收缩假设把零结果挡在账外十八年，后者把"理论与单次观察永远对不上"直接写进了理论的语法。哪一个更谦逊，哪一个活得更久，历史已经清账。

也正是在这里，本章要替"理性的谦逊"这个词辩护一句，免得它被读成姿态。谦逊在本书的读法下不是美德修辞，而是结构属性：它指一个系统给"尚未被锁定的"保留余量这个事实（A7），以及为维持这个事实而设计的全部通道——公开、可重复、可证伪、可换地基、可重新观察。波普尔把其中一条通道立了法，拉卡托斯量出了它的宽度，而《RC》指出这些通道共享同一个根系：可持续决策的根系，保持选择权在场。理性的谦逊即是理性的结构，而非理性的表情。

顺带要挡住一个相反方向的滑坡。二十世纪确有人从"科学也犯错、也编辑历史、也依赖共同体"一路滑到"科学与神话无异、怎么都行"——费耶阿本德的《反对方法》（1975）常被征引为这句口号的出处。第七章与第九章已经驳过这个滑坡的哥德尔版与几何版，此处只需补科学版的判语：它把通道与内容又搞混了。科学史的多头、混乱、偶发，本书四个部分从不讳言——收敛从来不是笔直的；但从"过程混乱"推不出"无差别"，差别写在账上：一个给分歧留通道的系统，四百年里把账本越换越厚；一个焊死通道的系统，账本只能靠语境污染来维持账面的平整。通道的健康度是可观测的：分歧进入的速率、记账的诚实度、换账时不烧票据的程度——这些都是《RC》框架里可以称量的量，怎么都行的另一面，恰恰是拒绝称量。

交棒

本章的任务至此完成：分界问题在《RC》框架内改写为通道问题，可证伪性与研究纲领分别被转写为选择权在场与深层规则调整，理性的健康度获得了它的度量。但还有最后一层没有掀开。本章讨论的通道——公开、复验、证伪、换账——全部默认观察者这一头是给定的：人来观察，人来复验，人来决定换不换账。可是在这条四百年的延长线上，观察的位置本身正在被移交给一个新的东西——一个由我们制造、却不再按我们的尺度工作的模式识别装置。当观察者本身成为被制造的收敛装置，通道会变成什么？这是第十八章的问题，也是本书敢于以"前瞻"命名这一部分的唯一理由。