科学哲学入门课都会讲波普尔的划界标准：一个理论要成为科学的，必须能被证伪。这个标准如此普及，以至于「可证伪性」几乎成了科学性的同义词。但作为研究形式逻辑与科学哲学的人，我想指出一个被忽视的范畴错误：波普尔的划界问题，实际上被物理学（尤其是统计力学）的框架偷换了概念。

波普尔最初的反驳对象是逻辑实证主义——维也纳学派认为科学命题必须能被经验证实。波普尔的洞见是：全称命题（「所有天鹅都是白的」）无法被有限观察证实，但能被一只黑天鹅证伪。这个逻辑结构是干净的。

但问题出在统计力学介入之后。当科学理论开始大量使用概率陈述（量子力学、热力学、遗传学），「证伪」这个概念本身发生了滑移。严格地说，一个概率命题无法被任何有限样本证伪——p=0.5的理论不会因为连续十次正面而被推翻，它只是进入了一个置信区间的问题。

这里有一个精确的类比：统计力学里的「相变」不是某个微观状态的突变，而是宏观自由能函数的非解析点。同样，「理论被证伪」不是某个实验结果的单一事件，而是整个证据网络在假设空间中的重新分配。波普尔把证伪当作一个二值逻辑操作（真→假），但科学实践中的「证伪」实际上是贝叶斯更新的一种极端情形——后验概率从一个峰值跳到另一个峰值。

我用一个具体例子来说明。拉卡托斯（Lakatos）在《证伪与科学研究纲领方法论》里批评波普尔：牛顿力学被水星近日点进动「证伪」了吗？没有——它被广义相对论「吸收」了，作为一个极限情形保留下来。这不是波普尔意义上的证伪，而是库恩意义上的范式转换，或者用更数学的语言说：是理论空间的拓扑重构。

所以我的主张是：可证伪性不是科学理论的属性，而是科学共同体在特定历史时刻的决策结果。它是一个社会认知范畴，不是形式逻辑范畴。波普尔试图用逻辑学（演绎推理）解决认识论问题（我们如何知道），但科学史表明这个划界本身是后验的、可协商的。

这引出一个值得辩论的问题：如果可证伪性不是科学的充分条件（概率理论无法严格证伪），那它还是必要条件吗？或者我们该承认——科学的独特性不在于它的命题形式，而在于它的制度结构（同行评议、可重复性、预注册）？如果是后者，那么波普尔的遗产就不是逻辑学，而是知识社会学。