第五十八章 科学典范怎样碰撞：库恩、拉卡托斯与SDE对话
一、改变答案，还是改变问题的资格
在一间研究室里，两组人可以对同一张图说出完全不同的话。一组追问曲线能否由更精确的参数拟合，另一组追问画这条曲线时遗漏了哪些状态。前者希望把答案做得更准，后者怀疑问题本身是否切分得恰当。两组人未必一组保守、一组先进，也未必一组只信数据、另一组只爱哲学。真正需要说明的是：他们保留什么，容许改变什么，用什么判断改变是否成功。
前面各章已经多次遇到这种局面。相空间改变了状态的组织方式，统计分布改变了宏观稳定的解释入口，测量理论迫使装置及记录进入问题规定。我们不能把这些变化都缩成“旧理论错了、新理论对了”，也不能因为知识有历史性，就宣布任何解释都一样。科学思想史需要一种能同时处理稳定、变革和检验责任的语言。
本章把库恩、拉卡托斯与SDE放在同一张讨论桌旁，不安排一场由最后出场者必胜的辩论。三个方向的关切并不完全一致：共同体如何维持研究，纲领怎样在时间中接受评价，新对象如何由差异序列与特征纠缠取得显露。它们可以互相追问，但不能仅靠更换术语便宣布已被统一。
二、先把库恩从口号中请回来
库恩在《科学革命的结构》后记中区分学科矩阵与示范性解题实例，讨论共同体共享的符号、模型、价值和训练。他也明确反对把不可通约理解为完全不能交流，或理论选择没有好理由；共同价值并不保证每个人按同一规则立即作出同一选择。[58-1]
这个限定对本书很重要。若把库恩写成“科学家全凭信仰换阵营”，SDE即使提出操作、计算和检验，也只是打倒一个自己制造的对手。相反，若承认共同体成员拥有理由，却会在理由的权重、适用场合与对象分类上分歧，研究才真正开始。此时要追问的不是有没有理性，而是哪一种比较关系尚未建立。
例如，两组人都要求准确，却分别统计不同量的误差。一组计算逐点偏差，另一组优先检查整体守恒。前者可以在每个采样时刻拟合得漂亮，却在长期积分中不断创造能量；后者保住能量，也可能把相位预测错开。两者并非无法对话，但把一个分数称为“准确性”还不足以解决争论。需要拆开任务，列出各自承诺保留的关系，并安排能够让两种失败同时可见的比较。
从这个自拟例子看，典范冲突不必始于互不相识的语言。相同词语、相同仪器甚至相同公式，也可能承载不同任务。历史分析若只数理论中出现了多少新名词，便会漏掉这些变化；若只问大家是否仍说“能量”“状态”，又会把对象规定的改变误作语言连续。
三、拉卡托斯要求我们追踪一段路
拉卡托斯在《科学与伪科学》中主张，把研究纲领而非孤立命题作为评价单位，区分相对稳定的核心、可修订的辅助条件及解决问题的方法。他以能否产生并获得支持的新事实区别进步与退化，同时允许研究者暂时坚持处于困难中的纲领，前提是公开记录其处境。[58-2]
这里最值得带入本书的是时间尺度。一个新模型第一次失败，可能说明模型没有前途，也可能说明关键仪器尚未校准；一个老模型连续成功，可能仍有结构性盲区，也可能确实是目前最好的工作工具。评价不能只截取研究者最得意的一刻，更不能把多年修改后的成果倒填到最初提出时。
但拉长时间并不意味着无限延后判断。假设研究组先承诺半年内预测五个未测参数，半年后只解释已经知道的三个，再把“预测”改成“重新理解”；若不保留最初承诺，时间尺度就成了逃避失败的空间。相反，若明确记录哪些预测成功、哪些没有成功，以及为什么改变任务，继续投入便可以接受公开讨论。
我们因此把一个纲领的档案看成有日期的责任链。它至少应能回答：当时已知什么，哪些数据尚未开放，模型在看到结果之前承诺什么，修改以后增加了哪些可检验后果。历史的公平不在于要求前人知道后来的答案，而在于不让后来答案抹去他们真正面对的不确定性。
四、第三组合不能替代三个发生维度
《科学发生的结构》第三四二卷把典范辨识为Function、D、E的组合，用S=Function(D,E)表达产出；正文强调Function涉及把操作与关联组织成何类结果，而不只是最后一道步骤。该书还提出多种典范模型共存、对话和形成新组织的研究方向。[58-3]
这里有一个必须守住的记号区别。典范的三组合写作(Function,D,E)，SDE的三个发生维度仍是(S,D,E)。前者试图辨认一套研究方式如何稳定工作，后者分析具体显露、差异序列与特征纠缠怎样共同发生。Function不等于S，也不是在SDE外发现了第四种存在实体。若把两套三项表直接对齐，便会把产出及其构成方式混为一谈。
本章用一个自拟统计例子说明区别。给同一组四个读数一、二、三、十四，程序按同样顺序完成读取、单位核验和整理。若研究任务以平均值汇总，结果为五；若以中位数汇总，结果为二点五。相同读数可以支持不同结果类型，究竟采用哪一种，取决于要回答总体负荷还是典型水平等问题。这里的五与二点五是不同S，汇总准则的区别帮助我们识别Function。
不过，这个例子不能证明Function在所有定义下都独立于D。若把D定义为包括每一步聚合运算的完整可执行程序，均值与中位数的差别已经写进程序，Function便可以被编码在D中。因此三组合的价值不是数出三个永远不可互译的箱子，而是使研究者能够在所采用的分析尺度上，分别追踪程序次序、关联结构与结果组织准则。
这也给出一项严格的检验。若评审者在保持任务定义一致的前提下，只使用D、E便能同样稳定地预测模型的结果类别与失败方式，而增加Function标记不能改善辨识，那么三组合在这个研究范围内没有显示额外分析收益。不能把这种结果改称“Function其实早已暗中存在”便宣布理论获胜；那只说明定义可以重写，尚未证明新增区分值得保留。
五、真正碰撞必须留下可检查的改变
两位专家在会议上轮流发言，不等于典范已经碰撞。十个模型重复同一个结论，也不等于发生了多元研究。碰撞至少需要一处可定位的不相容：输入怎样取得，变量怎样划分，哪些关系被保留，什么形式的结果才被认作答案。若这些都没有被触动，所谓对话可能只是增加说明文字。
用运动重建作一个小模型。模型甲以局部速度差估计阻力，模型乙以全程能量收支估计耗散。两者处理同一台装置，甲在低速段预测良好，乙能保持总能量账目，却不能定位耗散发生的时段。若新模型只是把两个分数平均，冲突被遮住而非解决。更有意义的改变，是引入可观测的内部温度或接触状态，使局部阻力与总体耗散通过新的变量关系相接。
但新增变量也可能只是多给了拟合自由度。假如内部温度从未独立测量，只按误差需要随意调节，那么它很容易解释任何结果。碰撞产生的新列，必须有测量资格、定义范围和跨任务约束。把“变量表长出一栏”当成成功标志，只能是研究提示，不能成为自动颁奖规则。
可以据此建立最低限度的前后比较。保留甲乙原有预测，再记录新模型用到了哪些额外信息。若新模型在相同信息预算下改善未见条件的预测，并且新变量能被独立测定，其发生内容才较清楚。若它只是动用了更多事后数据，或在旧测试上更好、在新测试上更差，就不能把改进归给典范碰撞本身。
六、一次可复算的碰撞评估
设有十项预先固定的测试，每项只记预测是否落入约定误差内。甲成功七项，乙成功六项，其中两者同时成功五项。于是至少一者成功的任务数为七加六减五，等于八。这个八说明两者的成功范围不完全相同，却不意味着一个真实调度系统已经会在每次测试前挑对模型。
如果在知道答案以后总选成功者，八项只是事后可达的上界。要实现它，需要提前可用的选择线索，例如温度、尺度或边界状态。设调度器实际只成功七项，就不能宣传为八项；若新组合成功九项，也不能只凭这个小样本就断言已经开创典范。还需重复、说明样本难度，并与增加同等算力的单模型进行比较。
这个简单算例使“多元优于单一”的命题具有可争论内容。多元系统可能因覆盖互补而改善，也可能因路由错误、接口损失和额外成本而变差。一个大模型内部也可能保存多套方法，一个由多个模型构成的系统反而可能高度同质。因此，物理上的模型数量不能直接替代认识上的方法差异。
若要测量差异，可要求各模型对同一失败说明其假设、替代变量和可区分实验，再由独立评审检查是否真有不同。不能只统计措辞的多样性。十种写法可以表达同一条推理；一句相似的话也可能隐藏不同的约束。真正需要保存的是解决问题方式的差异，以及这种差异在新任务中的实际效力。
七、SDE怎样进入，而不把一切都收归自己
在上述模型竞争中，可沿S—D—E再创路径展开：先发现两个模型对同一测试产生稳定分歧S，安排改变条件的试验D，再识别造成分歧的特征纠缠E，例如接触状态与耗散率的联系。识别以后还须返回预测，检查新联系能否解释原失配并承担新的检验。
另一条E—D—S沉淀路径可以从明确的关联猜想开始：若猜测温度改变局部阻力，就先规定这种联系E，再设计控温与独立测速序列D，最后看是否出现事前承诺的差异S。这两条路径的区别是研究从哪里进入，不是两套互不相容的科学逻辑。它们也不保证实验一定成功。
S=F(D,E)要求每个结果说明其生成条件；D=G(S,E)要求后续操作响应已知结果与关系，而不是机械重复；E=H(S,D)要求构成判断能够被操作与显露修订。三个式子提供组织研究的约束，不能直接推出任何具体阻力系数，更不能替代十项测试的真实记录。
三原理也应落到这张记录表上。若S与D的重复关系不稳定，推动检查E中被当作恒定的接触状态，再回检；若S与E的预测不符，推动改变D以区分温度、速度和仪器漂移，再回检；若D与E的组织不足以支持旧S，推动把“总耗散”分成可区分的时段响应，再回检。每一次第三维变化都增加责任，而不是增添一层免受反驳的语言。
八、哪些反例会使历史方向论失败
本书若主张科学发展的方向总是让旧典范成为新典范的极限特例，就必须面对不被包含的情况。一个新理论可能保留旧计算在有限范围内的数值近似，却拒绝旧理论的实体身份与因果解释。数值可恢复、对象可互译和本体被包含，是三个不同命题，不能看到第一项便宣布第三项成立。
由此可以提出一项足以击败强方向论的反例标准：若严谨历史研究反复发现，最具持续预测力的新体系只能靠放弃旧体系的核心对象关系而成立，且无法在预先说明的映射下把旧关系恢复为受控极限，而这些体系仍保持公共检验能力，那么“必然包含而非替代”的普遍命题就失败。失败后应缩为某些领域常见的机制，不能把放弃重新命名为更深包含。
另一个反例针对多典范模型的制度预测。若未来在同等资源、任务难度和评估尺度下，广泛使用统一模型的研究群体持续产生更多相互独立的方法、对象与可验证成果，而专门保持模型分离的群体并无优势，那么“统一必然压低多样性”的强主张就不能成立。这与第三四二卷主动列出的方向性败局相呼应。[58-4]
还有一个更贴近SDE本身的失败条件。若盲评研究中，SDE编码人员对同一案例的三维归属长期不能取得可复核的一致，分析又不能比更简单的任务—假设—证据描述多预测任何失败位置，那么SDE作为历史研究工具的操作价值便受到实质限制。不能以“发生过于复杂”解释所有不一致，又继续要求他人接受其方向判断。
这些条件不是为了让一本书显得谦虚。它们决定该书是否允许未来材料改变自己的组织。能够批判前人的理论，却不允许自身在相同层级失败，不是更深的发生学，而是把发生停在了自己这里。
九、历史方向与研究选择应当分别论证
即使多典范碰撞经常产生新方法，也不能由此直接推出每个实验室都应同时维持所有路线。资源有限、研究成熟度不同，某些任务需要长期稳定的校准，某些任务更需要探索新对象。多样性的价值必须与维持成本、交流成本及重复验证能力一起考察。
反过来，一项研究暂时只能使用统一平台，也不意味着其研究方向必然贫乏。研究者可以在同一平台内保存不同假设、隔离训练材料、使用不同变量划分，并请互不依赖的团队复核。是否形成有效差异，需要检查过程与产出，不能只看采购合同上有几个模型名字。
本章因此保留一个强竞争解释：许多所谓典范碰撞收益，也许来自一般的集成、分工与误差互补，无须SDE本体论。对它的回应必须具体。如果SDE能提前定位传统集成遗漏的对象不相容，指导建立新变量，并使新测试取得额外成功，它便有贡献；如果没有这些差别，应承认收益由更普通的机制解释已经足够。
这种对话并不妨碍本书继续坚持发生取向。它只是要求把哲学主张、研究方法与实验成绩分层。对象如何取得规定，是值得追问的问题；哪种编码能帮助研究者，是方法比较；某个装置预测更准确，是经验结果。三者可以相互支持，却不能用一个层次的成功替另两个层次提前盖章。
十、把最后的裁判权留给下一次工作
库恩提醒我们看见共同训练与评价条件，拉卡托斯要求在有时间次序的研究轨迹中比较成果，SDE进一步要求追踪显露、操作序列与特征纠缠如何互相生成。把这三种关切放在一起，能够迫使一本物理思想史对自己的叙事方式负责。
科学史不只是胜者如何终于说出正确公式的故事，也不是每个共同体都困在自己的语言里。人们能够建立局部翻译、改变装置、保留失败，逐步创造原先尚不存在的共同判断条件。这样的过程可能形成包含，也可能伴随舍弃；可能通过碰撞，也可能通过一条路线内部长期、艰难的展开。
真正需要留下的不是一幅保证未来照着走的路线图，而是一套允许路线图被改写的研究纪律。若碰撞有创造力，让它在新的问题上显示；若它没有，让失败进入记录。只有这样，关于科学发生的理论才仍然属于它所描述的开放历史。
本章参考资料
[58-1] Thomas S. Kuhn, The Structure of Scientific Revolutions, 2nd ed., 1970，Postscript—1969，学科矩阵、示范例、不可通约及理论选择段，原印页182—187、198—200。https://www.lri.fr/~mbl/Stanford/CS477/papers/Kuhn-SSR-2ndEd.pdf 。 [58-2] Imre Lakatos, “Science and Pseudoscience”, 1973，演讲转录及后续文本增补，研究纲领、进步与退化、公开记录部分；转载原LSE转录。https://studylib.net/doc/27074072/bf3-lakatos-1973-science-and-pseudoscience 。 [58-3] 王德生：《科学发生的结构——超越库恩》，德麦国际专著第342号，2026，第18—20章相关原文。https://sdeuniverses.com/books/m/342/text/ 。本章从其定义出发的数值例、分析尺度检验和竞争设计为本书展开。 [58-4] 同书主页“保底与死法”，方向性反例声明。https://sdeuniverses.com/books/m/342/ 。