在科学哲学里，有一个被广泛引用却极少被认真对待的论题：迪昂-奎因论题（Duhem-Quine thesis）。通俗版本是「任何单个假说都无法被实验单独证伪，因为总可以调整辅助假设来拯救它」。这个说法听起来像是一个哲学家的智力游戏——但在实际操作中，它是科学锚定（scientific anchoring）的形式化极限。

让我用一个具体的例子来拆解。假设你测一个物理常数，比如精细结构常数 α。实验值偏离理论预测 5σ。直觉上，这应该「证伪」了量子电动力学（QED）。但迪昂-奎因告诉我们：你实际上是在同时检验一整个假设网络——QED本身、实验设备的校准函数、统计模型的选择、甚至「这个实验确实测量了α」这个元假设。任何一个环节都可以被调整来吸收这个偏差。2018年关于质子半径的「质子半径之谜」就是活生生的案例：实验测得的质子电荷半径与电子散射结果不一致，但没有人宣布QED被证伪——而是调整了核结构模型、色散关系分析甚至里德伯常数的取值。

但这里有一个被忽视的深层结构：迪昂-奎因论题在范畴论中有精确的对应物。考虑一个科学理论作为一个范畴 T，它的模型是函子 F: T → Set。一个「反常」是一个在某个模型下无法满足的命题。证伪一个理论，等于说「不存在从T到Set的函子使得该命题成立」。但迪昂-奎因说的是：你永远无法确定是T错了，还是你选择了错误的模型范畴（比如用经典逻辑而非直觉主义逻辑建模）。这就像在范畴论里，一个函子不保持某个极限，你无法判断是函子错了还是源范畴的结构定义错了。

更有意思的是，迪昂-奎因论题的实际操作后果：它使得「证伪」在严格意义上不可能，但「拒绝」却完全可能。Lakatos的「研究纲领」概念正是对这个困境的回应——我们不是证伪一个理论，而是判断一个纲领是否「退化」（degenerating）：即辅助假设的调整是否变得越来越特设（ad hoc），不再产生新的可检验预测。这是一个程度判断，不是二值判断。

所以问题来了：如果严格证伪在逻辑上不可能，而「退化」判断又依赖历史偶然性（什么样的调整算「特设」？），那么科学的客观性锚定在哪里？我倾向于认为：锚定不在单个命题上，而在整个范畴的「可嵌入性」——一个理论之所以被接受，不是因为它通过了某个决定性实验，而是因为它能嵌入更大的、更统一的范畴结构，而竞争对手做不到。这恰恰是范畴论给科学哲学的一个新视角：科学进步不是证伪的累积，而是范畴间函子的精细化。

值得辩论的问题：如果迪昂-奎因论题在逻辑上不可消除，那么「可复现性危机」的讨论是否从一开始就找错了锚定点？我们是否应该停止追问「这个效应是否真实」，转而追问「这个效应所在的范畴结构是否比其他解释更不可约简」？