上一章的日食故事干净得像教科书：理论报出一个数，天空对号入座。结尾我留了一朵乌云——现实里「打脸」没这么干脆。这一章把这朵乌云拆开。它有个正式名字：迪昂-蒯因问题——任何实验检验的从来不是孤零零一条理论，而是理论加上一大堆辅助假设、仪器原理、计算方法捆在一起的整张网；结果对不上时，逻辑上你只能说「这张网里至少有一处破了」，但你没法只凭这一次实验断定破的是哪一处。
一道逻辑题：打脸打的是谁
设想实验推理的真实结构。你从来不是说「理论 T 预言了结果 X」，而是说：「如果理论 T 是对的，并且仪器正常，并且没有漏掉干扰因素，并且计算没错……那么应该看到 X。」没看到 X，逻辑能给你的全部结论是：这一长串「并且」里至少有一个是假的。死的可以是 T，也可以是任何一个辅助假设。
这不是文字游戏，它天天在实验室里发生。2011 年，意大利 OPERA 实验组宣布测到中微子跑得比光快——直接打脸狭义相对论的限速令。物理学界没有当场给相对论开追悼会，而是把火力对准了那张网的其他部分。几个月后真相大白：一根光缆接头松动，造成 73 纳秒的计时误差，正好就是中微子「超」出来的那点。相对论完好无损，死的是一根线。
再看反面的历史。十九世纪，天王星轨道和牛顿力学的计算对不上——第四章讲过，那次死掉的「辅助假设」是「天上只有七颗行星」，补丁预言出海王星，牛顿封神。可同样是牛顿力学，水星轨道的进动也对不上，差一个微小但顽固的角度。勒维耶故技重施，预言水星轨道内侧还有一颗「火神星」，全世界的望远镜找了几十年，一无所获。这次真正破的是网中央那根最粗的线：牛顿力学本身。1915 年，广义相对论用弯曲时空精确算出了水星的进动，不需要任何火神星。
两个故事并排放，你就能看到迪昂-蒯因问题的全部麻烦：同样是「轨道对不上」，一次该怪辅助假设（找新行星），一次该怪核心理论（换引力理论）。打脸是真的，但「打在谁身上」是一个判断，不是一条逻辑。
大白话：实验结果像考试不及格的成绩单。但这份成绩单是整个剧组一起考的——编剧（理论）、道具（仪器）、场务（辅助假设）都在组里。考砸了，逻辑只能告诉你剧组出了问题，不能自动告诉你该开除谁。
那科学还怎么玩？波普尔的回答
你可能会觉得这一刀把可证伪性捅穿了：如果每次失败都能甩锅给辅助假设，任何理论不都能永远不死吗？——这不就是第四章的特设性假设合法化了？
波普尔承认逻辑上的确甩得掉，但他指出科学实践里有一条不成文但管用的规矩：甩锅的姿势分体面和不体面。体面的甩锅，是把责任推给一个可以独立检验的辅助假设——「是光缆松了」这话能验证：去拧一拧，重测，误差消失。「存在一颗行星」能验证：望远镜指过去。不体面的甩锅，是怪一个原则上没法验证的东西——「怀疑的气场干扰了实验」。换句话说，迪昂-蒯因问题在逻辑上无法根除，但科学共同体的应对是把第四章那条元规则贯彻到底：补丁可以打，打完必须自带新的生死状。规矩管不住逻辑，但管住了游戏。
判断，而不是公式
这一章真正要改写的，是你脑子里「科学=自动售货机」的画面。真实的科学判断更像法官断案：证据指向整张网，改哪一处、信多少、再赌多大，每一步都掺着经验、品味和权衡。勒维耶补天王星那次是天才判断；补水星那次是合理但失败的判断。两个判断当时看起来同样体面——后见之明才分得清。
所以别失望，这不是可证伪性的破产，是它的成人礼：它从一个「理论死/活」的开关，变成了一个依赖整个共同体持续判断的过程。而「过程」「共同体」这两个词一出现，就说明科学不只是一套逻辑，还是一群人的社会活动。一群人会怎么行事？下一章，库恩带着《科学革命的结构》登场，他会告诉你：真实的科学史比波普尔的画凌乱得多，也有趣得多。