概念地图
倒推装置
把「世界如何」换成「这类认识凭什么可能」，结论自动封在条件之内。
深色为本章概念，浅色为其他章
陪练模式
不想只是读？让它带你走一遍。
导师把这一章拆成小步，每一步先问你，再讲；你用自己的话答，它先认下对的部分再纠偏。用你自己的 AI，对话只存在这台设备上。
定位01
延伸阅读
休谟 · 1748 · 论因果观念的来源
把因果的必然联系还原为多次相继之后的习惯性期待。他反对的是把经验里取不到的必然性直接写进对象；代价是数学与自然科学的普遍必然性也一并失去担保。康德自述被这一条从独断论的迷梦中唤醒。
奠基
莱布尼茨-沃尔夫学派 · 十八世纪德国学院哲学
主张单凭概念分析就能认识实在，理性不必经过经验也能推出世界的构造。他们反对的是把形而上学交给经验；代价是同一套方法能推出互相矛盾的结论而无从裁决——这就是康德说的「战场」。
奠基
康德 · A 版 1781 / B 版 1787 · 序与导言
把问题重写成「先天综合判断如何可能」，并提出对象符合认识形式这一假设。他反对的是在不问认识条件的情况下直接争论对象；代价是全部结论从此被限制在可能经验之内。
转向
A 版与 B 版的差异 · 1787 年改写
B 版重写了序、导言与先验演绎，另加「对观念论的驳斥」。它提醒读者：本书的措辞不是一次定稿，凡以某句措辞为据的读法，都必须在两版上各查一遍。
修正
机制02
倒推可能性条件
康德的总问题不是「世界是什么样」，而是「某一类判断凭什么可能」。这个问法本身是一台装置：先把「这类判断确实成立」当成既成事实收下，再反过来问它要成立需要什么。承担这个角色的是先天综合判断。它在论证里的位置是起点而非结论——康德不为它辩护，只问它的条件；所以全书的结论都自带一个尾巴：仅在那些条件之内有效。
机制一个既成事实通过被反推出成立条件把「世界如何」的问题换成「工序如何」的问题。
可迁移性测试
换到故障复盘：不问系统为什么坏，先问它当初能正常跑靠的是哪几个条件同时成立，再逐条查。不同构的地方在于系统的条件写在部署文档里，认识的条件只能靠论证推出来。
机制03
翻转的价钱
这台装置的价钱写在同一页上：条件既然在我们这边，认识就只对经过这些条件的东西有效。康德给装置之外的那一侧起了名字——物自体。它在论证里不是一个神秘对象，而是这台装置的余数：凡不经过我们的形式的，思想还能指着说，认识够不着。把它读成「另一批东西」，全书后半部分就全乱了。
机制一次翻转通过把普遍必然性的来源移到形式这边同时给认识划出一条不能越过的边界。
可迁移性测试
换到量具：一把只量长度的尺能把一切长度量准，正因为它只量长度；问「这块石头有多重」它给不出读数。不同构的地方在于尺之外还有秤可换，而康德说的形式没有替代品。
推导04
转向的论证形状
这一段要还原的是 B 版序那条假设的形状，并指出它的结论被封在什么范围里。
数学与自然科学中存在既必然普遍又扩展知识的判断
康德选的前提。他把它当既成事实收下，不为之辩护；这是全书起点，也是后世攻击最集中的一条。
若认识必须符合对象，则关于对象的知识只能来自经验，因而没有必然性
康德选的前提，内容取自休谟的结论。
认识符合对象与对象符合认识，两条路穷尽全部选项
康德选的前提。这条穷尽性假设很少被单独拎出来，它却是整个转向的支点。
推导 · 0 / 4
裂缝05
这个读法的裂缝
争议地形06
本书主张
普遍必然性的来源只能在认识形式这边；先天综合判断因此可能，代价是认识只对可能经验有效。
另一种看法
逻辑经验主义一线主张：数学与逻辑的必然性来自约定与定义，属于分析判断；物理学的普遍命题则是可错的经验假说。若如此，「先天综合判断」这一类根本不存在，倒推没有起点。
分歧扎在
分歧扎在「有没有既必然又扩展知识的判断」这一条上，不在形式起不起作用。两边都同意数学有必然性，争的是这份必然性算不算「扩展知识」。
什么证据能裁决
能裁决它的是数学基础的进展：若全部数学定理都能从明确的公理与定义按纯逻辑推出，则它们是分析的，康德的起点落空。这一步不依赖对康德的解读，可由第三方独立复核。
目前的天平偏向逻辑经验主义一侧：形式化把大量算术与几何定理化归为公理系统的后承。但这只否定「数学是先天综合的」这个例子，不否定倒推装置本身；几何的多元化反而给了「形式是可选的」一个康德未预见的版本。还差的是一个不以数学为例的先天综合判断。
文本检验07
把「转向是假设而非定理」这个读法写成可检验的规格
要检验的读法是：康德把哥白尼式转向作为假设提出，其证成留给正文兑现。
版本：A 版 1781 与 B 版 1787 并列为准，序与导言按标准 A/B 边码引用，中译对照通行译本
版本事前定死；两版必须各查一遍。
判据段落：B 版序提出转向的整段，以及 A、B 两版导言中陈述总问题的段落
事前指定，不是读完再挑。
什么算支持：转向以假设的语气提出，且明说其证成有待正文兑现
两项都要满足；只出现转向的表述而无假设语气，不算。
竞争读法的预测：若转向是已证定理，序中应给出证明或指向证明所在，而不是诉诸解释力
两个读法在同一段落上给出可分辨的预测。
事前登记的失败条件：判据段落把转向作为已证命题陈述，或在序中给出独立证明
出现即按读法被推翻处理。
推导 · 0 / 3
接口08
挂在哪个槽位
挂在哪个槽位你已有的那条结论多半是「先把事实搞清楚再谈方法」——一条关于顺序的判断。本章要动的是它的适用范围。
本章对你已有的结构做的是 (a) 替换「先事实后方法」这条顺序，还是 (b) 约束它：凡结论的普遍性超出手上样本的地方，先问这份普遍性由哪一步工序给出？
慢变量登记两个慢变量：你手上有几条结论声称普遍成立，以及其中有几条你查过那份普遍性是从哪一步来的。三天后先看第二个。
小结09
本章小结
01总问题是「这类判断凭什么可能」，不是「世界是什么样」。
02倒推装置把既成事实收下，反推它的成立条件，结论自动被封在条件之内。
03转向是被假设并按解释力接受的，不是被证明的。
04承压的是两条前提：那类判断确实存在，以及两条路穷尽全部选项。
05「两条路穷尽」在任何证据下都自洽，本课记为无法裁决。
提取练习 · 合上书，先自己答一遍。
?「两条路穷尽且第一条被排除则第二条成立」是 (a) 排中的算术 还是 (b) 可被原文推翻的文本命题？
?逻辑经验主义攻击的是 (a) 倒推装置本身 还是 (b) 「存在先天综合判断」这个起点？
受迫二选一10
A 机制辨识
下面哪一条是机制？
二选一
受迫二选一11
B 标签辨识
「普遍必然性的来源落在形式这边，因而结论被限制在可能经验之内」这一步是什么？
二选一
读到这里，把它记为已读。