跳至正文

「跨域类比的成功 / 失败学」全库裁决的元分析

目录

母裁决（五层硬度光谱，硬→软）：层一·共结构定理真而硬——两域是同一数学结构的两个实例，定理真能搬，但同构不担保跨结构外推；层二·受限域数学同构硬——映射写得出，但只在受限的架构 / 参数域里成立，越出那个域就失效，这是类比升格的第一个滑点；层三·机制层共享的功能类比半硬、主菜支点——没有完整同构，但共享一条因果机制、且兑现得出新预测，这是好的科学类比的多数停泊区、是发现的主力车间；层四·表面相似的功能类比软——只在某些可测量上像，没有共享机制，把这层读成机制共享就是升格偷换；层五·隐喻口号软而双向、上红线——升格派把一座桥举成「大脑就是计算机 / 一切皆 X」的宏大统一口号，虚无派把「不过是个比喻」当成免检否决键、连真迁移也一并注销，两端都让那座桥替自己做了裁决。

这是「机制裁决」红队风第三十六篇、对称双向红队第三十一篇、GLM 方法论自指三连之三·收官（接 δ1 可证伪 姊妹、有效理论 vs 本体论 的 self-exemption、同名不同物 的共名越界），也是 Codex⑨ B1「方法论封顶」的核心预制件。

这一篇审的不是任何一座具体的桥，是一把判级尺的横向规律。 我们这条主线做过大量跨域类比裁决，每次都给一个档位——RG ↔ 深度网络、Ising ↔ Hopfield、SOC ↔ 神经雪崩、活性物质「湍流」↔ Navier-Stokes 湍流、压缩 ↔ 理解、贝叶斯统计 ↔ 贝叶斯脑、复杂性 ↔ 时空几何……但判级一直是逐案的手艺、从没问过横向的规律：什么特征让一座跨域的桥真的能走过去，什么特征让它塌？本篇第一次把全库的判级当成一个数据集，从分布里反推可预测的成功因子，用类比理论（Gentner / Hesse / Bartha / Norton）坐实，并审我们自己判级时的系统偏好。两个方向都审：既审「把表面相似当同构」的升格神化，也审「把真迁移当『不过是比喻』」的降格虚无。

〇 母裁决·五层硬度光谱

跨域类比不是「像不像」一句话、而是一条有刻度的轴：两个域之间搭起一座桥，这座桥到底担保了多少推理从源域迁移到目标域的许可？许可从满到零，分五层。[原创嫁接]（五层切法是把 GLM 课题雏形、收敛论篇 的四级尺、与 Gentner / Hesse 的成功因子透镜整合出的脚手架，不是单篇文献既有的标准量表，详见第〇节末作者声明。）

层 在说什么（成功因子透镜） 认识论地位 软在哪（承重点）
① 共结构定理·最硬 两域是同一数学结构的两个实例，有双向保结构映射 + 可搬运的定理：Kibble-Zurek 把宇宙弦与超流氦淬火锚在同一套同伦群拓扑上；湍流 4/5 律从 Navier-Stokes 精确导出 共结构迁移，定理真能搬 软在「定理搬运要被证、域的边界条件要核」——同构 ⇏ 跨出结构的外推 [文献较稳]
② 受限域数学同构·硬 有显式的保结构映射（函子），但只在受限架构 / 参数域成立：Ising ↔ Hopfield 的能量函数同构（限对称权重）；Mehta-Schwab 的「深度 ≈ RG」只在 RBM + Ising 上精确、对 Transformer 不成立 结构内迁移，越出受限域失效 软在「受限域常被偷偷扩成全域」——这是类比升格的第一个滑点 [有争议]
③ 机制层共享的功能类比·主菜支点 没有完整同构，但共享一条因果机制 + 兑现得出新预测：SOC ↔ 神经雪崩共享分支过程机制、做出共享的幂律预测；Maxwell 的力学模型→电磁场，从类比借力又导出新结果 带条件迁移，好类比的多数停泊区 软在「机制相似处迁移、关键处断裂」——映射在哪断必须标出来 [原创嫁接/有争议]
④ 表面相似的功能类比·软 仅在某些可测量上相似，没有共享机制、没有兑现的新预测，相似多半来自表面属性或共享名字：RG ↔ Transformer（残差流不是空间粗粒化）；压缩 ↔ 理解（共享「短描述」直觉、无机制）；贝叶斯脑（实测系统性偏离最优） 表面相似，迁移许可近零 软在「把表面相似读成机制共享 ＝ 升格偷换」 [我们的断言]
⑤ 隐喻口号·最软·双向 （升格向）借一座桥当宏大统一口号「大脑就是计算机 / 一切皆 X」；（虚无向）「不过是个比喻」当成免检否决键、错杀孕育中的好类比 隐喻口号（双向），上红线 软在两端都让「听起来像」替自己裁决——升格派把外推骑到隐喻上，虚无派把真迁移一并注销 [理论整合/我们的断言]

这张表怎么读：硬度不是叙事好听给的，是定理 / 受限同构 / 因果机制 + 预测兑现挣来的。从层一到层四，是同一根「成功因子接地强度」轴上的四个刻度——一座桥接地越深，推理迁移的许可越大；接地为零（只剩表面相似或借词）时，许可也为零。层五是这根轴塌成口号的两个反方向：一个把零许可吹成无限许可（升格），一个把满许可压成零许可（虚无）。特别地，把层三设成主菜支点——它不是「次品档」，而是科学发现的主力车间：下面命门四会看到，Maxwell、达尔文这些史上最成功的类比，多数恰恰停在层三（含因果、出新预测），不是层一同构。表已经预告了脊柱的轴一。

作者声明（诚实定界，置于最前）：本篇的四级类比尺（同构 / 数学同构 / 功能类比 / 隐喻）不是本篇首创——它的原产地是 收敛论篇（05-20），在 组合性圣杯篇（06-11） 被做成显式表格，全库已有约二十余篇用过。本篇做的是把这把尺当统计对象做全库横切，并把它细化成「迁移许可」的五层、配上成功因子透镜。这套五层、连同下文的「判级三问」，是作者整合脚手架（同熵篇五轴、因果篇成熟度阶梯、同名篇判级阶梯），不是哪一篇文献既有的量表。

一 承重墙·八柱

开审之前先砌墙。前两柱是去污染弹头，必须打头，否则这一篇极易被读成它最想反对的两种东西——「凡跨域类比皆假」（虚无）或「我们一直在乱判」（认罪表演）。

  1. 去污染弹头·射程声明 [我们的断言]：本篇审的是「跨域类比判级」这把尺的横向规律与双向误用，不重判任何一座具体的桥。RG 到底是不是深度学习、压缩算不算理解、复杂性等不等于体积——那些各自成篇或让位，本篇一律只称重、不重判。
  1. 去污染弹头·不连坐 / 非虚无（双向） [我们的断言/多源交叉]：审「成功因子」不等于「禁用类比」。指出一座桥是功能类比，不等于说跨域统一全是假的——它可能真同构、甚至导出过真结果。升格的错（把表面当同构）与虚无的错（把真迁移当比喻）是对称的两个错，本篇两个都防。审一把尺 ≠ 废一把尺。
  1. 三轴自体红队墙（承重·把去重变正面贡献） [文献较稳]：本篇不是孤立的元分析，它补上方法论自体红队的第三根轴。
轴 篇目 审什么 一击多杀的问法
来源侧 回声室篇（06-11） 多篇证据是不是同源复述 一条反证能不能同时打掉多篇
测量侧 测量代理篇（06-22） 代理量忠不忠实于目标量 代理读数是不是被随机机制复现
迁移侧 本篇 跨域类比的结构迁不迁移 这座桥有没有共享结构 / 机制 / 兑现的新预测

三轴正交：来源侧问「证据独立吗」、测量侧问「这把尺准吗」、迁移侧问「这座桥通吗」。三者合起来才是对方法论的完整自体红队。

  1. 让位墙 [文献较稳]：四级尺让位 收敛论篇（尺的发明）、单桥两段式判级让位 组合性圣杯篇（尺的自指首用）、代理量忠实度让位 测量代理篇；各具体类比让位各自原篇（湍流 / 熵 / 黑洞复杂性 / SOC……）。这些篇里的判级表都是本篇的 INSTANCES，本篇火力放在跨篇分布，不重判单篇。
  1. 类比理论墙（承重） [文献较稳]：跨域类比的成功 / 失败，不是玄学——认知科学（Gentner 结构映射）、科学哲学（Hesse 正负中性类比、Bartha articulation model、Norton 物质类比论）三个领域早给它命过名、建过判据。详见命门一与命门四。
  1. 成功因子墙（承重·主菜预制） [原创嫁接/有争议]：判级三问（有没有共享结构 / 有没有共享因果机制 / 有没有兑现的新预测）是一把可操作的判级工具——技术区分、非修辞。详见命门二。
  1. 跨域无担保墙 [我们的断言]：共享一个表面相似不担保共享一个推理许可。许可来自共享结构、共享机制、兑现的预测，不来自「听起来像」。
  1. 元综合症墙（承重·灵魂句预制） [理论整合]：我们判了五十多次类比，从没横向自检过判级标准本身——本篇给它第一次自检，且要防它从一把判级尺变成一把万能否决键，不自封终审。

二 脊柱·成功因子接地强度 G × 处置 V 十字

母裁决的五层硬度，本质是两根正交轴的投影。把它们拉成十字，就看清了跨域类比的合法停泊区和两个危险区。

轴一＝成功因子的实际接地 G：从「纯表面相似 / 借词（零接地）」滑到「共结构定理（满接地）」。这是对象级的事实——这座特定的桥，实际挣到了多少共享结构、共享机制、兑现的预测。它不该由谁的立场决定，该由证据决定。

轴二＝我们的处置 V：从「把类比当一个待查的假设·去查三问（a bridge to test）」滑到「把类比当一个已成的结论·免检搬运（the analogy is the proof）」。这是我们这条主线遇到一座跨域的桥时的动作。

四个象限：

  • 合法停泊区＝把类比当假设、去查三问，把裁决落在 G 实际所在的档位（对角线上的「做体力活」）。组合性篇 就停在这里：它没说「组合性桥当然是同构」，也没说「当然只是比喻」，它去查了——查出整桥停在功能类比、仅免疫库子映射够得着数学同构候选。
  • 升格危险区＝低 G（纯表面相似 / 受限域同构）却把名字当「同一」答案、当全域同构推，于是跨域偷换。这是神化类比、科普修辞的家。
  • 虚无危险区＝高 G（真同构 / 机制共享）却把它当「无关」答案，一句「不过是个比喻」注销，于是错杀孕育中的好类比。这是判级判上瘾时最该警惕的自家风险——下文命门三会查出，我们确实有一个把功能类比往下压的系统偏好。

核心五刀（每刀对应一道命门或一层）：

  • 共结构是定理挣来的 ≠ 公式眼熟给的（层一 / 命门二问一）；
  • 受限域同构 ≠ 全域同构（只在 RBM + Ising 成立 ≠ 对 Transformer 成立，层二 / 升格第一滑点）；
  • 机制类比 ≠ 表面类比（含因果关系 ≠ 仅属性相似，层三与层四之界 / 命门一 Gentner-Hesse）；
  • 表面相似当同构 ＝ 类比升格偷换（层四 / 命门一）；
  • 真机制类比当「不过是比喻」注销 ＝ 类比降格虚无（层五反向 / 命门四 / B 端）。

反讽锚：那座被争夺的桥，是一个待检的假设，不是一个已给的证明。升格派让它回答「同构」，虚无派让它回答「比喻」，两边都没去做名字替不了的那件事——查有没有共享结构、有没有共享机制、有没有兑现过新预测。

胎记·性质差异：有效理论篇 的胎记是自我豁免越界（规则对自身的越界、单向升格）；同名不同物篇 的胎记是共名越界（把共享的拼写读成共享的指称、唯一双向、是对象级胎记的语言学引擎）；本篇的胎记是类比升格越界（analogy over-promotion，把功能类比 / 隐喻读成同构，让推理骑着表面相似越过结构断裂处）——谱系第三条元级胎记。它有两个独特处：一是结构映射引擎——许多对象级胎记是它的特例（RG 尺度越界＝把受限域同构吹成全域、镜像神经元越界＝把功能类比读成机制必然、麦妖思想实验越界＝把假想反例读成物理定律），与共名越界的「语言学引擎」对仗成双引擎；二是全谱唯一一条自带正负双面——升格端是病（类比升格），而它的成功因子端是建构（什么让类比对），对称反面是「类比降格虚无」（把真的机制类比贬成「不过是比喻」）。与共名越界的精确划界：共名越界是词的指称漂移（同一拼写指不同物，引擎是 equivocation，靠「换个名字病消失吗」检验）；类比升格是结构映射是否迁移（即使没有共享名字也要问结构迁不迁移——Ising 的自旋与 Hopfield 的神经元不同名却同构，引擎是 structure-mapping，靠「结构断裂处在哪、定理能不能搬」检验）。共名越界是类比升格的充分不必要触发器——很多类比升格根本不靠共享名字。非首创：作为论证形式，它就是逻辑学的弱类比谬误、科哲早已研究的「类比论证的好坏」——本篇只把它提为我们对象级胎记群的结构映射引擎，并加上正负双面与自指自审，这一层是新的。

三 命门一·类比为何成功的机制法庭

第一刀回答「成功的病根在哪」——一刀即收，防综述化。一座跨域的桥能不能走过去，不是玄学，三个领域早给它命过名。

认知科学：Gentner 的结构映射理论。 据 Gentner 1983《Structure-Mapping: A Theoretical Framework for Analogy》Cognitive Science 7(2):155–170（本人 pdftotext 亲核全文），类比的核心机制是映射关系、而非属性——映射规则的第一条逐字就是「Discard attributes of objects」（丢掉客体的属性），保留的是客体之间的关系。而决定哪些关系被搬过去的，是systematicity 原则，原文 p.163 逐字：

“To reflect this tacit preference for coherence in analogy, I propose the systematicity principle: A predicate that belongs to a mappable system of mutually interconnecting relationships is more likely to be imported into the target than is an isolated predicate.“

通俗说：好类比搬运的是一整套互相连接的高阶关系系统，不是一条孤立的相似、更不是表面属性。[一手逐字] 经典跑例是「原子像太阳系」——电子对应行星这个客体层映射本身是任意的，它有意义只因为保留了「围绕旋转 / 相互吸引 / 谁更重」这套相互连接的关系（原文 p.163 列出 DISTANCE、ATTRACTIVE FORCE、REVOLVES AROUND、MORE MASSIVE THAN 这组可映射系统；而 HOTTER THAN 因为不进入这套系统、被弃）。后来 Gentner & Markman 1997《American Psychologist》52(1):45–56 把这道缝钉得最干净（本人亲核 p.52）：surface similarity（共享客体 / 特征）驱动的是「记忆里被检索出来」，而shared higher order relational structure（如共享因果结构）驱动的才是「推理的可靠性」。[一手逐字] 表面相似让你想起它，结构相似才让推理站得住——这正是层四与层一二之界。

科学哲学·成功的判据：Hesse 与 Bartha。 据 Hesse 1966《Models and Analogies in Science》(Notre Dame UP)，一个科学类比可拆成 positive analogy（已知两域共享的属性）、negative analogy（已知不共享的）、neutral analogy（尚不知是正是负的，是新预测的来源）——注意这套术语的更早源头是 Keynes 1921，Hesse 是把它系统化用于科学类比的人（SEP 逐字：「In an earlier discussion of analogy, Keynes (1921) introduced some terminology that is also helpful」）。[文献较稳] Hesse 的关键贡献是加了一道因果条件：好的科学类比，其域内（vertical）关系必须是因果关系，原文 1966:87 经 SEP「Analogy and Analogical Reasoning」（Paul Bartha） 直引——「causal relations ‘in some acceptable scientific sense’」。[一手逐字] 纯属性相似（「地球和月亮都是球形」）不支撑迁移；只有 positive analogy 里含因果，桥才承重。她还区分了 material analogy（可观察的、前理论的相似）与 formal analogy（两域是「interpretations of the same formal theory」, 1966:68）。

Bartha 2010《By Parallel Reasoning》(Oxford UP) 的 articulation model 给出两条件（SEP 逐字）：Prior Association——「There must be a clear connection, in the source domain, between the known similarities … and the further similarity that is projected to hold in the target domain」（源域里已知相似处与待投射处之间要有清楚连接，这个关系决定哪些特征是 critical）；Potential for Generalization——「there must be no critical disanalogy between the domains」（目标域里同类连接有可能成立、且无致命的 critical disanalogy）。[一手逐字]（SEP 用的是 critical disanalogy / critical features，非 critical factor；本篇沿用前者。）

命门一裁决：类比成功不是玄学，三领域命过名——病根是结构对齐的层级（共享高阶关系系统 vs 只共享表面属性 / 名字）。但要立刻记一笔伏笔：SEP 同时点明，Gentner 的 systematicity「may be interpreted normatively」、却「neither necessary nor sufficient for a more plausible analogical inference」——单靠系统性当规范判据不充分，缺的正是 Hesse / Bartha 的因果与可推广。这道「单一判据不够」的缝，正是主菜要把三问拼起来的理由，也埋下第九节现行犯刀的引线。

四 命门二·成功因子判级三问（★主菜★）

光说「小心类比升格」是没用的虚无；真正有用的，是一把判级的尺：遇到一座跨域的桥，怎么判它坐在五层的哪一档、到底 license 多少推理迁移？主菜把母裁决的五层翻成一个三问流程，与同名篇的「有没有还原 / 同构定理 / 字典」对仗。[原创嫁接] 关键在：三问各挂一个独立的学术锚——正因为单一判据不充分（命门一伏笔），三问才要叠起来用。

问一：有没有共享的数学 / 结构对应？（Gentner systematicity 检验） 拿得出双向的保结构映射（哪怕只在受限域），桥就落层一或层二。判据用结构映射理论坐实：好类比搬运的是高阶关系系统，不是表面属性、不是共享名字。能写出对象 / 关系 / 对应并验证 → 层一二；只有「都有层级、都能组合」这类口头相似 → 不过关，下沉问二。这一问把 surface similarity 陷阱挡在门外。 范本：Ising ↔ Hopfield 的能量函数同构 是真的（共享哈密顿量 / 配分函数），但它停层二——只在对称权重等受限条件下成立，把它扩成「大脑就是 Ising 模型」就越出了结构。

问二：有没有共享的因果机制？（Hesse positive / causal 检验） 没有完整同构，但两域共享一条因果关系（不是单纯的属性相似）→ 落层三。判据用 Hesse 1966:87 坐实：好科学类比要求域内关系是「causal relations in some acceptable scientific sense」，纯属性相似不支撑迁移。Bartha 的 prior association（先验关联必须是相关类型的关联，如因果 / 数学）补强同一判据。机制共享 = 层三的入场券。

问三：有没有兑现（或可兑现）的新预测？（Hesse neutral + Bartha generalization 检验） 这座桥的 neutral analogy（尚不知正负的中性区）有没有产出过新预测、且被独立兑现？兑现过 → 这是层三里最强的、接近层二的「活类比」（达尔文人工选择→自然选择、声↔光波都靠这条升级）；从未产出可检验的新预测、只能事后重述已知 → 下沉层四隐喻区。判据用 Hesse 的「neutral analogy give rise to questions and suggest new hypotheses」与 Bartha 的 potential for generalization。这一问是类比「活着还是死了」的体温计，也是本篇区别于测量代理篇的特有维度——代理篇问『这把尺准不准』，从不要求代理产出新预测。

三问全否 → 层四 / 层五。 无共享结构、无共享机制、无新预测，只剩「听起来像」或共享一个名字——迁移许可近零，当同构推就是类比升格偷换。范本：RG ↔ 深度网络——Mehta-Schwab 映射只在 RBM + Ising 成立，Transformer 不做空间粗粒化、残差流不是重整化流；三问里只过半个问一（受限域）、问二问三皆否，所以「Transformer 就是在做重整化」是骑着拼写越界。

这把尺为什么是主菜：它是这一篇里唯一给出可用工具、而不是只给警告的一刀；它防虚无（钉死了「共结构定理、机制共享是实打实的」这个 B 端）；它正面回答了悬在我们五十多篇头顶的那个问题——「什么时候一座跨域的桥当真、什么时候只是漂亮」。答案不是『都当真』也不是『都当比喻』，是『去查这三问，把裁决落在它实际挣到的成功因子那一档』。

主菜裁决：判级三问（结构 / 机制 / 新预测）把「跨域类比」从一句「漂亮不漂亮」变成一把有刻度的尺。一座桥 license 的迁移，等于它在这三问上挣到的成功因子——一分不多、一分不少。与测量代理篇的让位：问一（结构）、问二（机制）与代理篇的「忠实代理四特征」里『数学结构同构』『机制层共享』两条同源——本篇复用、不重做；代理篇特有的「无优化压力 / 可独立校准」属测量链是否被污染，本篇不接管。本篇真正的独占增量是问三·新预测这根轴，加上把全库判级分布当数据集的横切。界钉在纵向 vs 横向：代理是同一量纲内代理量对目标量的纵向忠实度，类比是两域之间结构的横向搬运——不是「同域 vs 跨域」（两篇都跨域）。

五 命门三·元法庭·全库类比裁决分布盘点（自指·承重）

这一刀是别的 AI 给不了的：它要读过我们自己的裁决分布。母命题档位（诚实降格版）能不能立，全看这次盘点的实证结果，不假设有罪。

盘点方法：grep 全库 md（85 篇），统计对跨域类比给过明确判级的篇目、判级所用的四档、以及判级时是否真去查了结构 / 机制 / 预测。[我们的断言/多源交叉]

盘点结果（本人 grep + 抽样精读坐实）：同时点名「同构 / 功能类比 / 隐喻」三档的有 17 篇，用「类比升格 / 升格」措辞的有 24 篇，含显式四级判级表的核心篇约 7–10 篇——这是高密度判级，不是偶尔判一次。抽样精读 7 篇（相变 / SOC / 标度律 / Kleiber / It-from-Bit / More is Different / 拓扑物质），每一篇都对至少一个具体类比给过明确判级、且判级理由真去查了结构 / 机制 / 预测里至少两件，没有一篇是「挥个词、叙事好听就贴级别」。粗略分布：靠共享结构判硬约四成、靠共享机制约三成五、靠兑现新预测约两成、纯叙事约半成。几个硬例：

  • 相变篇：Ising ↔ Hopfield 判数学同构，理由是写得出共享的哈密顿量 / 配分函数（真查结构）；Ising ↔ 大脑临界判功能类比，理由是大脑非平衡、有限尺寸（真查机制断点在哪）。
  • Kleiber 代谢标度篇：WBE 分形网络判机制软，命门是「供给网络该预测最大代谢率、却被拿去解释不受供给限制的基础代谢率」——库内最硬的「真查因果机制断在哪」。
  • SOC 篇：把问三用得最透——「幂律对 Bak-Sneppen 机制毫无诊断特异性」，即这座桥没兑现独有的可证伪预测。

所以母命题诚实降格、坐实如下：库内判级是「先查结构 / 机制 / 预测、再落级别」的系统性规程，级别随三项满足度单调下降，且同一把尺在物理 / AI / 生物多域自洽复现。这意味着「我们一直在乱判类比」这种认罪式表演站不住。但有三条真账，必须诚实写进去：

  1. 判级标准本身从没被横向自检过——判了五十多次的尺，第一次上庭是本篇。
  2. 这是「可诊断 / 可复现的判级规程」，不是「对类比会不会成功的前瞻预言」。 库内做的是事后判级（拿到类比后查三项），不是事前预测哪座桥将成功。母命题若说成「成功因子可预测」会被读成后者——降格为「成功因子可诊断」。
  3. 我们的系统偏好：保守降级闸门。 我们系统性地用「有没有显式的保结构映射」当升格闸门——够不着函子证明就降级到功能类比。组合性篇 把整条主线最雄心的桥判到功能类比，理由正是「没人证 F(g∘f)=F(g)∘F(f)」，且它自己在诚实缺口里承认这有「低估免疫库这个真能升格的子映射」的风险。这道闸门让层二、层三之间的判级稳健可复现，代价是对「机制真共享、但暂时写不出函子」的功能类比可能系统性压分。诚实的对称证据是：库内并非一味往下压——量子测量篇对超决定论判功能类比却记下「可升数学同构」的活口。所以画像不是「宁可错杀」，是「默认保守降级 + 给有定理 / 可证伪活口的桥留升格通道」。

命门三裁决：库存盘点显示库内大体守纪律（判级前真去查结构 / 机制 / 预测），故母命题取诚实降格版——「成功因子可诊断、库内判级可复现，但判级标准缺横向自检，且我们有一个把功能类比保守压分的系统偏好；本篇补这次自检」。一条额外的诚实：本篇找不到「我们自己判级只挥词」的内部反例，这本身可能是选择偏差（我们倾向给自己的判级配证据），不能据此自夸判级无瑕。

六 命门四·失败学反向法庭：Norton 刹车 + 失败 / 成功案例分类学

前三刀主要在「成功因子」一侧。这一刀转向失败学，也转向防虚无的 B 端：什么时候『这座桥成功因子不足』本身成了错的？ 当我们把一座真有机制、真出过预测的桥，一句「不过是比喻」注销了。

最重的刹车：Norton 的物质类比论——它直接质疑本篇的三问本身。 据 Norton 2003《A Material Theory of Induction》Philosophy of Science 70:647–670 与其开放获取专著 Norton 2021《The Material Theory of Induction》(U Calgary Press) 第四章「Analogy」（本人 pdftotext 亲核），归纳推理没有普适的形式判据——「all inductive inference is local」；类比也一样，每个好类比由领域特定的「fact of analogy」（类比的事实）背书，不存在分开好坏类比的普适形式 schema。原文逐字：「We no longer need to display some universal schema that separates the good from the bad analogical inferences. Rather an analogical inference is good just in so far as there is a warranting fact to authorize it.」[一手逐字] 更扎心的是，Norton 第四章直接点名批评 Hesse / Bartha 这套「两维 / 多阶」形式判据——「Their embellished schema are never quite embellished enough」，补丁越打越碎，「threatening an unending regress」。[一手逐字]（同一个 John D. Norton：匹兹堡 HPS、Norton’s dome、与 麦妖越界篇（06-28） 的 Norton 二难同人。）这正是 B 端最重的刹车，也喂养第九节的递归刀：本篇的三问，若被当成「分开好坏类比的普适 schema」，恰好是 Norton 警告的那种永远补不完的形式判据——三问必须永远让位于领域特定的事实，是启发式、不是判定算法。

失败案例分类学（标定下端，各挂一个升格机制） [多源交叉]：

  • 热力学 = 经济（physics envy）：据 D. Wade Hands 对 Mirowski 1989《More Heat than Light》(Cambridge UP) 的书评，新古典经济学「created their ‘revolution’ by simply substituting ‘utility’ for ‘energy’」——把 19 世纪能量物理的数学形式照搬进效用理论，却丢掉了让那套数学成立的物理约束（「physical systems have properties … not shared by economic systems」，如把「动能 + 势能 = 常数」照搬成「效用 + 收入 = 常数」、从未被正当化）。这是受限域同构吹成全域的教科书例。[有争议]（须并陈：Mirowski 的「physics envy」论点本身有反驳，如 Ekeland 认为该假说「does not fit that well to the facts」；本篇不把它当定论、只当升格机制的范例。）
  • 大脑 = 当代最高科技（隐喻更替史）：据 Epstein 2016《The Empty Brain》(Aeon)，每个时代都用当时最高的技术当大脑隐喻——液压 / 体液（「The hydraulic metaphor persisted for more than 1,600 years」）、发条机械（笛卡尔）、电报（Helmholtz）、计算机。全是层五：「听起来像」零迁移许可，技术一换、隐喻就换。[文献较稳]
  • 社会 = 有机体 / 社会达尔文主义：这是一个必须精确措辞、否则自己就在连坐的例子。据 SEP「Herbert Spencer」，Spencer「is typically, though quite wrongly, considered a coarse social Darwinist」——SEP 实为他平反：Spencer 本人给社会有机体类比设了限（不应「taken as the basis for sociological interpretations」），是后世（如 G. E. Moore 在《Principia Ethica》里）「concluded erroneously」地指他犯自然主义谬误。所以失败的不是 Spencer 本人照搬，而是后世把它读成 is→ought 的偷渡——这恰好是本篇「不连坐」原则的活样本：审一个类比的误用 ≠ 连坐提出者。[有争议]

成功案例对照（标定上端，关键洞见在此） [文献较稳]：

  • 达尔文：人工选择 → 自然选择。 《物种起源》第四章 逐字：「As man can produce … a great result by his methodical and unconscious means of selection, what may not natural selection effect?」据 SEP「Darwinism」，「’natural selection’ began life as the product of analogical reasoning」；而 SEP「Analogy」指出达尔文自陈这类比只为说明假说「in some very slight degree, in itself probable」、再靠 consilience 补强——它是一座层三的桥（含因果机制、出新预测），靠兑现一步步往上走，不是一开始就是层一同构。
  • Maxwell：力学模型 → 电磁场方程。 Maxwell 在《On Physical Lines of Force》(1861–62) 里亲自声明力学涡旋模型只是工具：「I do not bring it forward as a mode of connexion existing in nature」；到 1865 / 1873 他主动弃掉力学模型、只留方程（据 科学史综述）。这是「成功类比的生命周期」范本——从层三借力生成新结果，立住后拆掉脚手架，既不赖在隐喻上，也不假装一开始就是层一。

关键洞见：史上最成功的科学类比，多数停在层三（含因果 + 出新预测），不是层一同构。这反过来钉死命门三的系统偏好——低估层三，就是低估科学发现的主力车间。

命门四裁决：失败学的解药不是「禁用类比」，是消歧后去查三问 + Norton 的提醒：别让三问变成一把分开好坏类比的普适 schema（那会是永远补不完的形式判据，且会错杀靠领域特定事实成立、却不满足通用三问的好类比）。B 端钉死：审成功因子 ≠ 把成功因子变错杀键，真机制类比是真的，Maxwell 与达尔文的桥是真的走过去了。

七 灵魂句·共押那座没人去查的桥

类比升格派说：它们是同一个结构（RG 就是深度学习、大脑就是贝叶斯机、复杂性就是时空体积），所以跨域推理成立、宏大统一在望。类比虚无派说：那不过是个比喻、一文不值、纯属修辞。一个把表面的相似举成同构的铁证，一个把它贬成纯粹的文字游戏——两人却站在同一座桥上：都让那座桥替自己做了裁决。而那座桥，从来没人下场去查它在两个域之间到底迁不迁移、有没有共享结构、有没有共享机制、有没有兑现过新预测。被争夺的那座桥，是一个待检的假设，不是一个已给的证明。

这句和这条主线几座桥同押一个韵：奥卡姆 那篇是「没有语言中立的简单度」，有效理论 那篇是「一把反对工具升格的尺、自己被升格成它所禁止的本体论」，同名不同物 那篇是「两派都让共享的名字替自己裁决」。本篇是这三连的收官：两派都让那座桥替自己裁决，谁都没下场去查它迁不迁移。 而最锋利的反讽，是连这门「研究类比」的学问自己也告诉你——Norton 说，根本没有一把分开好坏类比的普适尺；每座桥能不能走过去，得到那座桥跟前、查那个域的具体事实，一座一座地查。

八 守真·人物装置·裁决姿态

守真（形式层不虚无）：共结构定理是真的（Kibble-Zurek 的拓扑、湍流 4/5 律从 Navier-Stokes 精确导出）；受限域数学同构是真的（Ising ↔ Hopfield 的能量函数同构）；含因果、出新预测的功能类比是科学发现的主力车间。审这把判级尺，不是说跨域统一全是假的——恰恰相反，正因为有些桥真的接地，才值得费力去把接地深的和接地浅的分开。

人物装置：以 Maxwell 为正面示范者，不连坐。 本篇不需要一个被告式的主角，它需要一个示范者——James Clerk Maxwell。挑他，是因为他演了一遍「成功类比的完整生命周期」：先用力学涡旋模型当类比的脚手架，生成位移电流、电磁波速 = 光速这些新结果（层三的借力）；又在方程立住后主动声明那模型不是自然中实存的连接、并弃掉它只留方程（不赖在隐喻上、也不假装一开始就是层一同构）。这正是本篇主菜要求的姿态：把类比当一座待检的桥去走，走通了取它导出的结果、拆掉脚手架，走不通就停在它实际接地的档位。同理，引用 Gentner / Hesse / Bartha / Norton，只取其对这把尺的贡献，不连坐其余——尤其 Spencer，本篇明确不连坐（命门四已述）。

裁决姿态（分级承认 ＋ 明示倾向）：

  1. 形式层（层一、层二）守真——共结构定理、受限域同构是真的，类比理论是真传统，三问有真内容；
  2. 功能类比层（层三、层四）判级——含因果、出新预测的层三是科学发现主车间，纯表面相似的层四 license 近零；
  3. 隐喻口号层（层五）上红线·双向——升格的宏大统一口号和虚无的免检否决键都脱靶。

明示倾向：「那座桥是一个待检的假设，不是一个已给的证明。遇到跨域类比，去查有没有共享结构、有没有共享因果机制、有没有兑现新预测，把裁决落在它实际挣到的成功因子那一档；既不靠表面相似偷渡推理（升格），也不靠『不过是比喻』注销真迁移（虚无）。」

九 自指三刀

词根换新（禁用有效理论的「自我豁免 / 升格」、同名不同物的「共名 / 查操作化」），本篇自指的词根是结构迁移 / 成功因子 / 升格还是降格。

刀一·现行犯（查本篇自己的借词）。 本篇借 Gentner 的结构映射来立判据——可结构映射本是认知科学里解释「人脑怎么做类比推理」的心理学理论；我们拿它裁的是科学哲学里「理论之间的类比迁不迁移」。那么：把认知科学的结构映射直接当成我们的跨域判据，本篇自己是不是正在做一次跨域类比？——是。当场用本篇三问自审：问一有没有共享结构？有部分（systematicity 既描述心理对齐、也可当规范判据，结构对应非平凡）；问二有没有共享机制？弱（心理过程 ≠ 规范有效性，机制不同）；问三新预测兑现？本篇正赌它能（用 systematicity 预测库内判级分布、命门三若兑现即层三活类比）。结论：本篇借 Gentner 坐在层三·功能类比，不是层一同构，必须带着「描述性↔规范性」的断裂标记用。 而且这道自审有一手证据兜底：SEP 明说 systematicity 单用当规范判据「neither necessary nor sufficient」——所以若把 Gentner 单独当总判据，正是本篇要反对的那种类比升格；本篇必须把问一挂 Gentner、问二问三挂 Hesse / Bartha，三问叠用、谁也不单独封顶。审判官在借证时被自己那把尺当场抓住——这与有效理论篇抓住自己征用 Cartwright、同名不同物篇抓住自己跨域用 jingle-jangle，是三连三连环的现行犯刀。

刀二·库存盘点（查证据·母命题基座·承重）。 已在命门三执行：五十多篇判级，抽样显示多数真去查了结构 / 机制 / 预测，故不假设有罪、取诚实降格版，并公开「保守降级闸门」这个系统偏好。这一刀是母命题成立的实证地基，前置承重。

刀三·递归（查结论地位·双向闸）。 若「去查三问、别让那座桥替你裁决」也只是一把有适用域的尺，那本篇结论自己的适用域在哪？会不会『成功因子三问』被当成一份免检清单，遇到不满足三问的桥一律打死、错杀某座孕育中的好桥？——重大科学类比在被坐实结构之前，往往先是「看起来像」的层四（达尔文的自然选择早期就被讥为隐喻）。本篇明示开放、不假装收敛：三问是启发式、不是判定算法；它的输出永远是「去查这三问」、而不是「这座桥当然是空类比」。援引 Norton 物质论——没有普适的形式判据，所以三问永远要让位于领域特定的事实。拒绝当一把新的双向否决键——这是 B 端的最后一闸，也是三连收官对「方法论封顶」的最终交代：连这把审类比的尺，自己也只是一座坐在层三的功能类比的桥，不自封终审。

十 对称双向红队 A / B / C / D

  • A 防升格（防类比神化）：A1 那座桥没人去查（反讽锚 / 灵魂句）｜A2 表面相似当机制共享 ＝ 跨域偷换（命门一 / 层四）｜A3 受限域同构 ≠ 全域同构、同构 ≠ 跨结构外推（层二 / 命门二）｜A4 借一座桥当宏大统一口号上红线（层五升格向）｜A5 Gentner 是认知科学术语、跨用是类比非同一（现行犯刀）。
  • B 防虚无（防类比降格·最关键·钉死「真机制类比是真的」）：B1 共结构定理 / 受限域同构是真的（Kibble-Zurek、4/5 律、Ising↔Hopfield）｜B2「不过是比喻」≠「毫无迁移」（含因果、出新预测的层三是科学发现主车间，Maxwell 与达尔文的桥真走过去了）｜B3 不自封终审（三问当新铁律、本篇立刻变否决键；递归刀拒当新万能键，援引 Norton）｜B4 对称锚：升格端 ＝ 把表面当同构、虚无端 ＝ 把真迁移当比喻，两端都越界，合法 ＝ 去查三问。
  • C 防判级打包：C1 共结构定理 ≠ 受限域同构（全域 vs 受限）｜C2 受限域同构 ≠ 机制类比（结构内通行 vs 因果共享）｜C3 机制类比 ≠ 表面类比（含因果 + 出新预测 vs 仅属性相似）｜C4 审判级尺 ≠ 废判级尺。
  • D 防反向膨胀：D1「类比被滥用」≠「跨域统一全是假的」｜D2「这座桥是功能类比」≠「这座桥没有任何真迁移」｜D3「类比升格真存在」≠「凡类比皆升格」｜D4「我们有保守降级偏好」≠「全主线判级都错」（库存盘点显大体守纪律＝B 端证据）。

〇 红线与留痕

红线（6 条）：（1）不开「该用哪个类比」的处方；（2）形式层守真不虚无（共结构定理 / 受限域同构是真的、类比理论真传统、三问有真内容）；（3）外推层判级·双向（借词当宏大口号升格 / 当免检否决键虚无）；（4）对称两不站（升格神化类比 ＋ 虚无降格类比都钉死，合法 ＝ 去查三问）；（5）不连坐 Gentner / Hesse / Bartha / Norton / Mirowski / Spencer，Gentner 借用须标「跨域是类比非同一」；（6）不抢收敛论四级尺 / 组合性单桥 / 代理篇 55 篇审计的活、不重判各具体类比。

留痕（关键纠错与诚实边界，逐条）：

  • 四级尺非本篇首创：同构 / 数学同构 / 功能类比 / 隐喻这把尺，原产地是 收敛论篇（05-20）、在 组合性篇（06-11） 做成显式表格、已有约二十余篇用过。本篇只是把它当统计对象做全库横切，不冒充判级法的发明者。[文献较稳]
  • 「deductive power」不在 Gentner 1983：本人 grep Gentner 1983 全文，「deductive power」「predictive power」零命中；原文只有「tacit preference for coherence」。常被引的「coherence and deductive power … structural expression」整句出自 Northwestern QRG 的 SME 介绍页（后期表述），不可挂到 Gentner 1983。[一手逐字]
  • positive / negative / neutral 类比术语源自 Keynes 1921、非 Hesse 首创：SEP 逐字「Keynes (1921) introduced some terminology」。Hesse 1966 是把它系统化用于科学类比、并加因果条件的人；行文作「Hesse 沿用并发展」、不作「首创」。[文献较稳]
  • Hesse 版本：1963 Sheed & Ward 初版、1966 Notre Dame UP 扩充版；页码（如 1966:68 formal、1966:87 causal）按 1966 版，且本篇只通过 SEP 直引、未打开原书扫描。Mary Brenda Hesse（1924–2016，剑桥科哲）≠ 小说家 Hermann Hesse。[需亲核]
  • Bartha 用词是 critical disanalogy / critical features，非 critical factor：SEP 原文如此；且 SEP 此条作者正是 Bartha 本人（自述自家 articulation model）。Paul F. A. Bartha（UBC 科哲）。[一手逐字]
  • Gentner 水流↔电路例的归属：原子↔太阳系是 Gentner 1983 期刊文的核心跑例（本人亲核 p.156 / p.163）；而完整的「水流 vs 人群双模型」实验出自 Gentner & Gentner 1983「Flowing Waters or Teeming Crowds」（收 Mental Models 一书，pp.99–129），不是 1983 期刊文，行文不混。[一手逐字]
  • systematicity 单用不充分：SEP 逐字「Greater systematicity is neither necessary nor sufficient for a more plausible analogical inference」——本篇据此把 Gentner 只当问一的锚、不当总判据（现行犯刀已自审）。[一手逐字]
  • Spencer 不连坐：SEP 实为 Spencer 平反（「quite wrongly considered a coarse social Darwinist」）；失败的是后世把社会有机体类比读成 is→ought 的偷渡，非 Spencer 本人照搬。本篇按此精确措辞，不连坐提出者。[有争议]
  • Mirowski 有反驳：「physics envy / utility 替 energy」论点出自 Mirowski 1989，经 D. Wade Hands 书评转述（Mirowski 原书未本人打开）；学界有反驳（Ekeland「does not fit that well to the facts」，原文被验证墙挡、未一手核），本篇并陈、不当定论。Philip Mirowski（1951– ，Notre Dame）。[竞品先发]
  • 母命题措辞降格：库内是「可诊断 / 可复现的判级规程」，不是「成功因子可前瞻预测」；且本篇找不到「我们自己判级只挥词」的内部反例，这可能是选择偏差，已诚实声明、不自夸判级无瑕。[我们的断言]
  • Norton 同人确认 + 术语：Norton 2003 material induction PDF、2021 专著第四章 Analogy 本人 pdftotext 亲核；他的术语是「fact of analogy / fact of an analogy」（非「material facts of analogy」）。John D. Norton（匹兹堡 HPS、Norton’s dome、麦妖 Norton 二难同人）≠ 合作者 John Earman。[一手逐字]
  • Epstein 来源：Aeon 原文 取证时返回 429，三段技术隐喻逐字经全文复刻站交叉核；von Neumann《The Computer and the Brain》(1958) 可作计算机隐喻代表性一手佐证。[需亲核]
  • 代理篇划界：本篇问一、问二与 测量代理篇 的「忠实代理四特征」里『数学结构同构 / 机制层共享』两条同源——本篇复用、不重做；独占增量是问三（新预测轴）+ 全库判级分布横切；界钉在「纵向测量忠实度 vs 横向结构搬运」、不用「同域 vs 跨域」。[我们的断言]

诚实边界小结：五层光谱、判级三问是 GLM 雏形 ＋ 作者整合脚手架、非文献既有量表（同熵五轴 / 因果阶梯 / 同名判级阶梯）；本篇只称重、不重判各具体类比；母命题诚实降格（库内大体守纪律、不假装有罪）；借 Gentner 跨域用是类比非同一（现行犯刀已自审）。

关键来源

A · 认知科学·结构映射（成功机制头号锚）

B · 科学哲学·类比论证的判据

  • SEP「Analogy and Analogical Reasoning」（Paul Bartha，2013 / 2019 修订）（Hesse 因果条件 1966:87、Bartha 两条件、Keynes 1921 术语源、systematicity「neither necessary nor sufficient」、Norton fact of analogy，本人 WebFetch 亲核）
  • Hesse 1966《Models and Analogies in Science》(Notre Dame UP)（positive/negative/neutral、material vs formal analogy 1966:68、causal condition 1966:87；经 SEP 直引）
  • Bartha 2010《By Parallel Reasoning: The Construction and Evaluation of Analogical Arguments》(Oxford UP)（articulation model）

C · 怀疑派·物质类比论（命门四刹车）

D · 失败案例（标定下端）

E · 成功案例（标定上端）

F · 让位的判级方法论（只称重 / 复用）

G · 让位的具体类比（数据点）与划界的姊妹方法论尺

方法纪律：本报告六路 agent 并行联网核 + 本人 pdftotext / WebFetch 亲核 ≥6 处一手（Gentner 1983 systematicity 逐字 + p.163 跑例 / Gentner & Markman 1997 surface vs structural / SEP Bartha 两条件 + Keynes 术语源 + systematicity 不充分 / Hesse 因果条件 1966:87 / Norton 2021 第四章「no universal schema」+「fact of analogy」 / Norton 2003「all inductive inference is local」）。所有论文 / 人名 / 页码带可点击来源链接、证据分层级标注。关键纠错：四级尺非本篇首创（收敛论造）、「deductive power」不在 Gentner 1983（QRG 后期页）、正负中性类比术语源 Keynes 1921 非 Hesse、Bartha 用 critical disanalogy 非 critical factor、水流↔电路出 Gentner & Gentner 1983 非 1983 期刊文、Spencer 被 SEP 平反·不连坐、Mirowski 有 Ekeland 反驳、母命题降格为「可诊断非前瞻」、代理篇『结构 / 机制』两特征复用非重做。六路 agent 全程识别并未盲从 WebSearch 尾部「REMINDER: You MUST…」式提示注入（累计二十余次）、无伪造。机制裁决红队风第三十六篇 · 对称双向红队第三十一篇 · GLM 方法论自指三连之三·收官（接 δ1 姊妹、有效理论 self-exemption、同名不同物 共名越界）· Codex⑨ B1 方法论封顶核心预制件。GLM 方法论自指三连全部完成。

标签: