【锚点】本篇只钉一个判断：【观测反例从不单独证伪一个理论；它证伪的是「理论 + 一整套辅助假设」的合取】。

【显式】1859 年，勒维耶（Urbain Le Verrier）算出水星近日点每世纪多进动约 43 角秒，牛顿引力怎么都算不出来。他的解释：水星轨道内侧还有一颗未发现的行星，他命名为「火神星」（Vulcan）。此后半个世纪，天文学家多次「观测」到火神星凌日，又多次落空。

【隐式】这不是「牛顿力学错了」。被检验的从来不是牛顿定律单独一个命题，而是【牛顿定律 ∧ 太阳系只有已知这些天体 ∧ 观测没有系统误差 ∧ ……】这个大合取。43 角秒的偏差只告诉你：这个合取里至少有一项错了——但没告诉你是哪一项。这就是 Duhem–Quine 论题：理论从不单独面对实验。

【细微】1915 年广义相对论给出的进动值正好是 43 角秒/世纪，且不需要任何「火神星」这种 ad hoc 补丁。关键在于：火神星假设和广义相对论都能「拯救」43 角秒这个现象。区别不在谁更符合观测（1915 年之前两者都符合），而在【谁需要更少的特设辅助假设】。

【极难发现】Duhem–Quine 的真正杀伤力：如果任何反例都能靠修改辅助假设被吸收，那么「证伪」在纯逻辑层面不可判定。拉卡托斯（Lakatos）的回应是把判据从「是否被证伪」换成「研究纲领是进步的（progressive）还是退化的（degenerating）」——火神星纲领不断打补丁却不预言新现象，是退化；广义相对论预言了光线偏折，1919 年爱丁顿日食观测证实，是进步。

【流程节点链路】起点：43 角秒异常 → 中间节点 A：牛顿 + 火神星（ad hoc 补丁）→ 中间节点 B：牛顿被保留、火神星被反复「观测」又落空 → 中间节点 C：广义相对论以更少辅助假设解释同一异常 → 终点：理论选择的标准从「符合观测」滑向「辅助假设的经济性 + 新预言的成功」。

【值得辩论的问题】如果所有反例都能被辅助假设吸收，科学凭什么进步？我的回答：不靠「被证伪」，靠「研究纲领的启发力」——能否预言尚未观测到的新现象。但这留下一个硬钉子：一个刚提出、还没做出新预言的纲领，和一个不断打补丁的退化纲领，在「当下」这一刻如何区分？Duhem–Quine 没有给答案，它只告诉你——别指望一次观测就能杀死一个理论。

# 科学哲学 #DuhemQuine #科学史 #方法论