← Archive
lm-004684 · 2026-10

語義越界與隱含結構注入：量詞、策略、時序與因果的非法升格

zh-Hant · md Raw source ↗ Metadata ↗
下載 MD 檔 ⬇
title
語義越界與隱含結構注入：量詞、策略、時序與因果的非法升格
english_title
Semantic Boundary Crossing and Hidden Structure Injection: Illegal Lifts of Quantifiers, Policies, Temporality, and Causality
series
SRBC：符號表徵邊界與語義完備性理論
series_english
SRBC: Symbolic Representation Bounds and Semantic Completion
series_number
SRBC-04/07
author
Neo.K with Aletheia (GPT-5.6 Sol)
institution
EveMissLab / 一言諾科技有限公司
version
v0.1
date
2026-09-23
language
zh-TW
document_type
理論論文 / 語義升格審計篇 / SREG-SRBC 橋接論文
status
初版完成

語義越界與隱含結構注入

量詞、策略、時序與因果的非法升格

English Title: Semantic Boundary Crossing and Hidden Structure Injection: Illegal Lifts of Quantifiers, Policies, Temporality, and Causality
系列：《SRBC：符號表徵邊界與語義完備性理論》SRBC-04/07
作者： Neo.K with Aletheia (GPT-5.6 Sol)
機構： EveMissLab / 一言諾科技有限公司
版本： v0.1
日期： 2026-09-23

Canonical Source Note

本文件以 UTF-8 Markdown 保存正式原稿。數學 source 僅使用 $...$ 與 $$...$$ 作為 canonical delimiter。本文不以渲染畫面、Unicode 數學字元或自然語言近似式取代 canonical source。若未來進入 proof assistant、typed IR、NCM、EveGlyph、SREG runtime、語義解析器、模型檢查器、因果推論系統或概率程式系統，應保存原始 source、source scope、target scope、bridge rule、provenance、completion branch、query、lift certificate、countermodel、版本與轉譯規則。

摘要

形式推理中的許多爭議並不是因為後續計算本身錯誤，而是因為推理在進入計算之前已經偷偷增加了原表述沒有承諾的結構。單次事件被升格成一般策略；「知道」被升格成「會依知識行動」；某次觀察被升格成唯一生成機制；局部條件被升格成全域規則；當下狀態被升格成跨時間不變律；相關被升格成因果；存在量詞被升格成全稱量詞；某一合法 completion 的結果被倒灌成原表述本身的唯一意義。這類操作若未被顯式標記，會使一個原本仍具有多個合法語義完成的表述，看起來彷彿已經唯一指定某一形式模型。

本文在 SRBC-01 的符號表徵邊界、SRBC-02 的語義完成空間與 SRBC-03 的查詢相對完備性之上，建立第一代 語義升格審計（Semantic Lift Audit）。本文將「升格」定義為：從一個已被來源語義域支持的承諾，移動到一個語義域更大、量詞更強、時間範圍更廣、角色資訊更多、結構更具體或因果強度更高的承諾。升格本身並不錯。正常數學、科學建模與自然語言理解都需要升格。真正需要審計的是：升格是否具有合法橋接證書。

給定來源約束集 Γ\Gamma 與新增承諾 λ\lambda，若：

Γ⊨λ,\Gamma\models\lambda,

則 λ\lambda 可視為來源語義的可證後果；若 λ\lambda 不是邏輯後果，但被明確標記為額外假設、模型 convention、制度規則或 completion-specific commitment，則它仍可以是合法建模步驟。相反地，若：

Γ⊭λ,\Gamma\not\models\lambda,

且 λ\lambda 沒有被標記為新增假設，卻被當成原表述本來就已承諾的內容，本文稱其為 隱含結構注入。若該注入進一步排除原本合法 completion，並改變指定查詢 QQ 的答案像，則稱為 查詢有害非法升格（query-harmful semantic illegal lift）。

本文提出一族常見非法升格：存在到全稱、事件到法則、知識到策略、能力到執行、觀察到生成機制、局部到全域、當下到跨時不變、條件到無條件、相關到因果、可能到必然、樣本比例到概率律、對稱到等概率、敘述者資訊到參與者資訊、branch commitment 到 text commitment、模型驗證到文本完備。本文並建立 Conservative Lift、Scope Expansion、Bridge Certificate、Injection Debt、Query-Harmful Lift、Minimal Countermodel Pair 與 Lift Audit Certificate。

對 Monty Hall 而言，本篇最重要的結論不是「標準 2/32/3 錯了」，而是建立更精確的審計問題：原句中「主持人知道門後內容」是否足以合法升格為「主持人必定依該知識打開未選羊門」？單次觀察「主持人這次打開了一扇羊門」是否足以升格為跨試驗生成策略？若不能，則標準模型仍然可以作為一個合法 completion，但不能僅靠後續計算的正確性，把該 completion 反投影成原自然語言的唯一語義。

關鍵詞： SRBC、SREG、語義非法升格、隱含結構注入、scope mismatch、量詞、策略、時序、因果、語義完成、Monty Hall、形式化、反投影、語義審計

0. 研究定位：不是反對抽象，而是要求橋接證書

本文最容易被誤解成：

任何從局部到一般、從觀察到模型、從自然語言到形式規則的轉換都是錯的。

本文不主張這一點。

科學與數學幾乎不可能在完全禁止升格的情況下工作。

例如從：

x∈Dx\in D

與一套已證明對所有 x∈Dx\in D 成立的推理，可以合法得到：

∀x∈D:P(x).\forall x\in D:P(x).

從實驗資料、因果假設與識別條件，也可以合法建立因果模型。

從遊戲規則明文：

主持人每一回合都必定打開一扇參賽者未選且沒有汽車的門。

也可以直接建立：

∀t,Ht∈Gt∖{Pt}.\forall t, \quad H_t \in G_t\setminus\{P_t\}.

問題不在「升格」。

問題在：

升格後的語義負擔是否已由來源、證明或顯式假設支付？\boxed{ \text{升格後的語義負擔是否已由來源、證明或顯式假設支付？} }

所以本文的核心不是：

No Lift.\text{No Lift}.

而是：

No Silent Lift Without a Bridge Certificate.\boxed{ \text{No Silent Lift Without a Bridge Certificate}. }

1. 從 SRBC-03 往前追：答案為什麼會被錯誤固定？

SRBC-03 已建立：

I(u,C)\mathfrak I(u,C)

為合法 completion space，

並定義：

Q:I(u,C)⇀AQ.Q: \mathfrak I(u,C) \rightharpoonup \mathcal A_Q.

如果存在：

M1,M2∈I(u,C)M_1,M_2 \in \mathfrak I(u,C)

使：

Q(M1)≠Q(M2),Q(M_1)\neq Q(M_2),

則：

QRU⁡(u,C;Q).\operatorname{QRU}(u,C;Q).

但實際推理中常發生另一件事。

分析者先加入一個沒有明說的條件：

λ,\lambda,

把原 completion space：

IΓ\mathfrak I_{\Gamma}

縮成：

IΓ∪{λ}⊊IΓ.\mathfrak I_{\Gamma\cup\{\lambda\}} \subsetneq \mathfrak I_{\Gamma}.

然後在縮小後的空間中發現：

∣AQ∣=1.|\mathcal A_Q|=1.

如果接著說：

所以原問題本來就只有這個答案。

就發生了倒灌。

因此真正需要審計的是：

Γ→Γ∪{λ}\boxed{ \Gamma \rightarrow \Gamma\cup\{\lambda\} }

這一步。

2. 語義承諾集

令：

Γ=Γ(u,C)\Gamma = \Gamma(u,C)

表示由原表述 uu 、上下文 CC 、已聲明語法規則、詞彙規則與合法背景橋接共同支持的承諾集合。

對任意模型：

M∈IΓ,M\in\mathfrak I_{\Gamma},

都有：

M⊨Γ.M\models\Gamma.

如果新增一個承諾：

λ,\lambda,

得到：

Γ′=Γ∪{λ}.\Gamma' = \Gamma\cup\{\lambda\}.

則：

IΓ′={M∈IΓ:M⊨λ}\mathfrak I_{\Gamma'} = \{ M\in\mathfrak I_{\Gamma} : M\models\lambda \}

在不改變 admissibility 定義的前提下，通常有：

IΓ′⊆IΓ.\mathfrak I_{\Gamma'} \subseteq \mathfrak I_{\Gamma}.

這看似只是加一條規則。

但它可能把整個問題改掉。

3. 什麼叫「升格」？

本文用 Semantic Lift 表示一類語義強化操作。

令：

σ\sigma

是來源承諾，

τ\tau

是目標承諾。

一個升格算子寫作：

L:σ↦τ.L: \sigma \mapsto \tau.

若 τ\tau 相較於 σ\sigma 增加了至少一種語義負擔，例如：

  • 更大 domain；
  • 更強 quantifier；
  • 更長 time horizon；
  • 更具體 policy；
  • 更多 epistemic access；
  • 更強 causal commitment；
  • 更強 modal status；
  • 更強 stochastic structure；

則稱：

τ\tau

是對：

σ\sigma

的語義升格。

4. 語義負擔向量

為了描述「更強」不是單一方向，定義第一代語義負擔向量：

b(ϕ)=(bD,bQ,bT,bP,bE,bC,bM,bS),\mathbf b(\phi) = \left( b_D, b_Q, b_T, b_P, b_E, b_C, b_M, b_S \right),

其中：

bDb_D

為 domain scope；

bQb_Q

為 quantifier strength；

bTb_T

為 temporal scope；

bPb_P

為 policy specificity；

bEb_E

為 epistemic commitment；

bCb_C

為 causal commitment；

bMb_M

為 modal strength；

bSb_S

為 stochastic specification。

若：

b(τ)>b(σ)\mathbf b(\tau) > \mathbf b(\sigma)

在至少一維嚴格增加，而沒有其他合法橋接使該增加成為已付出的推論成本，則需要升格審計。

本文不主張這個向量是唯一形式化。

它只是第一代 bookkeeping interface。

5. 合法升格

定義 5.1：可證升格

若：

Γ⊨λ,\Gamma\models\lambda,

則把：

λ\lambda

加入顯式狀態，是 可證升格。

因為：

λ\lambda

不是額外縮小模型族的外部注入。

實際上：

IΓ∪{λ}=IΓ\mathfrak I_{\Gamma\cup\{\lambda\}} = \mathfrak I_{\Gamma}

在標準語義條件下成立。

定義 5.2：顯式假設升格

若：

Γ⊭λ,\Gamma\not\models\lambda,

但分析者清楚聲明：

以下額外假設 λ\lambda。

則：

λ\lambda

不是原文本後果，但可以形成新的研究 branch：

Bλ=(Γ,λ).B_{\lambda} = (\Gamma,\lambda).

只要 provenance 清楚，它不是語義欺騙。

定義 5.3：約定升格

某些任務會採用 convention。

例如：

以下假設主持人在兩扇羊門間等機率選擇。

這不是原敘述自動推出的世界真理。

但若明確聲明：

λtie:P(H=di)=P(H=dj)=12,\lambda_{\mathrm{tie}} : P(H=d_i)=P(H=d_j)=\frac12,

則可作為規格化 completion。

定義 5.4：制度規則升格

如果外部制度已明確規定：

Rinstitution,R_{\mathrm{institution}},

且上下文 CC 指向該制度，則可用 bridge：

C+Rinstitution⊢λ.C + R_{\mathrm{institution}} \vdash \lambda.

此時來源不只是一句局部文本，而是文本加制度背景。

6. 非法升格

定義 6.1：隱含結構注入

若：

Γ⊭λ,\Gamma\not\models\lambda,

且 λ\lambda：

  1. 不是原表述明示內容；
  2. 沒有被標記為額外假設；
  3. 沒有外部規則 bridge；
  4. 沒有 provenance；
  5. 卻被當成原表述本來就已承諾；

則稱：

λ\lambda

為 隱含結構注入。

記為：

HSI⁡(Γ,λ).\operatorname{HSI}(\Gamma,\lambda).

其中 HSI 表示 Hidden Structure Injection。

定義 6.2：語義非法升格

若升格：

L:σ↦τL:\sigma\mapsto\tau

需要額外語義負擔，但不存在合法 bridge certificate，且分析結果把 τ\tau 當成 σ\sigma 自動支持的內容，則稱：

LL

為 Semantic Illegal Lift：

SIL⁡(L).\operatorname{SIL}(L).

7. 非法不等於命題為假

這一點非常重要。

如果：

Γ⊭λ,\Gamma\not\models\lambda,

不代表：

λ\lambda

是假的。

只表示：

目前來源不足以取得 λ.\boxed{ \text{目前來源不足以取得 }\lambda. }

可能現實世界中：

λ\lambda

恰好是真的。

但推理權限仍然不足。

因此：

Truth≠Entitlement from the Current Source.\boxed{ \text{Truth} \neq \text{Entitlement from the Current Source}. }

這使本文避免把「未被原句證成」誤寫成「世界中不成立」。

8. 保守擴展與非保守擴展

新增：

λ\lambda

後，如果：

Γ⊨λ,\Gamma\models\lambda,

則：

Mod⁡(Γ)=Mod⁡(Γ∪{λ}).\operatorname{Mod}(\Gamma) = \operatorname{Mod}(\Gamma\cup\{\lambda\}).

本文稱此為 語義保守顯式化。

若：

Γ⊭λ,\Gamma\not\models\lambda,

且存在：

M∈Mod⁡(Γ)M\in\operatorname{Mod}(\Gamma)

使：

M⊭λ,M\not\models\lambda,

則：

Mod⁡(Γ∪{λ})⊊Mod⁡(Γ).\operatorname{Mod}(\Gamma\cup\{\lambda\}) \subsetneq \operatorname{Mod}(\Gamma).

這是一個 非保守語義強化。

非保守強化本身不一定非法。

問題是它是否被標記。

9. Bridge Certificate

每一次非平凡升格至少應回答：

semantic_lift:
  source_claim: ...
  target_claim: ...
  source_scope: ...
  target_scope: ...
  bridge_type:
    - entailment
    - theorem
    - explicit_assumption
    - convention
    - institutional_rule
    - empirical_induction
    - causal_identification
    - default_rule
  provenance: ...
  query_relevance: ...
  reversible: ...

數學化地，bridge certificate 可表示為：

CL=(Γ,σ,τ,R,P),\mathcal C_L = ( \Gamma, \sigma, \tau, R, P ),

其中：

RR

為 bridge rule，

PP

為 provenance。

如果沒有：

CL,\mathcal C_L,

卻執行強化：

σ⇝τ,\sigma\leadsto\tau,

就應進入審計狀態。

10. Scope Mismatch Principle 的 SRBC 版本

SREG 已提出：

A certificate cannot silently certify a domain larger than the domain encoded in its semantics.\boxed{ \text{A certificate cannot silently certify a domain larger than the domain encoded in its semantics.} }

SRBC 把它落到語言。

若：

Scope⁡(σ)⊊Scope⁡(τ),\operatorname{Scope}(\sigma) \subsetneq \operatorname{Scope}(\tau),

則：

Cert⁡(σ)⇏Cert⁡(τ)\operatorname{Cert}(\sigma) \not\Rightarrow \operatorname{Cert}(\tau)

除非存在：

CL.\mathcal C_L.

因此：

Scope Expansion Requires Bridge Evidence.\boxed{ \text{Scope Expansion Requires Bridge Evidence}. }

11. 第一類非法升格：存在到全稱

最基本形式：

∃x∈D:P(x)⇏∀x∈D:P(x).\exists x\in D:P(x) \not\Rightarrow \forall x\in D:P(x).

例如：

有一隻烏鴉是黑色的。

不能升格成：

所有烏鴉都是黑色的。

這是教科書級錯誤。

但實際語言中更隱蔽的版本是：

主持人這次打開了一扇羊門。

被升格成：

∀t:OpenGoat⁡(t).\forall t: \operatorname{OpenGoat}(t).

表面上不像量詞錯誤，本質仍是：

∃t→∀t.\exists t \rightarrow \forall t.

12. 第二類非法升格：單次事件到一般法則

給定：

Et0.E_{t_0}.

不能僅靠單次事件推出：

∀t:Et.\forall t:E_t.

更不能直接推出生成律：

L(Et).\mathcal L(E_t).

所以：

event token⇏event type law.\boxed{ \text{event token} \not\Rightarrow \text{event type law}. }

如果要升格，至少需要：

  • 明示規則；
  • 重複觀察；
  • 統計模型；
  • 因果機制；
  • 或其他 bridge。

13. 第三類非法升格：知識到策略

令：

KA(X)K_A(X)

表示 agent AA 知道 XX。

令：

πA\pi_A

表示其策略。

一般而言：

KA(X)⇏πA=f(X).K_A(X) \not\Rightarrow \pi_A=f(X).

一個 agent 可以：

  • 知道但不用；
  • 知道但故意反向行動；
  • 知道但隨機行動；
  • 知道但受其他規則約束；
  • 知道但策略未知。

因此：

epistemic state≠policy.\boxed{ \text{epistemic state} \neq \text{policy}. }

這是 Monty Hall 的核心接口之一。

14. 第四類非法升格：能力到執行

令：

Can⁡A(a)\operatorname{Can}_A(a)

表示 agent 有能力執行 aa。

不能推出：

Does⁡A(a).\operatorname{Does}_A(a).

即：

Can⁡A(a)⇏Does⁡A(a).\operatorname{Can}_A(a) \not\Rightarrow \operatorname{Does}_A(a).

同理：

KnowsHow⁡A(a)⇏Executes⁡A(a).\operatorname{KnowsHow}_A(a) \not\Rightarrow \operatorname{Executes}_A(a).

這在 AI agent、工程系統與制度分析中特別常見。

15. 第五類非法升格：觀察到生成機制

觀察：

Y=yY=y

不能唯一推出：

P(Y∣X)=ρ.P(Y\mid X)=\rho.

因為許多不同 kernel 都可能生成相同單次 observation。

因此：

Observation⇏Unique Generative Mechanism.\boxed{ \text{Observation} \not\Rightarrow \text{Unique Generative Mechanism}. }

更一般地，若：

M1M_1

與：

M2M_2

都滿足觀察資料：

O,O,

則：

OO

本身不足以排除其中一個。

16. 第六類非法升格：局部到全域

若：

P(x)P(x)

只在：

x∈D0x\in D_0

被證成，不能無橋接推出：

∀x∈D:P(x),\forall x\in D:P(x),

其中：

D0⊊D.D_0\subsetneq D.

所以：

Local Validity⇏Global Validity.\boxed{ \text{Local Validity} \not\Rightarrow \text{Global Validity}. }

這和 SREG 的 scope mismatch 是同一高階結構。

17. 第七類非法升格：當下到跨時不變

若：

Rt0=R,R_{t_0}=R,

不能推出：

∀t:Rt=R.\forall t:R_t=R.

除非已知：

RR

為 invariant。

因此：

current rule⇏time-invariant rule.\boxed{ \text{current rule} \not\Rightarrow \text{time-invariant rule}. }

這會影響所有動態博弈、制度、政策、AI agent 與世界模型。

18. 第八類非法升格：條件到無條件

若：

P(A∣B)=p,P(A\mid B)=p,

不能推出：

P(A)=p.P(A)=p.

若：

B→C,B\rightarrow C,

也不能在未檢查條件結構時任意消除 BB。

因此：

conditional statement⇏unconditional statement.\boxed{ \text{conditional statement} \not\Rightarrow \text{unconditional statement}. }

很多自然語言敘述會把「在這個遊戲規則下」省略，後續讀者便誤以為結果是情境本體的固有屬性。

19. 第九類非法升格：相關到因果

若：

X̸ ⁣⊥ ⁣ ⁣ ⁣⊥Y,X\not\!\perp\!\!\!\perp Y,

即 X,YX,Y 相關，

不能推出：

X→Y.X\rightarrow Y.

因此：

Correlation⇏Causation.\boxed{ \text{Correlation} \not\Rightarrow \text{Causation}. }

這一點已有成熟因果推論傳統。

SRBC 的重點是把它放入更一般的「語義負擔升格」家族。

因果承諾：

bCb_C

高於純關聯承諾。

20. 第十類非法升格：可能到必然

模態上：

◊P⇏□P.\Diamond P \not\Rightarrow \Box P.

也不能由：

◊P\Diamond P

直接推出：

P.P.

因此：

possible⇏actual⇏necessary.\boxed{ \text{possible} \not\Rightarrow \text{actual} \not\Rightarrow \text{necessary}. }

自然語言中：

  • 可能；
  • 可以；
  • 應該；
  • 必須；
  • 一定；

常被混成單一路徑。

21. 第十一類非法升格：樣本比例到概率律

若有限樣本中：

kn=r,\frac{k}{n}=r,

不能在沒有統計模型的情況下直接等同：

P(E)=r.P(E)=r.

尤其不能把某一 simulation ratio 自動升格成：

原自然語言唯一指定的概率.\text{原自然語言唯一指定的概率}.

需要至少區分：

empirical frequency,\text{empirical frequency}, model probability,\text{model probability}, subjective probability,\text{subjective probability}, decision weight.\text{decision weight}.

因此：

observed ratio⇏unique probability semantics.\boxed{ \text{observed ratio} \not\Rightarrow \text{unique probability semantics}. }

22. 第十二類非法升格：對稱到等概率

若兩個表面狀態：

s1,s2s_1,s_2

看似對稱，不代表：

P(s1)=P(s2)P(s_1)=P(s_2)

除非 probability measure 也對該 symmetry invariant。

形式上需要：

μ(gA)=μ(A)\mu(gA)=\mu(A)

對相關 symmetry transformation gg 成立。

因此：

structural symmetry⇏probabilistic equiprobability\boxed{ \text{structural symmetry} \not\Rightarrow \text{probabilistic equiprobability} }

除非 measure symmetry 已建立。

這對「剩兩扇門所以一半一半」與其他對稱直覺都特別重要。

23. 第十三類非法升格：敘述者資訊到參與者資訊

令：

INI_N

為 narrator information，

IPI_P

為 participant information。

即使：

KN(X)=1,K_N(X)=1,

也不能推出：

KP(X)=1.K_P(X)=1.

所以：

narrator knows⇏participant knows.\boxed{ \text{narrator knows} \not\Rightarrow \text{participant knows}. }

若題目用全知旁白告訴讀者一件事，還需要說明：

這是否也屬於角色可用資訊？

否則 decision query 會發生 epistemic scope injection。

24. 第十四類非法升格：分析者資訊到行動者資訊

即使外部解題者知道：

R,R,

也不能自動假定遊戲內 agent 知道：

R.R.

因此：

Ianalyst⊈IagentI_{\mathrm{analyst}} \not\subseteq I_{\mathrm{agent}}

除非題目明示。

這在 game theory 中直接影響：

π∗=arg⁡max⁡πE[U∣Iagent].\pi^* = \arg\max_{\pi} \mathbb E[U\mid I_{\mathrm{agent}}].

25. 第十五類非法升格：branch commitment 到 text commitment

假設 SRBC-02 有一個 completion：

MiM_i

其中新增：

λi.\lambda_i.

如果：

λi\lambda_i

只屬於該 branch，

則：

λi∉Core⁡(I(u,C))\lambda_i \notin \operatorname{Core} \left( \mathfrak I(u,C) \right)

時，不能說：

原句本來就包含 λi\lambda_i。

因此：

completion commitment⇏text commitment.\boxed{ \text{completion commitment} \not\Rightarrow \text{text commitment}. }

這是 Non-Backprojection Principle 的升格版本。

26. 第十六類非法升格：模型驗證到文本完備

若：

Q(Mi)=aQ(M_i)=a

被 theorem prover、simulation 或 proof assistant 驗證，

只能得到：

Valid⁡(Q(Mi)=a).\operatorname{Valid}(Q(M_i)=a).

不能推出：

∀M∈I(u,C):Q(M)=a.\forall M\in\mathfrak I(u,C): Q(M)=a.

因此：

model validation⇏text-level completeness.\boxed{ \text{model validation} \not\Rightarrow \text{text-level completeness}. }

這正是 SRBC-03 的核心要求。

27. 第十七類非法升格：預設到必然

語言理解常使用 defaults。

例如：

D:通常主持人遵守遊戲節目慣例.D: \text{通常主持人遵守遊戲節目慣例}.

即使 default 很合理，也不能把：

DD

無標記升格成：

□D.\Box D.

所以 default 應標記為：

Default⁡(D,w),\operatorname{Default}(D,w),

而非：

Necessary⁡(D).\operatorname{Necessary}(D).

28. 第十八類非法升格：方便假設到世界定律

模型常假設：

X⊥YX\perp Y

只是為了可計算性。

如果後續把這個 independence 當成現實世界必然結構，就發生升格。

因此：

modeling convenience⇏ontological law.\boxed{ \text{modeling convenience} \not\Rightarrow \text{ontological law}. }

29. 第十九類非法升格：靜態投影到完整動態本體

若動態系統：

S0→S1→⋯→STS_0 \rightarrow S_1 \rightarrow \cdots \rightarrow S_T

被投影成某個靜態摘要：

Π(S0:T)=z,\Pi(S_{0:T})=z,

則：

zz

可以是合法降維結果。

但：

Π\Pi

通常不是同構。

因此：

projection⇏ontological equivalence.\boxed{ \text{projection} \not\Rightarrow \text{ontological equivalence}. }

舊 Monty Hall 研究中的「本體論壓平」可以在本文中重寫成一種 representation lift / flatten mismatch。

30. 第二十類非法升格：路徑存在到路徑唯一

如果：

∃p:A→pB,\exists p: A\xrightarrow{p}B,

不能推出：

∃!p:A→pB.\exists! p: A\xrightarrow{p}B.

也不能推出：

pp

是唯一合法推理路徑。

這對「箭頭真假」系列特別重要。

有一條可證路徑，只證明：

BB

可由某一組前提到達。

不證明其他語義路徑不存在。

31. Semantic Lift Lattice

可把承諾依語義強度形成偏序：

ϕ⪯ψ\phi\preceq\psi

表示：

ψ⊨ϕ.\psi\models\phi.

也就是：

ψ\psi

至少比：

ϕ\phi

更強。

若：

ϕ≺ψ,\phi\prec\psi,

則從 ϕ\phi 到 ψ\psi 是強化。

這讓非法升格變成：

ϕ≺ψ\phi \prec \psi

但沒有：

Γ⊨ψ\Gamma\models\psi

且沒有明示 branch provenance。

32. 語義注入集

給定：

Γ\Gamma

與分析後的：

Γ′,\Gamma',

定義第一代注入集：

J(Γ→Γ′)={λ∈Γ′:Γ⊭λ}.\mathcal J(\Gamma\rightarrow\Gamma') = \{ \lambda\in\Gamma' : \Gamma\not\models\lambda \}.

這表示分析後新增、但不是原約束邏輯後果的承諾。

然而：

J\mathcal J

不等於「錯誤集」。

因為其中可能包含：

  • 明示假設；
  • convention；
  • domain rule；
  • empirical prior；
  • 合法 completion。

所以進一步分解：

J=Jdeclared∪Jhidden.\mathcal J = \mathcal J_{\mathrm{declared}} \cup \mathcal J_{\mathrm{hidden}}.

真正需要警戒的是：

Jhidden.\mathcal J_{\mathrm{hidden}}.

33. 隱含注入負債

定義：

Dinj=∑λi∈Jhiddenwi⋅si,D_{\mathrm{inj}} = \sum_{\lambda_i\in\mathcal J_{\mathrm{hidden}}} w_i \cdot s_i,

其中：

wiw_i

為注入的重要度，

sis_i

為語義強化幅度。

若注入與查詢 QQ 無關，可再分：

Dinj=Dinj,Q++Dinj,Q0.D_{\mathrm{inj}} = D_{\mathrm{inj},Q}^{+} + D_{\mathrm{inj},Q}^{0}.

其中：

Dinj,Q+D_{\mathrm{inj},Q}^{+}

為 query-sensitive injection debt。

這將和 SRBC-05 的 GAP 測度直接連接。

34. 查詢有害非法升格

不是所有 hidden injection 都會改答案。

因此定義：

λ\lambda

對查詢 QQ 為 query-harmful，若：

AQΓ≠AQΓ∪{λ}.\mathcal A_Q^{\Gamma} \neq \mathcal A_Q^{\Gamma\cup\{\lambda\}}.

更強地，若：

∣AQΓ∣>1|\mathcal A_Q^{\Gamma}|>1

但：

∣AQΓ∪{λ}∣=1,|\mathcal A_Q^{\Gamma\cup\{\lambda\}}|=1,

而 λ\lambda 未被原文本證成，則該注入完成了：

hidden semantic collapse.\boxed{ \text{hidden semantic collapse}. }

這是自然語言爭議中特別危險的情況。

35. Hidden Semantic Collapse

定義：

HSC⁡(Γ,λ,Q)\operatorname{HSC}(\Gamma,\lambda,Q)

成立，若：

Γ⊭λ,\Gamma\not\models\lambda, λ∈Jhidden,\lambda \in \mathcal J_{\mathrm{hidden}},

且：

∣AQΓ∣>1,|\mathcal A_Q^\Gamma|>1,

但：

∣AQΓ∪{λ}∣=1.|\mathcal A_Q^{\Gamma\cup\{\lambda\}}|=1.

這表示：

一個本來對 QQ 欠決定的表述，被某個未聲明的額外承諾人工壓成唯一答案。

36. HSC 不代表壓出的答案錯

再次強調。

可能：

a∗a^*

就是實際制度、作者意圖或真實世界中的正確答案。

HSC 只說：

唯一性不是從目前聲明的來源得到的。\boxed{ \text{唯一性不是從目前聲明的來源得到的。} }

這是「真值問題」與「證成問題」的分離。

37. Legal Completion Collapse

如果分析者明示：

以下採標準 Monty Hall protocol。

然後加入：

λstd,\lambda_{\mathrm{std}},

使：

∣AQΓ∪{λstd}∣=1,|\mathcal A_Q^{\Gamma\cup\{\lambda_{\mathrm{std}}\}}|=1,

這是合法 completion collapse。

它可以非常有用。

SRBC 反對的不是：

collapse.\text{collapse}.

而是：

unmarked collapse.\text{unmarked collapse}.

38. Lift Provenance

每個升格應標記 provenance：

PL∈{text,grammar,lexicon,context,institution,theorem,assumption,default,empirical,analyst}.P_L \in \{ \text{text}, \text{grammar}, \text{lexicon}, \text{context}, \text{institution}, \text{theorem}, \text{assumption}, \text{default}, \text{empirical}, \text{analyst} \}.

其中最危險的是：

PL=analystP_L=\text{analyst}

卻被輸出成：

PL=text.P_L=\text{text}.

本文稱這種錯位為：

Provenance Forgery.\boxed{ \text{Provenance Forgery}. }

這裡的 "Forgery" 是形式審計術語，不指涉法律上的偽造。

39. Lift Type System

可為 lift 建立簡單型別。

例如：

LQntL_{Qnt}

量詞升格；

LTmpL_{Tmp}

時序升格；

LPolL_{Pol}

策略升格；

LEpiL_{Epi}

知識升格；

LCauL_{Cau}

因果升格；

LStoL_{Sto}

隨機性升格；

LModL_{Mod}

模態升格；

LScoL_{Sco}

domain scope 升格。

複合 lift：

L=LQnt∘LTmp∘LPolL = L_{Qnt} \circ L_{Tmp} \circ L_{Pol}

可能造成遠大於單一步驟的語義壓縮。

40. 升格鏈

實務中最危險的不是單一步。

而是：

σ0⇝σ1⇝σ2⇝⋯⇝σn.\sigma_0 \leadsto \sigma_1 \leadsto \sigma_2 \leadsto \cdots \leadsto \sigma_n.

例如：

Host knows\text{Host knows}

先升格成：

Host uses knowledge,\text{Host uses knowledge},

再升格成：

Host always avoids car,\text{Host always avoids car},

再升格成：

Host always opens goat,\text{Host always opens goat},

再升格成：

This policy is common knowledge,\text{This policy is common knowledge},

最後才進入：

P(switch wins)=23.P(\text{switch wins})=\frac23.

每一步都可能看似自然。

但若沒有逐步 bridge，就會形成：

cumulative hidden injection.\boxed{ \text{cumulative hidden injection}. }

41. 累積升格負債

對升格鏈：

L1,…,Ln,L_1,\ldots,L_n,

定義：

DL=∑i=1nd(Li),D_L = \sum_{i=1}^{n} d(L_i),

其中：

d(Li)=0d(L_i)=0

若 lift 有有效證書，

否則：

d(Li)>0.d(L_i)>0.

也可加入 query sensitivity：

DL,Q=∑iwQ(Li)d(Li).D_{L,Q} = \sum_i w_Q(L_i)d(L_i).

這個量將在 SRBC-05 正式擴展。

42. 最小非法升格反例

若懷疑：

σ⇏τ,\sigma\not\Rightarrow\tau,

最直接的方法不是辯論語感。

而是構造：

M1,M2M_1,M_2

使：

M1⊨σ,M_1\models\sigma, M2⊨σ,M_2\models\sigma,

但：

M1⊨τ,M_1\models\tau, M2⊨¬τ.M_2\models\neg\tau.

則：

σ⊭τ.\sigma\not\models\tau.

這就是 model-theoretic counterexample。

SRBC 稱這對：

(M1,M2)(M_1,M_2)

為 Lift Countermodel Pair。

43. Query-Sensitive Lift Countermodel

如果進一步：

Q(M1)≠Q(M2),Q(M_1)\neq Q(M_2),

則這不只是證明：

σ⊭τ,\sigma\not\models\tau,

還證明該 lift 對問題答案有實質影響。

因此證書包含：

M1⊨σ∧τ,M_1\models\sigma\land\tau, M2⊨σ∧¬τ,M_2\models\sigma\land\neg\tau, Q(M1)≠Q(M2).Q(M_1)\neq Q(M_2).

這是 SRBC-06 最重要的證明模板之一。

44. 非法升格與自然語言不完備

自然語言「不完備」不能只靠一句：

這句話沒有說清楚。

需要更嚴格的結構。

若原表述：

uu

給出：

Γ,\Gamma,

而標準答案依賴：

λ,\lambda,

則至少要證：

Γ⊭λ.\Gamma\not\models\lambda.

更強地，要構造：

M1,M2∈I(u,C)M_1,M_2\in\mathfrak I(u,C)

使一個滿足 λ\lambda，一個不滿足。

如果再有：

Q(M1)≠Q(M2),Q(M_1)\neq Q(M_2),

才真正完成：

language gap→query-relevant semantic underdetermination.\boxed{ \text{language gap} \rightarrow \text{query-relevant semantic underdetermination}. }

45. 不是所有省略都是缺陷

自然語言必然省略大量世界知識。

例如：

把杯子放在桌上。

通常不需明說：

  • 地球有重力；
  • 杯子不是抽象集合；
  • 桌子存在；
  • 說話者沒有要求量子態級描述。

所以：

omission≠defect.\boxed{ \text{omission} \neq \text{defect}. }

只有當省略欄位：

θ\theta

位於：

ΘQ+,\Theta_Q^{+},

也就是會改變當前查詢答案，才構成 query-relevant gap。

這延續 SRBC-03。

46. 不是所有默認都是非法

default reasoning 可以是合理的。

例如語境中存在穩定 convention：

D.D.

可以暫時採：

DD

作為 defeasible assumption。

但必須標記：

Default⁡(D).\operatorname{Default}(D).

並保留：

ReopenCondition⁡(D).\operatorname{ReopenCondition}(D).

所以：

default≠illegal lift\boxed{ \text{default} \neq \text{illegal lift} }

只要 provenance 與可撤回性被保存。

47. 可撤回升格

本文區分：

MonotonicLift⁡\operatorname{MonotonicLift}

與：

DefeasibleLift⁡.\operatorname{DefeasibleLift}.

如果：

Γ⊨λ,\Gamma\models\lambda,

通常是 monotonic。

如果：

λ\lambda

來自 default、empirical induction 或 heuristic，則應可撤回。

形式上：

Γ⇝Γ+λ\Gamma \rightsquigarrow \Gamma+\lambda

並保存：

r(λ)=reopen condition.r(\lambda) = \text{reopen condition}.

這和 SREG 的開放閉合哲學一致。

48. 因果升格需要更強橋接

若從 observation：

P(Y∣X)P(Y\mid X)

進到 intervention：

P(Y∣do⁡(X)),P(Y\mid\operatorname{do}(X)),

就是一次結構增強。

一般而言：

P(Y∣X)≠P(Y∣do⁡(X)).P(Y\mid X) \neq P(Y\mid\operatorname{do}(X)).

因此 causal lift 至少需要：

  • causal graph；
  • structural equations；
  • identification assumptions；
  • intervention semantics；

其中一部分。

否則：

observational conditional⇏interventional conditional.\boxed{ \text{observational conditional} \not\Rightarrow \text{interventional conditional}. }

49. 反事實升格

更強的是從 intervention 到 counterfactual：

YxY_x

或：

Yx(u).Y_x(u).

反事實查詢需要更完整世界耦合。

所以：

observation≺intervention≺counterfactual\boxed{ \text{observation} \prec \text{intervention} \prec \text{counterfactual} }

可以視為一種語義負擔序。

這與使用者既有反事實世界研究可進一步連接。

50. 時序升格與本體論壓平

舊 Monty Hall 線曾以「本體論壓平」描述：

S0→S1→S2S_0 \rightarrow S_1 \rightarrow S_2

被壓成靜態概率表。

SRBC-04 對此做一個修正。

靜態壓縮本身未必錯。

若存在充分 statistic：

T(S0:2)T(S_{0:2})

使查詢：

QQ

只依賴 TT，

則靜態投影對該 QQ 可以是合法的 query-preserving reduction。

真正的問題是：

是否證明投影對當前查詢保持必要資訊？\boxed{ \text{是否證明投影對當前查詢保持必要資訊？} }

所以新版不再把所有 flattening 都叫錯誤。

而是問：

Q(S)=Q~(Π(S))?Q(S) = \widetilde Q(\Pi(S))?

若成立，壓平可合法。

若不成立，才是 query-destructive flattening。

51. Query-Preserving Projection

定義：

Π:M→Z.\Pi: \mathcal M \rightarrow \mathcal Z.

若存在：

Q~\widetilde Q

使：

Q=Q~∘Π,Q = \widetilde Q\circ\Pi,

則 Π\Pi 對 QQ 是 query-preserving。

這與 SRBC-03 的 query core 一致。

因此：

compression is allowed if it preserves the query.\boxed{ \text{compression is allowed if it preserves the query}. }

52. Query-Destructive Projection

若存在：

M1,M2M_1,M_2

使：

Π(M1)=Π(M2)\Pi(M_1)=\Pi(M_2)

但：

Q(M1)≠Q(M2),Q(M_1)\neq Q(M_2),

則 Π\Pi 對 QQ 破壞資訊。

這表示：

Π\Pi

把 query-relevant distinction 壓掉了。

本文稱：

QDP⁡(Π,Q).\operatorname{QDP}(\Pi,Q).

53. 語義非法升格與壓平是相反方向

有趣的是：

  • illegal lift 往往偷偷增加結構；
  • destructive flattening 往往偷偷刪除結構。

前者：

Γ→Γ+λ.\Gamma \rightarrow \Gamma+\lambda.

後者：

M→Π(M).M \rightarrow \Pi(M).

二者都可能造成錯誤唯一化。

因此 SRBC 可以把它們統合成：

Uncertified Semantic Transformation.\boxed{ \text{Uncertified Semantic Transformation}. }

54. 語義守恆

定義某 transformation：

TT

對查詢 QQ 語義守恆，若：

Q(M)=Q′(T(M))Q(M) = Q'(T(M))

對所有 admissible MM 成立。

如果沒有這種守恆證明，轉換後的結果就不能直接反向代表原問題。

這和舊「箭頭真假」中的語義守恆概念自然對接。

55. Arrow Certificate

對推理箭頭：

A→BA \rightarrow B

本文要求至少區分：

  1. 邏輯蘊含箭頭；
  2. 定義展開箭頭；
  3. 等價變換箭頭；
  4. 模型假設箭頭；
  5. 經驗歸納箭頭；
  6. 因果箭頭；
  7. default 箭頭；
  8. heuristic 箭頭。

如果箭頭型別不標記，就容易把：

⇝\rightsquigarrow

寫成：

⇒.\Rightarrow.

這是最常見的「箭頭幻覺」。

56. 箭頭強度錯配

若實際只有：

A⇝BA \rightsquigarrow B

表示 heuristic 或 default，

卻被寫成：

A⇒B,A\Rightarrow B,

就是 proof strength inflation。

形式上可寫：

Strength⁡(rendered arrow)>Strength⁡(licensed arrow).\operatorname{Strength}(\text{rendered arrow}) > \operatorname{Strength}(\text{licensed arrow}).

這是語義非法升格的一種符號層表現。

57. Monty Hall：知識不是策略

令：

C∈{d1,d2,d3}C \in \{d_1,d_2,d_3\}

為車的位置；

PP

為參賽者初選；

HH

為主持人開門；

KH(C)K_H(C)

表示主持人知道 CC ；

πH\pi_H

為主持人策略。

原句若明示：

KH(C)=1,K_H(C)=1,

仍不能只靠這一點推出：

πH=πstd.\pi_H = \pi_{\mathrm{std}}.

其中：

πstd\pi_{\mathrm{std}}

表示：

必定從參賽者未選的門中打開一扇羊門。

所以：

KH(C)=1⇏πH=πstd.\boxed{ K_H(C)=1 \not\Rightarrow \pi_H=\pi_{\mathrm{std}}. }

58. Monty Hall：觀察不是 protocol

假設這一次：

P=d1,P=d_1, H=d3,H=d_3,

且：

d3d_3

是羊門。

這只固定一次 observation：

Ot0.O_{t_0}.

它不自動固定：

∀t,πH,t=πstd.\forall t, \quad \pi_{H,t} = \pi_{\mathrm{std}}.

也不固定：

P(H=d3∣C=d1,P=d1).P(H=d_3\mid C=d_1,P=d_1).

所以：

observed goat opening⇏standard host protocol.\boxed{ \text{observed goat opening} \not\Rightarrow \text{standard host protocol}. }

59. Monty Hall：標準 protocol 可以合法加入

如果題目明示：

  1. 主持人知道車位置；
  2. 主持人必定開一扇未選羊門；
  3. 主持人必定提供換門；
  4. 若有兩扇可開羊門，依指定 tie-breaking rule 行動；

則這些都是：

Γstd\Gamma_{\mathrm{std}}

的一部分。

此時：

πH=πstd\pi_H=\pi_{\mathrm{std}}

不再是非法 lift。

後續：

P(switch wins)=23P(\text{switch wins})=\frac23

就是標準模型下的合法結果。

60. Monty Hall：真正要證的是 bridge，而不是答案

因此新版爭點不應是：

23=?12.\frac23 \stackrel{?}{=} \frac12.

真正要問：

Γoriginal⊨πH=πstd ?\boxed{ \Gamma_{\mathrm{original}} \models \pi_H=\pi_{\mathrm{std}} \ ? }

如果不能證：

Γoriginal⊨πH=πstd,\Gamma_{\mathrm{original}} \models \pi_H=\pi_{\mathrm{std}},

就要檢查：

πH=πstd\pi_H=\pi_{\mathrm{std}}

是否來自：

  • 顯式 convention；
  • 歷史遊戲背景；
  • 作者後續澄清；
  • 教科書標準化；
  • 或分析者自己補入。

這才是語義手術。

61. Monty Hall：兩模型模板

為 SRBC-06 預留：

模型 A：標準策略

MA:KH(C)=1,M_A: \quad K_H(C)=1, πH=πstd.\pi_H=\pi_{\mathrm{std}}.

在標準條件下：

Qswitch(MA)=23.Q_{\mathrm{switch}}(M_A) = \frac23.

模型 B：知情但非標準策略

MB:KH(C)=1,M_B: \quad K_H(C)=1,

但：

πH≠πstd.\pi_H\neq\pi_{\mathrm{std}}.

如果：

MBM_B

仍符合原句，

而：

Qswitch(MB)≠23,Q_{\mathrm{switch}}(M_B) \neq \frac23,

則：

QRU⁡.\operatorname{QRU}.

SRBC-06 的工作就是把「仍符合原句」證得足夠嚴格。

62. Semantic Lift Audit Procedure

第一代流程如下。

Step 1：抽取來源承諾

Γ0.\Gamma_0.

Step 2：列出分析中實際使用的承諾

ΓA.\Gamma_A.

Step 3：計算候選注入集

J={λ∈ΓA:Γ0⊭λ}.\mathcal J = \{ \lambda\in\Gamma_A: \Gamma_0\not\models\lambda \}.

Step 4：為每個 λ\lambda 尋找 provenance

分類為：

  • explicit；
  • theorem；
  • assumption；
  • convention；
  • default；
  • empirical；
  • hidden。

Step 5：搜尋 countermodel

對 hidden λ\lambda，尋找：

M1⊨Γ0+λ,M_1\models\Gamma_0+\lambda, M2⊨Γ0+¬λ.M_2\models\Gamma_0+\neg\lambda.

Step 6：檢查 query effect

計算：

Q(M1),Q(M2).Q(M_1), \quad Q(M_2).

Step 7：分類

若答案不同：

QueryHarmfulSIL⁡.\operatorname{QueryHarmfulSIL}.

若答案相同：

QueryNeutralSIL⁡.\operatorname{QueryNeutralSIL}.

63. Lift Audit Certificate

srbc_lift_audit:
  source_expression: u
  source_context: C
  source_constraints:
    - ...
  query: Q

  lift:
    source_claim: sigma
    target_claim: tau
    lift_type: policy
    source_scope: ...
    target_scope: ...

  bridge:
    status: absent
    entailment: false
    explicit_assumption: false
    convention: false
    external_rule: false
    provenance: unresolved

  countermodel_pair:
    model_a:
      satisfies_source: true
      satisfies_target: true
      answer: ...
    model_b:
      satisfies_source: true
      satisfies_target: false
      answer: ...

  query_effect:
    distinguishable: true

  classification:
    hidden_structure_injection: true
    semantic_illegal_lift: true
    query_harmful: true

64. Lift Audit 的三種結論

64.1 Licensed

存在有效 bridge：

CL.\mathcal C_L.

64.2 Unlicensed but Query-Neutral

缺 bridge，但：

Q(M)Q(M)

不受影響。

需要修正文稿，但不影響當前答案。

64.3 Unlicensed and Query-Harmful

缺 bridge，且：

∃M1,M2:Q(M1)≠Q(M2).\exists M_1,M_2: Q(M_1)\neq Q(M_2).

這是最嚴重狀態。

65. 不能只靠「一般人通常這樣理解」

自然語言慣例可以作為 evidence。

但：

CommonInterpretation⁡(λ)\operatorname{CommonInterpretation}(\lambda)

不等於：

Γ⊨λ.\Gamma\models\lambda.

它至多支持：

P(λ∣community convention)P(\lambda\mid\text{community convention})

較高。

如果論文主張的是：

在標準慣例下，解讀為 λ\lambda 最自然。

這可以成立。

但若主張：

原表述在邏輯上只允許 λ\lambda。

就需要更強證明。

66. 作者意圖也不是唯一語義的自動證明

假設作者後來說：

我當時就是這個意思。

這對 intended interpretation 很有力。

但仍要區分：

Intent⁡(A,λ)\operatorname{Intent}(A,\lambda)

與：

TextEntails⁡(u,λ).\operatorname{TextEntails}(u,\lambda).

作者意圖可以決定：

  • 應如何修訂題目；
  • 歷史上 intended model 是什麼；

但不能自動證明：

原字串本身沒有其他合法解讀.\text{原字串本身沒有其他合法解讀}.

67. 歷史慣例與文本語義是不同證據源

因此完整分析可寫：

Γ=Γtext∪Γcontext∪Γhistorical∪Γinstitutional.\Gamma = \Gamma_{\mathrm{text}} \cup \Gamma_{\mathrm{context}} \cup \Gamma_{\mathrm{historical}} \cup \Gamma_{\mathrm{institutional}}.

不同研究問題可以選不同 scope。

如果研究的是：

原始文字本身是否完備？

就主要看：

Γtext.\Gamma_{\mathrm{text}}.

如果研究的是：

1990 年讀者合理應如何理解？

則歷史 context 可能必須加入。

SRBC 不把這兩個問題混成一個。

68. Query-Indexed Legality

一個 lift 可能對某個 query 無害，對另一個 query 有害。

例如：

λ\lambda

改變主持人在兩隻羊時的 tie-breaking。

對：

Q1=P(switch wins)Q_1 = P(\text{switch wins})

可能不影響總體值。

但對：

Q2=P(C=d2∣H=d3)Q_2 = P(C=d_2\mid H=d_3)

可能有影響。

所以：

Harm⁡(L,Q1)≠Harm⁡(L,Q2).\operatorname{Harm}(L,Q_1) \neq \operatorname{Harm}(L,Q_2).

這就是為什麼升格審計必須接 SRBC-03 的 query indexing。

69. Minimal Harmful Lift Set

如果答案分岔需要多個 hidden commitments 共同作用，可定義最小有害注入集：

JQ∗=arg⁡min⁡J′{c(J′):AQΓ≠AQΓ∪J′}.\mathcal J_Q^* = \arg\min_{\mathcal J'} \left\{ c(\mathcal J'): \mathcal A_Q^{\Gamma} \neq \mathcal A_Q^{\Gamma\cup\mathcal J'} \right\}.

它回答：

最少哪些偷偷補入的結構，就足以改掉答案？

這將是 SRBC-05 的重要量化對象。

70. Minimal Repair

反過來，如果發現一個 illegal lift：

λ,\lambda,

修復方法不一定是刪除它。

可以：

  1. 將 λ\lambda 改標為 explicit assumption；
  2. 補 bridge proof；
  3. 補 domain rule；
  4. 限制結論 scope；
  5. 改成 conditional answer；
  6. 恢復被排除 completion；
  7. 重新定義 query。

因此：

repair≠always delete the stronger claim.\boxed{ \text{repair} \neq \text{always delete the stronger claim}. }

有時最小修復只是把來源寫清楚。

71. 條件式結論是合法修復

如果：

Γ⊭λ,\Gamma\not\models\lambda,

但在：

Γ+λ\Gamma+\lambda

下：

Q=a,Q=a,

則可以把：

答案是 aa

修復成：

若額外採用 λ\lambda，則答案為 aa。

形式上：

Γ+λ⊨Q=a.\Gamma+\lambda \models Q=a.

這種條件式輸出保留了計算成果，同時不偽造文本完備性。

72. SRBC 與 SREG 的接口

SREG-F03 已要求：

  • latent semantic field；
  • branch explicitness；
  • delayed commitment；
  • ambiguity debt；
  • semantic observability。

SRBC-04 增加：

LiftLedger⁡.\operatorname{LiftLedger}.

每個 branch 不只要記：

λ\lambda

還要記：

Origin⁡(λ),\operatorname{Origin}(\lambda), Scope⁡(λ),\operatorname{Scope}(\lambda), Bridge⁡(λ),\operatorname{Bridge}(\lambda), QueryEffect⁡(λ).\operatorname{QueryEffect}(\lambda).

這讓 SREG 的 ambiguity debt 進一步變成可追蹤的 injection debt。

73. Runtime 中的 Lift Guard

未來可建立：

LiftGuard⁡:(Γ,λ,Q)→{licensed,declared,hidden-neutral,hidden-harmful,unresolved}.\operatorname{LiftGuard} : (\Gamma,\lambda,Q) \rightarrow \{ \text{licensed}, \text{declared}, \text{hidden-neutral}, \text{hidden-harmful}, \text{unresolved} \}.

伺服流程：

parse→extract commitments→detect strength increase→seek bridge→countermodel search→query test.\text{parse} \rightarrow \text{extract commitments} \rightarrow \text{detect strength increase} \rightarrow \text{seek bridge} \rightarrow \text{countermodel search} \rightarrow \text{query test}.

74. AI 的常見非法升格

LLM 特別容易：

plausible completion→unstated certainty.\text{plausible completion} \rightarrow \text{unstated certainty}.

例如使用者只提供：

他知道門後是什麼。

模型可能自動補：

所以他必定故意避開汽車。

這個 completion 很合理。

但：

reasonable≠entailed.\text{reasonable} \neq \text{entailed}.

所以 AI 應標記：

Assumed⁡(πH=πstd)\operatorname{Assumed}(\pi_H=\pi_{\mathrm{std}})

而不是：

Given⁡(πH=πstd).\operatorname{Given}(\pi_H=\pi_{\mathrm{std}}).

75. AI 的另一個風險：過度反歧義

AI 也可能看到一個 minor ambiguity 就拒絕回答。

SRBC-03 已指出：

ΘQ0\Theta_Q^0

不需要全部解析。

SRBC-04 進一步要求：

只有當 hidden lift 會改變 QQ 時，才提升為高優先風險。

因此：

semantic caution≠paralysis.\boxed{ \text{semantic caution} \neq \text{paralysis}. }

76. 科學建模中的使用方式

科學論文可將：

Γobs\Gamma_{\mathrm{obs}}

觀測約束、

Γmodel\Gamma_{\mathrm{model}}

模型假設、

Γtheory\Gamma_{\mathrm{theory}}

理論橋接分開。

最後結論：

QQ

應標記依賴：

Q=Q(Γobs,Γmodel,Γtheory).Q = Q( \Gamma_{\mathrm{obs}}, \Gamma_{\mathrm{model}}, \Gamma_{\mathrm{theory}} ).

如此可避免：

model assumption\text{model assumption}

被倒灌成：

observation.\text{observation}.

77. 數學中的使用方式

數學形式化通常比自然語言更明確，但仍會發生：

  • domain 擴張；
  • quantifier strengthening；
  • hidden regularity assumption；
  • choice assumption；
  • continuity assumption；
  • finiteness assumption；
  • commutativity assumption。

因此 SRBC-04 不只是語言學。

它也可以作為 proof audit 的 meta-layer。

78. 程式規格中的使用方式

需求：

系統能處理失敗。

可能被工程師升格為：

系統會自動重試三次。

這是：

CanHandleFailure⁡⇏RetryCount⁡=3.\operatorname{CanHandleFailure} \not\Rightarrow \operatorname{RetryCount}=3.

若沒有 spec bridge，這只是 implementation completion。

所以：

implementation detail⇏requirement semantics.\boxed{ \text{implementation detail} \not\Rightarrow \text{requirement semantics}. }

79. 法律規則中的使用方式

法律文本中的：

  • 得；
  • 應；
  • 不得；
  • 原則上；
  • 除非；
  • 視為；

具有不同 modal burden。

若把：

May⁡\operatorname{May}

升格成：

Must⁡,\operatorname{Must},

就是典型 modal lift。

本文不提供法律結論，但可提供語義審計接口。

80. 教育中的使用方式

教學常把「方便版本」講成「原題本來就是這樣」。

SRBC 建議明確寫：

以下先採標準化版本。

然後列：

Γstd.\Gamma_{\mathrm{std}}.

這樣學生可以同時學到：

  1. 標準模型中的正確計算；
  2. 模型條件從哪來；
  3. 原語言與形式化之間不是透明同一。

81. Lift Robustness Test

對某個結論：

Q=a,Q=a,

可以測試逐一撤回升格：

ΓA∖{λi}.\Gamma_A \setminus \{\lambda_i\}.

如果撤回某 λi\lambda_i 後：

∣AQ∣>1,|\mathcal A_Q|>1,

則：

λi\lambda_i

是 query-critical commitment。

這種 leave-one-assumption-out 測試可以快速找出隱含核心假設。

82. Lift Sensitivity

定義：

SQ(λ)=d(AQΓ,AQΓ∪{λ}).S_Q(\lambda) = d \left( \mathcal A_Q^{\Gamma}, \mathcal A_Q^{\Gamma\cup\{\lambda\}} \right).

其中：

dd

是答案集合距離或任務特定差異量。

若：

SQ(λ)=0,S_Q(\lambda)=0,

該 lift 對 QQ 中性。

若：

SQ(λ)>0,S_Q(\lambda)>0,

則有 query effect。

SRBC-05 將進一步發展這類測度。

83. Lift Width

如果一個 lift 同時擴張多個負擔維度，可以定義：

W(L)=∥b(τ)−b(σ)∥.W(L) = \left\| \mathbf b(\tau) - \mathbf b(\sigma) \right\|.

但：

W(L)W(L)

大不代表一定非法。

它只表示 bridge burden 較高。

所以：

strength of lift≠illegality of lift.\boxed{ \text{strength of lift} \neq \text{illegality of lift}. }

非法性取決於證書與 provenance。

84. Lift Chain Compression Risk

若多個小 lift：

L1,…,LnL_1,\ldots,L_n

被自然語言壓成一句：

因此顯然……

就容易隱藏累積負擔。

定義：

Rchain=∑iW(Li)−W(Lrendered).R_{\mathrm{chain}} = \sum_i W(L_i) - W(L_{\mathrm{rendered}}).

若 rendered discourse 幾乎沒有展示中間步驟，而實際語義負擔很大，則 chain compression risk 高。

這是一個待 SRBC-05 量化的候選。

85. 不可見量詞

自然語言常省略量詞。

例如：

主持人開羊門。

可能指：

∃t,\exists t,

也可能在規則語境中指：

∀t.\forall t.

因此量詞本身可能是 completion slot：

θQ∈{∃,∀,usually⁡,this time⁡}.\theta_Q \in \{ \exists, \forall, \operatorname{usually}, \operatorname{this\ time} \}.

如果分析者未審計就選：

∀,\forall,

就可能發生 quantifier injection。

86. 不可見時間索引

同理：

規則是 RR。

可能隱含：

Rt0,R_{t_0},

也可能是：

∀t:Rt=R.\forall t:R_t=R.

所以 SRBC 建議在動態問題中把：

tt

顯式化。

這能阻止：

current→always\text{current} \rightarrow \text{always}

的無證書升格。

87. 不可見角色索引

命題：

知道汽車在哪裡。

必須問：

Kwho(C)?K_{\text{who}}(C)?

是：

KH(C)K_H(C)

主持人知道，

還是：

KP(C)K_P(C)

參賽者知道，

還是：

KN(C)K_N(C)

敘述者知道？

省略 role index 會造成 epistemic injection。

88. 不可見 policy index

句子：

主持人打開三號門。

至少可拆：

Ht0=d3,H_{t_0}=d_3,

但：

πH\pi_H

仍是另一個欄位。

若模型直接從：

Ht0=d3H_{t_0}=d_3

反推唯一：

πH,\pi_H,

就是 inverse generative lift。

一般來說：

Observation⁡→UniqueLatentPolicy⁡\operatorname{Observation} \rightarrow \operatorname{UniqueLatentPolicy}

並不成立。

89. 不可見概率空間

說：

機率是多少？

至少還需知道：

(Ω,F,P).(\Omega,\mathcal F,P).

自然語言可能未明說：

  • sample space；
  • measure；
  • conditioning；
  • policy；
  • trial protocol。

因此：

P(E)P(E)

不是只靠事件名稱 EE 就自動存在唯一值。

90. 第一代 Illegal Lift 定理

定理 90.1：非蘊含升格存在 countermodel

在經典模型論條件下，若：

Γ⊭λ,\Gamma\not\models\lambda,

則存在模型：

MM

使：

M⊨ΓM\models\Gamma

且：

M⊭λ.M\not\models\lambda.

因此，如果另一模型：

M′M'

滿足：

M′⊨Γ+λ,M'\models\Gamma+\lambda,

則：

M,M′M,M'

構成 lift distinction。

這是 illegal lift audit 的最基本理論後盾。

91. 第一代 Query-Harmful Lift 定理

若：

Γ⊭λ,\Gamma\not\models\lambda,

且存在：

M0,M1∈Mod⁡(Γ)M_0,M_1 \in \operatorname{Mod}(\Gamma)

使：

M0⊨¬λ,M_0\models\neg\lambda, M1⊨λ,M_1\models\lambda,

並且：

Q(M0)≠Q(M1),Q(M_0)\neq Q(M_1),

則把 λ\lambda 無標記加入原語義，會排除至少一個 query-distinguishable admissible model。

因此若 λ\lambda 被當成 text-given commitment，則構成 query-harmful hidden structure injection。

92. 第一代 Conservative Lift 定理

若：

Γ⊨λ,\Gamma\models\lambda,

則：

Mod⁡(Γ)=Mod⁡(Γ+λ).\operatorname{Mod}(\Gamma) = \operatorname{Mod}(\Gamma+\lambda).

故對任意固定 QQ：

AQΓ=AQΓ+λ.\mathcal A_Q^{\Gamma} = \mathcal A_Q^{\Gamma+\lambda}.

因此可證後果的顯式化不改變 completion answer space。

這提供「合法升格」的最乾淨基準。

93. Semantic Backprojection Prohibition

如果：

λ\lambda

只在：

BiB_i

branch 成立，

則不得執行：

Bi→ΓtextB_i \rightarrow \Gamma_{\mathrm{text}}

的反投影。

除非：

∀M∈I(u,C):M⊨λ.\forall M\in\mathfrak I(u,C): M\models\lambda.

也就是：

Γ⊨λ.\Gamma\models\lambda.

因此：

Branch Truth⇏Source Truth.\boxed{ \text{Branch Truth} \not\Rightarrow \text{Source Truth}. }

94. Proof Backprojection Prohibition

同理：

Proof⁡(Bi⊢ϕ)\operatorname{Proof}(B_i\vdash\phi)

不能推出：

Γ⊢ϕ\Gamma\vdash\phi

除非：

Γ⊢Bi\Gamma\vdash B_i

或已證：

BiB_i

對 ϕ\phi 是可消去假設。

所以：

proof validity≠assumption validity.\boxed{ \text{proof validity} \neq \text{assumption validity}. }

95. Simulation Backprojection Prohibition

如果 simulation 實作：

S(Mi),S(M_i),

得到：

a^,\hat a,

則：

S(Mi)→a^S(M_i)\rightarrow\hat a

可以驗證模型行為。

但不能推出：

u→Miu\rightarrow M_i

是唯一合法解析。

所以：

simulation can validate dynamics after formalization,\boxed{ \text{simulation can validate dynamics after formalization,} }

但：

simulation cannot by itself validate uniqueness of the formalization.\boxed{ \text{simulation cannot by itself validate uniqueness of the formalization.} }

96. Formalization Backprojection Prohibition

形式化：

F(u)=ϕF(u)=\phi

可能只是：

ϕ∈Cand⁡(u,C).\phi\in\operatorname{Cand}(u,C).

除非：

∀ϕ′∈Cand⁡(u,C):ϕ′≡ϕ,\forall\phi' \in \operatorname{Cand}(u,C): \phi'\equiv\phi,

否則不能把：

FF

的輸出當成原句唯一語義。

這是 SRBC-02、03、04 三篇共同的核心。

97. 與 Monty Hall 舊論證的修正關係

舊線已提出：

  • 視角混淆；
  • 信息結構缺陷；
  • 概率類型問題；
  • 模擬類型錯誤；
  • 時序本體壓平；
  • 箭頭幻覺。

SRBC-04 不否定這些觀察。

但它要求更強形式。

舊式：

這裡可能偷換了視角。

新版：

IN⊈IPI_N\not\subseteq I_P

且必須找出被加入的：

λepi.\lambda_{\mathrm{epi}}.

舊式：

單次事件被當成規則。

新版：

Et0⊭∀t:Et,E_{t_0} \not\models \forall t:E_t,

並建立 countermodel。

舊式：

模擬預設了規則。

新版：

Γsim=Γtext+J,\Gamma_{\mathrm{sim}} = \Gamma_{\mathrm{text}} + \mathcal J,

並審計：

J.\mathcal J.

這就是本系列論證強度提升的真正位置。

98. 本文的八個核心原理

原理一：升格非原罪

Semantic Lift≠Semantic Error.\boxed{ \text{Semantic Lift} \neq \text{Semantic Error}. }

錯誤在無證書、無 provenance、無標記卻假裝來源已承諾。

原理二：來源不足不等於命題為假

Γ⊭λ⇏¬λ.\boxed{ \Gamma\not\models\lambda \not\Rightarrow \neg\lambda. }

原理三：更強 scope 需要 bridge

Scope⁡(σ)⊊Scope⁡(τ)⇒bridge burden increases.\boxed{ \operatorname{Scope}(\sigma) \subsetneq \operatorname{Scope}(\tau) \Rightarrow \text{bridge burden increases}. }

原理四：event 不等於 policy

Et0⇏π.\boxed{ E_{t_0} \not\Rightarrow \pi. }

原理五：knowledge 不等於 action rule

KA(X)⇏πA.\boxed{ K_A(X) \not\Rightarrow \pi_A. }

原理六：branch 不得反投影成 text

λ∈Bi⇏λ∈Γtext.\boxed{ \lambda\in B_i \not\Rightarrow \lambda\in\Gamma_{\mathrm{text}}. }

原理七：query effect 決定升格風險

hidden lift+query effect=high-priority semantic risk.\boxed{ \text{hidden lift} + \text{query effect} = \text{high-priority semantic risk}. }

原理八：合法修復可以是條件化而非刪除

Γ+λ⊨Q=a\boxed{ \Gamma+\lambda\models Q=a }

可以誠實輸出成：

若採 λ\lambda，則 Q=aQ=a。

99. 可證偽性

本文框架應在以下情況被削弱或修正：

  1. 若無法操作性區分合法 bridge 與 hidden injection；
  2. 若 lift taxonomy 無法在實際文本中提高審計一致性；
  3. 若 query-sensitive lift analysis 無法比一般「找假設」方法提供額外資訊；
  4. 若 countermodel pair 無法穩定判定關鍵升格；
  5. 若 source / target scope 無法在形式化案例中定義；
  6. 若 provenance ledger 對模型審計無實質價值；
  7. 若 Monty Hall 中被指稱的 knowledge-to-policy、event-to-protocol lift 實際可由原文本嚴格推出；
  8. 若 SRBC-06 最終找不到同時滿足原表述、但在 query 上可區分的合法 completion。

100. 研究限制

本文尚未完成：

  • lift burden vector 的唯一公理化；
  • natural-language lift detector；
  • bridge certificate 的通用 proof calculus；
  • default reasoning 與 entailment 的統一；
  • empirical induction 的合法升格閾值；
  • causal lift 的完整 typed hierarchy；
  • modal lift 的完整 Kripke-semantics 對接；
  • infinite-domain scope lift 的一般判定性；
  • hidden injection debt 的完整測度；
  • chain compression risk 的實證校準；
  • Monty Hall 最終逐字語義解析。

因此 SRBC-04 是語義升格審計的第一代框架，不是自然語言推理錯誤的終極分類學。

101. 下一篇：GAP 的量化

SRBC-01 建立：

representation bounds.\text{representation bounds}.

SRBC-02 建立：

I(u,C).\mathfrak I(u,C).

SRBC-03 建立：

GQ(u,C).\mathfrak G_Q(u,C).

SRBC-04 建立：

Γ→Γ+J\Gamma \rightarrow \Gamma+\mathcal J

的升格與注入審計。

下一篇 SRBC-05 將正式研究：

GAP 到底有多大？\boxed{ \text{GAP 到底有多大？} }

包括：

ΔQ,\Delta_Q, Dinj,Q,D_{\mathrm{inj},Q}, κQ,\kappa_Q, W(L),W(L),

以及最小閉合成本、語義寬度、branch 距離與 closure debt。

102. 結論

一段自然語言到形式答案之間，真正危險的地方往往不是最後一行計算。

而是：

在計算開始之前，哪些結構已經被偷偷加進去了？\boxed{ \text{在計算開始之前，哪些結構已經被偷偷加進去了？} }

SRBC-04 因此把推理拆成：

Γtext→Γanalysis→M→Q(M).\Gamma_{\mathrm{text}} \rightarrow \Gamma_{\mathrm{analysis}} \rightarrow M \rightarrow Q(M).

若：

Γanalysis=Γtext+J,\Gamma_{\mathrm{analysis}} = \Gamma_{\mathrm{text}} + \mathcal J,

則真正要審計的是：

J.\mathcal J.

其中一部分可能完全合法：

Jdeclared.\mathcal J_{\mathrm{declared}}.

另一部分則可能是：

Jhidden.\mathcal J_{\mathrm{hidden}}.

當：

λ∈Jhidden\lambda \in \mathcal J_{\mathrm{hidden}}

又改變：

AQ,\mathcal A_Q,

便形成：

Query-Harmful Semantic Illegal Lift.\boxed{ \text{Query-Harmful Semantic Illegal Lift}. }

因此，本文不是反對：

  • 抽象；
  • 一般化；
  • 模型化；
  • 因果推論；
  • 概率建模；
  • convention；
  • default；
  • 語義 completion。

本文只要求：

升格必須知道自己是升格。\boxed{ \text{升格必須知道自己是升格。} }

如果是 theorem，就標 theorem。

如果是 assumption，就標 assumption。

如果是 convention，就標 convention。

如果是 default，就標 default。

如果是 branch，就標 branch。

如果是 text-given，就必須能回到 text 或合法 context。

這使推理鏈：

A→B→CA\rightarrow B\rightarrow C

不再只是表面上「順」。

而是每一支箭頭都有：

type,scope,provenance,bridge,query effect.\boxed{ \text{type}, \quad \text{scope}, \quad \text{provenance}, \quad \text{bridge}, \quad \text{query effect}. }

對 Monty Hall 而言，這一篇也把下一步說得非常清楚。

我們不必再爭：

2/32/3 到底神不神奇？

真正要做的是把原始文字拆成：

Γoriginal,\Gamma_{\mathrm{original}},

把標準模型拆成：

Γstandard,\Gamma_{\mathrm{standard}},

然後計算：

J=Γstandard∖Cn⁡(Γoriginal).\mathcal J = \Gamma_{\mathrm{standard}} \setminus \operatorname{Cn} \left( \Gamma_{\mathrm{original}} \right).

接著逐一問：

這些新增 commitment，哪些有 bridge，哪些沒有？\boxed{ \text{這些新增 commitment，哪些有 bridge，哪些沒有？} }

最後才進：

Qswitch.Q_{\mathrm{switch}}.

這樣，三門問題第一次不再只是「直覺 vs. 標準答案」的老爭論。

它會成為一個真正可執行的：

Formal Semantic Surgery Benchmark.\boxed{ \text{Formal Semantic Surgery Benchmark}. }

參考與前置文件

SRBC / SREG 內部前置

  1. Neo.K with Aletheia. 《SRBC-01｜符號表徵邊界：符號、符號域與概念承載上下限》. EveMissLab, 2026.
  2. Neo.K with Aletheia. 《SRBC-02｜語義完成空間：從單一表述到形式模型族》. EveMissLab, 2026.
  3. Neo.K with Aletheia. 《SRBC-03｜查詢相對完備性：自然語言歧義的形式判準》. EveMissLab, 2026.
  4. Neo.K with Aletheia. 《SREG-F03｜形式化壓縮與低歧義數學生成》. EveMissLab, 2026.
  5. Neo.K with Aletheia. 《SREG-F07｜脈衝閉包的廣義 Gödel 邊界》. EveMissLab, 2026.
  6. Neo.K. 《三門問題的敘述歧義分析：視角混淆與信息結構缺陷的系統性研究》. EveMissLab, 2026.
  7. Neo.K. 《三門問題的概率定義缺陷：補充研究》. EveMissLab, 2026.
  8. Neo.K. 《三門問題的本體論層缺陷：補充研究》. EveMissLab, 2026.
  9. Neo.K with GPT-5.5 Thinking. 《三門問題作為箭頭幻覺案例：從視角混淆、概率類型錯誤到時序本體壓平的推理路徑審計》. EveMissLab, 2026.

外部理論背景

  1. Tarski, A. Logic, Semantics, Metamathematics. Oxford University Press, 1956.
  2. Kripke, S. A. "Semantical Considerations on Modal Logic." Acta Philosophica Fennica, 16, 83-94, 1963.
  3. Lewis, D. Counterfactuals. Harvard University Press, 1973.
  4. Kamp, H., & Reyle, U. From Discourse to Logic. Kluwer Academic Publishers, 1993.
  5. Reyle, U. "Dealing with Ambiguities by Underspecification: Construction, Representation and Deduction." Journal of Semantics, 10(2), 123-179, 1993.
  6. Pearl, J. Causality: Models, Reasoning, and Inference. 2nd ed., Cambridge University Press, 2009.
  7. Halpern, J. Y. Actual Causality. MIT Press, 2016.
  8. van Fraassen, B. C. The Scientific Image. Oxford University Press, 1980.

版本註記

v0.1 / 2026-09-23

  • 正式建立 Semantic Lift 與語義負擔向量；
  • 區分可證升格、顯式假設升格、約定升格與制度規則升格；
  • 建立 Hidden Structure Injection；
  • 建立 Semantic Illegal Lift；
  • 明確區分「未被來源證成」與「命題為假」；
  • 建立 conservative semantic extension 與 non-conservative strengthening；
  • 建立 Bridge Certificate；
  • 將 SREG Scope Mismatch Principle 轉入 SRBC；
  • 建立存在到全稱、事件到法則、知識到策略、能力到執行、觀察到生成機制、局部到全域、當下到跨時不變、條件到無條件、相關到因果、可能到必然、樣本比例到概率律、對稱到等概率、敘述者到參與者、branch 到 text、模型驗證到文本完備等非法升格族；
  • 建立 Semantic Lift Lattice；
  • 建立語義注入集 J\mathcal J ；
  • 建立 hidden injection debt；
  • 建立 query-harmful lift 與 Hidden Semantic Collapse；
  • 建立 Lift Countermodel Pair；
  • 建立 query-sensitive lift countermodel；
  • 修正舊本體論壓平觀點，區分 query-preserving projection 與 query-destructive projection；
  • 建立 Arrow Certificate 與 proof-strength inflation；
  • 建立 Monty Hall knowledge-to-policy 與 event-to-protocol 接口；
  • 建立 Lift Audit Procedure 與 Lift Audit Certificate；
  • 建立 Minimal Harmful Lift Set、Minimal Repair、Lift Sensitivity 與 Runtime Lift Guard；
  • 為 SRBC-05 GAP Measurement 與 SRBC-06 Monty Hall Semantic Surgery 建立直接形式接口。