跳至正文

模型成功，是否说明世界真的如此

目录

课题完成态：本篇不问“科学有没有用”，也不把科学实在论与反实在论压成一次立场投票。正式问题是：当一个模型给出新颖预测、跨仪器复现、支持选择性干预，并在理论更替后仍保留部分内容时，我们究竟有权相信到哪一层——现象、参数、关系结构、实体、因果能力、机制，还是整套世界图景？

一句话母裁决：成功不是本体身份证，也不只是计算奖状；它是一张分级许可证。复现许可现象，跨方法收敛许可参数与结构，干预许可实体及其局部因果能力，排除严肃替代才逐步许可机制；整套理论的逐字本体从不由成功自动获得。

〇、母裁决：成功有方向，不是一张整套通行证

承诺对象 截至本篇的裁决 最关键证据 常见越界
现象存在 通常最先变硬 独立复现、空白/对照、仪器交叉核验 从“有稳定效应”直接跳到某解释为真
参数与定量关系 可很硬，但有适用域 不同误差结构锁定同一数值、外样本预测 把数值近似当成深层本体近似
关系结构 理论更替中常比图像耐久 重参数化不变量、极限保留、跨理论同一关系 把保留结构说成“世界就是数学结构”
实体及局部因果能力 在可制造、屏蔽、操纵时可很强 选择性干预、剂量反应、移除与恢复、多种探测链 把实体存在扩展成有关它的一切理论都真
具体机制 需比预测成功更多的排他证据 机制特异干预、中介时序、替代机制失手、跨域迁移 用模型拟合或相关神经信号冒充独占机制
整套理论本体 永远是最慢、最可修正的一层 多种证据向量长期共振，且无已知等价/未审替代 把当前最佳模型逐字当成世界本身

[我们的断言] 这些对象不是一条严格单调阶梯：结构与实体可以分别获得强证据，天体实体也可能无法操纵。正确做法不是给理论一个总分，而是记录一组证据向量，再问它们对哪个承诺对象真正相关。

最终立场不是“所有不可观察物都只是工具”，也不是“成熟理论大体逐字为真”，而是：

领域敏感、成分选择、证据分级的实在论。 对稳定现象、跨方法不变量和可操纵因果承载者可以相当实在；对未被区分的机制、表述依赖变量与整套形而上图景保持克制。

一、开题冻结、任务清单与证据纪律

1.1 完善后的正式课题

原题“模型成功，是否说明世界真的如此”至少混合了四个不同问题：

  1. 逻辑问题：成功是否演绎蕴含理论为真？答案是否定的。
  2. 证据问题：成功是否提高某些理论成分为真的概率？这要比较成功类型与替代解释。
  3. 指称问题：理论中的电子、基因、场、inflaton 或潜变量是否真的指向世界对象？不同对象需要不同证据。
  4. 理论更替问题：旧理论被替换时，究竟保留了实体、结构、数量关系、适用域，还是只保留预测结果？

完善后的主问题是：

若在观察新数据前锁定模型、责任成分、辅助假设与风险预测，随后得到未参与拟合的精确成功；该成功又跨团队、仪器与误差结构复现，支持可逆干预，并在与严肃替代的正面对决及理论更替中保留，那么对现象、参数、结构、实体、因果能力、机制与整套本体各自应增加多少置信？

本篇覆盖科学实在论、建构经验主义、悲观元归纳、结构/实体/选择性实在论、未构想替代与欠决定；案例覆盖原子、电子、反电子、中微子、Higgs、引力波、DNA、光以太、Casimir、暗物质/修改引力、暴胀、理论对偶、场重定义、AI 表征与自由能原理。它不裁决量子诠释或时空本体的全部细节，也不把哲学调查问卷当作真理投票。

1.2 调研任务单与完成状态

  • [x] 重读项目调研流程、模板、项目记忆，以及“有效理论 vs 本体论”“测量代理性”相邻报告。
  • [x] 回到 Putnam/Boyd、van Fraassen、Laudan、Worrall、Hacking、Psillos 与 Stanford 的原典或正式出版页。
  • [x] 区分实在论的形而上、语义、认识论三维，避免把建构经验主义写成“理论无意义”。
  • [x] 拆开样本内拟合、留出预测、新颖风险预测、跨方法收敛、干预成功和跨理论保留。
  • [x] 核对成熟实体案例的一手实验、定量值、独立性与不能推出什么。
  • [x] 核对历史成功但本体被放弃的反例，以及选择性实在论的后见之明风险。
  • [x] 将欠决定拆成检验整体论、拼凑对手、暂时退化、未构想替代、永久经验等价与表述等价。
  • [x] 核对暗物质/修改引力、暴胀、AdS/CFT、Casimir、场重定义、AI 表征与 FEP 等前沿案例。
  • [x] 建立“成功类型 × 证据向量 × 承诺对象”的分级裁决矩阵。
  • [x] 设计可在理论被替换前执行的责任成分预注册与替代模型压力测试。
  • [x] 形成 Markdown 单一事实源、双版 HTML，并更新索引、backlog 与项目记忆。

1.3 证据标记

  • [文献较稳]：原论文、原著、正式出版页或有明确方法与样本的研究；结论只落在其适用域。
  • [哲学重建]：按原典重建论证，不表示作者之间已有共识。
  • [理论整合]：多条来源共同支持的结构判断，不冒充单篇文献的直接结论。
  • [我们的断言]：本篇提出的证据门槛、分级矩阵与裁决。
  • [仍不确定]：候选空间、经验映射或本体解释尚未被数据区分。

全文优先链接原典、原论文、出版社、实验合作组与作者开放全文。综述只用于定位争点，不替代关键事实的一手来源。

二、先拆词：模型、成功、真实不是三个单义词

2.1 “模型”不一定是完整理论

模型可以是一组方程、一个理想化装置、统计预测器、数值模拟、机制图、有效理论或生成模型。它常故意忽略摩擦、异质性、有限尺寸和高能自由度；这种理想化不等于欺骗。Cartwright 的经典批评是，基本定律常直接适用于模型中的理想对象，而非未经整理的现实对象（Cartwright 1983）；“模型作为中介”的传统则强调模型相对理论和数据具有一定自治性（Morgan & Morrison 1999）。

所以“模型成功”不能先被偷换成“整套理论成功”，更不能偷换成“模型每个部件都对应世界家具”。

2.2 成功至少有七种

成功类型 它排除了什么 初步证据强度 仍未排除
样本内拟合 极差的数值描述 低 过拟合、参数柔性、事后选择
事后解释/压缩 事实彼此完全无关 低到中 多个同样简洁的故事
留出预测 只记住训练数据 中 分布内偶合、共享预处理泄漏
新颖且冒险的精确预测 纯事后容纳 中到高 共享辅助假设、未构想替代
跨仪器/方法收敛 单一仪器伪影、单一误差结构 高 共同校准与背景理论
选择性干预与反事实控制 纯相关、部分替代因果图 高且定向 干预非特异、机制多实现
跨理论更替保留 只属于一次表述的偶然成分 长期证据高 后见之明挑选“幸存者”

“新颖”也不是神秘标签。最相关的问题是：结果是否参与了模型构造、参数拟合、分析选择或停止规则；预测是否在看到结果前具体到足以失败；竞争模型是否也做出同一预测。

2.3 “真实”至少分七个对象

说“模型是真的”可能是在说：现象确有其事、某参数有稳定值、某关系成立、某实体存在、实体有某因果能力、某机制产生结果，或整套理论按字面描述世界。前六项可以分别成立而第七项失败。反电子存在而狄拉克海被放弃，Fresnel 系数保留而机械以太退出，正是这种分离。

三、争论双方到底承诺什么

3.1 科学实在论有三个维度

[哲学重建] 当代科学实在论通常含三项可分维度（可参见 SEP 的科学实在论综述）：

  • 形而上维：世界独立于我们的心智与理论而存在。
  • 语义维：成熟理论关于不可观察物的陈述按字面理解，具有真假条件，不只是计算口诀。
  • 认识论维：至少部分成熟、成功理论值得相信为近似真，其核心术语大体指称真实对象。

接受第一项不迫使接受第三项的强版本；相信电子存在也不迫使相信标准模型是终极理论。

3.2 建构经验主义不是“理论都没意义”

[哲学重建] van Fraassen 的建构经验主义认为，科学的目标是经验充分性；接受一个理论，在信念上只要求相信它正确描述可观察现象，同时还包含使用其语言、模型和研究纲领的实践承诺（The Scientific Image）。他后来明确澄清：

  • 理论语言仍按字面理解；
  • 对不可观察实体是暂停承诺，不是否认其存在；
  • 相信不可观察物可以理性，只是科学接受本身不强制这种信念；
  • 他并不靠“过去理论都错”或“所有理论永久欠决定”来建立立场（作者澄清前言）。

[我们的断言] 公平地说，建构经验主义给出的是接受科学理论所需的最低信念承诺；它不一定封住证据可能允许的最高承诺。

3.3 双方真正争的是“额外一步”

双方都能承认：实验有规律、理论可预测、仪器能工作、科学会进步。真正分歧是，跨越可观察现象之后，解释力、新颖成功、干预与理论更替是否足以给不可观察实体和机制增加信念；以及这种增加是科学理性所要求，还是可选的形而上加码。

四、无奇迹论证：成功为何像是关于世界的证据

4.1 Putnam/Boyd 的最强版本不是“成功所以真”

[哲学重建] Putnam 的著名短句是，实在论是“不把科学成功变成奇迹”的哲学（Putnam 1975 原文）。它应被写成溯因而非演绎：

  1. 成熟科学反复给出精确、冒险且非事后构造的成功。
  2. 若责任成分完全没有抓住世界中的实体、因果或结构，这种成功会缺少好解释。
  3. 因而近似真或真实指称，是成功的有力候选解释。

Boyd 把论证推进到方法论层：实验、仪器、自然种类划分和新理论搜索都依赖背景理论；若这些背景理论系统性脱离世界，高度理论负载的方法为何还能持续发现新规律就很难解释（Boyd 1980；Boyd 1989）。Boyd 同时明确，实在论不蕴含唯一真理论、唯一词汇或唯一特权科学。

4.2 用贝叶斯语言澄清，但别假装公式已经裁决哲学

若 R 表示“被锁定的责任成分近似抓住世界”，S 表示观察到指定成功，A 表示一个严肃替代，则关键不是 P(S|R) 很高，而是比较：

比较性证据

BF(R,A) = P(S|R) / P(S|A)

若 A 也预言 S，成功对 R 的比较优势接近零；若 R 事前给出窄而冒险的预测、A 给不出，S 才明显偏向 R。模型柔性、选择性报告、共享辅助假设和仪器校准会提高许多替代下出现 S 的概率，从而削弱证据。

[我们的断言] 这个公式不是给“科学实在论”分配客观先验，而是提醒三件事：证据总是比较性的；成功必须事前可失败；支持落在做出区分性预测的责任成分上。

4.3 反实在论的最强回应

van Fraassen 的选择解释说，理论处在激烈竞争中，失败者消失，只有成功者存活；看到教科书中的幸存理论成功并不奇怪。这个回应能解释幸存者偏差，却未完全解释某一理论为什么能预测构造时未使用的精确新现象。

更强的压力来自五处：

  1. 循环：用最佳解释推理证明“最佳解释通常通向真”。
  2. 历史反例：以太、热质等理论曾成功却丢失核心本体。
  3. 责任归属：整体成功不能告诉我们哪一成分负责。
  4. 未构想替代：当前最佳只是在已想到的候选中最佳。
  5. 等价表述：不同变量或本体叙事可能共享全部可观察成功。

所以无奇迹论证能推出的是增量证据，不是本体全买。

五、历史挑战：过去的成功理论为什么仍会错

5.1 Laudan 攻击的是成功—真理连接律

[哲学重建] Laudan 1981 并非简单说“过去错，所以现在也错”。他分别攻击四条连接：指称是否保证成功、成功是否保证指称、近似真是否独立可定义、后继理论是否总保留前驱实体与定律（A Confutation of Convergent Realism；正式 DOI）。

他的清单包括晶体天球、体液医学、燃素、热质、光以太、电磁以太和生命力等。尤其重要的是，Fresnel 光学不仅“有点好用”：Poisson 亮斑等新颖成功和后来的部分拖曳关系都相当精确，机械以太本体仍被放弃。

Laudan 真正击中的是：

历史尚未建立“理论整体成功可靠地指示理论整体近似真与全部术语指称”。

这不能推出当前理论大概率为假，也不能推出科学没有认识进步。它迫使实在论从整体承诺退到责任成分承诺。

5.2 选择性实在论的回应，以及它自己的后见之明命门

[哲学重建] Psillos 的“分而治之”策略把旧理论拆成参与新颖成功的工作成分与不承担预测工作的闲置成分；前者常在后继理论中保留，后者可被放弃（Psillos 1996；专著正式页）。

最强反击是 Stanford 的后见之明问题：若只有知道后继理论后，才把幸存部分叫“工作成分”、把被放弃部分追认为“闲置”，选择性实在论会成为不可输的重命名游戏（Stanford 2006 第 7 章；Lyons 2006）。

[我们的断言] 选择性实在论要有检验力，必须在新数据或理论更替前写下：

  • 哪个成分对风险预测不可缺；
  • 删除它会改变什么数值；
  • 哪种后继理论保留或推翻它；
  • 哪个结果会使“它负责成功”这一归属失败。

这叫责任成分预注册。没有它，“成功成分会幸存”很容易变成后见之明。

六、三条中间路线：结构、实体与选择性承诺

6.1 Worrall：结构实在论

[哲学重建] Worrall 用 Fresnel 到 Maxwell 的转变主张：机械以太图景消失，但方程中的关系结构被重新解释并保留；更普遍时，新理论在适当极限下恢复旧理论（Worrall 1989）。因此最值得相信的未必是旧理论说世界“由什么组成”，而是持续承担预测工作的结构。

它的限制也明确：

  • 抽象结构可能太廉价，缺少物理内容；
  • 关系通常需要承载关系的对象；
  • 后继理论为恢复旧成功而保留方程，不自动说明旧结构被“发现”；
  • 哪种结构算保留，也可能由后见之明挑选。

所以结构实在论许可的是：对跨表述、跨理论稳定且继续承重的关系提高置信，不是宣告世界“就是数学”。

6.2 Hacking：实体实在论

[哲学重建] Hacking 把重心从表征移到干预：若能利用电子的稳定因果性质制造另一效应，电子就不再只是拟合变量；其短句是“if you can spray them, then they are real”（Representing and Intervening）。

干预不是无理论的：仪器、对象识别和结果解释仍依赖背景知识；它也只支持被使用的因果性质，不支持完整本性。对早期宇宙等不可操纵对象，干预不是必要条件。

最稳版本是：独立、可重复、可选择地操纵一个因果承载者，强力许可相信该实体及被利用的局部因果能力；不替整套理论背书。

6.3 本篇的合流：证据向量，不做单一排行榜

结构实在论和实体实在论不是必须二选一。原子可同时获得跨方法常数收敛与干预证据；引力波主要靠跨探测、波形和源模型收敛，操纵证据较弱；场重定义则迫使承诺落在不变量而非变量上。

七、核心工具：成功类型 × 证据向量 × 承诺对象

7.1 七维证据向量

本篇用七个维度记录成功，不把它们加成一个看似精确的总分：

维度 核心问题 典型失败模式
N：新颖/风险性 预测是否在看结果前具体到足以失败？ 事后调参、模糊预言
H：外样本/迁移 是否在留出数据、新尺度、新环境继续成立？ 分布内记忆、范围外崩溃
C：跨方法收敛 不同仪器、团队、误差结构是否指向同一量？ 共同校准、共享管线
I：干预 能否制造、屏蔽、移除、剂量改变和恢复？ 非特异扰动、共同下游效应
A：替代区分 严肃对手是否给出不同预测并被击败？ 只比较弱基线、候选空间贫乏
V：不变量稳健 结论是否跨重参数化、规范、算符基底保持？ 把表述坐标实体化
T：跨理论保留 实体、关系或极限是否活过理论更替？ 事后挑选幸存成分

7.2 证据如何定向许可承诺

目标 最有关系的维度 最低合理表述 升格前还缺什么
现象 H、C “在指定条件下有稳定效应” 排除仪器/分析伪影
参数 N、H、C “该量在此域有稳定估计” 独立校准、域外检验
结构 N、V、T “这个关系/不变量抓住了稳定约束” 明确结构的物理内容
实体 C、I、T “某因果承载者存在并具这些能力” 排除等效载体与探测伪影
机制 N、H、I、A “该过程产生结果且有独特增量” 中介时序、替代机制正面对决
整套本体 全部且长期 “当前最可信世界图景” 等价表述、未构想替代与范围外风险仍在

[我们的断言] 许可不等于证明，增加置信不等于达到确定。 这套矩阵的价值，是阻止一个局部成功替其他层支付证据账。

八、成熟案例：什么时候实体与结构真的变硬

8.1 原子：五条路线被同一个常数锁住

[文献较稳] 爱因斯坦 1905 年从分子运动论推出布朗位移的定量规律，并明确说若规律未被观察，将构成反对该理论的有分量证据（1905 原文英译）。Perrin 随后改变颗粒尺寸约 1:70,000、黏度约 1:125，得到阿伏伽德罗数约 55–72 × 10^22；其五类乳胶方法分别给出 68、62、60、64、65 × 10^22，粗略平均 64 × 10^22（Perrin 诺奖演讲）。光散射、基本电荷和放射性计数等独立路线又落在相近范围。

承重处不是“一条轨迹拟合得好”，而是误差结构完全不同的方法被同一常数锁定。它强力支持物质离散微观单位、统计热运动及相关数量结构；不支持经典硬球、原子不可分或确定轨迹。实体与结构幸存，具体图像被量子理论改写。

8.2 电子：不只是被看见，而是被隔离、驱动与反复读取

[文献较稳] 2023 年单电子 Penning trap 实验在 5.3 T 磁场中悬浮、冷却、驱动并以量子非破坏方式读取单电子量子跃迁，得到 g/2 = 1.00115965218059(13)，相对不确定度 0.13 ppt（Fan et al. 2023）。

这为电子实体、稳定电荷/质量/自旋与电磁耦合提供极强许可，也支持 QED 的高阶关系结构。它不把电子变成经典小球，不选择某个量子诠释，也不使每张费曼图中的虚粒子获得独立本体身份。理论值还依赖独立测得的精细结构常数；若从同一 g 值反推该常数，就不能再把结果当完全独立检验。

8.3 反电子：实体留下，狄拉克海退出

[文献较稳] Dirac 1931 年明确提出与电子同质量、反电荷的反电子（原文）。Anderson 的云室轨迹显示一个正电轻粒子穿过 6 mm 铅板后能量约从 63 MeV 降至 23 MeV，轨迹长度排除同曲率质子；随后由不同团队确认（Anderson 诺奖演讲；1933 原论文）。

Anderson 并非按 Dirac 理论定向搜寻，所以历史不是纯粹的“一纸预言直接命中”。更有哲学价值的是：反电子和粒子—反粒子关系被保留，原始无限负能态的狄拉克海本体被 QFT 改写。成功可以锁定实体与对称关系，却不锁定最初的解释图景。

8.4 中微子：预测、延迟符合与破坏性干预串成一条链

[文献较稳] Pauli 为 β 衰变守恒账提出中性粒子（CERN 保存信件）。Cowan–Reines 用反应 ν̄_e + p → e+ + n 寻找“正电子湮灭即时脉冲 + 镉捕获中子延迟脉冲”；总运行 1371 小时，截面约 6.3 × 10^-44 cm²，与当时预测在约 5% 内相符（1956 原论文；DOI）。

关键不是单一计数峰，而是信号随反应堆功率、质子密度和镉浓度按预测变化；移除镉后目标信号消失，增加足以压低外来中子/γ 的屏蔽却不相应压低目标信号。后来 Super-K 的天顶角依赖亏损与 SNO 中性流又确认振荡并推翻无质量标准模型版本（Super-K；SNO）。

所以中微子实体、弱相互作用和振荡结构很硬；Pauli 的初始质量设想和旧标准模型并未随之封圣。

8.5 Higgs：多探测器、多通道与后续性质测量

[文献较稳] 2012 年 ATLAS 报告质量 126.0 ± 0.4(stat) ± 0.4(sys) GeV、显著性 5.9σ、本底涨落概率 1.7 × 10^-9（ATLAS）；CMS 在五类衰变模式组合中报告约 125 GeV、5.0σ（CMS）。十年后，约 30 倍 Higgs 产额使多种玻色/费米衰变、自旋宇称、质量与产生截面均在误差内与标准模型相容（CMS 十年画像）。

强处是产生方式、衰变通道、角分布和耦合模式的连续收敛，不只是一个 bump。降档也必须写清：标准模型并未预言 Higgs 质量；ATLAS 与 CMS 共享同一加速器和部分理论/校准体系；数据支持一个中性自旋零玻色子与 BEH 机制的有效结构，不证明最小标准模型是唯一紫外理论，也不证明 Higgs 必为基本而非复合。

8.6 引力波：从轨道衰减到完整时域波形

[文献较稳] Hulse–Taylor 双脉冲星先用轨道周期衰减验证辐射反作用；1993 年诺奖材料记载当时与 GR 约在 0.5% 内一致（正式说明）。GW150914 又在两个 LIGO 探测器同时出现：35–250 Hz、峰值应变约 10^-21、SNR 24、假警报率低于每 203,000 年一次，即 >5.1σ；波形匹配双黑洞 inspiral–merger–ringdown，约 3 个太阳质量的能量以引力波辐射（LIGO/Virgo 原论文）。

这强力支持引力辐射自由度、双致密天体与强场 GR 的波形结构。它不选择“块宇宙还是生成时空”，不直接观察黑洞内部或奇点，也不证明 GR 在量子尺度完备。

8.7 DNA：相关标记经转移、复制与定点改写成为因果对象

[文献较稳] Avery–MacLeod–McCarty 从肺炎链球菌提纯 DNA，使无荚膜菌获得可遗传的类型特异性状；约 0.003 μg 活性物质即可转化，新性状可长期传代，并可从转化细胞再次提取活性物（1944 原论文）。纯化 DNase 会彻底、不可逆地消除转化活性（1946 实验）。Meselson–Stahl 的同位素密度带排除保守复制等候选（1958 原论文），CRISPR-Cas9 又实现指定序列切割（Jinek et al. 2012）。

DNA 分子、序列差异的因果作用、半保留复制和可编程切割很硬；“一个基因一个性状”、脱离细胞环境的遗传决定论，远没有同样证据。

8.8 成熟案例的共同裁决

案例 最强证据向量 许可的承诺 被截断的越界
原子 N + C + T 离散微观单位、统计关系 经典硬球与不可分性
电子 C + I + V 实体与局部因果属性、QED 结构 虚粒子逐项实体化、量子诠释
反电子 N + C + T 实体与粒子—反粒子关系 狄拉克海本体
中微子 N + C + I + T 实体、弱相互作用、振荡 旧无质量标准模型
Higgs N + C + H 125 GeV 自旋零玻色子、BEH 有效结构 最小标准模型是终极本体
引力波 N + C + H 波形、源类与强场结构 完整时空形而上学
DNA C + I + A + T 分子实体、复制与局部机制 简单遗传决定论

九、历史反例：Fresnel 成功为何没有买下以太

[文献较稳] Fizeau 1851 年让水以 7.069 m/s 流过光路，反转水流后的双条纹位移为 0.46；完全不拖曳预测 0，完全拖曳预测 0.92，Fresnel 部分拖曳预测 0.40。数据明显支持 Fresnel 关系，而 Fizeau 本人仍区分“定律受支持”与“奇异以太假说需要其他证明”（原文英译）。1905 年相对论无需绝对静止介质就保留了同类运动介质光速效应（Einstein 原文英译）。

这个案例不证明“成功毫无信息”，而证明更细的一点：

一个理论可以准确抓住世界中的关系，却把成功错误归因于后来被删除的本体。

Fresnel 系数和预测关系保留，机械以太拖曳机制退出。也不能写成 Michelson–Morley 一次实验逻辑处死所有以太；某些 Lorentz 型以太表述可与相对论经验等价。更准确的是：以太失去独特预测和必要解释工作，因而没有额外证据支持其本体承诺。

这正是悲观归纳与选择性实在论的共同教训：历史失败不让所有证据归零，却要求按责任成分结账。

十、欠决定不是一个问题：六种情况、六种处理

10.1 检验整体论

实验检验的通常是“核心假说 + 辅助假设 + 仪器模型 + 统计处理”，异常结果不能仅凭逻辑锁定其中一项（Duhem 原文节选）。处理方法是更换辅助假设、独立校准、对照实验与多仪器三角测量，不是宣布任何理论都行。

10.2 有限数据的拼凑对手

任何有限数据都可容纳无限多事后曲线。它说明演绎唯一性不存在，却不使所有对手同等科学。预注册、简洁度、独立可检验后果、跨域迁移和背景相容性会大幅降低拼凑对手的地位。

10.3 当前观测退化

多个严肃模型在现有误差和尺度上近似同样好，但在新尺度、新信使或新干预下会分开。暗物质/修改引力与多种暴胀势属于这里。正确动作是设计判决实验，不是把“现在没分开”写成“原则上无法分开”。

10.4 未构想替代

[哲学重建] Stanford 用 Darwin 泛生论、Galton stirp 与 Weismann 生殖质等历史说明：过去研究者反复未能想到后来被接受、且对当时证据也严肃的替代，因此“现有候选中的最佳”只是一种条件胜利（Exceeding Our Grasp；Refusing the Devil’s Bargain）。

它不能推出现有理论为假，也不能推出所有领域风险相同。现代大协作、计算搜索和主动替代生成可能降低风险；局部实体/结构承诺也比整套理论更不易被全局替代击中。但在候选空间狭窄、研究传统单一时，置信必须降档。

10.5 永久经验等价

若两个真正不同理论对所有可能观察都相同，经验无法选择其额外本体。Quine 没把这种强版本当普遍定理，而把不可由重释消解的普遍经验等价视为开放问题（Quine 1975）。这里最合理的承诺落在共同不变量，剩余本体暂停裁决。

10.6 表述等价：有时根本不是两个世界

变量重命名、坐标/规范变换、场重定义或严格对偶可能只是同一理论的不同表述。此时追问“哪边更真实”类似追问经纬度和另一坐标系哪一个是地球真正坐标；证据对象应是不变量。

[我们的断言] 报告中的欠决定必须先归类：辅助假设问题用独立校准；暂时退化用新实验；未构想替代用候选空间审计；永久等价与表述等价则把承诺收缩到不变量。

十一、前沿案例：成功最容易在哪一步被本体化

11.1 暗物质 vs 修改引力：缺失账目很硬，微观身份仍软

[文献较稳] Bullet Cluster 的弱透镜质量峰与主要可见重子质量所在的 X 射线气体分离，作者报告总质量峰与重子峰偏移达 8σ（Clowe et al. 2006）。但星系尺度的 SPARC 数据中，153 个星系、2693 个旋转曲线点形成散布约 0.11 dex 的径向加速度关系（McGaugh et al. 2016）；ΛCDM 星系形成模拟也能复现该关系，故它不逻辑蕴含修改引力（Keller & Wadsley 2017）。LZ 的 4.2 tonne-year、280 日数据未见 WIMP 超背景（LZ），只排除特定参数区，不是“没有暗物质”。

裁决是：跨尺度数据强烈支持可见重子之外存在缺失的引力账目，并在星系团/宇宙学上偏向无碰撞隐藏成分；它没有唯一识别 WIMP、轴子或任何具体粒子。 现象、宏观因果角色与微观实体必须分账。

11.2 暴胀：模型族受约束，不等于 inflaton 已确认

[文献较稳] Planck 给出 n_s = 0.9649 ± 0.0042，排斥多类简单势，同时 R²、若干 α-attractor、D-brane 与指数尾势仍良好拟合（Planck 2018）；Planck PR4、BK18 与 BAO 联合给出 r < 0.032（95% CL），与零相容（Tristram et al. 2022）。

数据确实杀死模型，所以暴胀不是“什么都能解释”；但许多场内容、势和再加热历史映射到相同低维观测。现有成功对“某种暴胀式阶段”的支持显著高于对特定 inflaton 和势函数的支持。原初 B 模谱形、张量倾斜、特定非高斯、等曲率扰动、谱特征与再加热痕迹才是进一步裁决刀（LiteBIRD science case）。

11.3 AdS/CFT：强内部一致性，不是我们的宇宙额外维已证

[文献较稳] Maldacena 原文明确把特定 AdS 弦/M 理论与较低维 CFT 的关系称为 conjecture（1997 原文）。弱/强耦合两侧的超共形指数等非平凡匹配构成强内部证据（Kinney et al. 2005）；η/s 结果也启发现实强耦合流体，但现实 QCD 不是原始 N=4 CFT（Kovtun–Son–Starinets；应用边界）。

若严格对偶成立，bulk 与 boundary 共享全部可观测量，内部实验无法选择哪侧“更真实”。最稳承诺是对偶不变量与共同结构；这不证明我们的宇宙渐近 AdS、有额外维或黑洞流体是字面本体。

11.4 Casimir：力真实，不独占零点能叙事

[文献较稳] 不同金属间 Casimir 力在 0.2–0.5 μm 与计入有限电导和粗糙度的理论符合优于 1%（Decca et al.）。Jaffe 显示同一力可不诉诸零点能，而作为电荷与电流间的相对论量子作用计算；当精细结构常数趋零，力也消失（Jaffe 2005）。

这更像同一 QED 的不同分解，不是两套独立理论巧合命中。效应支持量子电磁相互作用和边界依赖力，不独立证明“虚粒子不断冒出”、绝对零点能可作燃料，或其引力效应必按朴素叙事发生。

11.5 场重定义：真正应相信的是不变量

[文献较稳] 场重定义可在 off-shell 二体作用和多体力之间搬移贡献，同时保持 S 矩阵与有限密度可观察量不变（Furnstahl et al.）；EFT 不同算符基底只有在保留全部诱导项时才等价，等价对象是 S 矩阵，不是逐项相同的 Lagrangian（Passarino 2016）。

所以单个场变量、off-shell 势或某项 Lagrangian 不因拟合成功获得独立本体地位。散射振幅、守恒量、对称性和跨重定义关系更适合作承诺对象。

11.6 前沿案例四分法

情况 例子 实验还能否裁决 合理承诺
精确表述等价 场重定义、网络置换 共同不变量上原则不能 只承诺不变量/等价类
条件成立时的理论对偶 T-duality、AdS/CFT 对偶内部不能；是否描述现实可检验 共同结构，暂缓侧特有本体
当前观测退化 暗物质/修改引力、多个暴胀势 能，新尺度/新信使可打破 现象与共享约束先行
同一效应的非唯一叙事 Casimir、FEP 的 as-if inference 需额外机制证据 效应真，不独占故事

十二、跨到 AI 与生命理论：输出成功为何不唯一识别内部世界

12.1 AI 表征的不可辨识

[文献较稳] 无监督解耦存在严格不可辨识结果：同一观测分布可对应无限多个潜变量双射，没有归纳偏置就无法从样本恢复唯一“真实因素”（Locatello et al. 2019）。许多判别模型也只可辨识到线性变换（Roeder et al. 2021），神经网络对称性还能生成参数不同但函数完全相同的网络（Vlačić & Bölcskei）。

因此高准确率、线性 probe 或单个“概念神经元”不足以证明模型内部存在唯一的人类式概念坐标。若一个表征子空间跨随机种子、架构和基变换对齐，又经预注册因果干预产生选择性行为改变，才适合对其功能关系或等价类作结构实在论承诺。

12.2 FEP：可以读成推断，不等于字面机制已证

[文献较稳] FEP 的旗舰推导会使用“可被解释为”推断等措辞，并承认原理接近恒真式；从随机动力学到信念语义包含额外解释步骤（Friston et al.）。Biehl 等证明不同 Markov blanket 定义并不等价，原自由能引理的一般版本需要附加条件，同时明确这不推翻预先假设自由能最小化代理的具体模型（Biehl et al.）。

所以一个主动推断模型赢得行为数据，只支持该具体过程模型及冻结参数化；它不反向证明所有生命都字面持有概率信念，也不证明普遍 FEP 是独占因果机制。

十三、怎样让“近似真”不再是一张免检标签

“近似真”若只表示“不是完全真但很好用”，不会解释任何东西。Laudan 的压力是，我们能估计理论相对于当前证据的距离，却不知道它相对于未知完整真相的距离。Popper 早期 verisimilitude 定义也遭遇形式反例（Tichý 1974；Niiniluoto 专著）。

一项可审计的“近似真”主张至少必须写出：

  1. 对象：近似的是哪个参数、关系、因果能力或机制，而不是“理论整体”。
  2. 域：在哪些能标、速度、样本、环境与干预范围内。
  3. 度量：用什么误差函数、容差和参照标准。
  4. 责任：为什么该成分产生观察到的成功，删除后预测如何变化。
  5. 保留：后继理论在何种极限、映射或指称下保留它。
  6. 失败条件：什么新结果会让这项近似归属被撤回。

牛顿力学在低速弱场数值近似，不自动意味着牛顿的绝对时空本体也“近似真实”。数值近似、结构保留与本体连续必须分别证明。

十四、把争论变成可执行协议

14.1 理论发布前：冻结责任成分

  1. 明确核心模型、辅助假设、仪器模型、先验、参数范围与停止规则。
  2. 列出每个关键预测由哪些成分产生，并做删除/替换消融。
  3. 给出至少一个严肃替代及其不同风险预测，避免只打弱基线。
  4. 声明若预测成功，将增加对现象、结构、实体还是机制的哪一层承诺。
  5. 声明哪种结果会使责任归属失败，而非只让参数重新拟合。

14.2 数据出来后：审计七个问题

  1. 结果是否真正未参与构模与分析选择？
  2. 成功是一个点，还是跨尺度、跨环境的函数形状？
  3. 独立团队是否使用不同仪器、校准和误差结构复现？
  4. 竞争模型是否获得相同数据、算力、调参预算与信息？
  5. 是否能制造、屏蔽、移除、剂量改变与恢复目标效应？
  6. 结论是否跨坐标、规范、场重定义和表征基底保持？
  7. 理论更替时，事前指定的责任成分是否保留？

14.3 三类结果对应三种措辞

结果 合理措辞 不应写
只拟合/预测现象 “模型在此域经验充分/有预测价值” “模型揭示了真实机制”
跨方法收敛且有干预 “实体/局部因果能力获得强支持” “关于该实体的整套理论为真”
严肃替代被风险实验区分，责任成分保留 “该结构或机制获得选择性实在论许可” “世界必然且完整地就是该模型”

14.4 发现精确等价时不要制造假战争

先检查候选是否由变量重命名、规范、场重定义、同构或严格对偶互换。若是，真正问题不是“谁真”，而是共同不变量是什么、外部应用域是否相同、近似截断是否破坏等价。只有不可由翻译消除且存在潜在区分观测时，才是实质竞争本体。

十五、对称双向红队

A. 防神化：七个不能写

  1. 不能从高拟合度写成模型真实。
  2. 不能从新颖预测写成全部理论成分近似真。
  3. 不能从实体被操纵写成该实体的完整本性已知。
  4. 不能从数学结构保留写成世界就是数学。
  5. 不能从当前最佳写成不存在未构想替代。
  6. 不能从模型族受支持写成某个微观载体已确认。
  7. 不能从同一效应的漂亮故事写成该故事获得独占本体地位。

B. 防虚无：七个也不能写

  1. 不能因理论可修正就说成功对真理毫无信息。
  2. 不能把历史反例写成所有当前理论大概率为假。
  3. 不能把理论加载写成观察完全由理论制造。
  4. 不能把有限数据可拼凑写成任何理论都一样好。
  5. 不能把未构想替代写成替代永远不可检验。
  6. 不能把不可操纵写成实体不真实。
  7. 不能因完整本体未定，就抹掉现象、参数、结构与局部因果知识。

C. 双方各自最强的一句话

实在论钢人：当一个事前锁定的理论跨方法命中低概率新结果，并让我们成功操纵不可观察因果承载者时，说它完全没有抓住世界，反而需要更昂贵的解释。

反实在论钢人：相同成功常由多个表述、替代机制或后来被放弃的本体共同分享；相信可观察成功并不逻辑或理性地强制购买当前理论的额外世界图景。

本篇裁决：两句可以同时成立。成功提供定向的比较证据；历史与等价性决定证据不能无差别扩散到整套本体。

十六、最终裁决与待解决问题

16.1 最终裁决

  1. 逻辑层：模型成功不蕴含世界与模型相同。任何有限成功都可能有替代、辅助假设或等价表述。
  2. 证据层：成功绝非零信息。越新颖、越精确、越外样本、越跨方法、越可干预、越能区分替代，它越提高责任成分抓住世界的置信。
  3. 对象层：现象、参数、结构、实体、因果能力、机制和整套本体必须分账。原子、中微子、电子、DNA 等已获得很强实体许可；它们的历史图像仍可被替换。
  4. 历史层：以太案例否定整体成功到整体真理的直通车，却支持某些关系和极限可跨理论保留。
  5. 前沿层：暗物质与暴胀显示模型族/宏观角色的成功远强于微观身份；Casimir 与场重定义显示效应和不变量比具象叙事更硬；AdS/CFT 显示严格对偶可能让侧特有本体失去经验优先权。
  6. 方法层：选择性实在论只有在责任成分事前锁定时才不是后见之明；欠决定只有分类后才知道该做新实验、审计候选空间，还是收缩到不变量。

最终母句：成功是一张分级许可证。预测许可关系，稳健许可结构，干预许可实体，排他实验许可局部机制；完整世界图景始终需要额外证据，并保留被新理论重写的权利。

16.2 仍待回答的问题

  • 如何在理论更替发生前，客观识别“真正负责成功”的成分？
  • 候选生成达到什么多样性，才足以把未构想替代风险降到可接受？
  • 对不可操纵的宇宙学实体，哪些跨信使与自然实验可替代人工干预？
  • 结构保留何时是世界约束，何时只是后继理论被要求恢复旧数据？
  • 精确对偶的两侧是同一理论、不同理论，还是不同但同样真实的表述？
  • AI 机制研究如何把跨基底不变量与因果干预结合，避免把 probe 成功实体化？
  • “近似真”能否对具体机制建立跨理论、非后见的误差度量？

十七、关键来源与可信度总账

哲学原典与立场

  1. Putnam (1975), What Is Mathematical Truth?。无奇迹论证经典表述。
  2. Boyd (1980), Scientific Realism and Naturalistic Epistemology；Boyd (1989), What Realism Implies and What it Does Not。理论依赖方法的可靠性版本及边界。
  3. van Fraassen (1980), The Scientific Image；作者澄清前言。建构经验主义与经验充分性。
  4. Laudan (1981), A Confutation of Convergent Realism。成功、指称、近似真与理论更替的历史压力。
  5. Worrall (1989), Structural Realism: The Best of Both Worlds?。结构保留路线。
  6. Hacking (1983), Representing and Intervening。实验与实体实在论。
  7. Psillos (1996), Scientific Realism and the Pessimistic Induction。分而治之的选择性实在论。
  8. Stanford (2006), Exceeding Our Grasp。未构想替代与选择性确认压力。
  9. Quine (1975), On Empirically Equivalent Systems of the World。永久经验等价的边界。
  10. SEP: Scientific Realism 与 SEP: Realism and Theory Change。术语与争论地图；不替代上述原典。

成熟科学与历史案例

  1. Einstein (1905), Brownian motion paper, English translation；Perrin (1926), Nobel Lecture。原子与阿伏伽德罗数的风险预测、跨方法收敛。
  2. Fan et al. (2023), Measurement of the Electron Magnetic Moment。单电子操纵与 QED 精度。
  3. Dirac (1931), Quantised Singularities；Anderson, Nobel Lecture。反电子预测、发现与本体更替。
  4. Cowan et al. (1956), Detection of the Free Neutrino；开放全文。延迟符合和干预链。
  5. ATLAS (2012), Higgs observation；CMS (2012), new boson observation；CMS (2022), ten-year portrait。多通道与性质收敛。
  6. LIGO/Virgo (2016), GW150914。引力波时域波形与强场结构。
  7. Avery et al. (1944), DNA transforming principle；Meselson & Stahl (1958), DNA replication；Jinek et al. (2012), CRISPR-Cas9。实体、复制与干预。
  8. Fizeau (1851), The Hypotheses Relating to the Luminous Aether；Einstein (1905), Special Relativity。关系成功与以太本体退出。

前沿欠决定与表述等价

  1. Clowe et al. (2006), Bullet Cluster；McGaugh et al. (2016), Radial Acceleration Relation；LZ (2024/2025), WIMP search。缺失引力账目与微观身份分离。
  2. Planck Collaboration (2018), Inflation constraints；Tristram et al. (2022), r constraint。暴胀模型族的支持与退化。
  3. Maldacena (1997), AdS/CFT conjecture；Kinney et al. (2005), superconformal index。理论对偶与共同结构。
  4. Decca et al., Casimir force precision；Jaffe (2005), Casimir effect and quantum vacuum。效应与零点能叙事分离。
  5. Furnstahl et al., Field redefinitions at finite density；Passarino (2016), EFT basis equivalence。不变量与表述依赖量。
  6. Locatello et al. (2019), Unsupervised disentanglement impossibility；Roeder et al. (2021), Linear identifiability。AI 表征不可辨识。
  7. Friston et al., FEP interpretation；Biehl et al., Technical critique。形式描述与字面机制分离。

可信度总账

  • 高：Perrin 多方法数值、Cowan–Reines 干预设计、Higgs/LIGO 合作组统计、DNA 转移与干预、Planck/LZ 等公开实验结果。
  • 中高：各哲学家的立场重建；已以原典或正式出版页交叉核对，但哲学论证本身不因忠实转述而成为共识。
  • 中：七维证据向量、分级许可证、责任成分预注册与对象映射；这是本篇基于文献与案例的理论整合，需在更多领域压力测试。
  • 低或未决：整套科学实在论是否为科学成功的唯一最佳解释；未构想替代在各现代学科的实际基率；对偶两侧与数学结构的最终本体地位。

知识截止与检索日期：2026-07-19。 “截至目前”只用于已联网核对的实验状态；任何新实验都应重新进入分级矩阵，不由本篇永久封案。

标签: