奥卡姆剃刀

14 世纪初，英格兰萨里郡的小村奥卡姆（Ockham）走出一位方济各会修士——奥卡姆的威廉（William of Ockham，约 1287–1347）。他是中世纪经院哲学最锋利的头脑之一，也是个不安分的人：因主张"教会应安守清贫、教皇无权干预世俗政权"，他被传唤到阿维尼翁受审，最终被教皇约翰二十二世逐出教会，余生流亡于巴伐利亚皇帝路德维希的庇护之下。

奥卡姆毕生反对当时盛行的实在论——那种认为"红""善""人性"这类共相（universals）是独立存在于个体之外的真实实体的观念。他是唯名论的旗手，坚信真实存在的只有一个个具体的事物，那些抽象的"共相"不过是人脑里的名称和概念。正是从这种"少造实体"的本能里，长出了那把以他命名的剃刀。

有意思的是，那句最著名的拉丁文表述"如无必要，勿增实体"（entia non sunt multiplicanda praeter necessitatem）并没有在奥卡姆现存著作中被逐字找到。它由 17 世纪的爱尔兰学者约翰·庞奇（John Punch）整理总结而成。奥卡姆本人反复使用的是另一种表述："若少即可成事，多则徒劳"。这把剃刀，是后人替他磨亮、并刻上他名字的。

这两句话需要拆开来读，否则极易被误解：

• 它是一条"节约原则"，不是"最少原则"。奥卡姆从未说"答案越简单越对"，而是说不要引入"完成解释所不需要"的东西。关键词是 sine necessitate（若非必要）——必要的复杂，一分都不能省。
• 被剃掉的是"实体"（entia），不是"细节"。剃刀针对的是多余的假设、多余的存在物、多余的因果环节，而不是叙述的丰富度。一个解释可以很啰嗦却不增实体，也可以一句话却暗藏一堆未证的假设。
• 它是一把"启发式"，不是"证明工具"。剃刀帮你在证据不足以裁决时，临时偏向哪一个假设；它从不宣称被剃掉的那个一定为假。简单者优先被采纳，但优先不等于真。

所以奥卡姆剃刀的精确含义是：在所有能同等解释现象的理论中，应当选择假设最少、引入实体最少的那一个——不是因为它一定正确，而是因为多余的假设无法被检验、也无法带来新的解释力，徒增犯错的入口。

医学院里有一句广为流传的格言，把奥卡姆剃刀讲得再透不过："当你听到马蹄声，先想到马，而不是斑马。"——一个发烧、咳嗽、流涕的病人，最可能是普通感冒，而不是某种罕见的热带寄生虫病。两种诊断都能解释症状，但前者只需要一个常见假设，后者需要一连串小概率前提叠加。剃刀让你先押注那个假设更少的。

再换个日常场景：早上你发现车窗被砸、包不见了。大脑可以编出无数故事——"有个犯罪集团专门跟踪我""我前任雇人报复"。但最省假设的解释通常是：一个路过的小偷，看到车里有包，顺手砸窗。它不需要预设一个针对你的复杂阴谋，只需要"世上有随机的小偷"这一个早已成立的事实。

要警惕一个最常见的误读：奥卡姆剃刀不是"怎么简单怎么来"。它真正的对象是假设的数量，而非理论的字面长度。"上帝创造了一切并刻意伪造了所有化石"听上去只有一句话，却暗含一个巨大而不可检验的假设；而进化论叙述繁复、机制众多，但每一环都可被独立检验、且不引入任何"看不见的额外存在"。后者才是被剃刀偏爱的"简单"。

奥卡姆剃刀是科学史上最好用的启发式之一，但把它当真理、当证明，就会割伤自己。下面五条，是它真正的边界：

所以用剃刀的正确姿势是：把它当"选择起点"而非"裁判终点"——在证据尚不足以裁决时，先押注假设最少的那个解释；同时始终为"事实需要更复杂的理论"保留入口。记住爱因斯坦的护栏：尽可能简单，但不能过于简单。

奥卡姆剃刀最大的红利，是替你在信息不全时挑一个最不容易错的起点。它不保证你对，但能让你少开几道犯错的门。

• William of Ockham《Summa Logicae》（逻辑大全） 约 1323 — 奥卡姆唯名论与"节约原则"的核心著作
• Isaac Newton《Philosophiæ Naturalis Principia Mathematica》 1687 — "推理规则一"把剃刀写入近代科学方法
• Karl Popper《The Logic of Scientific Discovery》 1934/1959 — 以"可证伪性"重铸对简单性的辩护
• Elliott Sober《Ockham's Razors: A User's Manual》 Cambridge University Press, 2015 — 当代哲学对剃刀最系统的考辨
• David MacKay《Information Theory, Inference, and Learning Algorithms》 2003 — 第 28 章详解"奥卡姆因子"与贝叶斯模型选择，免费可读
• 维基百科：Occam's razor en.wikipedia.org/wiki/Occam's_razor — 含出处考据、历史流变与各学科应用