前六站都在处理已经完成的思想。本章处理正在进行的争论，理由在第 17 章 17.2 已给：一部只能解释十八世纪问题的书，与一部能在当代活跃争论上给出形状诊断的书，价值不在一个量级。
Σ ＝ 观测链。R ＝ 测量的完成。
T：测量要能被完成，链必须在某处切断——必须有一处不再被当作待测的系统。⟹ 正题：链必在某处切断。
N：任何被指定的切点，其本身仍可被纳入待测系统。⟹ 反题：无原则性的切点。
冯·诺依曼给出了这个链，并证明切割的位置可以任意移动而不改变预言。⇒ 这一发现本身就是反题的形式化证明：没有一个位置是被物理学要求的。
维格纳把链推到意识，是一次典型的"必须在某处切断"的正题主张。
形式与第二组（分割有无尽头）完全相同，间隔一百五十年，出现在完全不同的学科里，由完全不同的方法引出。
它不是哲学家想出来的，是实验逼出来的。
一个在十八世纪由思辨得出的形式，在二十世纪由实验重新得出——这是本书能给出的最强的一条"同族"证据，因为它排除了"这只是哲学家的话语习惯"这一解释。
测量改写被测系统与测量装置的分界。
"系统"与"仪器"的划分不是给定的，它随实验安排而定。同一台装置，在一个实验里是测量者，在另一个实验里是被测者。而 O₁ 要求这个划分先在——主体（观测者、仪器）与客体（被测系统）各自完备，测量只是读取。
⚠ 这是全书最需要节制的一节，须逐条声明。
本书不主张：意识造成坍缩；观测者的心灵参与物理过程；某一诠释（哥本哈根、多世界、坍缩理论、关系性诠释、退相干）比另一诠释正确；量子力学支持任何本体论立场。
本书主张的只有一条，而且是形式的："切点在哪里"这个问题之所以顽固，是因为它默认了一条现成的、待切的链。
至于物理学应当如何处理测量问题，那是物理学的事。第 6 章 6.6 的自律在此严格适用：本书射程不及之处，宁可承认不及。
⚠ 写作时须反复自查：本节是否只在说形状，而没有对物理内容作任何主张。这一自查应当在统稿时由第三人执行一次。
退相干解释了为什么在实践上切点的位置不重要——环境导致的相干性丧失使不同切点给出相同的现象学。
按本书的读法，这是一种成功的绕开：不回答"应当切在哪里"，而是说明"切在哪里都得到同样的现象"。
⇒ 这与第 12 章对相容论的判读同型：改题而非解题。⚠ 本书不评价这一策略在物理上是否充分——那是物理学的判断；本书只指出它在形式上属于哪一类。
用第 20 章的五步与第 39 章的探测程序，可以在当代找出同族争论。本章只列出并给形状，不主张解决任何一个。
其一，人工智能中的"理解"之争。
Σ ＝ 理解的构成条件，R ＝ 理解归因。
T：要判定理解，须有一个不再需要进一步说明的理解标志。N：任何被指为标志的东西仍可被要求说明其为何算理解。
⇒ 与第六组（根据）、第七组（意义）同形。被禁止的推进：归因改写"什么算理解"——而这一步正在实际发生（每一代系统出现后，"理解"的判准都被重设一次）。
其二，医学中的"疾病实体"之争。
Σ ＝ 疾病的构成，R ＝ 归类。T：分类要有效，须存在不依赖分类的病理终项。N：任何被指认的终项在新的检测尺度下都可再分。
⇒ 与第二组（单纯者）同形，且与第 5 章 5.5 的诊断格集直接相连。
其三，教育评价中的"能力"之争。
能力是被测量还是被测量所构造？⇒ 与第八组同形，且第 30 章 30.7 已给出方向明确的预言。
凡是有人在认真争论"这一刀该切在哪里"的地方，那里就有一条被当成现成的序列。
这条法则的完整用法在第 39 章（背反探测法）。此处只强调它的性质：它是一条启发式，不是一条定理。它能指出哪里值得用五步去查，不能替代查本身。
⚠ 且它有明确的假阳性：有些"切在哪里"的争论是纯粹的工程取舍（在哪里设置阈值、如何分箱），那里没有被当成现成的序列，只有代价函数。区分二者的方法是第 9 章的属族判据——能否写成 T/N，且撤销 (c) 后是否相容。
八站结算完毕（含中世纪共相之争，见第 32 章 32.9–32.16），可以并排看：
| 站 | 在哪一格结账 | 为什么不能撤销 |
|---|---|---|
| 柏拉图 | (a)：知识搬进灵魂 | 助产术要求知识是可被取出的对象 |
| 唯名论 | 撤 (b)，把 (c) 留在个体上 | 需要现成的个体作为实在的底 |
| 亚里士多德 | 形式因：终点先在 | 目的论需要终点先在 |
| 笛卡尔 | (a) 极端强化 | 要不可被欺骗的支点 |
| 休谟 | 撤 (b)，把 (c) 下移到印象 | 经验主义需要不可再分的单元 |
| 康德 | (b) 的两半，方向相反 | 代价是整部第一批判 |
| 黑格尔 | 终点：绝对精神 | 没有终点，扬弃失去方向 |
| 胡塞尔 | 自我极 | 没有自我极，明证性无处安放 |
| 怀特海 | 序：当工具而非产物 | 原子性是保住坐标纸的代价 |
| 洛伦茨 | 个体那一格 | 不需要撤销——用不着 |
⇒ 两条通则：
其一，没有人是因为看不见才不撤销的，他们都是因为付不起。代价不是一条命题，是一套方法（第 35 章 35.9）。
其二，唯一的例外是洛伦茨——他不是付不起，是用不着。⚠ 而这个例外对本书构成压力，见 37.7。
其三，一条贯穿两千五百年的形状：撤销 (a) 或 (b) 中的任何一条，问题只换个尺度重现（休谟是最清楚的例子）；唯有 (c) 被撤销，另外两条才一并失效。
第五编完。 第六编转向检验：三次真跑、十二条以上的证伪条件、以及本书能被从哪里推翻。
本编的性质：前五编是论证，本编是把论证交出去。三次真跑全部预注册——假设、语料、编码规则、判定阈值先写死，再取数据；不利结果照登。任一跑跑不通，如实写明"此项未做"，绝不用引用他人实验冒充自己的真跑。
>
⚠ 本编的执行状态须逐章标明。一本把未执行的设计写成已完成的检验的书，比一本没有检验的书更坏。
# 第六编 检验
本编读法
>
第六编是本书目前最薄的一编：三次真跑全部标着"未执行"。
>
读者应当据此调整对全书的信任度——一份没有跑过的协议，只是一份协议。本编的价值不在结果，而在于把失败条件先写死：每一跑都有预注册的假设、编码规则、判定阈值与不利结果预案。
>
若要检验本书，不必从这一编开始：附录 C 列出了九条零成本条件（只需比对文本，不需任何实验），那是最快的入口。