第二章　理性主义：理性给自己发的通行证，谁来验真？

第一节　路线没有矛盾，为何仍走错了路

林老师带学生去另一栋楼讨论，事先画好路线：过连廊，穿花园，从东门进入，上二楼，左转第三间。图中的路线连贯，没有自相矛盾；大家抵达花园尽头，却遇到一扇已经封闭的门。错误不在左转被算成右转，而在“东门可以通行”这一应用条件已经改变。这个情境把三个问题分开了：路线能否从前提推出，前提是否符合当前建筑，学生能否知道该核查哪一项。它们都需要理性，却不是同一份证明。

我们可以说，地图的信息已经过时，也可以说，东门开放是一个没有明写出来的前提。无论怎样表述，都不能说失败证明了逻辑无用。恰恰相反，只有把地图隐含的条件补出来，才能准确说明失败发生在哪里：如果东门开放，而且其他条件成立，这条路线可以通行；东门现在关闭了，原来的条件结论便不能直接用于眼前处境。错误并不发生在“如果……那么……”这种推理形式里面，而发生在没有检查条件就把结论搬到了现实。

小陈却感到委屈。他已经把每一步检查得那么仔细，为什么现实还不服从？这个疑问触及一种容易理解的期待：既然思想终于摆脱了含混，为什么清楚的思想不能直接保证正确的世界？我们可能把三项不同成果连成一项：我能够理解这段话，我能够确认推理有效，我能够确认它适用于眼前的事情。前两项可以帮助第三项，却不会无条件替第三项完成工作。把它们拆开，并不是怀疑一切，而是防止一处成功被扩大到另一处。

这张图也可能以另一种方式失败。地图没有过时，东门一直开放，只是小陈把图上的左边当成了面对自己的左边。此时需要修正的不是地图内容，而是读图规则和身体位置之间的联系。又或者图画得太密，几条路线重叠，读者实际上没有清楚把握其中关系。不同的失败要求不同修正。若我们每次都说“理性没有考虑现实”，就会把信息错误、理解困难、应用失当和真正的推理错误混成一件事，反而降低了批评的精确性。

还可以设想，图上本来标明了备用入口，但林老师为了让初学者更容易掌握，只保留了最短路线。这个简化可能合理；第一次到访的人不需要同时知道整栋建筑的历史。然而，如果他把“便于首次使用”说成“建筑只有这一条合理进入方式”，一种操作性的优先安排就变成了关于对象的排他判断。它不是从图上推出来的，而是被附加到图上。地图的清楚替这项附加承诺提供了外观上的可信，却没有提供证明。

理性主义一章要研究的，不是地图编制，而是这种资格转移。某种思考方式因为在特定问题上表现出清楚、严密和必然性，便可能被提升为所有知识的入口。提升本身需要论证。更重要的是，当它成为入口以后，其他方式的缺陷可以被放大检查，它自己的前提却可能因为看起来太基本而不再需要说明。它要求每位来访者出示通行证，却把自己的通行证印在了门框上，使人忘记门框也曾由某种安排形成。

我们仍需承认，建立通行规则是必要的。若讨论不区分有效推理与任意联想，任何人都能把自己喜欢的结论称为理由。若一位学生一面承认所有前提，一面拒绝一个确实由这些前提推出的结论，那么指出他的不一致，并不是压制思想。开放不意味着推理的约束可以随时取消。恰恰因为这种约束有价值，我们才要防止人们借它的名义，把并非由推理推出的选择也包装成不可拒绝的结论。

这里还有一个更深的区别：对一张地图的依赖，可以是认识上的依赖，却不一定是存在上的依赖。我需要地图才能到达建筑，并不意味着建筑依靠地图才存在；我先理解一个概念，才认识某项事实，也不意味着该概念在存在上先于事实。先被我确知的东西、帮助我理解的东西、构成对象的东西，是三个不同问题。它们有时相连，但从一个位置走到另一个位置需要桥梁，不能只把“先”字重复一遍。

同样，最不容易怀疑的判断，不必自动成为最能解释世界的判断。此刻“我正在经历某种疑惑”可能比关于远方建筑的陈述更难否认，可是它没有因此告诉我东门是否开放。确定性的强弱与信息的丰富程度，不存在一条可以不加说明就直接通行的道路。最稳固的支点未必已经携带最完整的结构。一个哲学体系要从极少的确定内容重建丰富世界，就必须让每一次增加内容的步骤接受检查。

本章选择笛卡尔的有关论证作为主要入口，正是因为这种重建在他的著作中被清楚地提出，而不是因为我们预先知道整个理性主义会以同一种方式失败。《谈谈方法》把避免仓促判断、分解难题、依次推进和检查遗漏结合起来；《沉思集》则以怀疑开始，追求能够支撑进一步认识的确定性。[2-1][2-2] 对这些任务的批评，不能只靠一个走错路的故事完成。故事负责显露区别，原典负责说明作者怎样处理区别，最后才轮到本书提出自己的分析。

补写东门的开放条件，不会使地图失去价值，反而使改路成为有根据的行动。理性在本章也将受到这样的检查：哪些约束已经证明，哪些条件仍须核对，哪些认识能力需要解释其形成？将三项任务分开，不是减弱理性，而是防止已完成的证明替尚未完成的工作签字。

第二节　寻找一个不能再塌的起点

设想另一间教室。教师请两位学生计算从一到一百的整数之和。一位记得答案，立即写出五千零五十；另一位暂时没有记住，却将首尾配对，指出每对是一百零一，共五十对，因此得到同样结果。两人都答对了，但他们交出的认识并不相同。如果把上限改成另一个偶数，第二位学生知道怎样重新组织问题，第一位则可能需要另找记忆。这里的区别不是速度与深度的固定对立，而是答案和理由之间有着不可省略的差别。

把方法写得更一般些，令T为一加二直到n的和，倒序再写同一个和，相加后每一列都是n加一，共有n列，所以二T等于n乘以n加一。于是T等于n乘以n加一再除以二。这个推导不需要把所有正整数逐一试完。它依赖明确的对象范围与运算规则，在这些条件下提供一般关系。它的力量恰恰在于超出了已经试过的几个例子，同时没有仅凭个人信心就宣布自己已经超出。

从这样的经验出发，人们很容易理解对理性根据的追求。重复观察可能遗漏新的情形，权威转述可能夹带错误，个人印象可能受偶然状态影响；而一项可重做的证明，使不同的人能够沿着同样的理由走到结论。这里的公共性不是所有人意见相同，而是别人可以检查你如何得到它。证明并不因为出自有名的人就更有效，也不因为提出者处境艰难就更加真实。这种将论证从身份中分离的努力，值得认真保留。

但在教学故事中还存在另一件事：第二位学生为什么想到了配对？可能是他以前拼过类似的图，也可能是教师提出的一个问题让他改变了看法。我们在这里不声称某种确定的心理机制，只指出一个逻辑区别。证明一旦写好，检验它是否有效，不需要知道灵感的全部来历；解释他怎样获得这条证明，却不能只把最终证明再念一遍。证明的有效性与证明的发生不是互相排斥的答案，而是对不同问题的回答。

笛卡尔所追求的，不只是寻找一个方便的技巧，而是检验能够确立知识的根据。《沉思集》的开端把既有信念放在怀疑之下，试图避免让不可靠的基础继续支持庞大的认识建筑。[2-2] 我们可以反对它对确定性的要求过高，也可以赞成它对基础的严格检查，但不能将这种计划轻描淡写地改写成一个人躲在房间里随便想想。它的雄心正在于让思想承担比日常信赖更强的说明义务。

这项计划的吸引力，有一部分来自一种清理愿望。假如过去错误的东西很多，能不能先把所有不确定的东西拿走，留下一个绝不会错的起点，再从那里重新开始？在纸面上，这似乎比不断修补旧信念更彻底。然而，清理与重建是两项不同工作。清理时采用很强的怀疑尺度，可以使许多既有根据暂时退出；重建时若又要恢复丰富的知识，就必须解释哪些判断能够返回，以及返回时是否仍然面对同样严格的尺度。

这里容易发生一种不对称：旧信念因为具有任何可设想的错误可能，就被判为不够稳固；新起点则因为此刻具有强烈的必然感，就被允许承担远大于自身内容的作用。是否真的发生这种不对称，必须检查具体论证，不能从计划形式直接下结论。但是，清理者和建造者由同一套思想承担时，尤其需要记录标准是否改变。严格不能只用于拆除别人，宽松也不能只用于自己的重建。

数学例子提示我们，重建不一定要有一个不依赖任何条件的终点。我们可以明确规则，从规则研究后果，说明哪些结论在何种结构中成立。这样的条件性并不削弱证明。相反，一个没有写清对象和规则、却宣称绝对正确的式子，可能比承认条件的证明更加含混。是否还需要超越一切条件的哲学保证，是另一个问题。不能因为数学提供了严格性，就将某种关于严格性来源的哲学解释自动当成数学已经证明的结论。

设想教师把配对证明展示完，接着宣布所有成功问题都必须先被拆成相等部分。学生举出一个不能这样拆分的任务，教师回答那不是一个合理问题。这里不是配对法错了，而是它的使用范围被扩张了。方法在一种结构中的成功，不能独自证明所有可研究对象必须拥有这种结构。理性活动一旦由“我能在这里证明”转向“只有能用我的方式证明的才配存在”，便开始需要一种它尚未交出的更高层论证。

因此，我们应当同时保存两种敬意：对证明的敬意，以及对尚未进入某种证明形式的问题的敬意。后者不是允许任何模糊观念以神秘性自保，而是允许一个问题在被排除之前得到恰当澄清。问题提出者有义务说明自己在问什么，规则使用者也有义务说明为什么自己的规则适用于它。双方都不能仅凭立场名称获得最后发言权。理性真正的敌人，不一定是提出异议的人，也可能是那些借理性之名拒绝说明的断言。

确定性需要一个明确的宾语。运算结果的确定、当下思维的确定、关于一类对象的普遍确定，不能相互替代。一项起点即使牢固，也可能只支持有限内容；后续扩展需要新增理由。理性主义真正承受压力的地方，不是它敢于寻找起点，而是起点的支持范围怎样被扩大，以及扩大后是否仍保留不同层次的证明义务。

第三节　怀疑拿走了什么，又给谁留下了座位

现在进入《沉思集》中的关键动作。怀疑可以指向感觉是否可靠、梦境与清醒能否分清，以及某些看似简单的认识是否可能受欺骗。在这样的思考中，正在怀疑、正在受骗或正在作判断的活动，很难与“这里完全没有任何存在”同时成立。第二沉思的“我在，我存在”首先在这种当下思考中取得力量。[2-2] 它不是一个人从天而降的身份证，而是一项在特定反思动作中显露的确定性。

这句话的精细处，正在于它不必先把怀疑之外的世界恢复出来。即使此刻关于外部对象的认识被悬置，怀疑活动仍在进行。否认某次思考的对象，不等于否认思考正在发生。可是，承认某种活动正在发生，距离说明这活动的承担者具有何种完整本性，还有其他问题。它是否具有身体，怎样维持时间上的连续，怎样学习语言，如何与别人协调，都不会仅由这一瞬间的不可否认自动写出答案。

为了把这个差别看清楚，可以设想一个人从梦中醒来，立即写下“我刚才害怕”。这句话可以真诚而有根据，却不直接说明恐惧的全部原因。有人可能在梦中看到危险，也可能在醒来以后才用“恐惧”整理那段体验；具体情形需要更多材料。我们的思想实验并不试图动摇当下体验，而是防止从体验存在跳到对体验全部结构的所有权。能够说“这里有”，不同于已经知道“这里只能是这样”。

笛卡尔本人并未在第二沉思的每一句话中都宣称完成了后来的全部结论。文本继续讨论这个“我”究竟是什么，后续沉思还承担其他论证任务。[2-2] 因此，本书不能把知识推进过程中的一个阶段截成最后定论，再责备它没有提前交出全部证明。真正值得检查的是，后来增加的属性和保证怎样得到支持；有些内容是否通过从认识上的分离转向存在上的分离而获得了额外地位；这些转换有没有各自独立的理由。

从本书的角度，这里至少需要分开三种“先”。认识次序上的先，是我先有把握确认某个判断；说明次序上的先，是我用它帮助解释别的判断；存在关系上的先，则主张别的东西在某种意义上依赖它。这些次序不能仅凭共用“基础”一词而混合。我们先看见建筑的门牌，不意味着门牌在建筑之前存在；我们通过门牌找到建筑，不意味着建筑由门牌构成。同样，先在反思中抓住某项活动，并不自动说明其他维度只是这项活动的附属。

理性主义最容易遭受、也最需要避免的一种误读，是把认识优先性直接当成唯心的存在优先性。二者并不等同。我们可以研究对象必须通过认识活动，却仍然主张对象不由个体认识创造。批评者若只因“必须通过思想”就断定对方“认为只有思想存在”，是在替自己制造容易攻击的对象。我们的解构要检查的是桥梁，而不是假定任何桥梁都不可能存在。

反过来，理性主义的使用者也不应把“我能对它作清楚思考”自动提升为“它在对象世界中必然独立存在”。一个棋局可以清楚规定一种棋子的行走方式，不意味着自然界必须有这种棋子；一种几何关系可以在给定定义中严格成立，不意味着每一个现实形体都准确实现定义。清楚思考提供某种可能性与一致性的说明，现实存在又需要相应根据。不同任务的证明义务必须保留，不能让清楚性同时扮演所有角色。

本节因此提出一种分析方法：逐步登记每次增加的内容。第一步确认活动存在，第二步界定活动的种类，第三步说明承担者，第四步讨论其连续性，第五步扩展到对外部对象的认识。这里列出的次序是本书检查论证的辅助，不是笛卡尔原文的机械复写，更不是任何哲学必须采用的五级阶梯。它的作用是让读者能问：当前结论比前一步多了什么，多出的部分由谁提供了理由？

这个问题也可以回到课堂。小陈能够清楚解释一条箭头，不能因此被认为掌握了整个领域；但我们也不能因为他尚未掌握整个领域，就否认他对这条箭头的理解。局部确定既不应被夸大，也不应被羞辱。许多争论之所以激烈，是因为双方都把局部成果与总体合法性捆在一起。一方要求承认一项成果就接受整套主义，另一方则以体系不完备取消每项局部成果。两者都没有让认识保留自己的颗粒度。

假如某种主义用最严厉的标准拒绝感官，却在恢复感官时只依靠一个未经同等审查的总体保证，我们就有理由追问不对称。但结论不能仅写成“它又用了感官”。恢复被怀疑的认识不一定自相矛盾，只要恢复过程提供新的支持。真正的问题是支持是否独立、范围是否匹配，以及它有没有只在保证自己时有效、轮到竞争解释时又不许使用。借回一种资源，与让资源偷偷免检，是两回事。

这使本章的母题比“理性也有非理性的起点”更细。我们并没有预先宣告所有起点都不合理；我们研究的是起点如何从一个获得支持的位置，变成一种不再允许别人询问的位置。思想的危险不在开始，而在把开始称作最后；不在需要前提，而在让自己的前提拥有决定别人是否有资格提出前提的权力。接下来，关于保证者的论证会使这项问题进一步显露。

第四节　保证者的难题：谁来保证保证者

一个修表师把两只走时不准的钟摆在一起，希望借彼此校准得到准确时间。如果他只说第一只证明第二只正确，第二只又证明第一只正确，问题当然没有解决。但是，两个相互支持的认识并不都像这两只钟。它们可能还接受外部约束，可能在不同方面提供相互独立的证据，也可能有一项已经在有限范围内获得支持，再帮助另一项扩展。要批评循环，不能只见到箭头返回原处，就以为已经找到了恶性循环。

所谓笛卡尔循环的质疑，正需要这样的仔细区分。在第四组反驳中，阿尔诺提出：如果我们依靠上帝保证清楚分明的认识，而证明上帝又依靠清楚分明的认识，那么是否已经预设了要证明的东西？笛卡尔在答辩中区分当下注意于论证时的把握，与后来记得自己曾清楚把握的情形。[2-3] 这项回应未必说服每个读者，却足以表明，问题不能被改写成作者完全没有看见循环，而我们第一次指出了它。

本书不在这里替这一长期解释争论宣布最终结案。我们可以先抽出一个一般性问题：一项局部的认识把握，怎样获得跨时间、跨内容和跨情境的担保？此刻我能逐步检查一个证明，稍后却可能只记得结论；此刻我理解一个词的限定，转述时却可能丢失条件。不同层次的可靠性不能仅用一个“确定”概括。即使当下的推理没有问题，保存、恢复与扩展它也需要另外的工作。

回到修表的思想实验。如果第一只钟在某个时点已经由独立方法校准，它可以在误差可控制的时段里帮助检查第二只钟；第二只钟又可以监视第一只钟是否异常。二者形成循环，不必就是互相骗取信用。关键在于独立约束、误差模型和权限边界。若这些条件全部消失，只剩“我们彼此同意”，则相互支持没有增加与对象的联系。把认识结构画成一个圆圈，仅仅是提出问题的开始，不能代替对圆圈内部支持关系的分析。

对理性主义而言，最重要的权限边界是：某个理由能够保证一个具体判断，不意味着它保证了运用相同词语的全部判断。我能准确证明整数求和公式，不能因此保证自己关于人类幸福的一切推论。后者的概念、前提和适用对象可能完全不同。将数学式的清楚当成普遍可靠的心理标志，会把客观可复核的推导与主观确信的质感混在一起。真正的严密性存在于可公开展开的关系，而不只存在于说话者觉得自己看得多清楚。

所以，本书建议对“保证”作三种区分。内容保证说明结论确实由给定前提推出；程序保证说明一套检查方式在规定范围内具有可靠性；存在保证则对对象究竟是什么作出主张。三者可以合作，但不能互相冒充。程序经过训练，不等于其中每项内容都成立；一个对象可以被证明存在，也不意味着认识这个对象的每种程序都可靠。任何跨越都需要写出额外理由，而不是让“保证”这个词自己完成搬运。

这种区分并不要求保证者永远由更高保证者证明，否则我们仍然会落入无穷追问。有限认识可以停在公开且可争论的承诺上。我们可以说，眼前这组规则足够开展当前任务，暂时没有相关反例；也可以说，这项论证在某些基础承诺下成立。只要不把这种暂定写成无条件的世界法则，就没有必要假装已经到达一块与一切认识活动无关的绝对地板。问题不是一定要找到终点，而是停止追问的理由能否被说明。

某种教条化用法可能采取相反的办法。它在要求别人提供证明时，把“可以想象还有错误”当成拒绝的理由；轮到自身的基础时，却说“任何理性的人都会看见”。这两个尺度可以分别在特定任务中有意义，合用却需要解释差别。若差别只有“这是我的基础”，不对称就显露了。它不是单纯地需要起点，而是保留了只有自己能够决定何处无需再提供理由的资格。

更隐蔽的情形是，把对方的质疑解释成认知能力不足。的确，有些证明需要训练才能理解，不理解不能直接推翻证明。但提出证明的人仍应尽力指出关键步骤、澄清定义，并区分尚未理解与已经发现错误。若任何无法说服都只说明读者缺乏理性，而理论永远不可能遗漏问题，那么理性便不再是一种共同活动，而成为一个身份筛选器。它要求别人先承认裁判，才能获得质疑裁判的资格。

我们可以用一项简单练习检验差别。请一位讲授者说明，哪一种具体反驳足以使他撤回这次结论。对一个严格的条件证明，他可以回答：发现某一步不合法，或指出前提与结论之间的遗漏。对一个现实模型，他还应允许对象条件与模型不匹配成为修改理由。若他只回答“真正的反驳不可能存在”，却没有展示证明或条件，那并不是完成了证明，而是把希望有的结果提前当成资格。

在第四组答辩中，笛卡尔把正在清楚把握一项理由，与后来记得自己曾经这样把握区分开来。[2-3] 因而，循环批评不能只画出“理性—上帝—理性”三个箭头就结束。它必须问：当下把握具有多大根据，记忆保存了什么，从前者到持续可靠性的过渡是否得到充分说明？我们的分析保留这个争点，不用一个保证者的名称替作者免检，也不用一个循环的图形替批评完成论证。

第五节　自明的背后：是谁已经学会了看见

数学教师写下同一段证明，三个学生呈现出三种不同状态。一个人完全看不懂符号，一个人能跟随每一步，却不明白为什么要这样安排，另一个人很快看出可以推广的结构。证明并没有因为他们的反应不同而变成三条不同的定理，但是“看到理由”的活动确实不同。如果我们只保存最后那位学生的反应，再说这段关系对人类理性天然自明，就可能把已经完成的训练当成了未曾发生的先天赠予。

这不是一个关于数学能力分布的调查，而是一个可以用来区分任务的思想实验。证明的有效性可以通过形式关系检查；某个人何以有能力检查，则需要研究语言、记号、练习、反馈与具体问题。两种研究互不取消。把发生条件加入认识论，不是让数学真理变成个人经历；把证明有效性保留下来，也不意味着认识能力的发生可以从教育研究中被删除。不同问题需要不同尺度，不能由一方的成功替另一方结束提问。

“自明”尤其容易混合两种事情。一种是理由经过澄清后，结论确实以直接的方式跟随；另一种是某个判断太熟悉，以至于我们不再感到需要追问。第一种清楚不应被第二种熟悉冒充。想象一位从来只使用某种排列方式的设计者，他觉得那样排列最自然；另一位从不同训练中出来的人，却会首先看见另一种结构。二者的自然感说明各自的熟悉，不自动说明其中一种已经具有普遍必然性。

如果我们让两位设计者共同处理一个新的任务，某些分歧可以由约束条件解决，某些分歧可以由更明确的目标解决，还有一些可能暂时留下。这里需要的是把自然感转成可比较理由，而不是看谁更有把握。确信可以发动研究，却不应独占研究的终点。一个思想越容易说“这还用解释吗”，越值得检查它省略的是已经共同掌握的步骤，还是尚未得到共同辩护的选择。

本书提出的“确定性感受的发生”，也不能被误用为对确定性的心理化取消。假如一位数学家在睡梦中偶然想到一个正确证明，梦的来源不损害证明；假如一个人在充分训练后仍然作出错误推导，训练的厚度也不能挽救错误。发生史不是一张自动的真假判决书。它可以解释为什么某种判断容易出现、为何某些错误难以察觉，以及怎样改造学习条件，却不能单独决定命题效力。

然而，发生史可以揭示某些现实断言额外依赖的条件。比如一位教师说“任何认真学生都应该立即看懂这个步骤”，这已经不是纯数学命题，而是关于学习者的能力和任务安排的判断。此时，学生的训练差异便是相关材料，不能被一句“证明是正确的”取消。证明正确与教学要求合理之间还隔着一段教育论证。许多理性越界并不发生在证明内部，而发生在把证明的效力借给其他领域时。

还有一种借用发生在语言的透明性上。一个术语经过长期使用，似乎已经直接指向对象，读者容易忘记它的定义在不同文本中可能改变。假如“自主”在一处指能够自行执行，在另一处指能够审查目标，两种陈述可以各自清楚，却不能直接混用。当理论以“自主系统已出现”证明“目标审查的主体已形成”，可能不是推理复杂，而是词语在途中换了工作。检查词义的迁移，是理性自我检验不可缺少的一部分。

这里也可以重新理解抽象。抽象不是把现实不重要的东西永久扔掉，而是在某个任务下暂时不处理一部分差别。对象之间在一种关系上相同，不意味着它们在一切关系上相同。一段证明只使用长度，不必同时解释颜色；一个现实方案如果据此忽视使用者的可达性，却需要说明为什么长度关系足以完成整个任务。被抽去的因素是否需要回来，由新判断承担的内容决定，而不是由它曾经被抽去这一事实决定。

“我现在看出这一步”还应与“任何合格读者都能重做这一步”区分。前者是一次认识事件，后者要求把理由组织成可传递的证明。写出的证明让他人不必重复作者全部的人生经历，便能检查结论；但它不会自动解释作者最初怎样找到路径。发现与证明由此发生分工，而不是相互争夺谁才是真知识。

这项分工也解释了为何自明有时可以省略，有时必须展开。在一群已经掌握同一规则的研究者之间，省略熟悉步骤能够节省劳动；面对初学者或跨领域推广，原先可省的步骤可能重新成为承重问题。省略权来自共同前提已经得到合理确认，而不是来自高手身份本身。共同前提改变，省略权也要重新说明。

理性主义的封闭版本可能把自己的熟练抽象称为对象的唯一真实结构。它先在一个任务中省略某些差别，再说这些差别不配进入真正的知识；它先训练人们看见某种关系，再把训练后的看见称为所有人原本就应有的直观。两次转换并不必然出现，却具有相同的形式：一个活动的成果被描述成活动之前就已经拥有的绝对资格。发生被藏起来，显露的结果回头否定自己的生成条件。

当这种结构进入教育，学生容易被分成“有理性”与“没有理性”，而不是被理解为正在不同的差异序列与纠缠条件中形成理解。这里的划分不是对现实教育的普遍事实判断，而是我们应该避免的一种解释方式。它把需要改造的教学关系变成学生的固定属性，也让教师的表达不再成为研究对象。只要学生失败，教师就可说前提是学生必须具有理性；学生成功，又被当成方法天然适合所有人的证据。

更好的办法，是让“自明”成为可以展开的邀请，而不是关闭讨论的门。你看到什么结构？哪些步骤已经熟悉？有没有一个改变条件的例子能让原先省略的关系重新出现？这些问题不要求每个高手永远停留在初学阶段，却要求在承担教学或跨领域论证时，能够把压缩的过程重新打开。真正深厚的理性不只会快速走过一座桥，还能够说明桥为什么站得住，以及什么样的车辆不能从这里通过。

第六节　有来历，不等于没有效力

现在应当让理性主义的辩护者认真反驳本书。你说认识有训练条件，说证明由具体过程产生，说抽象服务于某些任务，这些都可以承认。但你究竟反驳了哪一项有效论证？如果没有指出推理错误，那么讲一段发生史只是换了研究主题。如果你又用理性说明这些区别，为什么有资格把理性放在被告席上？这个反驳很有力量，因为它要求发生分析说明自己的对象，而不是凭额外的叙述宣称已经越过原理论。

本书接受反驳的一半：有来历不等于错误，使用理性也不意味着接受理性主义的每一项总体主张。我们的目标不是在不推理的情况下反驳推理，而是通过推理区分正当权限与不当扩张。批评一种关于理性的哲学，不等于放弃理性活动本身。就像检验某张地图不必拒绝一切地图，检查某个证明系统的适用范围也不必否定所有证明。把二者混同，会让“你也使用它”成为任何理论都可以借用的免检口号。

我们可以把争论拆成三个案件。第一案是定理是否成立，主要检查定义、前提与推理；第二案是某个人怎样获得理解，研究发生与学习；第三案是为什么将这种证明方式扩展为一切认识的最高法则，需要另行论证。第一案的成功不能自动结清第三案，第二案的材料也不能自动推翻第一案。所谓裁判权的偷换，往往发生在案件之间借用结论，而不是每一个案件内部都有明显谬误。

辩护者还可以指出，理性主义传统并非一致否认经验。《谈谈方法》第六部分讨论了观察和实验在具体研究中的作用。[2-1] 因而，“理性主义绝不需要事实”不能作为本章的历史总结。这一反证限制的是我们的概括范围。它不取消对某种普遍保证的讨论，却要求我们区分基础的理性论证、具体自然研究和后来简化出的口号。一个名字之下存在多项不同工作，本书不能为了建立对立而将它们压成一种姿态。

更难的反驳是：理性具有某些无法以更基础理由证明的规则，这不正说明你最终也需要免检吗？这里必须区分不能用完全外部的语言证明，与拒绝接受任何相关检查。某些规则可以通过其在系统中的作用、可替代方案、解释收益和内部一致性得到讨论；讨论本身可能继续使用部分规则，却不因此只剩任意。我们可以承认反思具有条件，而不宣布所有条件都获得同样充分的支持。

举一个完全形式化的小例子。我们规定一种记号游戏，允许从甲和“若甲则乙”得到乙。在这个游戏里，推演可以被机械检查。若有人问为何采用这条规则，我们可以展示它与所选择的语义安排怎样协调；若有人提出另一种任务，则可以讨论是否需要不同结构。规则在明确范围内具有约束，不必成为支配全部思想的实体。使用它时无需每天重新证明宇宙，却也没有理由把它在此处的可用性变成对所有问题的排他许可。

辩护者还会反问，所谓“全部实际”是否本来就是一个不可能达到的标准？我们同意。没有一个有限论证需要把整个世界装进自己。只有当它声称完成了更大的任务，才需要承担更大的义务。一个数学证明没有研究人的情感，不是缺陷；一种以数学正确为理由取消情感研究的哲学，则需要解释取消的根据。批判不能随意扩大对象，却可以要求对象不要随意扩大自己的结论。两边受到的是相同的范围约束。

因此，本章真正能够成立的指控具有条件形式：若一个立场把某种当下把握、证明形式或解释习惯作为普遍裁判，却没有交代其权限扩展的理由，并以该裁判拒绝对扩展本身的相关质疑，就发生了自我豁免。若其原文提供了充分的区别、限制和论证，则必须撤回指控。不能为了书名中的“小偷”保住一场并未成立的案件。反驳有时让理论退让，有时也应让本书退让。

这个条件形式并不软弱。它要求我们将锋芒压在可以检查的位置，而不是用宏大否定代替工作。说某位思想家“只懂理性”，几乎不需要研究；指出一项特定论证在何处把认识上的优先改成存在上的优先，则需要逐步分析。说所有理论都有条件很容易；说明哪一个条件仍然关系到当前主张却被拒绝讨论，才开始形成新的判断。严格缩小的批评，有时比全面的责备更难被应付。

对于SDE而言，同样的检验必须保留。三方程可以提供发生关系的视野，却不能借这个视野推翻已经有效的证明；它也不能仅因谈论整体，就宣称任何局部模型都不充分。我们需要展示它在具体任务中增加了什么区别，怎样帮助定位错误，以及什么结果会使这种定位失效。若没有增加，承认它只是另一种表述，比把新名词当作新证据更符合这本书的主题。

经过这些反驳，理性没有离开讨论，反而获得了更明确的位置。它不再是一座只能朝外开庭的法庭，而是一种能够检查自己的范围、补出桥梁、承认条件并继续构造理由的活动。我们在下一节要把这种活动放回普通人的实际任务，看看它怎样从“我已经证明”转向“我知道这份证明能够支持什么”。

第七节　三种任务，不能共用一张证明书

为了检查前面的区别，我们安排三个相连的思想实验。第一位参与者在写数学证明，第二位在设计阅读空间，第三位在教人演奏。三个人都需要理由，却并不面对同一种证明任务。如果我们把理性等同于第一种任务，后两种活动就会因为不能完全照搬它而显得不够理性；如果反过来用后两种任务的可变性否定第一种证明的严格性，也会破坏已经成立的区别。理性的丰富首先表现为能够辨认任务，而不只是坚持一种最熟悉的形式。

数学证明的实验从一个错误的计算开始。有人试图证明一等于二，先设a等于b且二者非零，经过若干变形，最后在两边除以a减b。前面几步可以合法，问题出在除数其实为零。我们不需要了解证明者的人生，也不需要比较听众是否满意，就能够指出这个具体错误。它不是某种价值偏好，而是与已经采用的运算规则不相容。承认规则的范围，不等于让规则在范围内失去约束。

这个例子对本书具有约束力。发生分析可以研究一个人为何没有注意除零条件，却不能因为解释出了原因就说错误变得正确。教师也不能以学生“经历了有价值的探索”为由，把一等于二计作有效成果。过程可以有教育意义，结论仍然错误；结论错误，也不意味着过程毫无教育意义。两种评价必须分别表达。把它们分开，才允许既严格检查内容，又认真研究学习，而不让两者互相吞并。

接着，我们给证明者一个很大的自动符号工具。工具可以迅速生成许多变形，证明者只看到最终结果。此时需要检查的，不只是结论是否正确，还包括他是否知道工具使用的前提与规则。这个装置完全是假设的，不指向某个具体软件。即使工具每一步都可查，使用者也可能误将另一种结构中的规则用于当前问题。自动化可以封装过程，却不会自动消除任务界定。一个人不必亲手执行全部步骤，但应当知道自己借用了哪一类保证。

假如他不能完整复现内部计算，却能说明输入条件、检查关键证明证书并识别任务边界，我们没有理由仅凭“不是自己算的”取消其工作价值。相反，如果他亲手写出了全部符号，却从未检查隐含前提，手工劳动也不能替他担保。这里再次出现第一章的复合能力问题：理性不只能寄存在自然人的即时记忆里，它也可以在工具、记号和协作中被组织。但是，分布更广的理性需要更清楚的责任与核查路径，而不是更大的盲目信任。

第二个实验来到阅读空间。设计者根据房间尺寸安排书架，使可放书量达到一个给定的最大值。模型内部的计算可能准确，摆放方案也完全符合设定约束。可是使用者进门以后发现，站在某些位置很难同时看见目录与书脊，几个人一起找书时又彼此妨碍。这里不必提供真实建筑建议；我们只研究一个模型中的目标是否充分表达了使用任务。书架容量最优，不等于阅读活动最优，两者之间需要新的定义与权衡。

如果设计者承认自己只解决容量子问题，方案就没有越界。别人可以在此基础上增加可达性、寻找时间和共同使用等要求，形成下一轮设计。问题出现在他把模型的精确当成拒绝追加任务的理由，声称所有不在公式里的需求都只是主观感受。公式没有证明这些需求不重要，只是最初没有将它们纳入。一个省略可以为了清楚而合理，却不能在被质疑时突然变成关于世界的排除法则。

使用者也不能仅凭不舒服就断定数学方法应该退出设计。他需要具体说明困难出现在哪里，是否与当前任务有关，有没有可以辨认的替代安排。即使某些体验不能立刻压成同一分数，也可以通过比较、访谈和实际尝试逐步澄清。反模型不应该成为不说明的特权。双方的合作不是让数学屈服于情绪，而是让现实任务帮助模型选择更合适的对象，再让模型帮助现实任务看清可行约束。

在这个过程中，“最优”需要加上一个被省略的尾巴：相对于什么目标、什么约束和什么候选范围。这个尾巴不是对最优性的贬低，而是其意义的一部分。模型改变，最优方案可能改变，并不说明原计算错误；原计算正确，也不说明模型不能改变。许多理性主义式的越权，就发生在把“在模型内不可改”与“模型本身不可改”混为一谈。前者可能是严格性的要求，后者却需要额外论证。

第三个实验来到琴房。教师让学生按照确定的节奏练习一段乐句，这有助于辨认错误与形成稳定动作。练习逐渐熟练以后，学生问，是否可以改变某处的停顿。教师可能以作品结构和表达任务说明为什么可以或不可以，也可能只说“正确的人就应该这样演奏”。后一种说法并非因为出现审美判断而有问题，而是没有展示判断与具体作品之间的关系。它把已经形成的习惯压成一个无需展开的资格。

反过来，学生也不能以“艺术自由”为由拒绝所有讨论。如果他的改变打断了自己声称要保持的结构，教师可以指出不一致；如果他有意重构结构，就应当说明新安排取得了什么。这里的理由不像整数运算那样完全形式化，却仍然可以公开、可比较、可修正。没有单一公式不等于没有理性。理性在不同任务中可以采取不同粒度，重要的是理由与判断承担的内容相称。

一个有趣的变化可能由此发生：教师原先的标准，在与学生新版本比较以后得到了更清楚的说明，甚至部分改变。标准不只是先于练习而存在的命令，也在具体作品的演练中继续形成。这个变化不会自动使教师失去权威；它可能使权威更有根据。相反，若教师认为承认修改就意味着丧失全部资格，他就有动机把一个可讨论的标准包装成绝对尺度。这里说的是思想实验中可以辨认的结构，不对现实教师的心理作普遍推断。

三种任务放在一起，便显出三个不同的问题：规则之内的推导、模型与对象的对应、目标与表达的形成。它们不能由同一张证明书统一结案。一份证明可以确认形式结论，却没有替使用目标作价值选择；一个真实效果可以支持模型适用，却没有证明所有形式规则都来自这个效果；一场有价值的表达可以改变审美判断，也不因此取消逻辑中的不一致。将这些关系区分开，不是把知识切碎，而是让连接承担可说明的工作。

因此，理性主义的重建不必放弃自己最有力量的部分。它可以继续要求清楚、严格和可传递，同时承认这种要求在不同任务中需要不同展开。真正失去的只是那种便宜的优先权：因为我擅长一种证明，所以我无需再说明为什么其他任务也必须服从它。理性并不需要用这项优先权保护自己。恰当的理由已经足以支持恰当的结论，只有过大的结论才需要借用不属于自己的保证。

第八节　三方程让证明、路径与条件重新相遇

数学证明、空间设计与演奏学习分别具有自己的检验任务。SDE在此研究它们如何形成，而不把它们合成一种对象：一次可以公开检查的推论、一条实际可行的路线、一项能在变奏中保持的演奏能力，各自都要另行登记S、D、E。[2-4] 对象登记使模型能够失败。例如，若用学生的学习经历替代证明有效性的检查，就不是补充发生，而是换掉了正在回答的问题。

对于数学学习，S可以是一项能够由学习者解释和检验的结构性理解，D包括猜想、尝试、发现错误、改写证明与比较变式的序列，E包括符号规则、已有结果、工具及交流条件。这个模型研究的是理解怎样发生，不是用来决定定理真假。定理的有效性仍由相应的数学论证处理。只有保持研究单位的清楚，发生分析才不会把自己扩张成新的万能裁判。

S=F(D,E)首先要求说明，某种理解是怎样在过程与条件中显露的。一个学生会背诵配对法，另一个能够发现同类结构，他们表面的答案可能相同，发生关系却未必相同。研究者可以比较他们在变更条件后怎样回应，而不是只凭一次正确作答下结论。若没有过程材料，这个差别只能作为待检验假说，不能从成品倒推一段并未观察到的学习史。SDE在这里要求的，是对解释来源负责。

D=G(S,E)接着要求说明，已有理解或目标表征怎样安排下一步探索。学生发现首尾配对以后，可能主动寻找对称结构；教师期待快速得出通式，可能选择某类例子而放下另一类例子。路径并非一个不受目标影响的中性通道。但是，目标的作用也不能被理解成未来结果倒过来影响过去。参与当前活动的是对结果的设想、已有显露和评价方式，它们都属于当前可以被讨论的条件。

E=H(S,D)则让我们看见，理解与探索会改变之后的纠缠。一个共同证明形成后，班级可以用新的术语交流；一个错误被公开分析后，学习者可能形成新的核查习惯；一种工具被加入后，某些细节被封装，另一些判断却变得更重要。是否真的出现这些变化，需要保存前后材料。不能仅因理论上存在回写，就在每个案例里自动宣布回写已经成功。关系的可能性与实际的实现必须分别记录。

对于阅读空间，S改成某个可用布局及其评价，而不是仍然沿用数学理解。D是安排、试用、发现阻碍和修订的序列，E是空间、书籍、使用者活动和管理方式的纠缠。模型中的“最优”进入实际使用后，可能改变大家找书的方式；新的找书方式又让某些原来不重要的通道变得承重。这里不必声称所有性质都是主观构造，而是研究某些关系位置如何在使用中获得作用。物理约束与活动生成可以同时存在。

对于演奏，S是一段被共同辨认的表达或一种演奏能力，D是练习、比较与修改的差异序列，E包括乐谱、身体动作、聆听环境和交流关系。三方程的价值不在证明音乐一定比数学复杂，而在使我们不能把成熟演奏的显露，直接当成初学者原本就应当拥有的能力。老师的标准也需要有形成路径；标准一旦指导练习，又会改变未来能够被听见的差别。发生与判断在这里互相进入，却仍然可以分别研究。

六路径为这些对象提供不同入口。E→D→S可以从改变材料和交流条件开始，观察新的探索与理解；E→S→D可以先由新环境显露一个可辨认的结构，再引出进一步路径。D→E→S可以让持续问题迫使我们增加工具和资料；D→S→E可以让一次尝试先产生原型，再组织新的条件。S→E→D可以把既有结果带到陌生处境，S→D→E则可以从既有结果出发进行变奏。六种顺序不是互斥本体，而是对当前主导进入方式的区分。[2-4]

这一章最值得对照的是S→D→E与E→S→D。前者容易出现在成熟理论指导的研究中：先有一个清楚目标或形式结果，再安排证明与条件；后者提醒我们，改变表达工具或问题情境也可能使新的结构首先显露，再引出一条并未预写的证明路径。两者都可以产出有效数学，不能把从目标开始说成僵化，把从环境开始说成创造。真正的区别在于，研究是否允许另一条路径的相关发现改变原先的安排。

三原理则帮助处理具体张力。当探索D在当前符号与知识条件E中反复受阻，可以先重新界定要显露的S，把过大的目标拆成能够建立的中间命题；当目标S与现有条件E之间存在距离，可以改造D，寻找更合适的证明或表达路径；当目标S与实际路径D持续不匹配，可以改造E，引入新的材料、记号或协作。三种改变都不是自动处方，更不意味着只准改动第三项。它们的共同要求，是改变后返回检查另外两项是否也需要调整。[2-4]

一个具体的数学学习例子可以说明回写的意义。学生无法直接把握一般通式，教师先让他比较几个成对排列的例子，得到一个暂时的结构猜想。这个猜想是新的S，它不能直接算证明，却可以改变后面的D：学生开始寻找不依赖图像偶然性的推导。为了表达一般关系，他们又需要引入变量和符号E。最后获得证明以后，原来的图像被重新理解。每个阶段都增加了不同内容，不能把最早的直觉、后来的猜想和最终证明当成同一等级。

这也显示三方程与恶性循环的区别。三方程描述的是可观察的互构与回写，并不靠“因为S所以D，因为D所以S”来证明某项命题为真。若需要经验研究，应当区分时间、变量和干预；若需要数学模型，应当给出函数、定义域与解的意义。关系图只有在被填入这些内容后，才可能承担相应解释。本书不能一边批评笛卡尔保证的循环问题，一边把自己的循环关系自动宣布为已经证实的事实。

本章所检验的中心化，是让已经稳定的形式获得无限的应用资格；与它相连的缺口，则是仍影响应用结果、却不被允许回查的条件。门被关闭，首先要求修改地图的使用说明；推理中漏了一步，才要求修改证明。找准需要改变的位置，比笼统要求“兼顾环境”更严格，也更能保存原来已经成立的知识。

第九节　重建一种带有权限边界的理性

经过前面的检查，我们不需要把理性放低，也不需要另请一个不受理性约束的裁判来接替它。需要改变的，是理性在具体任务中怎样说明自己的权限。它可以非常严格，却不必声称严格等于无条件；可以寻求普遍关系，却应把普遍性的对象范围说清；可以用证明反驳错误，却不能借证明的荣誉取消尚未被它处理的问题。重建不以削弱约束为目标，而以减少冒领约束的行为为目标。

最先可以改变的是一个小习惯：在重要结论旁边补出“由哪些前提得到”。这不是让每句话都拖着冗长说明，而是把承重处显露出来。数学式子可以标明对象域，经验判断可以标明观察与比较条件，设计建议可以标明目标，哲学推断可以标明从何种区分走向何种结论。不同句子的身份清楚了，讨论就不必把全部问题塞进“你到底是不是理性”这种笼统争执。

比如，阅读空间的设计者可以说：在把容量作为唯一目标、通道宽度采用这些限制的模型中，这个布局达到我们算出的最优值。这样的表述没有削弱计算，反而给使用者提供了明确的合作入口。使用者可以继续问，容量是否足以代表当前任务，某些通道限制是否需要改变。设计者不必为自己没有承诺的全面幸福负责，但也不能禁止别人提出新的任务。双方由争夺最后裁判转向共同修改问题。

数学教师也可以作类似调整。面对看不懂证明的学生，他首先区分是哪一种障碍：没有掌握定义、看不见关键变形、误解了量词，还是能够提出实际反例。不同障碍有不同处理方式。不能把所有困难归为“没有理性”，也不能把所有困难都归于教学错误。让问题分层，不是进行机械分类，而是避免一种身份判词提前结束本来可以解决的具体工作。教师的权威可以建立在这种区分能力上，而不是建立在从不需要解释上。

在一个共同研究小组里，还可以把结论分成不同承诺强度。已经完成证明的命题、在模型中成立的条件结果、由有限材料支持的假说、为了探索暂时采用的设定，不应具有同样的标记。明确这些差别，能够避免一句话在争论中临时换身份：受到攻击时说自己只是设想，要求别人接受时又说自己已被证明。身份变化不是不允许，但必须说明变化由什么新工作支持，而不能由讨论中的便利决定。

更重要的是，结论的身份不应只由作者单方永久指定。一个被称为证明的文本，如果实际缺少关键步骤，就需要降为待补论证；一个原本只是猜想的结构，如果得到完整证明，可以升级。等级来自工作，而不是来自写在标题上的称呼。这样，“理论”“模型”“假说”“原理”就不再是保护壳，而成为帮助读者理解应当怎样检验的提示。SDE自己的方程和原理也必须服从这项区分。

第二项重建，是给抽象留下返回具体的路径。一个模型省略了哪些关系，为什么省略，以及何时需要重新引入，应当在重要应用中有记录。不是所有省略都要恢复，而是与新任务相关的省略应当有机会回来。图上的东门关闭以后，重新检查入口是相关修正；要求地图解释所有建筑情感史，就未必相关。批评者同样需要说明为什么追加的问题值得进入，不能用无限丰富的现实永久压倒有限工作。

这种返回也可以发生在语言层面。研究小组使用一个词时，最好保存它的关键限定，特别是那些容易在跨领域传播中改变的词。比如“学习”“理解”“自主”“有效”“客观”，在不同任务里可能有不同含义。我们不需要为它们制定唯一永久定义，但需要在每次承重推论中避免含义滑移。如果一项技术成果仅仅显示执行能力提高，就不要未经说明地将其改写为目的判断能力提高。一个限定词的保存，有时比增加一页赞美更能保护知识。

第三项重建，是使标准的改动能够留下轨迹。理性允许修正，不等于允许事后改写承诺。假如原来的目标是证明一般命题，后来发现只在附加条件下成立，应当说清楚附加了什么，而不是把条件悄悄塞回原句，再宣称从未出错。承认缩小不是丢脸，它是判断变得准确的一部分。一个从不留下撤回记录的体系，看起来可能稳定，却未必比公开修订的体系更可靠。

同样，历史上的理论修改不能只用最终版本倒推。一个思想家的后期论证解决了早期难点，不能证明早期难点从来不存在；早期论证存在困难，也不能自动取消后期回应。对于本章所选笛卡尔材料，正文、反驳与答辩应当分别标明，各自承担它们能够承担的判断。我们可以在同一本书里同时说某项质疑有根据，以及某项简单批评已经被原文的区分化解。思想研究不必只留下一个总判决。

第四项重建，是承认选择方法也属于理性可以处理的工作。有人以为，一旦方法不能由纯形式证明唯一确定，就只能诉诸任意偏好。这个二分太窄。我们可以比较方法是否解决相关问题，是否保留重要差别，是否需要更少的未经解释承诺，是否能够在新情境中修正。这样的比较未必总有唯一答案，却仍然可以有理由。没有绝对地板，不意味着只能在空中乱跳；我们可以在具体约束之间搭建可检查的通道。

但比较方法时也要防止偷偷引入新的最高标准。例如，简单性值得考虑，却不能预先决定一切；可计算性有价值，却不等于所有不能即时计算的问题都无意义；解释范围可以更大，却不必因更大就自动更好。每项价值都要与任务联系。一个过分简单的模型可能漏掉承重关系，一个过分复杂的模型可能无法清楚说明新增部分。判断不应由“简单”或“全面”任何一个词独自完成。

第五项重建，是把认识者的训练纳入实践，而不把训练当成真理的替代。让学生能够重做理由、比较反例、理解限定，比只让他们服从正确结论更接近理性教育。但在时间有限时，合理依赖他人的结论也不可避免。关键在于依赖的层级与所承担任务相称：普通使用者未必需要证明工具的一切原理，却应知道何时不能继续依赖；负责给出普遍解释的人则需要更完整的核查。责任随主张扩大，而不是随身份光环扩大。

第六项重建，是重新安排停止。我们可以在已完成规定任务时结束当前证明，在证据足以支持有限结论时暂时接受模型，在任务需要行动时作出有理由的选择。停止不必意味着宣布终极真理，继续也不应成为永久拖延。只要明确未决问题和重启条件，有限理性就能有效工作。它的成熟不是把所有疑问一次性消灭，而是知道哪些疑问此刻已经回答、哪些仍然开放，以及开放问题会不会影响当前结论。

可以把一项推导写成“在前提集合Γ与规则R下，结论p成立”。这句话允许Γ含有暂定模型假设，也允许R受到明确限制。使用者若想从中取得“现实必然如此”，还须说明现实对象为什么满足Γ，以及R在本次表达中保存了什么。形式推导没有失效，缺少的是从模型到对象的连接。把连接写出来，比把一切失败都归咎于不够理性更有内容。

反过来，模型一次应用失败，也不能推出规则R本身错误。应依次检查对象是否认错、前提是否变动、推导是否有效以及结论是否被过度解释。这样的分项核查使修订不必成为整座思想建筑的坍塌。理性越能定位局部失效，越不需要借一张无限通行证维持自身尊严。

这种重建不需要一位站在所有人之外的哲学监工。它可以由参与者在共同任务中逐渐形成：写下前提，保存修改，允许相关问题进入，比较不同路径，并对自己扩大的主张承担更多理由。这样的活动仍然可能犯错，也可能产生新的盲点，但盲点不再因为属于标准本身就被禁止讨论。理性由此恢复为一种工作的能力，而不是一种只要自称拥有就可以裁定别人是否合格的身份。

最后，把这些改变放回SDE，重建的成果不是一个永不改变的“理性S”，而是显露、路径与条件能够持续互相校正的活动。我们不要求三维时时同等突出，却不允许其中一维在相关问题出现时永久退出。严密证明可以暂时居于中心，新的对象条件也可以要求改写应用，学习者的困难可以促使表达重新组织。理性的力量不是它从来没有借助这些条件，而是它能够让借助关系变得更清楚，并在需要时改变它们。

还有一个检验可以使这套重建更加具体。设想同一个研究小组留下两份报告。第一份只保存最终结论和成功案例，第二份另外保存条件变动、失败尝试与撤回的理由。两份报告的结论可能完全相同，不能预先认定第二份一定更正确；但是，当新问题出现时，它们能够提供的判断资源不同。第一份主要告诉后人该相信什么，第二份还告诉后人在哪些位置需要小心、哪些条件一旦变化就应重新检查。这是传递答案与传递可修正能力之间的区别。

我们可以让另一组读者处理一个修改过的任务，比较两种报告是否帮助他们识别适用边界。这样的设计仍然只是本书提出的研究方案，不是已经取得的实验证据。倘若详细记录反而使读者淹没在无关材料中，方案就需要调整；倘若简洁结论已经足以支持当前任务，也没有理由强求所有人阅读全部历史。发生记录的价值并非越多越好，而在于保留对后续判断真正承重的变化。这里的“承重”也需要通过使用检验，不能由作者的兴趣单方面指定。

这使我们能够区分两种压缩。第一种压缩保留展开接口：读者先看到简单结论，遇到边界问题时能够追溯前提和修改。第二种压缩取消展开接口：读者只能接收结论，任何追问都被视为没有理解。两者都可能高效，但前者把效率建立在可恢复的过程上，后者可能把效率建立在不可质疑的服从上。不能只比较表面速度，而不检查速度来自哪里。也不能因为第二种更短，就说第一种必然是低效率。

在智能工具参与的研究中，这个区别尤其适合作为思想实验。假设工具能够输出一段完整论证，同时保留每条重要前提和来源。使用者不必随时阅读全部展开，却可以在承重处进行核查。如果工具只输出最后答案，并把所有质疑都转换成更自信的重述，那么流畅性就可能替代了理由。这不是对任何现实产品的事实判断，而是关于两种设计结构的比较。真正值得研究的是，哪种安排使人更容易发现错误，哪种安排使错误更容易得到漂亮包装。

理性的分布因而不能仅按“人做了多少、机器做了多少”来计算。更重要的是，哪些位置能够提出问题，哪些位置能够修改假设，哪些位置承担最后的使用责任。一个人可以少做计算，却多做范围判断；也可以大量点击，却没有真正进入任何承重选择。工具加入以后，理性活动的颗粒度可能改变，但颗粒度变大并不自动意味着层级更高。若高层判断只是对低层输出的盲目信赖，就没有完成这种提升。

因此，合理的压缩需要一条相反方向的道路：当结论受到挑战，能够从成品返回理由，从理由返回前提，从前提返回任务与条件。我们不要求每次都走到底，却要求道路没有因理论尊严而被封闭。所谓理性的可修正性，不只是作者口头允许自己将来换一个说法，而是使用者在具体困难出现时，能够找到改变所需要的材料。没有这样的道路，开放可能只是一种尚未兑现的自我描述。

回到本书，这项标准也要求我们保存原典中的反证。读者若只看到本书的判词，却看不到笛卡尔如何回应循环质疑，就不能独立判断批评是否公平。将回应留下，不是替对方减刑，而是把裁判权的一部分交还给读者。我们的解释由此不再仅依赖作者的声调，而要依赖可以被别人重新走一遍的关系。这正是本章愿意保留的理性：它的权威来自允许核查，而不是来自取消核查。

第十节　证明不是赦免前提的权力

再回到那扇关闭的东门。学生没有必要撕掉地图，也没有必要指责所有图纸都是骗局。他们首先确认入口已经变化，然后查找其他通道。若图纸保留了条件说明，修正便比较容易；若图纸宣称自己代表建筑唯一合理的结构，大家反而可能先争论门是否有资格关闭。一个本来具体的问题，会被扩张的理论尊严挡住。思想越不能承认局部失效，现实中的小变化就越容易被理解成对整个体系的威胁。

本章对理性主义的解构，首先是拆开几个经常被连在一起的资格。能够清楚理解，不等于已经证明；已经证明条件结论，不等于已经证明条件实际成立；在一个对象域里普遍有效，不等于对所有对象都有效；先在反思中确知，不等于在存在上先于其他一切。每一次连接都可以尝试，但必须交出连接的理由。没有理由的连接，不能借前一步的严密替自己获得保护。

理性主义不是一个拥有单一声音的被告。笛卡尔的正文与答辩已经包含重要区分，我们不能为了抓住循环而删除他的回应，也不能为了追问经验而忽略他对具体观察和实验的承认。原典研究的结果应当允许复杂：某些通俗指控不成立，某些深层问题仍然值得继续。一章哲学批评如果只能在“完全正确”与“彻底失败”之间选择，就没有充分使用它要求别人尊重的理性。

因此，我们不能简单说它从经验主义那里偷来了全部材料，或从信仰那里偷来了全部保证。这类历史判断需要具体文献，不能靠结构相似代替。更准确的说法是，某种理性主义用法可能在排斥未经证明的根据时，仍然保留一项没有得到相称说明的总体保证；也可能在批评经验的有限性时，把自己的适用条件隐藏起来。它借用的不一定是对手的一句话，而可能是对手曾拥有的“最后保证者”这一位置。

这个位置的接管并不自动使新理论失败。新理论完全可能提供更好的理由，也可能使原来模糊的保证变得明确。只有当它把自己的保证放在不允许相关质疑的位置，同时要求竞争解释承担更强的说明义务时，“偷换裁判权”的诊断才成立。新法官不必因为替换旧法官而有问题，但不能只因自己曾经反对旧法官，就宣布不再需要接受审查。反对特权的来历，不会自动取消新特权的结构。

我们也不应要求理性从此不作任何承诺。没有承诺，就不能定义对象、选择问题或开展证明。真正的区别是，承诺能否被辨认，范围能否被交代，修改是否有真实道路。一个认真写下前提的证明，比一个自称不需要前提的宏大断言更值得信任。前者允许别人沿路检查，后者只让别人看见山顶上的旗帜，却不允许询问山路是否实际存在。

本章的判词于是可以写成：理性的危险，不在于要求理由，而在于把某种已经获得局部支持的清楚性、形式或保证提升为普遍法庭，再使这次提升退出理由的审查。它要求别人的判断交代根据，却可能让自己的根据借“自明”之名停止交代；它用有限的证明取得可信，又可能拿这份可信为超出证明范围的主张签字。

撤回这一判词的条件同样明确。如果原理论公开限定范围，提供了权限扩展的独立论证，保留了对自身前提的相关检查，并且能够区分证明、应用与发生，那么就不能用这项诊断指控它。理论仍然可能在别处出错，但不能因为我们已经准备好一个漂亮比喻，就为比喻寻找牺牲品。批评是一项需要材料支持的工作，而不是只要保持怀疑便永远正确的姿态。

SDE在这一章增加的，不是“理性也受环境影响”这样过于一般的提醒，而是三项具体任务：追踪局部显露怎样取得普遍资格，追踪既定目标怎样选择证明与应用路径，追踪这些路径怎样改变后来理解与判断的条件。它提出了这些任务，并不等于已经在所有领域完成了它们。一个真正愿意接受自己原则的方法，应当能够展示自己的边界，而不是只展示对别人的边界发现。

最后，理性可以保留它最值得保留的尊严：不是因为它站在所有活动之外，而是因为它能够在活动之中提供可检查的理由；不是因为它从未犯错，而是因为它能够指出错误发生在哪一步；不是因为它保证世界永远符合自己的图纸，而是因为图纸遇到世界时，它能够分清是推理需要修正、前提需要更新，还是任务需要重新定义。这样的理性不需要拥有赦免前提的权力。

下一章将沿着同一道问题走向经验。当理性不再单凭自身替全部现实担保，经验似乎成了更可靠的证人。但是，经验要成为可保存、可比较、可推广的知识，也必须有一种安排。我们将追问：过去发生过的事情怎样被整理成“我的经验”，又怎样从已经走过的路，跨入尚未发生的未来？

本章原典与研究资料

[2-1] René Descartes, A Discourse on Method，1637，John Veitch译本。重点核对第二部分的方法要求、第四部分的形而上学论述与第六部分关于实验的讨论。公开文本：Project Gutenberg，电子书59。 在线文本：https://www.gutenberg.org/ebooks/59 。

[2-2] René Descartes, Meditations on First Philosophy，1641。重点核对第一、第二、第三及第五沉思。参考公开的Jonathan Bennett现代英语改写文本，原典论题与本书思想实验分开使用；不以网页头部的写作年份代替作品首版年份。 在线文本：https://www.earlymoderntexts.com/assets/pdfs/descartes1641.pdf 。

[2-3] Antoine Arnauld与René Descartes，第四组反驳与答辩，关于循环质疑的部分。参考Early Modern Texts公开文件descartes1642_2.pdf，文件物理第36页、印刷页码75的第四项质疑与答辩。这里的年份指所用汇编文件标识，不将所有反驳都说成当年首次提出。 在线文本：https://www.earlymoderntexts.com/assets/pdfs/descartes1642_2.pdf 。

[2-4] 王德生，《SDE三方程导论》，全书初稿v1.0，关于三方程、六路径、三原理及回写的部分；另参《大师思想解构和建构Skill》v3.0。方法在本章用于发生关系分析，不作为已经拟合或求解的数学模型。