概念地图
空间与时间
感性的两个纯形式，划在我们这边而不在事物那边。
深色为本章概念，浅色为其他章
陪练模式
不想只是读？让它带你走一遍。
导师把这一章拆成小步，每一步先问你，再讲；你用自己的话答，它先认下对的部分再纠偏。用你自己的 AI，对话只存在这台设备上。
定位01
延伸阅读
牛顿一线 · 莱布尼茨-克拉克通信 · 1715–1716
主张绝对空间是真实存在的容器，物体在其中占位。他们反对的是把空间还原为物体之间的关系；代价是要接受一个既不是实体也不是属性、却又实在的东西。
奠基
莱布尼茨 · 同一场通信 · 关系论
主张空间只是共存事物的关系秩序，没有物体就没有空间。他反对的是绝对空间这个多余的实在；代价是难以解释左右手这类形状全同却不可重合的对象。
奠基
康德 · 先验感性论 · 空间与时间的阐明
两条路都不选：空间与时间既不是实在的东西也不是事物的关系，而是我们感性直观的纯形式。他反对的是在两条现成路线里二选一；代价是几何的必然性被绑在唯一一种空间形式上。
转向
非欧几何与广义相对论 · 十九至二十世纪
多种自洽几何被构造出来，物理学最终按观测选用了其中一种。这一步不推翻「感性有形式」，推翻的是「形式只有一种、其内容可以先天知道」。本章最强的反例线。
反例
机制02
把形式与内容分开
先验感性论做的第一件事是切一刀：凡对象刺激我们而给出的，算内容；凡不来自对象、而是接受方式本身带的，算形式。康德把接受方式称作直观。这一刀在论证里的位置是：内容要等对象来才知道，形式不必等——所以形式的规律可以先天说清，而这正是「先天综合判断如何可能」要用到的那一半。
机制一种接受方式通过把可变的内容与固定的形式分开使形式的规律能先于内容被知道。
可迁移性测试
换到接口协议：任何传上来的报文都按同一格式解析，所以格式的规则不必等报文到齐就能写死。不同构的地方在于协议可以升版本，而康德把这道形式说成唯一且不可换。
机制03
把身份问题换成条件问题
空间到底是什么，两派争了几十年没有结果。康德换了个问法：不问空间是什么，问「几何这门先天科学要成立，空间必须是什么」。他把这一段叫作先验阐明。它在论证里是第 1 章那台装置的第一次实跑：先收下一个既成事实，再反推它的条件。装置的力量与它的脆弱都在这里——事实收错了，后面全垮。
机制一条阐明通过把几何的成立当作既成事实倒推空间的身份把身份问题换成条件问题。
可迁移性测试
换到协议逆向：从「这批报文确实被正确解析了」倒推解析器必须实现哪些规则。不同构的地方在于报文可能另有解析方式，而康德假定了几何只有一种。
推导04
从「几何成立」到「空间是形式」
这一段要还原的是先验阐明的论证形状，并指出它把重量压在哪一条既成事实上。
几何是先天综合的科学：其命题必然普遍且扩展知识
康德选的前提。它被当作既成事实收下，不为之辩护；非欧几何出现之后，这是全章最脆的一条。
关于对象的必然普遍命题不能来自经验
康德选的前提，与第 1 章第二条同源。
空间要么是事物的属性或关系，要么是我们直观的形式
康德选的前提。又一条穷尽性假设，第三种可能被排除在视野之外。
推导 · 0 / 4
推导演练05
用同一台装置跑一遍左右手
左手与右手各部分的距离关系完全相同，却无法重合。这个事实能倒推出什么？
先写清「纯关系」这个说法承诺了什么，再看它与事实冲突在哪。
裂缝06
这个读法的裂缝
争议地形07
本书主张
空间与时间是感性直观的纯形式；几何因此对一切可能经验必然有效，而脱离我们形式的事物本身无所谓空间性。
另一种看法
关系论到二十世纪时空哲学一线主张：空间结构是关于物理世界的可修正假说，用哪一种几何由理论与观测共同决定，谈不上先天固定。
分歧扎在
分歧扎在「几何命题的普遍必然性从哪里来」这一条上，不在空间能不能被数学描述。两边都同意几何在经验中极其有效。
什么证据能裁决
能裁决它的是物理学的实际做法：若空间几何的选择曾被观测改动，则几何不是先天固定的。广义相对论及其观测检验留下了可复核的公开记录，不依赖对康德的解读。
目前的天平压向关系论一侧：几何确实被观测选择过。但这只否定「形式的内容可先天知道」，不否定「感性有形式」；康德的分层被保留，内容被清空。还差的是：形式若可变，先天性还剩下什么——这个问题今天仍未定。
文本检验08
把「几何是前提不是结论」这个读法写成可检验的规格
要检验的读法是：先验阐明从几何的成立倒推空间的身份，而不是从空间的身份推出几何的可能。
版本：A 版 1781 与 B 版 1787 并列为准，先验感性论按标准 A/B 边码引用，中译对照通行译本
版本事前定死；B 版改写了阐明的编排，两版必须各查一遍。
判据段落：空间的形而上学阐明与先验阐明两节全文，以及时间的对应两节
事前指定，不是读完再挑。
什么算支持：先验阐明的推理方向是「几何成立 → 空间必须是形式」，且几何的成立未在本节被论证
两项都要满足；只出现两者的关联而无方向，不算。
竞争读法的预测：若方向相反，本节应先独立确立空间的身份，再以此说明几何为何可能
两个读法在同一节里给出可分辨的预测。
事前登记的失败条件：判据段落先证空间的身份再推几何，或在本节内为几何的先天综合性作独立论证
两者之一出现即按读法被推翻处理。
推导 · 0 / 3
接口09
挂在哪个槽位
挂在哪个槽位你已有的那条结论多半是「观察离不开观察方式」——一条关于客观性的判断。本章要动的是它最容易被推过头的那一段。
本章对你已有的结构做的是 (a) 替换「观察依赖方式」这条结论，还是 (b) 约束它：依赖方式不等于任意，方式一旦固定，结果对一切用这套方式的人都是客观的？
慢变量登记两个慢变量：你最近有几次用「这取决于视角」结束了讨论，以及其中有几次你接着说清了那个视角固定在哪里。三天后先看第二个。
小结10
本章小结
01先验感性论的第一刀是把内容与形式分开：内容等对象，形式不必等。
02先验阐明是第 1 章那台装置的第一次实跑：收下几何，倒推空间。
03「空间是直观形式」是收下几何之后的必然说法，不是关于心灵的发现。
04非欧几何推翻的是「形式的内容可先天知道」，不是「感性有形式」。
05「空间是直观而非概念」依赖康德对直观的定义，本课记为无法裁决。
提取练习 · 合上书，先自己答一遍。
?「若空间是事物的属性，则关于它的命题只能后天获得」是 (a) 前提与定义的合并 还是 (b) 可被原文推翻的文本命题？
?非欧几何攻击的是 (a) 感性有形式这条主张 还是 (b) 形式的内容可先天知道这条主张？
受迫二选一11
C 裂缝定位
哪个情境下本章的读法会给出自信而错误的答案？
二选一
受迫二选一12
D 接口判断
哪一条能挂进你已有的结构？
二选一
读到这里，把它记为已读。