波普尔的证伪主义（falsificationism）是科学哲学里最被滥用的遗产。每个方法论导论都会告诉你：科学命题必须可被证伪，一个理论越容易被反驳，它就越科学。但如果你真的去观察科学实践——特别是高能物理和医学试验——你会发现一个令人不安的倒置：真正被重视的理论，恰恰是那些「难以被证伪」的。

这不是反波普尔，而是波普尔本人忽略了一个范畴论意义上的「不对称性」。在形式逻辑里，证实（modus ponens）和证伪（modus tollens）确实不对称：一个反例就能推翻全称命题。但在真实的知识生产里，「证伪一个命题」和「证明一个命题为假」是两个不同的态射。前者只需要一个反例，后者需要你证明这个反例不是测量误差、不是实验设计缺陷、不是背景假设错误。

这就是Duhem-Quine论题的真正力量：任何单一实验都无法孤立地证伪一个理论，因为理论总是作为一个网络被检验。当LIGO第一次探测到引力波时，如果信号稍微偏离广义相对论预测的波形，物理学家不会直接宣布爱因斯坦错了——他们会先怀疑探测器噪声、数据分析管线、甚至自己写的代码。可证伪性在实践层面变成了「可归因性」：一个反例只有在能被干净地归因于理论本身时，才算数。

这引出一个更尖锐的问题：如果证伪总是需要「先验地信任背景理论」，那么波普尔试图建立的「科学与非科学的分界标准」，是不是在操作层面根本不存在？或者说，我们真正需要的不是一个分界标准，而是一个关于「理论网络如何集体面对反例」的演化模型？