判断卡片：先天综合判断是发现派最精致的一次撤退——它把 "对象先在"改写为"形式先在"，从而不再需要另一个世界。这一手极其成功，代价是它把那道工序的产物提升为一切经验的条件，于是从此以后，这件产物在原理上不可能再被追问来路。
康德面对的局面是这样的：唯理论说必然性来自天赋，被洛克打了；经验论说一切来自经验，被休谟推到了"必然性只是习惯"这个谁也不能接受的结论。而与此同时，欧几里得几何与牛顿力学摆在那里，它们既是关于世界的（有内容，不是同语反复），又是必然的（不是靠归纳凑出来的）。
这样的知识存在，而两派都解释不了它的存在。 这就是康德那个著名问句的处境：先天综合判断如何可能？
他的回答是一次真正的重新接线，而且是哲学史上最漂亮的几次之一：不是我们的认识去符合对象，是对象要符合我们的认识形式。 空间与时间不是世界里的东西，是我们直观的形式；因果、实体这些范畴不是从经验读出来的，是知性给经验立法的形式。所以数学与物理才既有内容又必然——它们说的是一切可能经验必须服从的形式，而这形式是我们自己带来的。
这一手同时解决了两边的困难。天赋观念的内容问题没有了——康德不说三角形的观念天生在你心里，他说空间这个直观形式是你带来的，三角形是你在这个形式里构造出来的。休谟的问题也解决了 —— 必然性不是从经验归纳出来的，它是经验之所以可能的条件。
这是发现派两千五百年里最好的一手。 本书对它没有任何轻慢。
但这是一次撤退，而且撤退的位置很关键。
柏拉图说：对象在别处，先在。
笛卡尔说：观念在灵魂里，先在。
康德说：形式在主体里，先在——而对象本身（物自体）我们碰不到。
一路后退：从世界，到灵魂的内容，到主体的形式。每退一步，都躲开了上一轮的攻击；每退一步，"先在"这件事被守得更牢。到康德这里，它被守到了一个几乎攻不破的位置 —— 因为它不再是一个关于"有什么东西"的主张，而是一个关于"什么使经验成为可能"的主张。你不能用经验去反驳一个关于经验之条件的命题 ，这正是先验论证的力量所在。
本书的判断是："先在"在康德这里被守住了，代价是它被守到了一个不可追问的位置。
代价的确切形状是这样的。
本书主张，那种"数学对象本来就在"的感受，是一场光滑化的产物——它有来路，且来路可以被指认（编三、编四整整两编在做这件事）。而康德的做法，是把这类产物提升为一切经验的先天条件。一旦提升完成，追问它的来路在语法上就不成立了：你怎么能追问那个使一切追问成为可能的东西的来路？
这不是康德的疏忽，这是他的方案的必然结果，而且在他的框架里是正确的。但它有一个后果，而这个后果本书要负责指出：凡是被提升为条件的东西，都获得了一层免于被追问来路的豁免；而一件产物一旦获得这层豁免，它与一件真正先在的东西在效果上就无法区分了。
这句话在编五第二十七章会成为改判"先天／后天"这组对峙的主刀。
康德的方案在十九世纪挨了实打实的一击，这一击必须完整写出来，因为它是本书全部论证里最硬的一处历史证据。
康德把欧氏空间当作直观的先天形式——不是我们发现空间是欧氏的，是我们只能这样直观。这在当时是一个极有说服力的主张：你试试看能不能想象一个三角形内角和不等于两直角。
十九世纪二三十年代，罗巴切夫斯基、鲍耶、以及私下里的高斯，做了那件被认为不可能的事：他们把第五公设换掉，推出了一整套自洽的几何。半个世纪后，黎曼的框架把它们收进一个更大的家族；再半个世纪，广义相对论用上了其中一支来描述真实的时空。
请注意这一击落在什么位置上。它不是说康德的逻辑错了，是说他误判了什么是形式、什么是内容。他把一件历史产物（欧氏几何，一件由古希腊的作图实践、由第五公设那个具体选择长出来的东西）当成了直观的先天形式。而它之所以显得像先天形式，恰恰因为——它已经被磨了两千年，磨到"想象不出别的样子"。
"想象不出别的样子"，正是光滑化完成的标志，而康德把它当成了先天性的证据。 这是本书从历史里能拿到的最好的一个证据，因为它是可裁决的：先在论者在一个具体的、可查的点上，把一件产物误判为了条件，而且这个误判后来被推翻了。
必须说一句极重要的公道话——康德在另一处，给了本书全书最有用的一个工具。
在《纯粹理性批判》的先验辩证论里，康德提出了 先验幻相（transzendentaler Schein）：理性在超出经验界限使用范畴时，会产生一种幻相，而这种幻相不可避免，即使被识破也不会消失，就像视觉错觉一样。他坚持，哲学的任务不是消除它，而是揭示它、并防止我们被它欺骗。
这是一个了不起的思想动作：承认存在一类"看起来必然、实则是我们自己产生的"的东西，并且承认识破它不等于摆脱它。
本书编四要提出的东西，与它同名而异质。本书称之为先验的虚幻：一种具备先验之全部外观、实则由一段具体教学史习得的自明感。两者的分界必须当场划清，第二十二章会做一张完整的对照表，这里先说要点：康德的幻相源于理性自身的结构，故不可避免、不可消除；本书的虚幻源于一段可指认的传递史，故可测量、可解锁、且解锁办法可以写成课堂工序。
本书借康德的名，是为了指出一件他不曾考虑的可能：有一类"先验感"不是理性的结构，而是教育的沉积。 这个判断如果成立，它并不推翻先验哲学，只是从后者手里划走一块地皮——一块此前被默认属于理性结构、实际上属于传递史的地皮。这块地皮有多大，本书不作估计；本书只主张，小学数学课堂上那种"5 本来就在那儿"的自明感，落在这块地皮之内。
先验感性论里有一句关于空间的话，它是整套论证的枢纽，而它的形状值得逐字看：我们绝不能表象空间之不存在，虽然我们完全可以设想空间中没有任何对象。
康德用它来证明：空间不是从经验中得来的概念，而是一切外部直观的必要的先天表象。
请把这句话拆成两半。
前半是一件关于我们的事实：我们表象不出没有空间的情形。这是一个心理学观察，而且是一个相当可靠的观察——任何人试一试都会同意。
后半是一个关于条件的命题：空间是外部直观的先天形式。这是一个先验的、非经验的断言。
从前半到后半，需要一个额外的步骤，而康德没有给。 他实际上是把"表象不出"直接当成了"不可能"，再把"不可能"当成了"是条件"。
而按编四第二十二章那套机制，"我们表象不出"恰恰是加固完成的标志——一件东西被走通了足够多遍、磨得足够光滑之后，它就会显得想象不出别的样子。
这一句因此是全书最重要的一个证据点：一位第一流的哲学家，把光滑化完成的标志，当作了先天性的证据。而这一处不是本书事后的诠释——它后来在历史上被实打实地检验了一次（本章第四节那记非欧几何），而检验的结果是：那件"表象不出"的事，可以被训练出来。今天一个学过双曲几何的学生，可以相当自如地在庞加莱圆盘里工作，那里三角形内角和小于两直角，而他并不觉得自己在做一件想象不出的事。
他表象得出来。 差别只在于，他走过一条康德没有的路径。
康德的辩护者有一个标准回应，而且它在康德的框架内是完全自洽的，本书必须正面处理。
他们会说：先验感性论说的不是心理学意义上的"想象不出"，而是任何可能经验的形式条件；非欧几何是逻辑上的可能性，不是直观上的可能性。你可以无矛盾地推演一套非欧的公理系统，但你在直观中把握到的空间仍然是欧氏的。两者不相干，故非欧几何没有击中康德。
这个辩护在康德的框架内成立，本书不主张它是错的。 本书要指出的是它的代价，而代价可以精确地写出来：这个辩护使那个命题免于任何经验反驳。
一旦"直观上的不可能"与"逻辑上的不可能"被分开，并且规定只有前者与那个命题相关，那么就不再有任何可能的经验证据能够触及它——因为一切可以被摆出来的证据，都会被划到"逻辑的"那一侧。
而"免于任何经验反驳"，正是本章第三节说的那层豁免：凡是被提升为条件的东西，都获得了一层免于被追问来路的豁免；而一件产物一旦获得这层豁免，它与一件真正先在的东西在效果上就无法区分了。
于是辩护成功，代价是它变成了不可检验的。
本书对此不作进一步的攻击，而是把它记在账上，并在编五第二十八章那张表里给它一个位置：这类命题落在"命题一侧"，本书全书对那一侧不作裁决。本书只主张一件窄得多的事：一个十岁的孩子觉得"三角形内角和是 180 度，这有什么好问的"，这件事不是先验条件，是被造出来的，而且它的制造过程可以被指认、可以被逆转。
至于康德关心的那些真正的先天形式——空间、时间、因果——是否也落在这块被造出来的地皮里，本书没有材料，明说不知道，也不打算猜。
康德把"先在"守到了一个几乎不可攻破的位置，同时把追问来路这件事在语法上封掉了。发现派此后一百年基本安全。
但下一位要发动的攻击，来自一个完全不同的方向。他不问先在的东西在哪里，他问一件更麻烦的事：你们把"发生"当成一个心理过程，那它根本就不该进数学。 这是发现派最强的一次进攻，而且它是对的。