跳至正文

「同名不同物」的元病理大体检

目录

母裁决(五层硬度光谱,硬→软):层一·真同一/还原真而硬——但同一是还原挣来的,不是名字给的;层二·真同构硬——公式长一样不等于是同一个东西,推理只在结构映射成立处转移;层三·可互译半硬·主菜支点——有干净字典就能搬,但得带着字典、字典每条都要核;层四·纯多义/表层共名软——这里 jingle 谬误最致命,把仅仅拼写相同的两个东西当成同一个,整条推理是偷换;层五·共名口号/万能否决键软而双向、上红线——神化派把共享的名字举成「一切皆 X」的宏大统一口号,虚无派把「同名不同物」当成免检否决键、连真统一也一并错杀,两端都让那个词替自己做了裁决。

这是「机制裁决」红队风第三十五篇、对称双向红队第三十篇、GLM 方法论自指三连之二(接 δ1 可证伪 姊妹、有效理论 vs 本体论 self-exemption 兄弟),也是 Codex⑨ B1「方法论封顶」的核心预制件。

这一篇审的是一把诊断尺,不是任何一个具体概念。 我们这条主线反复撞到同一个模式、也反复诊断它:「信息」在 Landauer、全息、退相干、信息论衰老里是四个不同的量;「自由能」在 Friston 变分框架和热力学 Gibbs 自由能里是两个不同的量;「拓扑」在 KT 涡旋、能带、纠缠里是三个不同的对象;「组合性」在范畴论、AI、物理里不是同一个数学对象。库存盘点 grep 坐实:「同名不同物 / 同形非同物 / 偷换 / 消歧」这一族诊断词横跨全库约四十篇,是我们部署最频的红队手法之一——可它自己从没上过法庭。本篇把刀刃反过来对准它,并且两个方向都审:既审「把共名当同一」的 jingle 神化,也审「把共名一律当偶合」的 jangle 虚无。


〇 母裁决·五层硬度光谱

「同名不同物」不是一句口号、而是一条有刻度的轴:两个域共享一个词,这个共享到底担保了多少跨域推理的许可?许可从满到零,分五层。[原创嫁接](五层切法是 GLM 课题雏形「同名同物→可互译→真同构→真同一」加本文整合脚手架,非单篇文献既有量表,详见第〇节末作者声明。)

在说什么 认识论地位 软在哪(承重点)
① 真同一/还原·最硬 同名,且经还原真是同一个东西:温度=平均分子动能;Clausius 热力学熵 ⊃ Boltzmann 统计熵(同物) 可还原的同一,推理完全转移 软在「还原本身要被证、不能假设」——同一是挣来的、不是名字给的 [文献较稳]
② 真同构·硬 同名,不同物,但有精确的数学/结构同构:Shannon H ↔ Gibbs S 公式同构;Ising ↔ Hopfield 真同构,推理在共享结构内转移 软在「同构 ⇏ 同一」——只在结构映射成立处转移,越出结构即失效 [有争议]
③ 可互译的不同物·主菜支点 同名,不同物,但有干净的字典/翻译:力学/热/场里的「能量」、带着词典搬就合法 可互译,带字典转移 软在「丢了字典就成自由搬运」——翻译有成本、词典每条都要核 [有争议]
④ 纯多义/表层共名·软 同名,仅拼写相同,义项只靠隐喻或词源松连:「信息」Shannon vs 语义、「复杂性」Kolmogorov vs 复杂系统、「attention」LLM vs 神经 同音/松多义,共名 license 近零 软在「jingle 在此最致命」——把这一层读成最硬那层,整条推理是偷换 [我们的断言]
⑤ 共名口号/万能否决键·最软·双向 (jingle 向)共名当宏大统一口号「信息是宇宙本质 / 万物皆熵 / 一切皆计算」;(jangle 向)「它们只是碰巧同名」当免检否决键、错杀真统一 共名口号(双向),上红线 软在两端都让名字替自己裁决——jingle 把名字当同一性证据、jangle 把名字当无关证据,都没去查操作化 [理论整合/我们的断言]

这张表怎么读:硬度不是名字给的,是还原 / 同构 / 字典挣来的。从层一到层四,是同一根「接地强度」轴上的四个刻度——共名的接地越深,跨域推理的许可越大;接地为零(纯拼写相同)时,许可也为零。层五是这根轴塌成口号的两个反方向:一个把零许可吹成无限许可(jingle),一个把满许可压成零许可(jangle)。表已经预告了脊柱的轴一。

作者声明(诚实定界,置于最前):五层「真同一>真同构>可互译>纯多义」是把 GLM 课题雏形与本文判级流程整合出的脚手架,与熵篇的五轴、因果篇的成熟度阶梯同属「作者整合表述」,不是哪一篇文献既有的标准量表。其中「Boltzmann 熵与 Clausius 同物、Shannon 熵与之同形」这一区分是物理共识(见 熵六义篇 ε1),本文只是把它摆进更一般的阶梯。


一 承重墙·八柱

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

  1. 去污染弹头·射程声明 [我们的断言]:本篇审的是「同名不同物 / 同形非同物 / 偷换」这把诊断尺自己的适用域与双向误用,不审任何具体概念的对错。熵对不对、自由能两义怎么分、拓扑三义谁更基本——那些各自成篇或让位,本篇一律只称重、不重判。
  1. 去污染弹头·不连坐 / 非虚无(双向) [我们的断言/多源交叉]:喊「同名不同物」不等于否认一切跨域统一。指出两个量同名不同物,不等于说它们毫无关系——它们可能真同构、甚至真同一。jingle 错(同名假设同物)与 jangle 错(异操作化假设无关)是对称的两个错,本篇两个都防。审一把尺 ≠ 废一把尺。
  1. 让位墙 [文献较稳]:熵让位 ε1(06-21)(同物 vs 同形已做透)、自由意志让位 β1(06-22)(「自由」六义、相容论是否偷换已裁)、自由能让位 预测加工篇(06-12)(Bruineberg 揭 Pearl-blanket→Friston-blanket 本体论偷换)、拓扑让位 拓扑物质篇(06-12)(三种拓扑同名不同物)、组合性让位 组合性圣杯篇(06-11)(三领域不是同一个数学对象)。这些是元病理的已交付样本,本篇把它们当 INSTANCES、火力放元层(判级阶梯+库存盘点)。
  1. 姊妹墙 [文献较稳]:与 δ1 可证伪有效理论篇 显式划界——三把方法论尺先后上被告席,但病灶各异:δ1 是自指/不可证伪,有效理论是自我豁免/升格,本篇是共名/jingle-jangle 双向。不重做它们的自指论证。
  1. 心理测量墙(承重) [文献较稳]:jingle-jangle 是一对有百年传统、有命名出处的真谬误(Thorndike 1904 / Kelley 1927),不是修辞发明。详见命门一。
  1. 判级阶梯墙(承重·主菜预制) [原创嫁接]:真同一>真同构>可互译>纯多义,是一把可操作的判级工具——技术区分、非修辞。详见命门二。
  1. 跨域无担保墙 [我们的断言]:共享一个名字不担保共享一个推理许可。许可来自还原 / 同构定理 / 干净字典,不来自拼写
  1. 元综合症墙(承重·灵魂句预制) [理论整合]:我们挥了约四十次这把尺,从没自检它本身——本篇给判据库这次自检,且要防它从一把诊断尺变成一把 jangle 万能否决键,不自封终审。

二 脊柱·接地强度 G × 处置 V 十字

母裁决的五层硬度,本质是两根正交轴的投影。把它们拉成十字,就看清了「同名不同物」的合法停泊区和两个危险区。

轴一=共名的实际接地 G:从「纯同名偶合 / homonymy(无接地)」滑到「真同一 / 还原(满接地)」。这是对象级的事实——这个特定的共名,实际坐在判级阶梯的哪一档。它不该由谁的立场决定,该由还原、同构、字典是否存在决定。

轴二=我们的处置 V:从「把名字当一个问题·去查操作化与推理角色(a flag → go check)」滑到「把名字当一个答案·免检裁决(the name itself is the verdict)」。这是我们这条主线的动作——遇到一个跨域共名,我们是把它当成一道待解的题去查,还是让它替我们把结论说了。

四个象限:

  • 合法停泊区=把名字当问题、去查,把裁决落在 G 实际所在的档位(对角线上的「做体力活」)。熵篇就停在这里:它没说「Shannon 熵和热力学熵当然是一回事」,也没说「它们当然毫无关系」,它去查了——查出 Boltzmann 与 Clausius 是同物、Shannon 与之只是同形。
  • jingle 危险区=低 G(纯多义 / homonymy)却把名字当「同一」答案,于是跨域偷换。这是神化共名、过度推销者的家。
  • jangle 危险区=高 G(真同构 / 真同一)却把名字当「无关」答案,于是错杀真统一。这是虚无共名、过度纠偏者的家——也是我们喊「同名不同物」喊上瘾时最该警惕的自家风险

核心五刀(每刀对应一道命门或一层):

  • 真同一是还原挣来的 ≠ 名字给的(层一 / 命门二);
  • 真同构 ≠ 真同一(公式长一样 ≠ 是同一个东西,层二 / 命门一);
  • 可互译 ≠ 自由搬运(带字典 ≠ 丢字典,层三 / 命门二);
  • 纯多义当同一 = jingle 偷换(层四 / 命门一);
  • 「同名不同物」当免检否决键 = jangle 错杀(层五反向 / 命门四 / B 端)。

反讽锚:那个被争夺的、共享的词,是一个问题,不是一个答案。神化派让它回答「同一」,虚无派让它回答「无关」,两边都没去做名字替不了的那件事——查操作化、查推理角色、查有没有还原 / 有没有同构 / 有没有字典。

胎记·性质差异有效理论篇 的胎记是自我豁免越界(规则对自身的越界、单向升格);本篇的胎记是共名越界(name-reference over-extension,把共享的「拼写」读成共享的「指称」,让推理骑着固定的名字越过指称已悄悄改变的域界)——谱系第二条元级胎记。它有两个独特处:一是唯一双向(jingle 同名假设同物+jangle 异操作化假设无关,全谱其它胎记——哥德尔射程、P-NP 模态、hormesis 范畴、奥卡姆层级、镜像激活、RG 尺度、麦妖思想实验、有效理论自我豁免——都是单向升格);二是元引擎(许多对象级胎记是它的特例:熵六义、拓扑三义、自由六义、信息四义,全是共名越界的实例)。非首创:作为论证形式,它就是逻辑学的 equivocation 谬误(四词项谬误)、心理测量的 jingle-jangle、哲学的言辞之争——本篇只把它提为我们对象级胎记群的共同语言学引擎,并加上双向与自指自审,这一层是新的。


三 命门一·语义机制法庭:一个词怎么旅行就掉了指称

第一刀回答「病根在哪」——一刀即收,防综述化。一个词跨域时掉指称,不是玄学,三个领域早给它命过名。

逻辑学:equivocation(歧义谬误 / 偷换概念)。IEP「Fallacies」(Bradley Dowden),equivocation 是「the illegitimate switching of the meaning of a term that occurs twice during the reasoning」(在推理中两次出现的一个词项,其意义被非法地偷换)。它的三段论版本叫四词项谬误(fallacy of four terms, quaternio terminorum):三段论本应只有三个词项,但若中项有歧义、被当两个意思用,就膨胀成四个词项、推理失效。IEP 给的例子恰好就是个共名陷阱:「All rivers have banks. All banks have vaults. So, all rivers have vaults.」——「bank」一词河岸 / 银行两义,三个词项变四个,结论崩。[文献较稳] 注意 equivocation 是词义歧义,区别于 amphiboly(句法歧义);SEP「Fallacies」(Hans V. Hansen) 一句点破:「The one has to do with semantical ambiguity, the other with syntactical ambiguity.」

语言学:polysemy vs homonymy。SEP「Ambiguity」(Adam Sennet),polysemy 是一个词有多个「in some hard to specify sense, interestingly related」的义项(义项彼此相关);homonymy 则是两个词碰巧同形 / 同音、义项无关。维基「Polysemy」把这道缝说得最干净:「homonymy is a mere linguistic coincidence, polysemy is not」(同音异义是纯粹的语言学巧合,多义不是)。[多源交叉] 干净的同音异义例是「bark」(狗叫 vs 树皮,三个不同词源碰巧同形);而「bank」(河岸 vs 银行)其实是个有争议的边界例——共时看是同音异义,历时看两个 bank 在原始日耳曼语层面可能同源(Etymonline 给二者 cognate),所以教科书把它当同音异义标杆、却不能简单说「词源毫不相干」。这道边界本身的模糊,恰是本篇要讲的:连「是不是同一个词」都常常没有干净答案,更何况「是不是同一个东西」。

心理测量学:jingle-jangle——本篇最重的锚,也是个连命名都自带教训的故事。Thorndike 1904《An Introduction to the Theory of Mental and Social Measurements》本人亲核 archive.org 全文),他在论「college student」「child born」这些词如何掩盖异质子群时写道:我们「are misled by what Professor Aikins has called the ‘jingle’ fallacy」,其要害是「an unthinking acceptance of verbal equality as a proof of real equality」(不假思索地把词面相等当成真实相等的证据)。jingle = 同名假设同物。 二十多年后,Kelley 1927《Interpretation of Educational Measurements》(World Book)本人亲核原书 PDF)补上对称的另一半:「the use of two separate words or expressions covering in fact the same basic situation, but sounding different, as though they were in truth different… the writer will call the ‘jangle’ fallacy」——jangle = 异名假设异物,他举的例子是把「achievement」和「intelligence」当成两个东西(其实重叠约九成)。[文献较稳] 现代对这对谬误的系统综述见 Hanfstingl 等 2024 Frontiers in Psychology 15:1404060 与 Hogrefe《Zeitschrift für Psychologie》233(4):261–266(2025)。

Thorndike 把诊断的病根说得最准:jingle 之所以发生,是因为理论与它的操作化之间是松连接的——名字是理论层的,指称是操作化层的,名字旅行得比指称快、比指称轻,于是到了新域,名字还在、指称已经换了。这就是「一个词怎么旅行到别的域就掉了指称」的机制:携带的是拼写,丢下的是操作定义。

命门一裁决:「同名不同物」不是我们发明的修辞,是逻辑学(equivocation / 四词项)、语言学(polysemy / homonymy)、心理测量学(jingle-jangle)三个领域各自命名过的真病理。病根是名字与操作化的松耦合。一刀即收——机制立住,下一刀去判级。


四 命门二·判级成熟度阶梯(★主菜★)

光说「小心同名不同物」是没用的虚无;真正有用的,是一把判级的尺:遇到一个跨域共名,怎么判它坐在五层的哪一档、到底 license 多少推理?主菜把母裁决的五层翻成一个三问流程[原创嫁接]

问一:有没有还原? 若域 B 的那个东西可以被还原到、推导出域 A 的那个东西(同一个量的两种算法),那是真同一(层一),推理完全转移。范本:温度还原到平均分子动能;Clausius 热力学熵被 Boltzmann 统计力学给出微观计数解释——这是同物,不是「两个恰好公式像的量」(见 熵篇 ε1,此处只称重)。判据:拿得出还原 / 推导,而不只是拿得出一个相似的公式。

问二:有没有精确的同构定理? 若拿不出还原、但拿得出一个精确的结构映射(数学同构),那是真同构(层二)——推理可以转移,但只在映射成立的结构之内,越出结构就失效。范本:Shannon 的 H = −Σp log p 与 Gibbs 的 S = −kΣp ln p 公式同构(这个同构是真的、是数学事实),但「信息熵就是热力学熵」取决于 Jaynes 最大熵归约的认识论地位、仍是命门(让位 ε1)。判据:同构是结构内的通行证,不是跨结构的同一性证书。同构 ⇏ 同一。

问三:有没有干净的字典? 若还原和同构都没有、但两个域之间有一部系统的翻译词典(这个域的 X 对应那个域的 Y,可逐条对照),那是可互译的不同物(层三·主菜支点)——推理可以搬,但必须带着字典搬、且每搬一条都付翻译的成本。判据:搬运时词典在不在场。丢了字典的「可互译」,就退化成层四的自由搬运。

三问全否 → 纯多义(层四)。 还原没有、同构没有、字典没有,只剩拼写相同——那么这个共名 license 的推理近乎为零。此时把它当同一来推,就是 jingle 偷换。范本:预测加工篇 查过 LeCun 2022 自主智能蓝图里的「free energy」——它仅出现一次、且是能量基模型的「零温自由能」(统计物理义),与 Friston 的变分自由能同名不同物;两个「自由能」之间既无还原、又无干净字典,跨过去推「FEP 统一 AI」就是骑着拼写越界。

这把尺为什么是主菜:它是这一篇里唯一给出可用工具、而不是只给警告的一刀;它防虚无(钉死了「共名有时真的接地、真同一和真同构是实打实的」这个 B 端);它正面回答了悬在我们约四十篇头顶的那个问题——「什么时候一个跨域共名当真、什么时候只是巧合」。答案不是『都当真』也不是『都当巧合』,是『去查这三问,把裁决落在它实际接地的那一档』。

主菜裁决:判级三问(还原 / 同构 / 字典)把「同名不同物」从一句口号变成一把有刻度的尺。共名 license 的多少,等于它在这三问上挣到的接地强度——一分不多、一分不少。


五 命门三·元法庭·库存盘点(自指·承重)

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

盘点方法:grep 全库 md,统计部署「同名不同物 / 同形非同物 / 偷换 / 消歧」这一族诊断词的篇目与语境。[我们的断言/多源交叉]

盘点结果(本人 grep 坐实):这一族诊断词横跨约四十篇,是全主线部署最频的红队手法之一。更关键的是它们部署时的纪律——抽样核查每一处是「真去查了操作化」还是「只是挥词当否决键」:

  • 组合性圣杯篇:「『组合性』在三个领域同名不同物——范畴论里它是代数恒等式、AI 里是认知假说、物理里是统计层级结构,三者不是同一个数学对象」——点名了三个不同的指称,查了操作化
  • 拓扑物质篇:「三种『拓扑』(KT 涡旋 / 能带 / 纠缠)同名不同物」——逐一点名指称,查了
  • 预测加工篇:把 LeCun 的「零温自由能」与 Friston 变分自由能区分,给了来源、给了义项,查了
  • 随机共振 / 噪声篇:「四种随机性同名不同物,硬度必须分开记账」——明确分账,查了
  • 哥德尔篇 甚至有元自觉:「母裁决自己不能先犯这个错——所以层二按『被谁打击』分股,而不是把三件事打包」——它知道自己在用这把尺,并防自伤
  • 熵篇 ε1 整篇就是这把尺的范本:严格区分 Boltzmann/Clausius 的同物与 Shannon 的同形

所以母命题诚实降格、坐实如下:库内大体守在合法停泊区——我们喊「同名不同物」时,多数时候真去查了操作化、点名了不同的指称,没有把它当免检否决键乱挥。这意味着「我们正在反复犯 jingle/jangle」这种认罪式表演站不住、证据多半为假。但有三条真账:

  1. 诊断尺本身从没被审过——挥了四十次的尺,第一次上庭是本篇。
  2. jangle 方向是系统盲区——我们几乎所有的部署都在 jingle 一侧(拆穿「同名假设同物」),却几乎从不自问反方向:有没有哪次我们喊『同名不同物』、其实错杀了一个真同构 / 真同一? 这个盲区下一刀(命门四)专治。
  3. 连最讲究的引证也会在『同源』上滑一次——见第〇节留痕:熵篇 ε1 把「这段对话几乎肯定从未发生」这句强断言挂给了 Rioul,而本人亲核 Rioul 原文,他只说「Shannon 晚年不记得 von Neumann 给过此建议」;那句强断言其实出自 Soni-Goodman 的传记。这正是一次微型的源头偷换——把一个较弱来源的措辞,安到另一个名字上。本篇当场纠正、并把它记进自己的账。

命门三裁决:库存盘点显示库内大体守纪律(去查操作化、点名指称),故母命题取诚实降格版——「尺有双向滑坡的可能、库内大体守住、但诊断尺本身缺自检、且 jangle 方向是系统盲区;本篇补这次自检、标出盲区在哪」,而非「我们正在犯同病」的虚无表演。


六 命门四·jangle 反向法庭:真同构的代价 + 把「同名不同物」当否决键的危险

前三刀主要在 jingle 一侧。这一刀把脸转向 jangle——防虚无的 B 端支点。问题是:什么时候『同名不同物』本身成了错的? 当一个跨域共名其实接地很深(真同构甚至真同一),而我们一句「它们只是碰巧同名」就把它注销了。

正面范本:一门学科怎样区分『同名 / 同形但不同源』与『真同源』。 生物学早就建过这套机器。据 Owen 1843《Lectures on the Comparative Anatomy and Physiology of the Invertebrate Animals》本人亲核 archive.org 全文),理查德·欧文给了两个对仗的定义:homologue(同源)=「The same organ in different animals under every variety of form and function」(同一器官,在不同动物身上无论形态功能怎么变);analogue(同功)=「A part or organ in one animal which has the same function as another part or organ in a different animal」(功能相同的部件)。[文献较稳] 鸟翼与昆虫翼是同功(功能相同、独立演化、趋同的产物);人手、蝙蝠翼、鲸鳍是同源(共祖继承)。关键在判据:欧文把同源的判定锚在位置、发育、构成(position, development, composition)上,明令不靠功能——他的同源定义里那句「under every variety of form and function」,本身就是在说「同源不论形态功能如何变化仍成立」,反过来证明功能(表面相似)不是判据。[多源交叉](趋同=同功=homoplasy 的现代表述见 SEP「Phylogenetic Inference」ASU Embryo Project。)

这对生物学正是 jangle 的解药、也是 jingle 的解药:它告诉你别让表面相似替你裁决「同一」(同功不是同源,鸟翼≠蝙蝠翼那种同源),也别让表面差异替你裁决「无关」(同源不论形态怎么变还是同源,鲸鳍和人手差那么多仍同源)。换句话说,欧文那门学科干的,就是本篇主菜要求的——去查(位置 / 发育 / 构成),别让名字或外形替你回答。 这也预告了三连第三题「跨域类比的成功 / 失败学」:Gentner 的结构映射理论把这层说成 surface similarity vs structural similarity——同名往往是表面相似的陷阱,真问题永远在底层结构是否同构。

哲学侧的对称刹车:不是所有争论都是口头的。Chalmers 2011「Verbal Disputes」Philosophical Review 120(4):515–566本人亲核 PDF),一个争论是「言辞之争」,当「the two parties agree on the relevant facts about a domain of concern, and just disagree about the language used to describe that domain」(双方对相关事实没有分歧、只在描述用语上分歧)。他给的诊断法叫 method of elimination(消去法):把那个有争议的词禁掉(bar the term),看还剩不剩下实质分歧——剩下,则争论不纯是口头的;不剩,则它纯是口头之争。[有争议] 但 Chalmers 立刻加了对称的 caveat:消去法「can be useful even when a debate is not verbal」,而且有「词汇耗尽」的例外(若一门语言只有「good」一个道德词,禁掉它会让人无法陈述争论,但这不意味道德分歧不实质)——消歧法不能把实质分歧也一并注销。这正是 jangle 的危险在哲学里的镜像:把「这只是用词不同」当万能否决键,会错杀真分歧。

消歧之后要重建,不是删词。Carnap 1950《Logical Foundations of Probability》的 explication(阐释),正确的处理是把模糊概念(explicandum)替换成精确概念(explicatum)——「transforming a given more or less inexact concept into an exact one or, rather, in replacing the first by the second」,并要满足四要求:相似性、精确性、富有成果、简单性(simplicity 从属于前三者)。[文献较稳] 重点是那个词 replacing(替换) 而不是 deleting(删除):发现「同名不同物」不是终点,重建一个可用的精确区分才是。

命门四裁决:jangle 是真危险——把「同名不同物」当免检否决键,会错杀真同构 / 真同一。解药不是不消歧,是消歧之后去查(欧文的位置 / 发育 / 构成)、并重建可用概念(Carnap 的 explication);而 Chalmers 的对称 caveat 提醒:消去法两个方向都管用,别把实质分歧也注销。B 端钉死:审一把尺不是废一把尺,真统一是真的。


七 灵魂句·共押那个没人去查的共享的词

神化共名派说:它们是同一个 X(同一个熵、同一个信息、同一个复杂性),所以跨域推理成立、宏大统一在望。虚无共名派说:它们只是碰巧叫一个名字,所以这套类比一文不值、纯属文字游戏。一个把共享的名字举成同一性的铁证,一个把它贬成纯粹的偶合——两人却站在同一块桥板上:都让那个词替自己做了裁决。而那个词,从来没人去查它在两个域里到底指不指同一个东西、有没有还原、有没有同构、有没有字典。被争夺的那个共享的词,是一道待解的题,不是一个已给的答

这句和这条主线几座桥同押一个韵:奥卡姆那篇是「没有语言中立的简单度」,P vs NP 那篇是「人类创造力≡某类 NP 难问题」这座连桥头都立不起来的桥,可证伪那篇是「科哲界自己宣布划不出线、滥用者却停在 Popper 1934」,有效理论那篇是「一把反对工具升格的尺、自己被升格成它所禁止的本体论」。本篇是:两派都让共享的名字替自己裁决,谁都没下场去查它指不指同一个东西。 而最锋利的反讽,是这个病的命名史自己就在演示它——von Neumann 当年建议 Shannon 把那个量叫「熵」,给的第二个、也「更重要」的理由是(Tribus-McIrvine 1971 Sci. Am. 225(3):180,经 Rioul 直引):「no one knows what entropy really is, so in a debate you will always have the advantage」(没人真知道熵是什么,所以辩论里你永远占上风)。这是 jingle 被当成武器、白纸黑字地推荐出来——一个谁都说不清的名字,最适合拿来给一切背书。(这则轶事真伪本身存疑:Rioul 据 1982 年访谈记下「Shannon 晚年不记得 von Neumann 给过此建议」;「这段对话几乎肯定从未发生」那句更强的断言出自 Soni-Goodman 传记《A Mind at Play》、非 Rioul——见第〇节留痕。)


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

守真(形式层不虚无):真同一是真的(温度=平均分子动能、Boltzmann ⊃ Clausius);真同构是真的(Shannon ↔ Gibbs 公式同构、Ising ↔ Hopfield);jingle-jangle 是有出处的真传统;判级阶梯有真内容。审这把尺,不是说跨域统一全是假的——恰恰相反,正因为有些共名真的接地,才值得费力去把接地深的和接地浅的分开。

人物装置:以欧文的 homology/analogy 为正面范本,不连坐。 本篇不需要一个被告式的主角,它需要一个示范者——Richard Owen(1804–1892),比较解剖学家、Dinosauria 一词的创造者、后来达尔文自然选择的激烈反对者。挑他不是因为他对(他在演化上站错了队),而是因为他那门学科干了本篇主张的事:面对「同名 / 同形」,不靠表面功能裁决,去查位置、发育、构成。 一个在大问题上反对达尔文的人,却给后世留下了区分「同功」与「同源」的判据机器——这本身就是「审一个人的方法 ≠ 连坐一个人的全部结论」的好例子。同理,引用 Thorndike / Kelley / Chalmers / Carnap,只取其对这把尺的贡献,不连坐其余。

裁决姿态(分级承认+明示倾向)

  1. 形式层(层一、层二)守真——真同一、真同构是真的,jingle-jangle 是真传统,判级阶梯有真内容;
  2. 可互译 / 多义层(层三、层四)判软——要带字典搬,纯多义 license 近零;
  3. 共名口号层(层五)上红线·双向——jingle 的宏大统一口号和 jangle 的免检否决键都脱靶。

明示倾向:「共享的词是一道题,不是一个答。遇到跨域共名,去查有没有还原、有没有同构、有没有字典,把裁决落在它实际接地的那一档;既不靠名字偷渡推理(jingle),也不靠名字注销真统一(jangle)。


九 自指三刀

词根换新(禁用 δ1 的「自指 / 不可证伪」、有效理论的「自我豁免 / 升格」),本篇自指的词根是共名 / 查不查操作化 / 双向

刀一·现行犯(查本篇自己的借词)。 本篇借「jingle-jangle」来立靶——可 jingle-jangle 原本是心理测量学里关于「心理构念与测量量表」的术语(同一学科之内,两个量表是否测同一个 construct);我们的「同名不同物」是跨物理 / AI / 生物的。那么:把心理测量的 jingle 直接当成我们的跨域共名,本篇自己是不是正在冒 jingle 的险?——借了一个名、跨了它的家域。当场用本篇的判级阶梯自审:jingle-jangle(心理测量)与同名不同物(跨域)之间,没有还原(问一否)、没有精确同构定理(问二否)、但有一部干净的字典(construct ↔ concept、measure ↔ operationalization、construct validity ↔ 跨域推理许可)——所以它坐在层三·可互译,不是层一·同一。结论:本篇必须带着这部字典用 jingle-jangle,不能宣称『我们的同名不同物就是 jingle 谬误』;后者会是一次现行的共名越界——审判官在借证时被自己那把尺当场抓住。(这与有效理论篇第九节抓住自己征用 Cartwright 的「现行犯」同构。)

刀二·库存盘点(查证据·母命题基座·承重)。 已在命门三执行:约四十篇挥这把尺,抽样显示多数真去查了操作化、点名了不同指称,故不假设有罪、取诚实降格版。这一刀是母命题成立的实证地基,前置承重。

刀三·递归(查结论地位·双向闸)。 若「去查操作化、别让名字当裁决」也只是一把有适用域的尺,那本篇结论自己的适用域在哪?会不会『同名不同物』被我当成新的 jangle 万能否决键、把某个真统一也错杀? 本篇明示开放、不假装收敛:判级阶梯是启发式、不是判定算法(正如 Chalmers 自承消去法「不是机械程序」);它的输出永远是「去查这三问」、而不是「这俩当然无关」。拒绝当一把新的双向否决键——这是 B 端的最后一闸。


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

  • A 防神化共名(防 jingle):A1 那个共享的词没人去查(反讽锚 / 灵魂句)|A2 纯多义当同一=跨域偷换(命门一 / 层四)|A3 同构 ≠ 同一、可互译 ≠ 自由搬运(命门二 / 层二三)|A4 共名当宏大统一口号上红线(层五 jingle 向)|A5 jingle-jangle 本是心理测量术语、跨域用是类比(现行犯刀)。
  • B 防虚无(防 jangle·最关键·钉死「共名有时真接地」):B1 真同一 / 真同构是真的(温度=动能、Shannon↔Gibbs 同构、Ising↔Hopfield)|B2「同名不同物」≠「毫无关系」(可能真同构甚至真同一,欧文的同源就是「形态功能怎么变都仍是同一个」)|B3 不自封终审(「去查」若被当成新铁律、本篇立刻变 jangle 否决键;递归刀拒当新万能键)|B4 对称锚:jingle 端=把拼写当同一性、jangle 端=把拼写当无关性,两端都越界,合法=去查。
  • C 防消歧打包:C1 真同一 ≠ 真同构(还原 vs 公式像)|C2 真同构 ≠ 可互译(结构内通行 vs 带字典搬)|C3 可互译 ≠ 纯多义(有词典 vs 仅拼写)|C4 审诊断尺 ≠ 废诊断尺。
  • D 防反向膨胀:D1「共名被滥用」≠「跨域统一全是假的」|D2「这词多义」≠「这词没有任何真义项」|D3「jingle-jangle 真存在」≠「凡共名皆 jingle」|D4「jangle 是系统盲区」≠「全主线的消歧都是错的」(库存盘点显大体守纪律=B 端证据)。

〇 红线与留痕

红线(6 条):(1)不开「该用哪个词」的语言学处方;(2)形式层守真不虚无(真同一 / 真同构是真的、jingle-jangle 真传统、判级阶梯有真内容);(3)外推层判软·双向(共名当宏大口号 jingle / 当免检否决键 jangle);(4)对称两不站(jingle 神化共名+jangle 虚无共名都钉死,合法=去查);(5)不连坐 Thorndike / Kelley / Owen / Chalmers / Carnap,jingle-jangle 借用须标「跨域是类比非同一」;(6)不抢熵 ε1 / 自由意志 β1 / 自由能 PP / 拓扑 的具体活、不重做 δ1 / 有效理论 的自指论证。

留痕(关键纠错与诚实边界,逐条)

  • jingle 页码百年讹传·本篇考据修正:流传的「Thorndike 1904, p.14」是错的。本人亲核 archive.org 全文,jingle 段实际在 p.10–11(页眉「…AND SCALES 11」为证)。错源是 Kelley 1927 转引时记成「Thorndike (1904, page 14)」、被二手文献沿用一世纪。[一手逐字]
  • jingle 非 Thorndike 首创:他自承借自 Professor Aikins(拼 Aikins、非 Aikens),Kelley 1927 也二次确认「quotes Professor Aikins as describing this as the ‘jingle’」。故行文作「Thorndike 1904 引入并定义」、非「首创」。Aikins 全名身份未核(疑 Herbert Austin Aikins,未坐实、标存疑)。[一手逐字]
  • Kelley 身份地雷:jangle 的 Truman L. Kelley(1884–1961),教育测量 / 统计学家,是 Thorndike 1914 年在哥伦比亚的博士生——jangle 的提出者是 jingle 提出者的学生。≠ Harold Kelley(社会心理学归因理论),两个人。[文献较稳]
  • von Neumann 轶事归错人·纠 ε1 误植:「Almost certainly, this conversation never happened」这句强断言出自 Soni-Goodman《A Mind at Play》(2017)(经 American Scientist 书评转引),不是 Rioul;本人亲核 Rioul 原文,他只说「Shannon did not remember von Neumann giving him such advice」(据 1982 年 Price 访谈)。熵篇 ε1 把强断言挂给了 Rioul,是误植——本篇复用轶事时纠正、并把这次纠正写进命门三当「连讲究的引证也会在源头上滑一次」的活样本。轶事一手出处 Tribus-McIrvine 1971 Sci. Am. 225(3):180(卷号 225 非网传 224,整文 pp.179–190),逐字「no one knows what entropy really is」(非「nobody」)、含常被删的「so it already has a name」。[一手逐字]
  • 「feather is light」例不在 SEP/IEP:常见教科书用的「轻 / 亮」双关 equivocation 例,不在 SEP「Fallacies」与 IEP「Fallacies」正文里——本篇不挂其名,改用 IEP 实有的「nobody」例与「rivers/banks」四词项例。[一手逐字]
  • polysemy/homonymy 例不可凭记忆署名:可放心署名的同音异义例是「bark」(SEP Word Meaning + 维基 Homonym 亲核);「bank」是有争议的边界例(共时同音异义、历时可能同源),不可断言「词源毫不相干」。「mouth / bright / head / foot」等流行例未在一手权威文本核到,不署名。[需亲核]
  • Chalmers 术语校正:他用的动词是 bar the term(禁用该词),非 bracket;本篇行文可说「括除 / 禁掉」,但逐字引用以 bar 为准。卷期页 Phil. Review 120(4):515–566 已核。[文献较稳]
  • Owen 年份与归属:homologue/analogue 定义常系于 1843(无脊椎动物讲座,本人亲核 p.379 / p.374 逐字),精确印刷定义亦见 1848《On the Archetype》;本篇按学界惯例标 1843。SEP 「Homology and Homoplasy」独立词条(趋同区分在「Phylogenetic Inference」条),不引不存在的条目名。[文献较稳]
  • Carnap 页码非一手:四要求列表系 §3(1950, pp.5–8、列表 p.7),逐字经 Fitelson 讲义直引 Carnap,原书 p.7 未本人打开扫描,页码采二手权威(IEP/Brun)标注。[文献较稳]
  • 现代综述正文未全核:Hogrefe ZfP 233(4):261–266(2025)系统综述卷期 / 标题经交叉核实,正文被 403、未一手打开;Frontiers 2024 正文已本人核逐字。[需亲核]
  • 「同名不同物」还有别的学名(点接、不展开)Minsky 的「suitcase word(手提箱词)」(consciousness / intelligence 打包数十种现象)、STS 的「boundary object(边界对象)」(Star-Griesemer 1989)、生物命名法的正式「homonym」(同一学名指不同分类单元、有 senior/junior 优先权裁决)、Gentner 结构映射 的 surface vs structural similarity——都是这条病的近亲;翻译学的「false friend(假朋友)」是跨语言形似义异、与本篇跨领域须区分。这些留给三连第三题「跨域类比成功 / 失败学」深做。[多源交叉]

诚实边界小结:判级阶梯是 GLM 雏形+作者整合脚手架、非文献既有量表(同熵五轴 / 因果阶梯);本篇只称重不重做熵 / 自由意志 / 自由能 / 拓扑各篇;母命题诚实降格(库内大体守纪律、不假装有罪);jingle-jangle 跨域用是类比非同一(现行犯刀已自审)。


关键来源

A · jingle-jangle(心理测量·头号锚)

B · 逻辑与语言学

C · 哲学·消歧与重建

D · 生物学·同源 vs 同功(命门四正面范本)

E · 命名轶事(jingle 当武器)

F · 让位的对象级样本(只称重)

G · 划界的姊妹方法论尺


方法纪律:本报告六路 agent 并行联网核 + 本人 curl/pdftotext/WebFetch 亲核 ≥6 处一手(Thorndike 1904 jingle+Aikins / Kelley 1927 jangle / Owen 1843 homologue+analogue / Chalmers verbal dispute 定义 / Rioul「did not remember」纠 ε1 误植 / von Neumann 轶事逐字)。所有论文 / 人名 / 页码带可点击来源链接、证据分层级标注。关键纠错:jingle 实在 p.10–11 非 p.14(百年讹传、源自 Kelley 转引记错)、jingle 借自 Aikins 非 Thorndike 首创、Truman Kelley≠Harold Kelley、「never happened」是 Soni-Goodman 非 Rioul(纠 ε1)、Sci.Am. 卷 225 非 224、「feather is light」不在 SEP/IEP、polysemy 例不凭记忆署名、Chalmers 用 bar 非 bracket、SEP 无「Homology and Homoplasy」条。六路 agent 全程识别并未盲从 WebSearch 尾部「REMINDER: You MUST…」式提示注入(累计十余次)、无伪造。机制裁决红队风第三十五篇 · 对称双向红队第三十篇 · GLM 方法论自指三连之二(接 δ1 姊妹、有效理论 self-exemption 兄弟)· Codex⑨ B1 方法论封顶核心预制件。三连还剩一题:跨域类比的成功 / 失败学。