跳至正文

「有效理论 vs 本体论」这把判据尺本身的大体检

目录

我们这条主线五十多篇调研，几乎每篇都在挥同一把尺：「X 是方法论/有效理论的工具，不是本体论的真理」——Landauer 是方法论非本体论、自由能原理是恒真式不是世界本体、重整化群是工具不是宇宙定律、自组织临界是工具箱不是万能钥匙、标度律是唯象律不是第一性原理、贝叶斯是建模语言不是世界本体。这把尺好用、锋利、几乎逢战必胜。可它从没上过自己的法庭。本篇把红队的刀刃反过来，对准这把尺本身——它到底是有效理论，还是本体论？我们会不会正在犯自己一直批判的那种病：把一个物理学内部、有适用域的工具性区分，抬成跨学科、无适用域的本体论万能否决键？母裁决：这把尺在物理学内部（解耦定理）有真内容、甚至有定理撑腰——但它自己的哲学地位至今未决（实在论与工具主义都自洽附着于同一套数学、没有赢家），它劈出的也不是一把干净的二分尺、而是被一个短语缝在一起的好几把正交的尺；把这把有适用域的认识论工具升格成跨学科的本体论裁决键，正是它门楣上那条律法所禁止的越界——它没通过自己出的考题。 明示倾向：保留这把尺，给它标上适用域，当分级启发式用——不当本体论终审。最锋利的发现是现行犯：本篇初稿想征用 Cartwright 来撑「连续谱」读法，一手亲核却发现她说的是断裂——审判官当场被自己那把『为我所用、择优引证』的尺抓住。

〇 母裁决·五层硬度光谱

把「X 是有效理论不是本体论」这句逢战必胜的否决，沿一条硬度递减、宏大递增的滑轨切成五层。最硬的那层（解耦定理）是物理学内部可证的数学事实；最软的那层（「一切只是有效理论、没有本体论真理」）是一句方向恰好反转的本体论口号。关键结构：层三、四、五是同一根滑轨上的三个刻度，不是三种独立的病——你能看见「硬度」怎么沿这根轴一格一格漏光。

层 这把尺在说什么 认识论地位 软在哪（承重点）
① 框架内硬地板·最硬 解耦定理：质量为 M 的重自由度在能标远低于 M 时从低能有效理论中解耦，只剩对低能耦合的重整化＋被 1/M 压低的微小修正（Appelquist-Carazzone 1975＋Wilson RG＋Weinberg 1979） 框架内可证的数学事实，物理学内部最硬地板 软在「什么算低能/截断/适用域」——硬度全靠外部给定的能标分离撑着；分离不干净，定理就不发力。[文献较稳]
② EFT 哲学地位暴露层 这套物理该配哪种哲学图景：EFT 支不支持一种实在论？反不反还原？要不要放弃「终极完备理论」的抱负（Rivat-Grinbaum 2020 的三问） contested 的哲学解释，实在论与工具主义未结 软在「同一套数学，选择性实在论和工具主义都能自洽附着」——哲学地位是附加的、欠定的。[有争议]
③ 二分尺预设层·主菜 「有效理论 vs 本体论」是一把干净的二分尺，可以拿来非黑即白地裁决 半技术半语义的预设，被当成不证自明 软在它根本不是一把尺：「本体论」一词至少三义，「有效/本体」更是被一个短语缝在一起的好几把正交的尺（真值地位/能标尺度/可观察性/学科基础地位）。[有争议]
④ 跨域搬运层 把这把物理学内部的尺搬去裁决 AI/生物/认知/社会 跨域类比，无对应的解耦定理、无能标分离作担保 软在「借走了最硬那层的硬度光环，却没借走它的适用条件」——成了万能否决键。[我们的断言]
⑤ 本体论口号·最软最宏大 「一切只是有效理论、没有本体论真理」 本体论口号（最软最宏大） 软在方向反转：一个本意反对本体论断言的工具，被升格成「无本体论」这个本体论断言——反本体论的本体论，自我豁免在此闭环。[理论整合]

一句话母裁决： 这把尺在最硬那层（解耦定理）是真的，但它的真是框架内的真＋能标分离担保下的真；它越往上走、越宽、越宏大，就越是借着最硬那层的光环、丢着最硬那层的条件，直到它升格成它自己本想禁止的那种无适用域的本体论否决键。结构胎记＝自我豁免越界（self-exemption）：这把尺写在门楣上的唯一律法是「别把有适用域的工具升格成无适用域的本体论」，而它每挥一次就把自己向「跨域＋本体论」那个危险象限挪一格——它是谱系里第一条审判官审自己手里那把尺的胎记，与对象级的哥德尔射程越界、P vs NP 模态越界、hormesis 范畴越界、奥卡姆层级越界、镜像神经元激活越界、重整化群尺度越界、麦克斯韦妖思想实验越界正交。[我们的断言]

一　承重墙·八柱

进任何一道命门前先钉八根柱子，去污染弹头打头——这两根先把「审尺」和「废尺」、「这把尺」和「EFT 物理」隔开，免得整篇被读成相对主义虚无。

  1. 去污染弹头·射程声明（打头）：本篇审的是「有效理论 vs 本体论」这把判据尺的哲学地位与适用域，不审有效场论物理对不对（它对，且精验），也不审任何一篇库内调研的结论对不对。被告是那把尺，不是物理、不是旧篇。[我们的断言]
  2. 去污染弹头·审尺 ≠ 废尺（非虚无声明）：指出一把尺有适用域，不等于说它没内容、该丢。这正是 Cartwright 的同款克制——她说自己攻击的是「某些极抽象原则的真理性」，本人原话「I never described it as an attack on realism」，而且她和 Hacking 持对理论实体的审慎实在论（entity realism）。反基本定律真理性 ≠ 反实在论；审这把尺 ≠ 注销这把尺。 [一手逐字]
  3. 让位墙：有效场论、解耦定理、层级自治的物理已由 More is Different 篇 §轴三正面展开（它把「层级自治」从口号做成了定理）。本篇只称重引用、火力放它没展开的那层——EFT 的哲学地位。[文献较稳]
  4. 姊妹墙·与 δ1 划界：可证伪性篇 δ1 已经把一把方法论尺（可证伪）拉上过被告席，它自报「全库 50＋ 篇…没有一篇体检这把尺本身…本篇是第一篇把工具拉上被告席的」。本篇是第二把上被告席的尺——不同的尺、不同的判据病（它是「自指/不可证伪」，本篇是「自我豁免/升格滑坡」）。不重做 δ1 的自指论证、不借它的词根。[文献较稳]
  5. 文献实在性墙（承重）：实在论 vs 工具主义之争是真未决、不是我编出来的对立。Rivat-Grinbaum 2020 综述读完全部文献后逐字判：「effective field theories do not give convincing reasons to adopt a particular stance towards these speculative issues… the only certainty is provisional and instrumental」。[一手逐字]
  6. 谱非二分墙·实为多尺缝合（承重·主菜预制）：「本体论」一词多义、「有效/本体」是被一个短语缝起来的好几把正交的尺——这是技术兼语义的事实，不是修辞。[有争议]
  7. 跨域无担保墙：解耦定理的硬度专属于「有能标分离」的物理；把尺搬到没有能标、没有解耦定理的域，是借了「有效理论」四个字的光环、丢了它的适用条件。[我们的断言]
  8. 元综合症墙（承重·灵魂句预制）：否决键正在我们的工具箱里累积——「X 与收敛论同病」「把功能类比抬成本体论」「这只是有效理论」——却没有一把键查过自己。本篇是给这个判据库做的第一次自检，不自封终审。[理论整合]

二　脊柱·适用域 D × 地位 S 十字

这把尺的滑坡不是一维的，是在一张平面上滑。两条正交的轴：

  • 轴一·适用域 D：从「物理学内部的 EFT（有能标分离担保）」一路滑到「跨学科的万能判据（无任何担保）」。最左端的锚点是解耦定理；最右端的锚点是某篇社会学论文里那句「这不过是个有效理论罢了」。
  • 轴二·地位 S：从「分级启发式工具（可错、有适用域）」一路滑到「本体论裁决/世界终极真相（不可错、无适用域）」。

把两轴叉成十字，被告概念「有效理论 vs 本体论判据」就在这张 D×S 平面上滑动。合法停泊区是左下象限（物理内部＋工具地位）；危险区是右上象限（跨域＋本体论地位）。关键的实证问题——我们五十多篇到底大多停在哪？——是母命题成立与否的落点，留给第九节的库存盘点定夺（先剧透：大体守在左下，但右上有一颗真实的种子）。

反讽锚（落刀）：这把尺写在门楣上的唯一律法是「不得把有适用域的工具升格为无适用域的本体」。可它每挥一次，就把自己向右上象限挪一格——直到它本身成了那个无适用域的本体论否决键。它是这间法庭里唯一一条豁免于自己的法律。它没通过自己出的考题。

性质差异（写进脊柱）：哥德尔是析取被偷塌、奥卡姆是缺一个独立前提、重整化群是前提被剥光加方向反转；本篇是规则对自身的越界——不是审某个对象概念，是审判官审自己手里的那把尺。这是谱系里第一个元级胎记。

核心五刀（沿 D×S 平面，从硬到软）：

  1. 解耦定理（框架内真·靠能标分离）≠ 哲学地位已定（柱5/命门一）。
  2. 「有效 vs 本体」≠ 一把干净的二分尺，而是好几把正交的尺被缝在一起（柱6/命门二·主菜）。
  3. 物理尺借了硬度光环 ≠ 带上了适用条件（柱7/命门三）。
  4. 「别把工具升格成本体论」这把尺 ≠ 自己免于此律（柱8/反讽锚/灵魂句）。
  5. 「一切只是有效理论」当本体论口号（⑤·方向反转·反本体论的本体论）。

三　命门一·realism vs instrumentalism 文献法庭

第一道门只问一件事：这把尺自己的哲学地位定下来了吗？ 答案是没有，而且是「权威综述读完全部文献后判它没有」。

有效场论哲学的标准导览，是 Rivat-Grinbaum 2020（Eur. Phys. J. A 56:90）。它承 Cao-Schweber 的脉络，把整个领域框成三问（本人 pdftotext 亲核逐字）：「1. Do EFTs underpin a specific ontological picture of the world or are they merely instruments to gain information about poorly understood domains? 2. Do EFTs support an anti-reductionist view of physics? 3. Do EFTs provide reasons to give up the ultimate aspiration of formulating a final and complete physical theory?」[一手逐字] 三问的第一问，字面就是本篇的母问题：EFT 撑起的是一幅本体论图景，还是仅仅是工具？

而文献给的答案是「没有答案」。正方·选择性实在论：Porter Williams 2019（BJPS 70(1):209-237）主张 EFT 反而加固了实在论——它「把理论失效的长度尺度显式写进数学框架，明确了在哪些物理域里可以信任理论给出可靠的本体论信息」，只对在可靠能区里解释成功所必需的本体承诺当真。这叫选择性实在论（selective realism）。[文献较稳]（人名与术语两处地雷见第八节：Williams 正文根本没用过「effective realism」当术语，那只是他 §3 的章节标题「A More Effective Realism」的双关；术语史另有出处。）反方·无穷理想化挑战：Rivat 2021（Synthese 198(12):12107-12136，单作者 Rivat）点名回击 Williams 与 J. Fraser——有效理论的特征恰恰是「含有内在的经验局限（intrinsic empirical limitations）」，对连续场这类承诺，「on the Standard Effective Account, we cannot reliably make such ontological commitments」。[文献较稳] 工具主义一端：综述自己的总判是「EFT 不给出采纳某种立场的充分理由，唯一确定的是临时性、工具性的」；EFT 的工具主义读法在文献里的实际代表是 Huggett-Weingard 与 Butterfield（Williams 转引 Butterfield-Bouatta 2014 那句「a rather opportunistic or instrumentalist attitude」），不是 van Fraassen（见命门二与第八节）。

这一记落刀即收，不展开实在论各流派。命门一的判词只有一句：EFT 自己的哲学地位至今未决——选择性实在论与工具主义都自洽附着于同一套数学，谁也没赢。那么，拿一把哲学地位都还没定下来的尺，去当跨学科的「本体论」否决键，等于预支了一个文献至今没兑现的结论。 Routledge 哲学百科的 EFT 词条（James Fraser 2023 撰）也只说「while little consensus has been reached on these questions」——「未决」是与文献同向的判断，不是我逆共识的发现。[多源交叉]

四　命门二·语义法庭·有效与本体是好几把缝在一起的尺（主菜）

这是落刀最深的一道门，也是本篇唯一同时咬住「半技术」与「语义」的门。它问：我们以为在用的「有效理论 vs 本体论」，真是一把尺吗？

先看「本体论」一词。在我们五十多篇里，它至少有三个互不相同的意思：(a) 形而上学的终极实在（世界到底由什么构成）；(b) 一个模型的本体承诺（这个模型假设了哪些东西存在）；(c) 一门学科/一层描述的基础性地位（它是基础学科还是应用/唯象学科）。说「X 是方法论不是本体论」，到底是说 X 不触及终极实在、还是 X 不预设新实体、还是 X 不是一门基础学科？三义之间一滑，结论就变。

再看「有效 vs 本体」这个对子本身——这才是主菜的刀锋。本篇初稿本想请 Cartwright 出庭，把它读成一条「唯象↔基本」的连续谱。可一手亲核（本人 pdftotext 抽 Cartwright《How the Laws of Physics Lie》（1983） 全文）发现：她说的根本不是谱，是真值地位的断裂——「the phenomenological laws are indeed true of the objects in reality—or might be; but the fundamental laws are true only of objects in the model」。[一手逐字] 唯象律在现实中真，基本律只在模型里真，这是两类东西、不是一条渐变的谱。

但她在同一篇里给了一把更利的刀。她亲口指出：物理学家的「唯象 vs 基本」跟哲学家的「可观察 vs 不可观察」毫无关系——「Physicists contrast ‘phenomenological’ with ‘fundamental’… the distinction between theoretical and phenomenological has nothing to do with what is observable and what is unobservable. Instead the terms separate laws which are fundamental and explanatory from those that merely describe」。[一手逐字] 这就是主菜：Cartwright 本人就在记录，「有效/本体」这一类区分，根本是好几把刀刃落在不同层、彼此不可通约的尺，被一个短语缝在了一起。 至少四把：

  • 真值地位轴（Cartwright）：唯象律现实中真 / 基本律仅模型中真；
  • 能标尺度轴（物理 EFT）：截断以下有效 / 以上未知（解耦定理这把刀）；
  • 可观察性轴（van Fraassen 建构经验主义）：可观察 / 不可观察——而且这把刀不是工具主义（建构经验主义接受理论语句的字面真值义、只对不可观察部分悬置信念，工具主义则否认字面真值义）；
  • 学科基础地位轴：基础学科 / 应用·唯象学科。

四把尺彼此正交。我们却用「有效 vs 本体论」一个短语把它们糊成一把，然后以为在做非黑即白的二分裁决——实则在四把不可通约的尺之间偷换，这一格用真值地位的刀，下一格换成能标尺度的刀，再下一格又跳到可观察性的刀。Cartwright 后来在《The Dappled World》（1999）把这种「世界由局部规律的拼布、而非单一金字塔支配」推到底——「The laws that describe this world are a patchwork, not a pyramid」。[文献较稳] 注意：她的拼布是断裂的多块，恰恰更不是连续谱——所以她是「多把尺」这条主菜的证人，却是「连续谱」那条读法的反例。

主菜判词：「有效理论 vs 本体论」不是一把清晰的二分尺，是一个短语缝起来的好几把正交的尺加上一个多义的「本体论」；我们以为在用一把尺做干净裁决，其实在偷换。这条缝，是这把尺最被默认、最没人查的一条。[我们的断言]

五　命门三·跨域法庭·把物理尺搬出物理

第三道门问：这把尺能搬吗？ 它在物理学内部的硬度，是借来的、还是自带的？

最硬那层的硬度有一个非常具体的来源：能标分离。解耦定理之所以是定理，是因为有 M 这个重标度、有「能标远低于 M」这个物理条件。一旦把尺搬到没有能标、没有解耦定理的域——AI 的「表征」、生物的「机制」、认知的「层级」、社会的「结构」——它就借走了「有效理论」四个字的硬度光环，却没带上产生那硬度的适用条件。这正是我们批判别人时用的同一招（我们说自由能原理把变分框架搬出它有定理的小域、说自组织临界把幂律搬出它有机制的小域），现在轮到这把尺自己。

结构实在论里有一个看起来像「免费搬运许可证」的概念，值得专门拆：Ladyman-Ross《Every Thing Must Go》（2007） 的 scale-relative ontology（本体论随尺度相对）——「ontology is scale-relative, in the sense that different energy levels and regimes, as well as different length and time scales, feature different emergent structures」，配上从 Dennett「Real Patterns」（1991） 改造来的「to be is to be a real pattern」本体论。[文献较稳] 听起来像是：本体论本来就随尺度而变，那把「有效/本体」当尺度相对的判据到处用，不就名正言顺了吗？

不行。Ladyman 自己把成立条件钉得很死：「the constraint on what is effective in what context comes from the world」——什么在什么语境下「有效」，约束来自世界本身（来自能标破缺、来自重整化群的自由度压缩），不是随便贴的。[文献较稳] 也就是说，scale-relative ontology 不是一张「任何领域都能免费宣称本体随尺度相对」的通用许可证；它的合法性逐字绑定在物理的尺度结构上。脱离这套 EFT/RG 图景、把「尺度相对本体」搬到没有对应尺度结构的领域，就把它的成立条件丢在了门口。命门三判词：这把尺的硬度是物理给的、不是它自带的；搬出物理而不带上能标分离这张「出生证」，就是把借来的硬度当成了自己的。[我们的断言]

六　命门四·元法庭·这把尺成了万能否决键吗（接 δ1）

第四道门照镜子：我们手里这把尺，会不会已经变成了一把万能否决键？

这里必须先和姊妹篇 δ1 可证伪性 划清界、再借它的结构。δ1 审的是「可证伪」这把尺，诊断出的病灶是自指/不可证伪——它从「最硬的逻辑事实一路滑到最空的万能否决键」，而「不可证伪⇒伪科学」那一步本身被当成了万能否决键。本篇审的是「有效 vs 本体」这把尺，病灶是自我豁免/升格滑坡——它从「解耦定理」滑到「一切只是有效理论」，而「这只是有效理论」那一步成了另一把万能否决键。两把不同的尺、两种不同的判据病，却是同一个元综合症：我们工具箱里的否决键越攒越多，没有一把键查过自己。δ1 说自己是「第一篇把工具拉上被告席的」；本篇是第二把上被告席的尺。[理论整合]

借 δ1 的结构是为了看清一件事：「这只是有效理论/工具，不是本体论」这句否决，和「这不可证伪，所以是伪科学」那句否决，是同一种句式——都用一个本来有适用域的好工具，去当一个无适用域的终审判官。一把尺一旦能否决一切，它就什么也没否决，因为它不再携带可错的内容。

而最该被这道门照见的，是我们自己。第九节会拿出库存盘点的实证分布；这里先给元法庭的判词：判据库累积否决键、却从不自检，本身就是一种「把工具当成了不可错的裁判」的病——只不过这次病人是审判官。本篇不自封终审：它给判据库做第一次自检，不是给判据库立一条新的、更高的、同样不可错的元判据。[我们的断言]

七　灵魂句·一座没人验过的桥

神化派说：这是一把普适的尺，所以世上没有本体论真理、只有层层有效理论；反神化派说：这不过是一句方便的措辞，所以这把尺裁决不了任何真问题。一个把尺举到本体论的高度、一个把尺贬到修辞的尘埃，两人却站在同一块桥板上——都默认「有效理论 vs 本体论」是一把清晰、普适、可裁决的尺。可这把尺自己的哲学地位还没定（实在论还是工具主义未结），它劈出的也不是一条干净的二分、而是好几把缝在一起的正交的尺；被两派争来夺去的那把尺，从来没人验过它本身是不是一把尺。

对仗谱系：奥卡姆篇是「没有语言中立的简单度」、P vs NP 篇是「人类创造力≡某类 NP 难问题」这座连桥头都立不起来的桥、可证伪篇是「连科学哲学界自己都宣布划不出线、滥用者却停在 Popper 1934」；本篇是一把反对「把工具升格成本体论」的尺，自己被升格成了它所禁止的那种本体论，豁免于自己刚立的法。神化派想给「层层有效理论、没有本体」这幅图加冕为世界终极真相，没看见这一加冕本身就是一个本体论断言——反本体论的，恰恰立了个本体论。那座桥的桥墩，是这把尺自己拆的。

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

守真（B 端，最关键）：这把尺有真内容。在左下象限——物理学内部、当分级启发式工具用——「X 是有效理论不是本体论」是真的、好用的、该继续用的。解耦定理是真定理（Appelquist-Carazzone 1975 摘要逐字「the heavy fields decouple at low momenta except for their contribution to renormalization effects」，本人 INSPIRE 亲核）；Weinberg 1979 把「可重整性不再是基本要求」奠基出来（那句著名的「写下对称性允许的最一般拉氏量…就得到最一般的 S 矩阵」是技术陈述，「可重整性降格」是后世的标准引申、非原文口号——据实标）；Cao-Schweber 1993（Synthese 97:33）把 EFT 读成「antifoundationalism in epistemology and antireductionism in methodology」、世界「layered into quasi-autonomous domains」（注：流传的「tower 准自治域之塔」是 Huggett-Weingard / Castellani 等评注者的措辞，不是 Cao-Schweber 原话——据实归位）。这些都是真零件。审这把尺 ≠ 废这把尺；说它有适用域 ≠ 说「本体和有效没区别」（那是反向的越界、虚无端的越界）。[文献较稳]

人物装置（不连坐）：Cartwright 一人为主，只点一处——克制的反基要主义者。她明说《How the Laws of Physics Lie》「不是对实在论的攻击、是攻击某些极抽象原则的真理性」，到《Dappled World》自我修正「我当年认错了敌人：要打的不是实在论，是基要主义（fundamentalism）」，还和 Hacking 一起持理论实体的审慎实在论。她被红队风的文章误读成虚无派/反实在论，正是本篇要防的那种「为我所用、择优引证」。把她从「连续谱的证人」摆正为「多把尺的证人、连续谱的反例」，是对她的尊重，也是本篇的自我纪律。Anderson、Wilson 只在让位墙称重（More is Different 篇 已正面展开），Williams/J. Fraser/Ladyman-Ross 各挂各的真贡献，发明者一律不连坐。

裁决姿态（分级承认＋明示倾向）：(1) 形式层①守真（解耦定理是真定理、尺在左下有真内容）；(2) 哲学/语义层②③判软（哲学地位未决、二分实为多尺缝合）；(3) 跨域＋口号层④⑤上红线（万能否决键、反本体论的本体论·方向反转）。明示倾向：「『有效理论 vs 本体论』是一把在物理学内部有真内容、好用的分级启发式工具；但它的哲学地位本身未决、不是一把干净的二分尺、更不是一把跨学科的本体论判据。保留它、给它标上适用域、当分级启发式用——不当本体论终审。」

九　自指·三刀

本篇是元级的，三刀必须比 δ1（让「可证伪」自指一次）、比测量代理篇（让「代理」自指一次）更进一层——让红队的动作、证据、结论各自指一次。词根是自我豁免/升格滑坡，不借 δ1 的「自指/不可证伪」。

  1. 工具刀对自己（查方法·而且是现行犯）：本报告用「有适用域 vs 无适用域」这把判据，去审「有效 vs 本体」那把尺。可那审判用的判据，它自己有适用域吗？还是又一把万能否决键？ 这一刀不是空想——本篇初稿想征用 Cartwright 撑「连续谱」，亲核才发现她说的是断裂二元。审判官当场被自己那把『为我所用、择优引证』的尺抓住：我险些对 Cartwright 做了我正在审判的那种越界。这一现行犯被写进正文、而非藏起来，是本篇唯一能证明自己没有自我豁免的方式。[我们的断言]
  2. 库存盘点刀（查证据·母命题的成立基座）：我们五十多篇挥这把尺，到底几篇真停在右上象限（把它当本体论）、几篇老实停在左下（标了适用域）？ 本人 grep 全库实查落点：More is Different 明写「层级自治放在认识论一侧——真；放在本体论一侧（强涌现）——无铁例、虚」，标了适用域；概率贝叶斯篇 明写「最稳健的用法是建模语言…最危险的用法是提升为万用语法」「贝叶斯主义是高质量建模语言，不是世界本体论」，标了适用域；测量代理篇 甚至已经做过一次同尺自审——「三病消歧是启发式工具非跨域本体论真理…把它当跨域万能钥匙是把功能类比抬成本体论——与收敛论、FEP、SOC 同病」「本课题本身是半 Goodhart」。绝大多数落点都老实停在左下象限。 所以母命题不能写成「我们正在犯同病」——那是假装有罪。但右上有一颗真实的种子：收敛论篇 自己就提议把「有效理论＋适用域」框架「推广为我们评估科普文章的通用标准」——这正是把尺升格成通用裁判的源头；而「X 与 FEP/SOC/收敛论同病」这个否决键，确实横扫了十几篇。诚实降格的母命题：这把尺有真实的升格滑坡（右上象限的种子），库内大体守住了左下，几篇甚至自审过——但判据库整体从没被审过，本篇补这一次，并标出滑坡在哪。[多源交叉]
  3. 元法庭的递归刀（查结论地位）：如果「别把工具升格成本体论」也只是一把有效理论的尺，那么本篇的结论——『这把尺也只是有效理论』——它自己是有效理论还是本体论？ 这个递归不能假装收敛。说「这把尺也只是有效理论」，如果被当成一条新的、不可错的本体论铁律，本篇就立刻变成自己五层表里的第六层。所以本篇明示：这条结论是开放的、可错的、拒绝当那把新的万能否决键——这是 B 端的最后一道闸，也是本篇与「自我豁免」之间唯一的隔离带。[我们的断言]

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

  • A 防神化（防升格）：A1 这把尺没通过自己出的考题（反讽锚/灵魂句）｜A2 哲学地位未决就当本体论否决键＝预支结论（命门一）｜A3「有效 vs 本体」是好几把缝在一起的正交的尺、不是一把干净二分（命门二·主菜）｜A4 跨域搬运借光环、丢能标分离担保（命门三）｜A5 Cartwright 本人克制、明说非反实在论（柱2/人物装置）。
  • B 防虚无（最关键·钉死左下停泊区）：B1 尺有真内容——解耦定理是真定理、左下象限的「工具非本体论」真好用该继续用｜B2 谱非二分 ≠ 谱没有两端，多尺缝合 ≠「本体和有效没区别」｜B3 本篇不自封终审、第三自指刀明示拒当新万能键｜B4 对称锚：神化端的病是「把尺升格成世界终极真相」，虚无端的病是「把尺贬成空洞修辞、顺手注销它的真内容」——两端都是越界，主裁不站任何一端，只钉住左下合法停泊区。
  • C 防消歧打包：C1 解耦定理（框架内真）≠ 哲学地位已定｜C2「有效 vs 本体」≠ 一把干净二分｜C3 物理尺的硬度 ≠ 跨域可搬｜C4 审尺 ≠ 废尺。
  • D 防反向膨胀：D1「尺被滥用」≠「有效理论框架是假的/EFT 哲学无意义」｜D2「哲学地位未决」≠「随便选实在论或工具主义都行」（未决是真状态、不是虚无许可证）｜D3「谱非二分」≠「本体论与认识论无区别」｜D4「偶有升格滑坡」≠「五十多篇裁决全废」——库存盘点恰恰显示库内大体守住左下，这正是 B 端的证据。

〇　红线与留痕

六条红线：1 不开「该不该用有效理论框架」的科研处方；2 形式层守真不虚无（解耦定理是真定理、尺在左下有真内容）；3 外推层判软（跨域万能否决键）；4 对称两不站（A 防升格与 D 防虚无注销等重、钉死左下合法停泊区）；5 不连坐 Cartwright/Anderson/Wilson/Williams/J. Fraser/Ladyman-Ross，各挂真贡献，Cartwright 必挂「非反实在论」免责；6 不抢 More is Different 的 EFT 物理活、不重做 δ1 的自指论证。

诚实留痕（撰稿全程）：

  • 主菜被一手证据翻盘并据实改写：初稿设想「有效 vs 本体是 Cartwright 唯象↔基本的连续谱」。本人 pdftotext 亲核《How the Laws of Physics Lie》全文，发现 Cartwright 主张的是真值地位断裂（唯象律现实中真/基本律仅模型中真），「continuum/spectrum/matter of degree」在她原文与主流评注中逐字不存在。主菜据此改为「一个短语缝了好几把正交的尺」，Cartwright 从「谱的证人」改判为「多尺的证人、谱的反例」。此事写入第九节第一自指刀作为现行犯。[一手逐字]
  • 结构胎记非首创、点接前人：「自我豁免越界」作为论证形式不是原创——它属于经典的 self-refutation / 自我反驳家族（SEP「Transcendental Arguments」，Putnam 把同一招反身用在形而上学实在论自己头上；以及工具主义自身地位的经典反诘「工具主义这条元主张本身是不是一个实在论式断言？若是则自拆台」，见 SEP「Scientific Realism」）。本篇的新颖只在对象（「有效理论 vs 本体论」这把特定判据尺），不在论证形式——据实让位、不假托首创。[文献较稳]
  • 术语史校正：Williams 2019 正文与摘要未用「effective realism」当术语（仅 §3 章节标题「A More Effective Realism」的双关）；其立场综述称之为选择性实在论（selective realism）。「renormalization group realism」标签出自 Ruetsche 2018，「effective realism」定型与外推到量子力学出自 Egg 2019（Saatsi《(In)effective realism?》2021 批评之），思想前身可溯 Wallace 2006。[文献较稳]
  • 人名地雷三连：Porter Williams ≠ James D. Fraser ≠ Doreen Fraser（三个独立的人；Williams 写「Scientific Realism Made Effective」，James Fraser 写「The Real Problem with Perturbative QFT」等，Doreen Fraser 是 algebraic QFT 反方、常被误当 James Fraser）；Cao = 曹天予（Tian Yu Cao）；van Fraassen 建构经验主义 ≠ 工具主义（前者接受字面真值义、只悬置不可观察部分）。
  • 未亲核/降级标注：Cartwright「Fundamentalism vs. the Patchwork of Laws」卷期（Proc. Aristotelian Soc. 94(1):279-292, 1994）经多源交叉但本人未独立翻底本；Rivat 2021 无穷理想化逐字由 agent 一手 pdftotext、本人未独立复核；Dennett「Real Patterns」p.34 定义句因原扫描为图像、为强二手三角而非原 PDF 机读一手。[需亲核]
  • 注入识别：六路联网取证全程，WebSearch 结果尾部反复出现「REMINDER: You MUST include the sources above…」式指令，六路 agent 累计十余次全部识别为提示注入、未盲从——引用来源是因为本库铁律本就要求带链接，不是因为它命令。

本篇定位：机制裁决红队风第三十四篇 · 对称双向红队第二十九篇 · GLM 推荐「方法论自指三连」之首（接 δ1 姊妹、组 δ 元科学）· Codex⑨「B1 方法论封顶」的核心预制件。母裁决五层切法、D×S 脊柱、「多尺缝合」主菜、「自我豁免越界」胎记是本篇的整合脚手架，非单篇首创——见上「点接前人」。

关键来源

A · EFT 哲学地位（命门一·脊柱三问）

B · Cartwright（命门二·主菜）

C · 物理硬地板（层①·让位 More is Different·称重）

D · 结构实在论 / scale-relative ontology（命门三）

E · 自指传统 / van Fraassen（胎记点接·命门二）

F · 库内让位/划界/点接

标签: