读法：每组填 Σ 与 R，即得正反题。四个康德组的正题全是"有终项"，反题全是"无终项"；五个新组同形。
| # | 组 | Σ（条件序列） | R（回溯综合） | 正题＝有终项 | 反题＝无终项 |
|---|---|---|---|---|---|
| 1 | 量 | 时空外延 | 向前／向外回溯 | 世界有开端、有界限 | 无开端、无界限 |
| 2 | 质 | 复合物的内部分割 | 向内分解 | 有最终单纯者 | 无单纯者 |
| 3 | 关系 | 因果条件 | 向因回溯 | 有自由因作开端 | 一切依自然律，无自由 |
| 4 | 模态 | 存在的条件 | 向必然者回溯 | 有绝对必然的存在者 | 无必然存在者 |
| 5 | 同一性 | 一个持续者的版本序列 | 同一性判定 | 必有不变载体 | 载体全换而同一仍存 |
| 6 | 根据 | 理由序列 | 辩护 | 必有基础信念 | 任何基础项仍可被索要理由 |
| 7 | 意义 | 解释序列 | 意义的确定 | 必有自明项 | 任何自明项其自明性仍待解释 |
| 8 | 能力 | 能力的构成条件 | 能力归因 | 必有先天初始能力 | 任何先天项可再分解 |
| 9 | 测量 | 观测链 | 测量的完成 | 链必在某处切断 | 无原则性切点 |
| # | 被禁止的推进 | 康德判决 | 接口完整性 |
|---|---|---|---|
| 1 | 回溯改写"世界"这个项 | 双方皆假 | 部分 |
| 2 | 分割改写"部分"这个项 | 双方皆假 | 完整（科学史＋发育两条曲线） |
| 3 | 行动改写行动者与情境（格集被回写） | 可以同真 | 弱 |
| 4 | 解释链的闭合追认必然性 | 可以同真 | 无 |
| 5 | 判定改写判准本身 | — | 部分（维持工作可指认、可中断） |
| 6 | 辩护改写"什么算一个理由" | — | 弱 |
| 7 | 应用改写规则 | — | 中等（规则漂移可测） |
| 8 | 练习改写"什么算这项能力" | — | 完整（迁移矩阵） |
| 9 | 测量改写系统与仪器的分界 | — | 部分（属物理学内部，本书不涉） |
⇒ 接口分布本身是一个发现：越靠近事件层面的组，本书能说的越多；越靠近总体与根据的组，本书越只能给形式诊断。
| # | 正主 | 分离线要点 |
|---|---|---|
| 1 | 阿尔阿兹姆；集合论一路 | 前者相互支持；后者治好了论证，没治病 |
| 2 | 原子论；莱布尼茨单子；基础层之争 | 在某一分割界面下他们对；错在把界面读成最终结构 |
| 3 | 相容论；来源论 | 相容论是成功的改题；来源论是本组反题的当代复现 |
| 4 | 宇宙论论证传统 | 终点前置在形而上学里最古老的形式 |
| 5 | 帕菲特 | 他已走到门口（"不确定"即介生态），但仍把判准当外在的尺 |
| 6 | 阿格里帕—阿尔伯特；齐硕姆 | 三难穷尽是因为默认理由序列现成 |
| 7 | 克里普克与维特根斯坦 | 他们否定，本书生成 |
| 8 | 乔姆斯基—皮亚杰；核心知识 | 双方共享 (a)；数据全接受，质疑的是"能力"这个计数单位 |
| 9 | 冯·诺依曼—维格纳；退相干 | 退相干是改题而非解题；不评价其物理充分性 |
四栏全部在客体一侧编号；五个新组把回溯掉转向主体一侧——什么算同一个我、意义如何确定、理由到哪为止、能力从何而来、观测者由谁观测。
⇒ 而"四组穷尽"由承诺 (a) 担保，(a) 正是本书要撤销的那一条 ⇒ 用它反驳本书是循环（第 14 章 14.4）。