概念地图
二律背反
正反题都能证明，说明问题问错了；解决是划界不是裁决。
深色为本章概念，浅色为其他章
陪练模式
不想只是读？让它带你走一遍。
导师把这一章拆成小步，每一步先问你，再讲；你用自己的话答，它先认下对的部分再纠偏。用你自己的 AI，对话只存在这台设备上。
定位01
延伸阅读
世界有限与无限之争 · 古代到十八世纪
世界在时间上有无开端、在空间上有无边界，两派各有论证，几百年没有进展。他们反对的是把这类问题交给常识；代价是双方都默认「世界整体」是一个可以被谈论的给定对象——康德的全部处理都从这个默认下手。
奠基
康德 · 二律背反 · 四组冲突与它们的解决
先把正题与反题的证明并排写出来，再指出前两组数学性的可判为都假、后两组力学性的可分层都真。他反对的是在这些问题上直接选边；代价是这套解决要用到分析论的全部结论，独立性很低。
转向
康德 · 论上帝存在的三种证明
本体论、宇宙论、自然神学三条路，后两条最终都要借第一条那一步，而第一条已在「存在不是实在的谓词」一句下失效。他反对的是逐条比较三种证明的说服力；代价是这条归并本身要单独论证，而书中写得很紧。
转向
休谟 · 《自然宗教对话录》 · 1779
从经验一侧反驳设计论证：类比推理的前提在宇宙这个独一无二的案例上不成立。它与康德的形式反驳互补，两条路径都指向同一个结论，却谁也不依赖谁。
修正
机制02
都能证明说明前提共用
康德在这一章做了一件很奇怪的事：他把互相矛盾的两方各自的证明并排写出来，两边都写得成立。这套并排他称为二律背反。它在论证里的位置不是展示困境，而是一次定位动作：既然两条互斥的命题都能被证出来，出问题的就不在任何一方，而在两方都用了却都没说出来的那条前提。
机制一对互斥的命题通过各自都能被证明暴露出两者共用的那条未言明前提。
可迁移性测试
换到测试：同一份输入下两条互斥的断言都通过了，问题多半不在断言里，在两条断言共用的那个夹具上。不同构的地方在于夹具可以单独跑一遍验明，而这里的共用前提只能靠前几章的结论去指认。
机制03
三条路并作一条
上帝证明那一部分用的是另一手：不逐条比较三种证明的说服力，而是查它们的依赖关系。宇宙论证明推到最后要说「最实在者必然存在」，自然神学证明推到最后要借宇宙论证明，于是三条都落回同一步。康德把理性设想的那个至上者称作先验理想，并指出理想是理性为求系统统一而设的，不是一个被给出的对象。
机制三条看似独立的证明通过最后都要走同一步被一次反驳全部带走。
可迁移性测试
换到依赖链：三个服务看上去各自独立，压测时才发现都调同一个下游，那个下游一挂三个一起挂。不同构的地方在于依赖关系能在调用图上直接读出来，而三条证明的共同依赖要逐条分析才看得见。
推导04
二律背反的形状
这一段要还原的是康德解决四组冲突的形状，并指出解决动作的性质。
正题与反题各自的证明在形式上都成立
康德选的前提，材料就是他自己并排写出的两栏证明。
若两个互相矛盾的命题都可被证明，则必有一条为两者共用的前提为假
康德选的前提。它要求双方真的互相矛盾，而不只是互相反对——这个区别下一步就要用到。
双方共用的前提是「世界整体作为一个自在的对象被给出」
康德选的前提，也就是他所说的先验实在论。这条指认是全章的支点。
推导 · 0 / 4
推导演练05
跑一遍第三组：自由与自然必然性
「一切依自然律发生」与「有出于自由的因果性」是不是互相矛盾？
先写出「互相矛盾」要成立需要什么条件，再看这两句满不满足。
裂缝06
这个读法的裂缝
争议地形07
本书主张
四组冲突的出现说明提问本身预设了世界整体作为自在对象被给出；解决办法是取消这条预设，而不是裁定谁胜。
另一种看法
一线主张：现代宇宙学确实在回答世界有无开端一类问题——膨胀模型、时空的有限无界、可观测宇宙的年龄——说明这类问题不是伪问题，只是当时缺少理论与观测手段。
分歧扎在
分歧扎在「世界整体能不能成为经验研究的对象」这一条上，不在正反题的证明有没有形式漏洞。两边都同意那两栏证明各自读起来成立。
什么证据能裁决
能裁决它的是宇宙学的实际做法：若关于宇宙整体的命题能被观测检验并因此被修改过，则它落在可能经验之内，康德的界线在这里画错了。观测记录公开可复核，不依赖对康德的解读。
目前的天平压向宇宙学一侧，但要看清范围：被检验的是可观测宇宙的年龄与几何，不是康德所说的「一切现象的绝对总体」，后者至今没有检验入口。所以这一局是界线被推移，不是被取消。还差的是：提问时就把「可观测宇宙」与「世界整体」分开的表述。
文本检验08
把「四组分两类处理」这个读法写成可检验的规格
要检验的读法是：康德把前两组数学性的二律背反判为正反题都假，把后两组力学性的判为可分层都真。
版本：A 版 1781 与 B 版 1787 并列为准，二律背反及其解决按标准 A/B 边码引用，中译对照通行译本
版本事前定死；两版必须各查一遍。
判据段落：四组正反题的证明各栏，以及解决部分对应的四节
事前指定，不是读完再挑。
什么算支持：解决部分明确区分数学性与力学性两类，并给出两种不同的处理
两项都要满足；只出现分类而处理相同，不算。
竞争读法的预测：若四组处理一致，解决部分不需要这道分类，也不必对后两组另设分层
两个读法在解决部分给出可分辨的预测。
事前登记的失败条件：四组给出同一种处理，或分类与处理对不上号
两者之一出现即按读法被推翻处理。
推导 · 0 / 3
接口09
挂在哪个槽位
挂在哪个槽位你已有的那条结论多半是「两边各有道理，取个折中」——一条关于处理分歧的默认动作。本章要动的正是这个默认。
本章对你已有的结构做的是 (a) 替换「折中」这个默认动作，还是 (b) 约束它：只在两边各对一半时才折中？
慢变量登记两个慢变量：你手上有几场久拖不决的分歧，以及其中有几场你把双方的论证并排写下来找过共用前提。三天后先看第二个。
小结10
本章小结
01并排写出两边的证明是一次定位动作，不是展示困境。
02两条互斥命题都能被证明时，出问题的是双方共用而未言明的前提。
03解决不是裁定胜负，是取消提问的前提；这是关于提问方式的结论。
04分层救下的只是自由与自然律的相容性，不是自由的实在性。
05「共用前提是先验实在论」这条指认在任何证据下自洽，本课记为无法裁决。
提取练习 · 合上书，先自己答一遍。
?「共用前提为假则两命题不再互相矛盾」是 (a) 矛盾关系的重述 还是 (b) 可被原文推翻的文本命题？
?第三组的分层结果是 (a) 自由被证成 还是 (b) 自由与自然律被证明不矛盾？
受迫二选一11
A 机制辨识
下面哪一条是机制？
二选一
受迫二选一12
C 裂缝定位
哪个情境下本章的读法会给出自信而错误的答案？
二选一
读到这里，把它记为已读。