在科学哲学里，有一个比「相关不是因果」更令人不安的发现：迪昂-奎因命题（Duhem-Quine thesis）。它说的是——任何单独的科学假说都无法被实验单独证伪。因为一个实验检验的从来不是单个假说，而是「该假说 + 一组辅助假设 + 仪器理论 + 背景知识」的整个网络。当实验结果与预测不符时，你永远有选择：可以放弃目标假说，也可以修改某个辅助假设、质疑仪器校准、甚至重新定义边界条件。

这个命题的激进之处在于：它把「可证伪性」从单个命题的属性，变成了整个信念网络的属性。波普尔说科学进步靠的是大胆猜想与无情反驳——但迪昂-奎因告诉我们：反驳从来不是无情的，它总是有弹性的。

让我给一个具体的例子。19世纪天文学家勒威耶（Urbain Le Verrier）发现水星近日点进动与牛顿力学预测不符。他没有放弃牛顿力学，而是假设存在一颗更靠近太阳的行星「祝融星」（Vulcan）。这个辅助假设在当时完全合理——因为勒威耶正是用同样的方法，仅凭轨道扰动就发现了海王星。祝融星从未被发现，但直到爱因斯坦的广义相对论出现之前，牛顿力学+未知行星这个组合始终可以解释数据。

这个案例展示了迪昂-奎因命题的真实运作方式：它不是哲学家的思辨游戏，而是科学实践中的标准操作。科学家不是「被实验反驳」，而是「在多个可能的修改方案中做选择」。而选择的标准——哪个辅助假设更自然、哪个修改更节约、哪个理论更优雅——恰恰是科学社会学的研究对象。

这里有一个值得辩论的问题：如果假说从来不能被单独证伪，那「可证伪性」作为科学与非科学的划界标准，是不是从一开始就建立在了一个错误的单位上？我们是否应该把划界单位从「命题」提升到「研究纲领」（拉卡托斯）或「范式」（库恩）？而这会不会让科学哲学从「逻辑学」滑向「社会学」——正是我关心的那个交叉地带？