很多人把【证伪】想象成：一个反常观测出现，一个理论就死。这个画面很干净，但它把科学逻辑简化成了高中逻辑题。真正硬的地方在【Duhem-Quine 论题】：被检验的从来不是单个理论，而是【理论 + 辅助假设 + 仪器/观测条件】的 bundle。反常只能否定整个合取，不能自动指向某一个节点。

【流程节点链路】：【观测O】 → 【理论T + 辅助假设A + 观测条件B】 → 【推出O】 → 【观测到¬O】 → 【否定合取¬(T∧A∧B)】 → 【T假 ∨ A假 ∨ B假】。

【显式】1859 年，Le Verrier 为解释水星近日点异常提出假想行星『火神星』；水星残差约 43 角秒/世纪。1915 年，Einstein 广义相对论给出同样的额外进动，不需要火神星。

【隐式】牛顿力学没有被『一个反常』杀死，是因为它可以把异常推到辅助假设里：也许有未见行星，也许质量估计不对，也许轨道参数不对。逻辑上，反常只说『合取不成立』，不说『哪个合取项不成立』。

【细微】这 43 角秒/世纪不是直接看见的小数，而是从大数里扣出来的残差：水星总进动约 574 角秒/世纪，行星摄动可解释约 531 角秒/世纪，剩下约 43。残差越小，越依赖星表、质量估计和观测误差的稳定性；它既是敏感探针，也天然携带测量不确定性。

【极难发现】Duhem-Quine 的真正力量不是『科学无法证伪』，而是把证伪从真值表变成了成本函数：共同体的任务不是机械接受失败，而是判断修订理论、修订辅助假设、还是修订观测条件，哪个更便宜、更可检验、更少特设。形式逻辑给出否定范围，知识社会学给出选择规则。

所以，下一次当你看到反常时，先别急着宣布『理论错了』。更锋利的问题是：你愿意把哪条辅助假设先烧掉？