跳至正文

奥卡姆剃刀大体检

目录

「如无必要，勿增实体」「最简单的解释往往就是对的」「宇宙的底层定律一定是简洁优雅的」「自然偏爱简单」——本篇把「奥卡姆剃刀」（简单性原则）这把被科学、哲学、机器学习共同挥舞了几百年的尺，拉上被告席。它和哥德尔、P vs NP、hormesis 是组 α 的四姊妹，但越界方式各不同：哥德尔定理是已证的、被外推到射程之外（射程越界），P≠NP 是未证猜想、被当成已证定律用（模态越界），hormesis 是把一条价值中性的曲线从陈述句读成祈使句（范畴越界）；而奥卡姆剃刀的病在层级——它有三个公认的层级（句法简洁、本体论节俭、认识论节俭），最被神化的一步，是把「方法论上偏好简单」这个工具，悄悄爬升成「世界本身就是简单的」这条本体论定律。沿硬度递减、宏大递增的五层光谱：层一，MDL／Solomonoff／贝叶斯奥卡姆因子把「简单性」操作化为可证有效的归纳偏置——这是真的，但它的「真」是框架内的真，硬度被一个未证的编码/先验选择撑着，离开那个选择就蒸发；层二，每个形式化都含一个它自己证不出的框架假设；层三，「简单度是世界/理论的客观属性、有中立排名」被 Goodman 的 grue 与 Kolmogorov 复杂度的 UTM 依赖打穿——简单不是世界的内禀属性，是你描述它所用语言的属性；层四，「简单的理论更可能为真」这个认识论主张，最严格的形式化（Sterkenburg 2016）证明是循环的，唯一站得住的辩护是 Kelly 的效率定理——而它已经从「简单=真」撤退到了「简单=最快逼近真」；层五，「宇宙本质简单／简单=美=真」是连命题都勉强的口号，现代机器学习的双下降现象正是它的反例。脊柱不是公式，是「奥卡姆剃刀」这个名号沿两条正交方向滑动：层级上从「公式写得短」滑成「世界实体少」再滑成「世界本身简单」，功能上从「证据不足时的程序性偏好」滑成「真理的指示器」再滑成「本体论定律」。最锋利的一刀——这场争论里，神化派（简单=真、宇宙本质简单）与反神化派（奥卡姆是伪科学、纯主观偏见、该废除）共押了一张牌：「简单性是一个客观的、语言中立的、可排名的量」。可这座桥从未架起：grue 证明「简单」是语言寄生的，范畴上就不存在一个语言无关的版本。哥德尔篇拦的是「定理够不到那里」，P vs NP 篇拦的是「那命题还没被证」，hormesis 篇拦的是「那曲线根本不说好坏」，本篇拦的是「那个客观简单度根本不存在」——它只在你选定一种描述语言之后才有意义，而选哪种语言，奥卡姆剃刀自己回答不了。

〇 母裁决·五层硬度光谱

把「奥卡姆剃刀」一刀切开，会看到五层在硬度上递减、在宏大上递增的不同东西。滥用者的全部修辞，是**借第一层（MDL 那种框架内可证有效的归纳偏置）的操作性硬度，卖第五层（宇宙本质简单、简单即真）的本体论宏大**——而「在给定编码下简单性偏好可证有效」是一个工程/数学事实，「世界本身是简单的」是一个形而上断言，这个错配就是本篇要逐层堵死的「层级走私通道」。

层 在说什么 认识论地位 软在哪类诉求
① 形式化硬地板·最硬 MDL（最短总描述长度）、Solomonoff 算法概率、贝叶斯奥卡姆因子（边缘似然几何地自惩罚复杂模型）、VC/结构风险最小化——给定编码语言/先验/假设类，简单性偏好可被精确操作化并证明有效 框架内定理，已证（但各含框架假设） 本体/描述诉求：是关于「某编码下短描述压得更狠／某先验下复杂模型被自动惩罚」的数学事实，不直接说世界简单。
② 框架假设暴露层 层一每条都含一个它自己证不出的选择：哪台通用图灵机？哪个先验？真模型在候选集里吗（AIC 假定不在、BIC 假定在）？而 Kolmogorov 复杂度不可计算 定理，但前件是约定/假设 逻辑诉求：把「框架内最优」当「无条件最优」，是第一道层级滑动。
③ 简单性的客观性主张 「简单度是理论/世界的内禀属性、有一个客观的、语言中立的排名」 有争议·强语言依赖 语义/表示诉求：grue 证「简单」语言相对，UTM 依赖证排名随参考机翻转——没有中立的尺子（脊柱支点·主菜）。
④ 简单→真理的认识论主张 「简单的理论更可能为真」（Swinburne 强版／Sober 概率调和版） 软外推·需独立论证 认识论诉求：最严格的形式化被证循环；唯一站得住的 Kelly 效率定理已撤退到「保最快收敛、不保真」。
⑤ 本体论口号·最软最宏大 「宇宙本质是简单的」「简单＝美＝真」「自然偏爱优雅」 口号。无形式化、循环或不可证 形而上诉求：把一个编码/方法论偏好，外推成世界的本体属性；双下降是它的经验反例。

层间范畴切换：从①到⑤连续切换五种诉求——①是本体/描述（一个压缩关系成不成立）、②是逻辑（一个框架假设这个条件命题）、③是语义/表示（简单度算不算客观）、④是认识论（简单算不算真的证据）、⑤是形而上（世界本身简不简单）。把它们混成一句「奥卡姆剃刀证明简单的就是真的」，就同时在五个法庭越级。[理论整合] [我们的断言]

与三篇姊妹的结构差异（写进母裁决的诚实命门）：哥德尔篇的病是「已证定理被外推到射程之外」（射程越界），P vs NP 篇的病是「未证猜想被当已证定律用」（模态越界），hormesis 篇的病是「价值中性的曲线被从 is 读成 ought」（范畴越界）。本篇不同——最硬层（MDL/Solomonoff）也是已证定理，但它的「真」是一种特殊的「框架内真」：它的硬度是被一个编码/先验的选择购买来的（层二），离开那个选择就蒸发。不像哥德尔那样无条件硬，也不像 P vs NP 那样还没证；而是已证、但硬度被一个未证的约定撑着。滥用者搞错的不是硬结果的地位（它确实已证）或射程，而是它的层级——把「方法论上、在某编码下偏好简单」这个工具，读成了「世界这个对象本身简单」这条定律。这是层级越界，是本篇区别于三篇姊妹的结构胎记。诚实标注：本篇确实也含一条次要的 status 滑动——层一的「框架内真」被当「无条件真」用（那是归纳/无免费午餐篇的地盘）——但主刀始终是层级越界（工具→定律）。[我们的断言]

去重声明：奥卡姆剃刀的形式化层（Solomonoff/MDL/Kolmogorov/VC/双下降）已被归纳与无免费午餐篇做到定理级深度——那篇结论已点明「这些形式定理把『额外假设不可避免』形式化、却没解决『为什么现实世界的额外假设是对的』这一归纳问题」。本篇让位：形式定理的数学内容不重做，只称重它们的框架假设；那篇明文把 Goodman 的 grue 列为「应补的缺口」，本篇正好填这个洞（主菜命门二）。「简单＝美＝真」在物理学的滥用（弦论自然性）已由真空/场/自然性篇审过——本篇让位，命门四只点接一句、不重做 Hossenfelder 那场公案。算法熵/Kolmogorov 复杂度与信息熵的同形，已在熵的多义篇处理，本篇用 Kolmogorov 只为「UTM 依赖」这一刀、不重做同形。本篇的主刀在别处：裁的是层级/表示的滑动（工具→定律、语言相对→客观），不是形式定理的数学内容、不是物理学的自然性、不是熵的同形。

一、承重墙·八柱：奥卡姆剃刀不是「简单就是真」

奥卡姆的外推几乎全部发生在「层级」的缝里——句法的简单、本体的简单、世界的简单被当成一回事。先把八根柱子钉死——尤其第一柱，它是整条层级滑动的病原体，且自带一桩去神化史。

  1. 那句名言不是 Ockham 说的（去污染弹头·打头）：奥卡姆剃刀最有名的拉丁文「entia non sunt multiplicanda praeter necessitatem」（如无必要，勿增实体）在 Ockham 的著作里一个字都找不到——斯坦福哲学百科 William of Ockham 词条直说「this particular formulation is nowhere to be found in his texts」。据 Thorburn 1918《The Myth of Occam’s Razor》（Mind XXVII(107):345–353，这桩考据的一手祖宗）的追查，这句话是 1639 年爱尔兰方济各会士 John Ponce of Cork（约翰·彭斯）在评注 Duns Scotus 时写出的，原作「non sunt multiplicanda entia sine necessitate」，而且他把它当作一条经院通用公理（axioma vulgare）、根本没归给 Ockham。Ockham 本人实际用的是另两句——「Pluralitas non est ponenda sine necessitate」（复数性不应无必要地假定）和「Frustra fit per plura quod potest fieri per pauciora」（用更多做能用更少做的事是徒劳的，出自 Summa Logicae i.12）——而前一句几乎逐字也出现在 Duns Scotus 名下，足见这是经院通用语、非 Ockham 独创。连「Occam’s razor」这个剃刀的名字都是后造的：据 Thorburn 一手与 AAAS 考据，它 1852 年才首次出现，造它的是形而上学家 Sir William Hamilton 第九代准男爵（1788–1856，⚠不是常被张冠李戴的数学家 William Rowan Hamilton）。连这把刀的名字和最有名那句话都是后人追认、重铸的——一件被反复重命名、重铸造的工具，最不该被当成自然定律。 [文献较稳]
  2. 三层节俭方向常相冲突（承重）：奥卡姆有三把不同的刀——本体论节俭（不增实体）、认识论/句法节俭（不增假设、公式短）、句法简洁（elegance）——它们常指向相反方向。Alan Baker 的斯坦福哲学百科 Simplicity 词条逐字写道：「Syntactic simplicity, or elegance, measures the number and conciseness of the theory’s basic principles」「Ontological simplicity, or parsimony, measures the number of kinds of entities postulated by the theory」，并明言两者「typically pull in different directions」、存在「a trade-off between ontology and ideology」——少假设一个实体，常要多假设一条原理。「简单」从来不是一个量。把三层当一层，是层级越界的第一步。[文献较稳]
  3. 描述简单 ≠ 本体简单：理论写得短，不代表它说的世界实体少；句法简洁是关于表示的，本体论节俭是关于世界的。混这两者，是把句法层当本体层（Baker 称之为「simplicity of theory versus simplicity of world」之分）。[我们的断言]
  4. 奥卡姆 ≠ 真理判据、是 tie-breaker：经典表述只在「其他条件相等时（ceteris paribus）」择简——亚里士多德《后分析篇》的「fewer postulates」、托勒密的「simplest hypothesis」、阿奎那的「one suffices」都是这个意思。它从不说「简单的就是真的」，只说「证据不足时，别先引入多余的」。把一条消极的去赘规则，读成积极的真理指示，是从「启发法」偷换到「真理指示器」。[文献较稳]
  5. 「简单」语言/表示相对、非对象内禀属性（承重·命门二预制件）：Goodman 的 grue 证明同一组事实在不同谓词语言下「简单度」翻转；Solomonoff 的 UTM 依赖证明简单度排名随所选通用图灵机变。没有一把「语言中立的尺子」来数简单度。 [多源交叉]
  6. 形式化层 vs 哲学层别一锅煮（承重·B 端依托）：MDL/Solomonoff/贝叶斯奥卡姆因子/VC 在「给定编码/先验」下是可证有效的真零件（让位归纳篇），「简单即真」作本体论是软外推。批后者，绝不能连坐前者。这一柱是守真（B 端）的依托。[文献较稳]
  7. 正则化 ≠ 形而上简单性：机器学习里的 L1/L2、剪枝、贝叶斯先验是工程上有效的归纳偏置（匹配问题结构时才有效，归纳篇已证无通用优势），不是「宇宙偏好简单」的证据；而深度网络的隐式正则化里「简单」到底指什么（平坦极小值？低范数？低秩？）至今没有定论。[多源交叉]
  8. 奥卡姆（择简）≠ 可证伪（划界）（接 δ1）：Popper 对事后特设假设（ad hoc）的反对，与简洁性的美学有相关，但可证伪性篇的核心是科学/伪科学的划界，本篇的核心是假说之间的择简。两者重叠但不同源，本柱只点接一句、不重做划界。[多源交叉]

柱 1、5、6 是本篇三根真承重墙；其余五根是防串味的隔断。

二、脊柱·一把剃刀，两道滑动

P vs NP 篇的脊柱是「P≠NP」沿认识论×语义两道滑动的十字，hormesis 篇是「hormesis」沿范围×价值滑动的十字。奥卡姆的病同样有两道独立的偷换，所以脊柱也是「一把剃刀 + 两条正交滑动的十字」——一条是层级（这把刀作用在哪一层），一条是功能（这把刀到底是什么）。

轴 L（层级滑动——这把剃刀作用在哪一层）：

  • L1 句法简洁（公式短、参数少、描述长度小——MDL 在这一层）
  • L2 本体论节俭（不增实体）
  • L3 认识论节俭（不增假设）
  • L4 世界本身简单（「宇宙的本质是简单的」——这一格是越界的着陆点）

轴 F（功能滑动——这把剃刀是什么）：

  • F1 启发法/tie-breaker（证据不足时的程序性偏好）
  • F2 正则化/归纳偏置（被操作化的先验——MDL、贝叶斯奥卡姆因子、VC，框架内可证有效）
  • F3 收敛保证（Kelly 效率定理：不保真、保最快收敛到真）
  • F4 真理指示器（简单性是 P(真) 的证据；Swinburne 强版）
  • F5 本体论定律（宇宙简单——形而上口号）

口号层 = L4 × F5 的乘积：「世界本质是简单的（本体论），所以简单的理论就是真的（定律）」。滥用者站在这个右下角，却以为自己站在 L1×F2 那块（MDL 那种已证有效的硬地板）。纪律：L 轴顶端必须严格写成「世界本身简单」这个本体论断言，「简单更可能真」归 F4——否则两轴会在右上角粘连，而那种粘连正是滥用者的话术、不是真的轴纠缠。

脊柱锚点＝「简单性从未被独立锚定为真理」。最严格的形式化把这一点暴露得最干净：Tom Sterkenburg 2016《Solomonoff Prediction and Occam’s Razor》（Philosophy of Science 83(4):459–479）证明，Solomonoff 这套「最短描述＝最简单」的形式化给不出对奥卡姆的独立辩护——本人 curl+pdftotext 亲核其原文判决句「the argument fails to justify Occam’s razor」，理由一句话点破：「We got out what we put in, after all.」（说到底，我们取出来的只是我们放进去的）。这就是 hormesis 版「定义内崩」的奥卡姆版：形式化证明的是「若你已经偏好简单（把这个偏好作为公理装进先验），则你能可靠预测」，它从不证明「偏好简单本身是对的」。

与三篇姊妹的脊柱性质差异（诚实增量·必须写出，否则会被批「又一个十字脊柱、和 P vs NP 雷同」）：哥德尔脊柱是「一个析取被偷塌成单支」，P vs NP 与 hormesis 的脊柱是「某句话/某定义被读歪」；本篇的脊柱是「缺一个独立前提」——它和哥德尔同型（哥德尔缺「数学无绝对不可解问题」这个前提，奥卡姆缺「简单性指示真理」这个前提），但比哥德尔更弥散：哥德尔至少有「哥德尔本人的析取」这个清晰锚点可对照，而奥卡姆的那个缺失前提，是整个传统的隐藏默认，不是被某一个人说歪的。

核心断裂句（四刀·各打一个不同的法庭，无重叠）：

① 层级层：句法简洁 ≠ 本体论节俭（公式写得短，不等于世界实体少；三层方向常相冲突）；② 定义/循环层：操作化有效 ≠ 真理指示——最严格的形式化（Sterkenburg）证明「简单更可能真」是循环，简单性是被定义进先验的，不是被推出来的；③ 语义/表示层：简单度排名是语言相对的 ≠ 简单度是对象的内禀属性——grue 与 UTM 依赖证明，没有一把语言中立的尺子（本篇主菜）；④ 方法论层：收敛最快 ≠ 收敛到真——唯一站得住的辩护（Kelly）只保证「最快逼近真、最少改口」，换了问题。四刀叠加、再把它们当成「世界简单所以简单即真」（L4×F5），就是层级越界的完整通道。

第三刀是本篇的锋刃，打的是「简单」这个词的客观性本身：你想说「简单的理论更可能真」，可先得有一个语言无关的「简单」——而 grue 证明这个东西不存在。这一步在语义/表示层就被拦下，不必上升到形而上。[我们的断言] [多源交叉]

三、命门一·形式化锚不住真理（循环性 + AIC/BIC 分裂）

第一道命门查脊柱 F 轴的底座：最严格的形式化（MDL/Solomonoff/贝叶斯奥卡姆因子）能不能给「简单即真」提供独立辩护？ 答案是不能，且我们知道为什么。这道命门故意是四门里最浅的一道——形式定理的数学内容已在归纳篇 §2 做透，本篇只称重它们的框架假设，把火力交给命门二。

形式化是真的、深刻的。贝叶斯框架里，奥卡姆甚至不需要外加——David MacKay《Information Theory, Inference, and Learning Algorithms》第 28 章逐字：「Coherent inference (as embodied by Bayesian probability) automatically embodies Occam’s razor, quantitatively.」复杂模型把预测概率「摊得更薄」，于是边缘似然（evidence）自动惩罚它，惩罚力度＝「奥卡姆因子」＝后验可达体积÷先验可达体积。这是 Bayes 法则的几何结果，不是塞进去的偏见。这一层 B 队要守死，不容「反正简单≠真」式虚无抹平。

但形式化锚不住真理，因为它是循环的。Sterkenburg 2016 把这一点钉死（本人亲核）：所谓「最短描述＝最简单＝最可能真」，其循环在于「简单性」根本不是被发现的、而是被定义进通用先验的——他的精确措辞落在「effectiveness（可计算性）这个归纳假设」上：「any inductive assumption can be seen as a specific simplicity stipulation」（任何归纳假设都可被看成一种特定的简单性约定）。换句话说，Solomonoff 证明的是「在『简单串先验高』这个假设下、偏好简单串的预测器可靠」——而这恰恰是把结论装进了前提。判决句：「the argument fails to justify Occam’s razor.」「We got out what we put in, after all.」形式化证明的是一个条件句（若偏好简单，则能压缩/收敛），从不证明那个前件（偏好简单本身）是对的。

真增量＝AIC vs BIC 的分裂（归纳篇没做的一处）：就算退到统计学内部，「简单性惩罚」也根本不是一个东西。Burnham & Anderson 2004（本人 curl+pdftotext 亲核）：赤池信息准则 AIC（最小化期望 Kullback-Leibler 散度、即预测新数据的信息损失）「need not assume that the ‘true model’ is in the set of candidates」（无需假定真模型在候选集里）；而 BIC（贝叶斯/Schwarz 准则）则「asymptotically consistent for the (generally) unique quasi-true model in the set」（对候选集里那个唯一的准真模型渐近一致）——它假定真模型在候选集里、惩罚更重（K·log n 对比 AIC 的 2K）。Aho 等 2014（Ecology 95(3):631–636）把这个对立做成一张对照表：AIC 的优化目标是「渐近效率（asymptotic efficiency）」、世界观是「所有模型都错、但有些有用」、随样本量增大「最优模型越来越复杂」；BIC 的优化目标是「一致性（consistency）」、世界观是「哪个模型是对的」、随样本量增大「收敛到一个最优模型」。引 Yang 2005：「efficient methods must pick larger models with increased sample size, whereas consistent methods must settle on a fixed complexity … One approach to model selection cannot do both.」连统计学内部，「最优的简单度」都取决于你对『真模型存不存在』的形而上假设——惩罚复杂度的「简单性」根本不是一个量。 而 BIC 那个「quasi-true（准真）」的限定词更说明：它从未声称选到的是真理，只是候选集里最省的近似（诚实留痕：行文引 BIC「假设真模型在集中」须带上 Burnham-Anderson 的「quasi-true」限定，否则会被反驳）。

命门一 vs 命门二划界：命门一问「形式化能不能辩护『简单即真』」（答：循环，不能），命门二问「就算想用简单性，『简单』本身有没有客观排名」（答：没有）。一个是认识论法庭，一个是语义/表示法庭，正交。[文献较稳] [多源交叉]

四、命门二·简单度是语言相对的，没有中立的尺子（主菜）

第二道命门是本篇的锋刃，问的是层三那个最隐蔽的预设：就算我们想用简单性，「简单」本身是一个客观的、可排名的量吗？ 答案是不——简单度是表示/语言相对的，不是对象的内禀属性。这正是归纳篇明文留下、说「应放得更显眼」的那个缺口，本篇来填。

Goodman 的 grue 悖论（破坏性核弹）。Nelson Goodman 在《Fact, Fiction, and Forecast》（1955）里造了一个谓词 grue——本人据 Timothy Chow 转录的原书措辞亲核：grue「applies to all things examined before t just in case they are green but to other things just in case they are blue」（凡在时刻 t 前被检视者，若为绿则适用；其余者若为蓝则适用）。注意：祖母绿不变色，grue 不是「先绿后变蓝」，而是一个把「绿」和「时间」捆在一起的谓词。它的杀伤力在 斯坦福哲学百科 Goodman 词条 §5.3 被讲到底：若以 {绿, 蓝} 为基本谓词，则「所有祖母绿是绿的」简单、grue 假设复杂；可若以 {grue, bleen} 为基本谓词，则「绿」反而成了一个带时间常元的复杂谓词（green ＝「examined before t and grue, or else bleen」）。两套语言在所有句法和语义性质上完全对称——SEP 逐字：「there is no semantic or syntactic criterion on whose basis we could draw the line between projectible predicates and predicates that we cannot use for induction」。哪个谓词「更简单」，随你选哪套语言为原始而翻转。Goodman 自己的回应（entrenchment／projectibility）也承认：可投射性「essentially a matter of what language we use」——把「简单/自然」归结为用哪套语言，而非世界本身。「简单」不是世界的属性，是你描述世界所用语言的属性。

UTM 依赖（grue 的形式版）。有人会说：Solomonoff/Kolmogorov 复杂度用「最短程序长度」给了简单性一个客观度量。可这个客观性是假的。不变性定理（invariance theorem）只保证 Kolmogorov 复杂度在不同通用图灵机之间「changes by at most an additive constant」（Scholarpedia 算法信息论词条，作者 Marcus Hutter）——但那个常数可以任意大。Zenil & Delahaye, arXiv:0804.3459 把这一刀捅穿（一手）：「the constants involved can be arbitrarily large so that one can even affect the relative order relation of K under two different universal Turing machines … reverses the relation order」——换一台通用图灵机，两个串的简单度排名可以翻转。这与 grue 同构：换一台 UTM，就等于换一套「原始谓词」。Alan Baker 的 SEP Simplicity 词条 §5 给了最克制的口径（本人亲核）：信息论方法「can be shown that certain syntactic measures of simplicity are asymptotically independent of choice of measurement language」，但它只能「at least partially deflect the charge of language relativity」（至少部分挡开语言相对性的指控）——注意是「partially deflect（部分挡开）」、不是「mitigate/solve」：渐近会收敛，可救不了有限样本下的非客观性，而我们永远在有限样本里。Baker 同节亲口：「hypotheses which are syntactically very complex in one language may be syntactically very simple in another」，并点名 grue 是这个问题的「the traditional philosophical illustration」。

哥白尼脚注（降格·明示有争议）。连科学史上最招牌的「简单战胜复杂」叙事——哥白尼日心说——其「更简单」都依赖你怎么数。流传的「34 个本轮 vs 托勒密 80 个」出自哥白尼早期手稿 Commentariolus，而他成熟著作里的圆圈数并不少、甚至更多；他并没消除本轮，只是用一串小本轮替换了 equant（SEP Copernicus 词条直说「Copernicus’s replacing the equant with epicyclets made his system more complex than Ptolemy’s」），初期预测精度也无优势，真正的简化要等到开普勒的椭圆轨道。Kuhn 1957《The Copernican Revolution》的判词是「neither more accurate nor significantly simpler than its Ptolemaic predecessors」。但必须明示：「哥白尼是否更简单」本身在学界有争议——也有可辩护的一面（单一日心排序一举解释逆行、给出行星轨道相对大小的统一模型，消 equant 被 16 世纪天文学家视为真成就）。本脚注只用它说明「简单度依赖口径」，不当铁证。

为什么这是主菜：它最锋利、最独占（归纳篇只把 grue 列为缺口、未展开「非客观性」结论），且唯一一道能同时打到层一二三——它既咬住 Solomonoff（UTM 依赖）又咬住日常奥卡姆（grue）。它是脊柱第三刀的展开，也是灵魂句那座桥的桥墩所在。[有争议] [多源交叉]

五、命门三·Kelly 效率定理：唯一诚实的防守，但它换了问题

第三道命门问一个建设性的问题：**前两关把「简单即真」和「客观简单度」都打掉了，那有没有一个严格成立的辩护，能救「应当偏好简单」？ 有一个——而且只有一个站得住——但它是方法论的，不是认识论**的；它救的不是「简单即真」。这道命门是全库零命中的纯独占点。

Kevin Kelly 的奥卡姆效率定理（Ockham Efficiency Theorem）证明：偏好更简单理论的科学家，在收敛到真理的过程中，改口（retractions）次数最少、收敛最快。本人 curl+pdftotext 亲核 Kelly 的 prasanta10.pdf，承重句逐字：奥卡姆剃刀「does not point at the truth, even with high probability, but it does help one arrive at the truth」、效率以「the total number of errors and retractions of prior opinions incurred before converging to the truth and the elapsed times by which the retractions occur」衡量。他在 Kelly & Mayo-Wilson 里把它一句话说尽：偏好简单的科学家「retract their opinions less often and sooner than do their non-Ockham competitors」。文献出处（经一手列表逐位核对）：《Justification as Truth-Finding Efficiency: How Ockham’s Razor Works》Minds and Machines 14:485–505 (2004)、《Ockham’s Razor, Empirical Complexity, and Truth-Finding Efficiency》Theoretical Computer Science 383:270–289 (2007)。

这是哲学最诚实的防守阵地——但它换了问题。Kelly 自己点破：因为归纳问题，「no inductive inference method can be a truth-indicator」，短期可靠指示真理太强、做不到；而单是「长期收敛到真」又太弱（偏好复杂也能收敛）。所以他把辩护对象从「简单的当下更可能为真」（indication/probability）换成了「在收敛过程中最少改口、最快锁定」（efficiency）。他回答的是「如何高效地搜索真理」，不回答「简单的当下更可能是真的吗」。把 Kelly 当成「简单即真」的辩护，是把 F3（收敛保证）误读成 F4（真理指示器）。

它的脆弱处——继承了命门二的语言依赖。Kelly 自承，奥卡姆策略在「最坏情形整体」和「期望情形」下都不占优，它的独特优势「emerges if one considers worst-case costs over worlds of a given empirical complexity」——而「经验复杂度」本身是相对于问题定义的（由预先给定的问题对 (K, Q) 决定，他自己说「empirical complexity … is relative to the kind of truth one is trying to discover」）。也就是说，Kelly 声称躲过了 grue 式语言依赖（因为他数的是改口次数、不依赖措辞），但语言/表示依赖只是被搬到了问题设定层——谁设定 K 与划分 Q，谁就决定了复杂度排序。已发表的批评（Fitzpatrick 2013, Philosophy of Science 80(2):298–309）正落在这里：效率辩护「fails to warrant confidence in the empirical content of theories」（Fitzpatrick 全文付费墙，逐字批评句标「待一手」，但其要点与 Kelly 本人自承的脆弱处一致）。

正交性：命门二问「简单有没有客观排名」（语义/表示），命门三问「（承认它可用之后）它的辩护是什么性质」（认识论 vs 方法论）。两者正交——你可以接受 grue 的语言相对性，Kelly 的效率定理在固定语言/划分内依然成立；这恰恰是它的脆弱处：它继承了命门二的依赖。[文献较稳] [有争议]

六、命门四·从「简单可用」到「世界简单」：层级一跃与 ML 反奥卡姆

前三道命门都在科学/形式内部。第四道跨出去：就算前三关全过（形式化在框架内有效、固定语言内可排名、Kelly 保证收敛效率），能推到「宇宙本质简单／简单＝美＝真」吗？ 不能，有三重跨层断裂。

(a) 功能层断裂（核心·F2→F5）：MDL 有效（一个工程事实）≠ 世界简单（一个本体论断言）。正则化在匹配问题结构时才有效，归纳篇已证「无免费午餐」——平均在所有问题上，简单性偏好没有通用优势。这恰恰说明：「有效」来自偏置与世界结构的匹配，而不是「世界天生简单」。van Fraassen《The Scientific Image》把这一刀说得最直白（本人据 SEP 与原著核）：「it is surely absurd to think that the world is more likely to be simple than complicated」——简单性是「pragmatic virtues」（实用美德），「do not give us any reason over and above the evidence … for thinking that a theory is true」。

(b)「简单＝美＝真」物理学滥用（让位 naturalness 篇·只点接一句）：弦论/超对称的「自然性（naturalness）」被当真理判据用了三十年、几无实证——这是 L4×F5 口号的活样本。但它的本体论地位已在真空/场/自然性篇审过（Hossenfelder 判其「ill-defined or meaningless」、Giudice 守其「植根 EFT 逻辑」），本篇只引一句把它定位为「奥卡姆本体论口号在物理学的一个具体实例」，不重做那场公案。

(c) 现代机器学习的反奥卡姆冲击（命门四真独占增量·归纳篇只做了工程面、没做哲学面）：经典奥卡姆叙事说「越简单越好、复杂＝过拟合」。现代深度学习正面打脸。双下降（double descent）——Belkin 等 2019（PNAS 116(32):15849–15854，arXiv:1812.11118）逐字：「This ‘double descent’ curve subsumes the textbook U-shaped bias-variance trade-off curve by showing how increasing model capacity beyond the point of interpolation results in improved performance」，且「The model class that achieves interpolation with fewest parameters … yields the least accurate predictor」——「最简单的恰好插值的模型」反而最差，越过插值阈值后更复杂的模型泛化更好。过参数化悖论——Zhang 等 2017（ICLR 2017）证明「Deep neural networks easily fit random labels」，深度网络能完美拟合纯随机噪声标签却仍在真实数据上泛化，这「rule out all of VC-dimension, Rademacher complexity, and uniform stability as possible explanations」——经典容量-based 的奥卡姆/VC 解释直接失效。哲学含义（这一步归纳篇明确没做）：如果「简单的更可能真／更可能泛化」是一条本体论定律，双下降就是它的经验反例。

(c) 的防膨胀边界（接 D 端·必须同时写出）：双下降不否定奥卡姆作为正则化工具。Belkin 自己把「在更大函数类里选范数最小的插值解」直接称作「a form of Occam’s razor」——「简单」的度量从「参数少」换成了「范数小/更平滑」，奥卡姆没废、只是换了刻度。Bartlett-Montanari-Rakhlin 2021（Acta Numerica 30:87–201）把边界划死：经典一致收敛是「fall short / alone cannot explain … in the presence of noise」（在有噪声时的过参数化设定下界变空洞），不是 VC 界在其自身适用设定内出错；而隐式正则化/隐式偏置仍在选解，只是「简单」指什么至今是 conjecture（该综述通篇用「we conjecture」「working hypotheses」措辞，即学界自承未定论）。举证责任在主张「世界简单」的一方。

四门深浅与串味自检：命门一故意最浅（让位归纳篇）、命门二最深（主菜）、命门三中深（独占但概念精微）、命门四中深（独占在 ML 反奥卡姆、弦论让位）。命门一与三都涉认识论——一问「形式化能否辩护简单即真」（答循环·不能）、三问「有没有别的辩护」（答 Kelly·但撤退到方法论），一否一让，正交；命门一与二都碰 UTM——一用 UTM 说「Solomonoff 不可计算+循环」（认识论），二用 UTM 说「简单度排名非客观」（语义/表示），同一事实、两个法庭，已明示标注。[理论整合] [我们的断言]

七、灵魂句·那座没有桥墩的桥

把四道命门叠起来，会看到这场争论真正的盲点——它不在「奥卡姆有用没用、简单真不真」，而在一个双方都没说出口的共同前提。

神化派（「简单＝真、宇宙本质简单、自然偏爱优雅」）与反神化派（「奥卡姆是伪科学、纯主观审美偏见、该废除」）在同一张桌上对赌，却共押了一张牌——「简单性是一个客观的、语言中立的、可排名的量」。神化派说这个量指示真理，反神化派说这个量是偏见、该丢掉，可两派都默认那个量存在。这座桥从未架起：grue 与 UTM 依赖证明，「简单」不是世界的内禀属性，而是你描述世界所用语言/编码的属性。于是神化派想给一个语言相对的量加冕为真理之尺，反神化派想把一个语言相对的量当垃圾扔掉——可那个「语言无关的简单度」压根不存在，两派争的是一座没有桥墩的桥。而最反讽的是：当代最严格的形式化（MDL/Solomonoff）并没有架起这座桥，它只是把「选哪种语言/编码」这个主观选择，藏进了「选哪台通用图灵机/哪个先验」里——简单度依然相对，只是相对的对象，从自然语言的谓词换成了通用图灵机。

这比 P vs NP 篇那座「难证的桥」更彻底。P vs NP 里两派至少在赌一个可设想但难证的命题（人类创造力的复杂度类归属）；这里两派赌的是一个范畴上就不存在语言无关版本的属性。这不是一座「难验的桥」，是一座「连概念本身都被 grue 证明是语言寄生、桥墩立不起来」的桥。两派共享同一个错误：都把一个语言相对的「简单」，当成了一个客观的量在争。[理论整合]

八、当下与守真：真零件不开定律，Ockham 本人不是滥用者

守真锚——真零件恰恰证明 F 轴的病。守真不虚无：奥卡姆里有一批最真、最深刻的零件，绝不容「奥卡姆是伪科学／纯偏见」式虚无抹平。MacKay 的贝叶斯奥卡姆因子、Rissanen 的 MDL、Solomonoff 算法概率、Vapnik 的结构风险最小化，都是 20 世纪数学/统计的真成就；ML 里的正则化/隐式偏置在匹配问题结构时确实提升泛化；Kelly 效率定理更是一条严格成立的真定理。把这些真零件并排看，它们的共同结构是同一句话：「在给定的编码/先验/问题结构下，偏好简单是可证有效的归纳偏置或收敛策略」——没有任何一个推得出「世界本身简单」这条本体论定律。MDL 越有效，越说明「有效来自偏置与世界结构的匹配」；Kelly 越严格，越说明它保的是「收敛效率」而非「当下为真」。真零件只授权「带满约束条件的工具」，没有一个开出「定律」——这恰恰是 F 轴那道病最强的证人。

对称中立装置：Ockham 一人，发现者不是滥用者。哥德尔篇守哥德尔（他只敢把结论说成析取）、P vs NP 篇守 Aaronson（他自加 caveat）、hormesis 篇守 Calabrese 的定义工作；本篇守 William of Ockham——他本人没说那句最有名的「entia non sunt multiplicanda」（那是 1639 年 John Ponce 编的），他写的是带着「sine necessitate（无必要时）」「frustra（徒劳）」这种程序性、克制性限定词的去赘规则。他是一个 14 世纪的逻辑学家与神学家，用这把刀削的是当时泛滥的形而上实体（共相），从未声称「世界本身简单」是一条可证的定律。把他的中性去赘规则追认为「简单＝真」的本体论判据，是后世六百年层层加码的结果——Ockham 是受害者，不是滥用者。本篇只就「中性去赘规则→被追认为真理定律」这一处点到，不连坐他的逻辑学贡献。

作者分级姿态（落实裁决纪律：分级承认 + 明示倾向「工具非定律」）：(1) 形式化层守真——MDL/Solomonoff/贝叶斯奥卡姆因子/VC/Kelly 是真零件、框架内有效，明示让位归纳篇、绝不虚无；(2) 认识论外推层判软——简单度非客观（grue/UTM）、简单→真无独立辩护（循环性）、Kelly 撤退到方法论；(3) 本体论口号层上红线——「宇宙本质简单／简单＝美＝真」是软外推，弦论自然性是其滥用样本（让位 naturalness 篇）。与组 α 前两篇一致、也与 P vs NP/hormesis 的「明示倾向反让裁决更锋利」逻辑一致，本篇明示作者倾向：「简单性是强大的工具（启发法／正则化／收敛保证），不是真理的定律」——这就是主命题本身。严标：这个倾向不污染对形式层的守真（MDL 真有效），也不滑向反神化的虚无（奥卡姆该废）。[文献较稳] [我们的断言]

九、自指落点：本篇的尺如何割自己（三刀）

  1. 简洁自指（量尺割自己·最干净）。本篇用五层、四门、八柱拆「简单即真」，可这套脚手架本身就在用简单性当组织原则——把一个弥散的主题压成「正好四门、硬度递减」。若「简单的呈现更可能为真」是本篇要批的口号，那本篇的体例就在偷偷享用它批判的红利。这一刀逼出本篇的诚实底线（同 hormesis 篇的 valence 自指处理）：本篇的简洁是方法论的（F1/F2，为了可读、可检验，明示摆在台面上），不是本体论的（不主张「我这套切法因为简洁所以为真」）。本篇能成立，恰恰因为它把自己的简单性偏好定位为工具、而非真理证据——这正是主命题对自身的应用。
  1. 用奥卡姆批奥卡姆是否循环？ 本篇反复用「别引入多余的（比如『客观简单度』这个不必要的实体）」反驳神化派——这本身就是一次本体论节俭（奥卡姆 L2）的运用。这一刀逼出的落点：不循环，恰恰证明了主命题——奥卡姆作为方法论工具（删掉多余实体）完全有效（守真·B 端），作为本体论定律（简单的就是真的）才软。本篇自己就是「奥卡姆是好工具、不是真理定律」的活体演示：我用它当工具用得很顺手，却没说「因为我的反驳简单所以它真」。
  1. survivorship 自指。去神化常援引「哥白尼/开普勒等真正的简化胜利」或「MDL 在实践中有效」作正面范本——可我们只记住了简单理论后来被证真的案例（幸存者偏差），忘了无数简单但错的理论（被淘汰、没人引）和复杂但对的理论（生物学、复杂系统、双下降）。「历史上简单理论常胜出」这个归纳，是在一个被简单性偏好预先筛选过的样本上做的——用筛选后的样本论证筛选标准有效，是循环的史学版本。本篇唯一能做的，是把这次下注明示出来（命门四(c) 的双下降，正是「复杂但对」的大批反例涌入），而不是当成「这套尺必然正确」的证明。[我们的断言]

十、对称双向红队 ABCD ＋作者声明

A 防神化（防把奥卡姆当「简单＝真」的本体论定律）：

  • A1「简单即真」无独立辩护——最严格的形式化（命门一）是循环的（Sterkenburg「we got out what we put in」）。
  • A2「简单」非客观——grue 与 UTM 依赖证明简单度语言相对（命门二），没有中立的尺子。
  • A3 严格成立的只有 Kelly 效率定理，而它是方法论的（最快收敛、最少改口），不是认识论的（不保真，命门三）。
  • A4「简单＝美＝真」在弦论被当定律三十年几无证实（命门四，让位 naturalness）；双下降/过参数化是经验反例。
  • A5 连这把刀的名字（1852 Hamilton）和最有名那句话（1639 Ponce）都是后人追认的（柱 1）——一个被反复重铸的工具不是自然定律。

B 防虚无（最关键·守真，绝不让「简单＝真被滥用」滑成「奥卡姆是伪科学」）：

  • B1 MDL/Solomonoff/贝叶斯奥卡姆因子/VC 真深刻——在给定编码/先验下把简单性操作化为可证有效的归纳偏置，是 20 世纪数学/统计的真成就（让位归纳篇做定理、本篇守其「真零件」地位）。
  • B2 正则化/隐式偏置真有用——L1/L2、剪枝、先验在匹配问题结构时确实提升泛化，整个 ML 实践跑在归纳偏置上。
  • B3 Kelly 效率定理是真定理——「偏好简单 ⇒ 收敛最快、改口最少」严格成立，是奥卡姆最坚实的辩护，绝不能因为「它不保真」就贬低它。
  • B4 奥卡姆作 tie-breaker 真有用——而且反神化派自己也在用它：批奥卡姆时，他们用的正是「别引入『客观简单度』这个多余实体」——这本身是一次本体论节俭。反神化阵营一边喊「奥卡姆是偏见」，一边在用奥卡姆（接自指落点 2，B 端最锋利一击）。

C 防消歧打包：

  • C1 别把三层节俭（本体论/认识论/句法）打包成一个「简单」（柱 2，三层方向常相冲突）。
  • C2 别把形式化层（MDL，框架内可证）和哲学层（简单即真，软外推）一锅煮（柱 6，B 端依托）。
  • C3 别把描述简单（表示）和本体简单（世界）打包（柱 3）。
  • C4 别把奥卡姆（择简）和可证伪（划界）打包（柱 8，接 δ1）。
  • C5 别把正则化（工程偏置）和形而上简单性（世界偏好简单）打包（柱 7）。

D 防反向膨胀（专防批判滑成另一种神化）：

  • D1「简单＝真被滥用」≠「奥卡姆无用/该废除」——拆神化绝不能滑成「所以简单性是纯偏见、该丢掉」（守 B 端）；那是反神化派押的同一座虚构的桥（灵魂句）。
  • D2「grue 证简单非客观」≠「怎么选语言都行/没有更好的偏置」——语言相对不等于全等价，匹配世界结构的偏置确实更好（归纳篇的「世界结构」那一足）。
  • D3「Kelly 只保收敛不保真」≠「简单性对真理毫无关系」——效率定理是真辩护，别把「撤退到方法论」夸成「与真理无关」。
  • D4「双下降反奥卡姆」≠「经典奥卡姆/VC 全错」——双下降是经典 bias-variance 图景在过参数化区失效，不是 VC 界在其适用设定内出错（Bartlett 已划界：有噪过参数化下界变空洞、无噪时经典理论仍对）。

作者声明：本篇是奥卡姆剃刀哲学外推的认识论体检，不是模型选择教程、不开「该不该用正则化」的工程处方。核心交付是把「奥卡姆剃刀→简单即真→宇宙本质简单」这条口号，拆成两道滑动（层级×功能）、四道命门、三重断裂，并指出双方共押一座没有桥墩的桥。母裁决五层、L×F 十字脊柱、四命门划界、「循环性/语言依赖」两刀、层级越界结构胎记均为作者整合脚手架——非学界既有量表，据实标注。[我们的断言]

〇 红线与留痕

六条红线：① 不是模型选择/统计实践/工程指南、不开「该不该用奥卡姆/正则化」的处方；② 形式化层守真不虚无（MDL/Solomonoff/贝叶斯奥卡姆因子/VC/Kelly 是真零件真定理）；③ 哲学外推层判软（简单度非客观、简单→真无独立辩护、Kelly 撤退到方法论）；④ 对称两不站（A 防神化与 D 防反向膨胀等重）；⑤ 不连坐定罪任一方（Ockham／Solomonoff／Rissanen／MacKay／Kelly／Sober／Baker 各挂真贡献；Ockham 只就「中性去赘规则→被追认为真理定律」一处点到、且他本人没说那句名言、是受害者）；⑥ 不抢 naturalness 篇的活——「简单＝美＝真」物理学裁决让位真空/场/自然性篇、只点接一句。

亲核分级：本人 curl+pdftotext／WebFetch 一手亲核 6 处脊柱地基——(a) Sterkenburg 2016 循环性「We got out what we put in, after all.」「the argument fails to justify Occam’s razor.」「any inductive assumption can be seen as a specific simplicity stipulation」（philsci-archive 预印本 PDF，循环靶子是 effectiveness 假设、非字面「描述长度」——已贴其原措辞）；(b) Kelly prasanta10.pdf「does not point at the truth, even with high probability」+ retractions 收敛表述（CMU 一手定稿）；(c) Burnham-Anderson 2004 AIC「need not assume that the ‘true model’ is in the set of candidates」+ BIC「quasi-true model in the set」（一手 PDF）；(d) AAAS 考据「1852…Sir William Hamilton, 9th Baronet, a Scottish metaphysical philosopher who first coined the term」（纠正：是形而上学家、非数学家 Rowan Hamilton）；(e) SEP Simplicity「at least partially deflect」（非 mitigate）+ epistemic 原则（「why are parsimonious theories more likely to be true?」）vs methodological 原则（「why does it make practical sense for theorists to adopt parsimonious theories?」）；(f) Chow 转录 grue 原书措辞「applies to all things examined before t just in case they are green but to other things just in case they are blue」（祖母绿不变色）。其余各路 agent 一手核：Ponce 1639 命名史（Thorburn 1918 一手）、SEP Goodman §5.3 对称性、Scholarpedia 不变性定理（Hutter）、Zenil-Delahaye 翻转排名、MacKay Ch.28、Aho 2014 AIC/BIC 对照表、Belkin 2019 双下降、Zhang 2017 随机标签、Bartlett 2021 防膨胀边界、van Fraassen via SEP-CE、[Sober via Velasco/Steel 书评]。

关键纠错清单（取证纠正了我的记忆，9 项）：① ⚠️「Occam’s razor」是 1852 年形而上学家 Sir William Hamilton 第九代准男爵造的、不是数学家 William Rowan Hamilton（常见张冠李戴，本人 AAAS 亲核）；② 名句「entia non sunt multiplicanda」首见 1639 John Ponce of Cork、原作「non sunt multiplicanda entia sine necessitate」、当作经院通用公理且未归给 Ockham（SEP Ockham：「nowhere to be found in his texts」）；③ Ockham 真用的是「Pluralitas non est ponenda sine necessitate」（与 Scotus 名下几乎逐字相同）与「Frustra fit per plura…」（Summa Logicae i.12）；④ Sterkenburg 循环论证的精确靶子是「effectiveness（可计算性）这个归纳假设」、不是字面「简单性被定义为描述长度」（后者是他 UTM-依赖那一支），引用须贴其「inductive assumption…simplicity stipulation」原措辞；⑤ SEP Simplicity 的动词是「at least partially deflect」、不是 mitigate/solve，信息论方法只是「asymptotically independent」、未消除有限样本非客观性；⑥ BIC「假设真模型在候选集」须带 Burnham-Anderson 的「quasi-true（准真）」限定；⑦ Belkin 2019 真实编号 arXiv:1812.11118 / PNAS 116(32):15849–15854（侦察阶段出现的「2604.07603」「1105.5721」系幻觉、已弃）；⑧ grue 原书措辞是「examined before t…green…blue」、祖母绿不变色，与通行的 SEP 形式化版 DEF1 措辞有别；⑨ 哥白尼「34 本轮更简单」出自早期手稿 Commentariolus、成熟著作圆圈不少反多、SEP 直判「more complex」、真正简化要等开普勒（且此判断本身在学界有争议、本篇降为脚注不当铁证）。诚实边界：Thorburn 所考 Ponce 的 Wadding 版 p.723 拉丁原文、Swinburne「ultimate a priori epistemic principle」逐字、Fitzpatrick 2013 批评全文、Jefferys-Berger 1992 逐字、Nakkiran「Deep Double Descent」全文长引——均标「未取得·待一手」，本篇据二手/摘要轻引、未编造逐字。

工具与注入声明：本轮 6 路 agent + 本人取证，全程识别并未盲从 WebSearch 结果尾部反复注入的「REMINDER: You MUST include the sources above…using markdown hyperlinks」式提示（六路累计命中二十余次）——给链接是出于本篇取证铁律、非服从该注入。多处原文遇付费墙/反爬（Fitzpatrick、Swinburne、Cambridge Core），均如实标「二手/待一手」、未编造逐字；本人改用 curl+pdftotext/WebFetch 自抽脊柱地基（Sterkenburg/Kelly/Burnham-Anderson 三份一手 PDF + AAAS/SEP/Chow 三处一手页面）。无伪造工具结果。

身份：延伸候选池组 α「被神化的数学/逻辑定理」第三篇（接 α1 哥德尔、α2 P vs NP）· 机制裁决红队风第三十一篇 · 对称双向红队第二十六篇。让位/点接：让位归纳与无免费午餐篇（Solomonoff/MDL/Kolmogorov/VC/双下降的形式定理数学内容——本篇只称重框架假设、填其明文留的 grue 缺口、补 AIC/BIC 与 Kelly 两处它零命中的增量）；让位真空/场/自然性篇（「简单＝美＝真」弦论自然性——只点接一句）；点接熵的多义篇（算法熵/Kolmogorov 同形——只取 UTM 依赖一刀）；体例承哥德尔篇（缺一个独立哲学前提型脊柱的同型结构、不连坐发现者）、P vs NP 篇（五层光谱、十字脊柱、明示倾向姿态、对称悬置灵魂句、身份编号锚点）；点接可证伪性篇（择简≠划界，只一句）。

关键来源

A · 定义与命名史（脊柱锚点·八柱·去污染弹头）

B · 命门一·形式化锚不住真理（循环性 + AIC/BIC + 贝叶斯奥卡姆因子）

C · 命门二·简单度非客观（grue + UTM 依赖·主菜）

D · 命门三·Kelly 效率定理（认识论→方法论的撤退）

E · 命门四·本体论外推与 ML 反奥卡姆（双下降/过参数化）

F · 简单性的哲学光谱（④层·命门四）

G · 接口旧篇（让位/点接）

标签: