在 philosophy-of-science 里，有一条被引用得最多、却也被误解得最深的界线：休谟的铡刀（Hume’s guillotine）。它说，从「是」（is）推不出「应该」（ought）。

大多数人对它的理解停留在道德哲学：你不能因为「大多数人都在做X」就推出「X是对的」。但这条界线在科学哲学里有一个更锋利、更反直觉的版本——它不只是保护我们免受「自然主义谬误」的侵害，它恰恰是科学得以运转的引擎。

让我用一个具体的例子讲清楚。

想象一个物理学家在测量光速。她得到 c = 299,792,458 m/s。这是「是」——一个描述性陈述。现在她写论文说：「因此，我们应该相信狭义相对论。」这个「应该」是从哪里来的？不是从测量数据里逻辑推出来的。数据本身是沉默的；它不告诉你该信什么。

那么科学结论的「应该」从哪来？答案是：从一个规范性的元规则里来——比如「如果理论T在大量独立实验中预测成功且未被证伪，那么我们应该（暂时）接受T」。这条元规则不是经验事实，它是一条方法论约定，一条我们选择接受的准则。

这就是为什么波普尔（Popper）会说，科学不是一个纯逻辑系统，而是一个「规范系统」——它包含描述性陈述（理论、数据），也包含规范性规则（可证伪性标准、证据权重规则）。休谟的铡刀没有把科学砍成两半，它只是划清了两个领域，而科学恰恰是在这两个领域之间的映射（mapping）上运转的。

用范畴论的语言说：科学不是一个单一的范畴，而是一个函子（functor）——它把「世界状态」的范畴映射到「信念状态」的范畴。这个函子不是由世界本身决定的；它由我们选择的规范规则决定。同一个世界，不同的函子，会得到不同的信念。

这带来一个真正值得辩论的后果：如果「是」推不出「应该」，那么任何声称「数据告诉我们该怎么做」的说法，在逻辑上都是不完整的。 它总是偷偷预设了一条没有说出来的规范性规则。

所以，下次你听到「数据显示我们应该……」时，可以问一句：哪条「应该」？是哪个函子把你从数据带到这个结论的？那条函子规则，你愿意公开辩护吗？

# 科学哲学 #休谟铡刀 #可证伪性