--- title: "語義完成空間：從單一表述到形式模型族" english_title: "Semantic Completion Space: From a Single Expression to a Family of Formal Models" series: "SRBC：符號表徵邊界與語義完備性理論" series_english: "SRBC: Symbolic Representation Bounds and Semantic Completion" series_number: "SRBC-02/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 Completion Space: From a Single Expression to a Family of Formal Models **系列：**《SRBC：符號表徵邊界與語義完備性理論》SRBC-02/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、語義 signature、branch、constraint、provenance、版本、轉譯規則與驗證證書。 --- # 摘要 自然語言與一般符號表述經常被形式化成單一數學模型，接著分析者直接在該模型中推導結果。這一流程在模型已被完整指定時沒有問題；但若原表述仍保留未解析的量詞、指涉、時序、策略、因果、認知、生成規則或上下文自由度，則「選定一個形式模型」與「證明原表述唯一決定該模型」是兩件不同的事。若兩者未被區分，形式化本身可能成為語義注入來源，並使後續嚴格推導看似證明了原句，實際上只證明了某個被分析者選中的完成版本。 SRBC-01 已建立符號在給定表示系統、上下文、有限主體與任務下具有動態表徵包絡，而非固定宇宙級單義映射。本文在此基礎上提出 **語義完成空間（Semantic Completion Space）**。對表述 $u$ 、上下文 $C$ 與形式化框架 $\Gamma$，本文不預設： $$ u \mapsto \mathcal M^{\ast}, $$ 而改以： $$ u \mapsto \mathfrak I_{\Gamma}(u,C) = \{ \mathcal M: \mathcal M \text{ 是 }u\text{ 在 }C\text{ 下的可接受完成} \}. $$ 本文將「完成」與「任意解讀」嚴格區分。可接受完成必須保存表述的硬語義承諾、滿足型別與 domain 約束、不與已給上下文衝突，且所有非由原表述必然推出、但為了形成可執行模型而加入的 branch-specific commitments，都必須保留來源標記，不能被回寫成原表述本身已經承諾的內容。 為此，本文引入語義責任分解。令 $\operatorname{Th}(\mathcal M)$ 表示完成模型 $\mathcal M$ 中成立的命題集合，則原表述在給定完成協議下可保守歸責的語義核心定義為： $$ \operatorname{Core}_{\Gamma}(u,C) = \bigcap_{\mathcal M\in\mathfrak I_{\Gamma}(u,C)} \operatorname{Th}(\mathcal M). $$ 相對地，所有可由某些合法完成承載的命題形成語義包絡： $$ \operatorname{Env}_{\Gamma}(u,C) = \bigcup_{\mathcal M\in\mathfrak I_{\Gamma}(u,C)} \operatorname{Th}(\mathcal M). $$ 因此單一完成模型中的命題 $\varphi$ 若不位於 $\operatorname{Core}_{\Gamma}(u,C)$，就不能在沒有額外證明時被歸因為原句的必然語義。本文稱此原理為 **完成不可倒灌原理（Non-Backprojection Principle）**。 本文進一步建立偏序化的部分完成空間。原表述首先形成一個仍含 open slots 的語義狀態 $P_0$ ；後續解析、上下文加入、定義補充與形式化選擇使其沿 refinement relation $\sqsubseteq$ 向下游分支： $$ P_0 \sqsubseteq P_1 \sqsubseteq \cdots \sqsubseteq \mathcal M. $$ 不同分支可以最後重新合併，也可能保持不可約差異。這一結構直接對接 SREG-F03 的 latent semantic field、candidate formalization family、delayed commitment 與 ambiguity debt，但本文額外要求每一個完成步驟攜帶 provenance，從而區分：文本給定、上下文給定、詞彙／語法解析、默認補全、分支假設、推論產物與外部注入。 本文不宣稱「自然語言永遠多義」，也不宣稱「所有表述都有很多完成」。相反地，本文提供一個可反駁的框架：若在指定的語義 signature、上下文、完成規則與獨立形式化程序下，所有合法 refinement 都收斂至同一模型同構類，則該表述可在該框架中視為完成唯一。真正需要被證明的不是「人可能想像其他版本」，而是是否存在至少兩個不違反原表述硬約束的完成模型。 這使後續 SRBC 可以把「自然語言有 GAP」從直覺性批評提升為模型構造問題。SRBC-03 將在本文的完成模型族之上加入查詢 $Q$，研究多個完成是否真的導致不同答案，從而建立 **查詢相對完備性**。本文因此是從符號表徵邊界走向可驗證語義欠決定的第二個基礎層。 **關鍵詞：** SRBC、SREG、語義完成空間、underspecification、形式模型族、語義核心、語義包絡、語義 provenance、形式化注入、自然語言、語義欠決定、部分完成、模型族、分支形式化 --- # 0. 研究定位：形式化不是唯一化證明 考慮一段自然語言表述： > 每一位學生都讀了一本書。 它可以被形式化為： $$ \forall x \left( \operatorname{Student}(x) \rightarrow \exists y \left( \operatorname{Book}(y) \land \operatorname{Read}(x,y) \right) \right), $$ 也可能在特定語境下被解析為： $$ \exists y \left( \operatorname{Book}(y) \land \forall x \left( \operatorname{Student}(x) \rightarrow \operatorname{Read}(x,y) \right) \right). $$ 兩個公式都很嚴格。 但： $$ \boxed{ \text{嚴格公式} \neq \text{原句唯一語義的證明}. } $$ 一旦分析者直接選擇第一個公式，後續 theorem proving、simulation、probability calculation 或 program execution 都可能完全正確；然而這只能證明： $$ \boxed{ \text{在該形式化分支中，結果是正確的。} } $$ 它不能自動證明： $$ \boxed{ \text{原表述只允許這個形式化分支。} } $$ 這個區分，是 SRBC-02 的起點。 --- # 1. 從 SRBC-01 到 SRBC-02 SRBC-01 的核心不是宣稱符號單義，而是建立： $$ \mathbb B_{A,C,Q}^{\Lambda}(s) = \left[ \underline{\mathcal B}_{A,C,Q}^{\Lambda}(s), \overline{\mathcal B}_{A,C,Q}^{\Lambda}(s) \right], $$ 表示符號在指定表示系統、上下文、主體與任務下具有身份保持的動態表徵區間。 因此，對一個由多個符號與語法關係構成的表述 $u$，其語義不應被先驗理解成： $$ \operatorname{Sem}(u)=m. $$ 更保守的第一步是： $$ \operatorname{Sem}(u) \leadsto \text{一組被語法、詞彙、上下文與明示條件限制的候選結構}. $$ 也就是說，SRBC-01 研究的是： $$ \boxed{ \text{單一符號或符號組合可合法承載的範圍。} } $$ SRBC-02 研究的是： $$ \boxed{ \text{當這些範圍仍保留自由度時，完整形式模型如何形成。} } $$ --- # 2. 與 SREG-F03 的關係：從 latent semantic field 到 completion space SREG-F03 已經提出一個重要方向：形式化不應強迫過早單一路徑，而應保存： - latent semantic field； - candidate formalization family； - delayed commitment； - branch merge； - ambiguity debt； - interpreter sensitivity； - reopen sensitivity。 其核心是： $$ \boxed{ \text{語義自由度應被顯式化，而不是被形式化偷偷消滅。} } $$ SRBC-02 在這個方向上增加三個要求。 第一，候選 branch 必須回答： $$ \boxed{ \text{它為什麼仍是原表述的合法完成？} } $$ 第二，每一個新增 commitment 必須回答： $$ \boxed{ \text{它來自文本、上下文、詞彙規則、默認、分支選擇，還是分析者外部注入？} } $$ 第三，選中某一 branch 後，不允許把 branch-specific commitment 反向歸責給原表述，除非證明它在所有可接受完成中都成立。 因此 SRBC-02 將 SREG 的 branch exploration 轉化為可審計的 semantic completion system。 --- # 3. 相關形式語義傳統：本文不把「多個可能語義」當成新發明 自然語言形式語義學早已處理多義、scope ambiguity、context dependence 與 underspecification。 Reyle 的 underspecified semantics 直接使用 meta-level constraints 限制一組可能語義表示，而不是一開始枚舉並承諾單一 fully specified structure。Minimal Recursion Semantics 同樣以較少預先結構化的語義表示支援 parsing 與 generation，尤其適合保留 scope 關係的未決性。Discourse Representation Theory 則把 discourse interpretation 視為隨語句進入而逐步建構與更新的 representation。 因此本文的研究主張不是： $$ \boxed{ \text{自然語言可能有多個解讀。} } $$ 這並不新。 本文真正要增加的是： 1. 將 SRBC-01 的符號表徵邊界接到模型完成； 2. 把 linguistic ambiguity 擴展到 policy、time、causality、epistemic state、generation mechanism、probability protocol 等形式化維度； 3. 區分 text-responsible semantics 與 completion-responsible semantics； 4. 為每一個 completion commitment 保存 provenance； 5. 建立「單一 branch 的嚴格結果不能證明原表述只有該 branch」的審計原理； 6. 為下一篇 query-relative completeness 提供 model family。 --- # 4. 語義 frame 本文不討論脫離任何背景的「絕對語義」。 定義語義 frame： $$ \Gamma = ( \Lambda, C, \Sigma_{\Gamma}, \mathcal R_{\Gamma}, \mathcal D_{\Gamma} ). $$ 其中： - $\Lambda$：表示系統； - $C$：可用上下文； - $\Sigma_{\Gamma}$：形式語義 signature； - $\mathcal R_{\Gamma}$：允許的解析、refinement 與 completion rules； - $\mathcal D_{\Gamma}$：domain、type 與 admissibility constraints。 對不同 $\Gamma$，同一表述的完成空間可以不同： $$ \mathfrak I_{\Gamma_1}(u,C) \neq \mathfrak I_{\Gamma_2}(u,C). $$ 這不是 bug。 真正需要避免的是在沒有聲明 frame 改變時，偷偷把一個 frame 的規則拿去證明另一個 frame 的唯一性。 --- # 5. 表述、約束與 open slots 令： $$ u\in L^{\ast} $$ 為某語言或符號系統中的有限表述。 在 frame $\Gamma$ 中，解析器不應立刻輸出單一模型，而先產生一個 **語義約束狀態**： $$ \mathcal K_{\Gamma}(u,C) = ( K^{\mathrm{hard}}, K^{\mathrm{def}}, Z^{\mathrm{open}} ). $$ 其中： ## 5.1 硬約束 $$ K^{\mathrm{hard}} $$ 表示若違反就不能再合理稱為原表述完成的 commitment。 例如： > Alice opened door 3. 若語境已固定 Alice 與 door 3 的指涉，則任何合法完成都必須保留： $$ \operatorname{Opened}(Alice,d_3). $$ --- ## 5.2 可撤銷／默認約束 $$ K^{\mathrm{def}} $$ 表示由一般語用、世界知識或預設規則支持，但可被後續資訊取消的內容。 它們不能與硬約束等價處理。 --- ## 5.3 未決槽位 $$ Z^{\mathrm{open}} = \{z_1,z_2,\ldots\} $$ 表示若要形成更完整的形式模型，仍需被解析、指定或保持分支的維度。 可能包括： - quantifier scope； - pronoun reference； - time interval； - causal direction； - agent policy； - knowledge accessibility； - action-selection rule； - probability kernel； - tie-breaking rule； - domain boundary； - type； - counterfactual regime； - observation protocol。 這些 open slots 不代表原表述錯誤。 它只表示： $$ \boxed{ \text{原表述尚未把所有形式化自由度壓成單一值。} } $$ --- # 6. 形式模型 給定 signature $\Sigma_{\Gamma}$，令一個形式模型為： $$ \mathcal M = \left\langle D, \{R_i\}_{i\in I}, \{F_j\}_{j\in J}, \{c_k\}_{k\in K}, \nu \right\rangle_{\Sigma_{\Gamma}}, $$ 其中： - $D$ 為 domain； - $R_i$ 為關係； - $F_j$ 為函數或 operator； - $c_k$ 為常元； - $\nu$ 為 valuation / interpretation。 若研究對象涉及時間、策略或概率，可擴充為： $$ \mathcal M^{+} = ( \mathcal M, T, \Pi, \mathbb P, \mathcal O, \mathcal H ), $$ 其中： - $T$：時間結構； - $\Pi$：策略或 policy family； - $\mathbb P$：概率核或測度； - $\mathcal O$：觀察結構； - $\mathcal H$：歷史狀態。 SRBC 不要求所有問題都塞進同一個超模型。 相反地，signature 應由研究問題決定，並且顯式聲明。 --- # 7. 語義完成 定義一個 partial semantic state： $$ P = ( K_P, Z_P, \rho_P ), $$ 其中： - $K_P$：目前已承諾 constraints； - $Z_P$：尚未完成的 slots； - $\rho_P$：provenance ledger。 若： $$ Z_P\neq\varnothing, $$ 則 $P$ 仍是部分完成。 若在指定研究需求下所有必要 slot 已解析，則可得到一個完成模型： $$ P \rightsquigarrow \mathcal M. $$ 重要的是，completion 不是「發現原句裡早已明寫的所有秘密」。 它包含： $$ \boxed{ \text{把未決自由度變成可操作形式狀態。} } $$ 因此 completion 產生的新增 commitment 必須被標記，而不能偽裝成 text entailment。 --- # 8. 可接受完成 本文定義： $$ \operatorname{AdmComp}_{\Gamma} ( \mathcal M \mid u,C ) $$ 表示 $\mathcal M$ 是 $u$ 在 $C$ 與 $\Gamma$ 下的一個可接受完成。 至少要求以下條件。 ## 8.1 硬約束保存 $$ \mathcal M \models K^{\mathrm{hard}}. $$ --- ## 8.2 型別合法 所有新增值必須位於對應 slot 的 admissible type/domain： $$ z_i \in \operatorname{Dom}_{\Gamma}(z_i). $$ --- ## 8.3 上下文相容 若 $C$ 已固定某些資訊，完成不得任意反寫： $$ \mathcal M \not\models \neg C^{\mathrm{hard}}. $$ --- ## 8.4 無未標記注入 若： $$ \varphi \in \operatorname{Th}(\mathcal M) $$ 但： $$ K^{\mathrm{hard}} \not\models \varphi, $$ 則 $\varphi$ 必須有 provenance 標記，不能被標成 text-hard。 --- ## 8.5 完成規則合法 每一步 refinement 必須屬於： $$ \mathcal R_{\Gamma}. $$ 否則它不是「完成」，而是另開一個新問題或新版本。 --- # 9. 語義完成空間 因此定義： $$ \boxed{ \mathfrak I_{\Gamma}(u,C) = \left\{ \mathcal M : \operatorname{AdmComp}_{\Gamma} ( \mathcal M \mid u,C ) \right\}. } $$ 這是本文核心物件。 如果： $$ |\mathfrak I_{\Gamma}(u,C)|=1, $$ 則在目前 frame 下，表述可能有唯一完成。 如果： $$ |\mathfrak I_{\Gamma}(u,C)|>1, $$ 則仍有多個合法完成。 如果： $$ \mathfrak I_{\Gamma}(u,C)=\varnothing, $$ 則至少有三種可能： 1. 表述與上下文自相矛盾； 2. signature / completion protocol 太弱； 3. 分析器錯誤地排除了合法解讀。 因此空集合本身也不是自動證明語句無意義。 --- # 10. 完成空間不是「任何人想怎麼解讀都可以」 這是本文必須特別防止的誤解。 若沒有 admissibility constraints，則可以對任何句子任意添加內容，得到無限多模型。 例如： > Alice opened the door. 若分析者加入： > Alice 同時是火星總統，而且門後有一台量子電腦。 這不是有意義的 semantic completion。 因此 SRBC 的完成空間不是： $$ \text{all imaginable worlds}. $$ 而是： $$ \boxed{ \text{all models reachable by declared, constraint-preserving completion rules}. } $$ 這也是為什麼本文把： $$ \Gamma $$ 與： $$ \mathcal R_{\Gamma} $$ 寫進正式定義。 --- # 11. Completion 與 Extension 的區分 若一個新增內容只是為了替未決 slot 選值，例如： $$ z_{\mathrm{scope}} = \forall\exists, $$ 它可以是 completion。 但若新增內容超出原本 signature 與 open-slot family，例如： > 再假設這個人同時欠銀行一百萬元。 則這通常是： $$ \operatorname{Extension}(u), $$ 不是： $$ \operatorname{Completion}(u). $$ 形式上，可要求 completion 的新 commitment 滿足： $$ \operatorname{Need}_{\Gamma} ( \varphi \mid Z^{\mathrm{open}} ) =1 $$ 或至少屬於由既有 slot、constraint 或 inference closure 所產生的合法結構。 這一界線不是永遠絕對，但必須在 protocol 中聲明。 --- # 12. Completion 與 Repair 的區分 若原表述有明顯錯字、矛盾或語法破裂，分析者可能進行 repair。 例如： $$ u \rightarrow u'. $$ 此時模型應歸屬： $$ \mathfrak I_{\Gamma}(u',C), $$ 而不是假裝： $$ \mathcal M \in \mathfrak I_{\Gamma}(u,C) $$ 且沒有任何改寫。 因此 canonical audit 必須區分： - parse； - completion； - extension； - repair； - reinterpretation。 這能避免大量自然語言論證把「我替你修好了」寫成「你本來就這樣說」。 --- # 13. 語義核心 對任何完成模型 $\mathcal M$，令： $$ \operatorname{Th}(\mathcal M) $$ 表示在指定語言中由 $\mathcal M$ 滿足的命題集合。 定義原表述在 frame $\Gamma$ 下的 **完成不變核心**： $$ \boxed{ \operatorname{Core}_{\Gamma}(u,C) = \bigcap_{\mathcal M\in\mathfrak I_{\Gamma}(u,C)} \operatorname{Th}(\mathcal M). } $$ 這表示： $$ \varphi \in \operatorname{Core}_{\Gamma}(u,C) $$ 當且僅當： $$ \forall \mathcal M \in \mathfrak I_{\Gamma}(u,C), \quad \mathcal M\models\varphi. $$ 因此 core 是在目前 admissibility protocol 下，可以保守地視為完成不變的內容。 --- # 14. 語義包絡 定義： $$ \boxed{ \operatorname{Env}_{\Gamma}(u,C) = \bigcup_{\mathcal M\in\mathfrak I_{\Gamma}(u,C)} \operatorname{Th}(\mathcal M). } $$ 這表示所有合法完成中「至少在某一 branch 成立」的命題。 必須注意： $$ \operatorname{Env}_{\Gamma}(u,C) $$ 通常不能被當成一個共同 theory。 因為可能存在： $$ \varphi \in \operatorname{Env}_{\Gamma}(u,C) $$ 以及： $$ \neg\varphi \in \operatorname{Env}_{\Gamma}(u,C). $$ 兩者分別屬於不同 completion branch，並不代表原句自相矛盾。 因此： $$ \boxed{ \text{union of possible commitments} \neq \text{joint commitment}. } $$ --- # 15. 語義責任分解 給定： $$ \mathcal M \in \mathfrak I_{\Gamma}(u,C), $$ 可以把其 theory 分解為： $$ \operatorname{Th}(\mathcal M) = \operatorname{Core}_{\Gamma}(u,C) \cup \operatorname{Branch}_{\Gamma}(\mathcal M\mid u,C). $$ 其中： $$ \operatorname{Branch}_{\Gamma} ( \mathcal M\mid u,C ) = \operatorname{Th}(\mathcal M) \setminus \operatorname{Core}_{\Gamma}(u,C). $$ 因此： - Core：可保守歸責給目前表述與 frame 的完成不變內容； - Branch：為了形成這個特定模型而加入、解析或推得，但不一定屬於所有合法完成的內容。 這個分解是後續自然語言手術的核心。 --- # 16. 完成不可倒灌原理 本文提出： $$ \boxed{ \varphi \in \operatorname{Th}(\mathcal M) \not\Rightarrow \varphi \in \operatorname{Core}_{\Gamma}(u,C). } $$ 即： > 一個命題在某個完成模型中成立，不代表原表述已經承諾該命題。 稱為： $$ \boxed{ \text{Non-Backprojection Principle}. } $$ 若要把 $\varphi$ 從 branch-specific commitment 升格為 text-responsible commitment，至少需要證明： $$ \forall \mathcal M \in \mathfrak I_{\Gamma}(u,C), \quad \mathcal M\models\varphi. $$ 否則就是語義倒灌。 --- # 17. 單一形式化不等於唯一形式化 令： $$ \mathcal M^{\ast} \in \mathfrak I_{\Gamma}(u,C). $$ 即使 $\mathcal M^{\ast}$： - 完全一致； - 可計算； - 可模擬； - 可形式驗證； - 可在 proof assistant 中通過； - 可生成正確數值結果； 仍不能推出： $$ \mathfrak I_{\Gamma}(u,C) = \{\mathcal M^{\ast}\}. $$ 形式化地： $$ \boxed{ \mathcal M^{\ast} \in \mathfrak I_{\Gamma}(u,C) \not\Rightarrow |\mathfrak I_{\Gamma}(u,C)|=1. } $$ 這是本文最重要的邏輯防線之一。 --- # 18. 模擬唯一性謬誤 假設分析者選擇模型： $$ \mathcal M^{\ast} $$ 並執行一百萬次 simulation。 若模擬結果收斂到理論值： $$ R_{\mathrm{sim}} \rightarrow R(\mathcal M^{\ast}), $$ 則這可以支持： $$ \boxed{ \text{simulation 正確實現了 }\mathcal M^{\ast}. } $$ 但不支持： $$ \boxed{ \text{原表述只允許 }\mathcal M^{\ast}. } $$ 因為 simulation 本身已經接受了： $$ \mathcal M^{\ast} $$ 作為生成規則。 因此： $$ \boxed{ \text{model validation} \neq \text{interpretation uniqueness proof}. } $$ 這個原理將在 SRBC-06 回到 Monty Hall 時具有直接用途。 --- # 19. Partial Completion Poset 完成不必一次完成。 定義所有合法 partial states 的集合： $$ \mathfrak P_{\Gamma}(u,C). $$ 對： $$ P_1,P_2 \in \mathfrak P_{\Gamma}(u,C), $$ 定義 refinement relation： $$ P_1 \sqsubseteq P_2 $$ 若 $P_2$： 1. 保存 $P_1$ 的 hard commitments； 2. 解析至少同樣多的必要 open slots； 3. 不增加未標記衝突； 4. provenance 不被刪除或偽造。 則： $$ ( \mathfrak P_{\Gamma}(u,C), \sqsubseteq ) $$ 形成一個部分完成偏序結構的候選。 --- # 20. Root state 與 completion frontier 令原始解析後狀態為： $$ P_0. $$ 其後可能形成： $$ P_0 \sqsubseteq P_{1a}, $$ $$ P_0 \sqsubseteq P_{1b}, $$ 再形成： $$ P_{1a} \sqsubseteq P_{2a}, $$ $$ P_{1b} \sqsubseteq P_{2b}. $$ 完成 frontier 可以寫成： $$ \operatorname{Front}_{\Gamma}(u,C) = \operatorname{MaxCons} \left( \mathfrak P_{\Gamma}(u,C) \right), $$ 其中 MaxCons 表示在當前 completion demand 下，已足夠完成且保持一致的 maximal states。 這些 terminal-for-current-task states 對應： $$ \mathfrak I_{\Gamma}(u,C). $$ 注意這裡的 maximal 是： $$ \boxed{ \text{相對當前 frame 與任務的完成} } $$ 而不是： $$ \boxed{ \text{永遠不能再增加任何資訊的終極模型}. } $$ --- # 21. 分支可以重新合併 自然語言解析並不一定讓每個早期差異永久存在。 可能有： $$ P_a \neq P_b, $$ 但後續資訊加入後： $$ \operatorname{Refine}(P_a,C') \cong \operatorname{Refine}(P_b,C'). $$ 因此 semantic branching 不是簡單的不可逆樹。 更一般地，它可以是： $$ \boxed{ \text{branching-merging graph}. } $$ 這與 SREG-F03 的 branch re-merging 完全相容。 --- # 22. Provenance Ledger 任何完成模型都應保存： $$ \rho_{\mathcal M} : \operatorname{Commit}(\mathcal M) \rightarrow \mathcal P. $$ 本文第一代 provenance type 定義為： $$ \mathcal P = \{ \mathrm{TXT}, \mathrm{CTX}, \mathrm{LEX}, \mathrm{PRAG}, \mathrm{DEF}, \mathrm{BR}, \mathrm{INF}, \mathrm{EXT} \}. $$ 其中： - $\mathrm{TXT}$：文本明示； - $\mathrm{CTX}$：上下文明示； - $\mathrm{LEX}$：詞彙／語法規則； - $\mathrm{PRAG}$：語用推定； - $\mathrm{DEF}$：默認 completion； - $\mathrm{BR}$：分支選擇； - $\mathrm{INF}$：在已承諾結構上的推論； - $\mathrm{EXT}$：外部新增。 這些標記可以組合。 例如： $$ \rho(\varphi) = \{\mathrm{CTX},\mathrm{INF}\}. $$ --- # 23. 為什麼 provenance 是必要的 考慮： > 主持人知道每一扇門後面有什麼。 文本可能明確支持： $$ K_H(C). $$ 分析者為了建立某個遊戲模型，進一步加入： $$ \pi_H = \text{always open an unchosen goat door}. $$ 這個 policy 可以是某個 branch 的合法補充，但其 provenance 必須是： $$ \rho(\pi_H) \neq \{\mathrm{TXT}\}, $$ 除非文本真的明說該規則。 若後續分析者忘記 provenance，而把： $$ \pi_H $$ 重新當成文本已給，則整個推理就會發生： $$ \boxed{ \text{completion provenance erasure}. } $$ 這是 SRBC 要明確抓出的錯誤類型。 --- # 24. 知識與策略不是同一 slot 對任何 agent $a$： $$ K_a(X) $$ 描述 epistemic state。 而： $$ \pi_a $$ 描述 action policy。 通常： $$ \boxed{ K_a(X) \not\Rightarrow \pi_a. } $$ 一個 agent 知道 $X$，並不足以唯一決定： - 是否使用該知識； - 如何使用； - 是否故意違反最優策略； - 是否隨機行動； - 是否遵守外部協議； - 是否在不同時間採取不同 policy。 因此若一段自然語言只固定 epistemic slot，而後續形式模型需要 policy slot，則： $$ Z^{\mathrm{open}} \ni z_{\pi}. $$ 這種 slot distinction 將是 Monty Hall 語義手術的核心之一。 --- # 25. 事件與生成機制不是同一 slot 觀察： $$ Y=y_0 $$ 只表示一個 realized event。 它通常不能唯一推出： $$ P(Y\mid X), $$ 也不能唯一推出： $$ Y_t = F(X_t). $$ 因此： $$ \boxed{ \text{observed realization} \not\Rightarrow \text{unique generating mechanism}. } $$ 這一點對任何概率問題都非常重要。 如果自然語言只敘述某次發生： > 他打開了一扇有羊的門。 則這個 event 是否來自： - 必然規則； - 條件策略； - 隨機策略； - 偶然結果； - adversarial policy； 不能只由單一 observation 自動決定。 --- # 26. 存在事件與全域規則的區分 若文本支持： $$ \exists t_0: P(t_0), $$ 不能在沒有 bridge rule 時提升成： $$ \forall t: P(t). $$ 同樣： $$ P(t_0) \not\Rightarrow \operatorname{Policy}(P). $$ 這一點在 SRBC-04 將被完整處理為 semantic illegal lift；本篇只先把它放入 completion slot system。 --- # 27. 第一個例子：量詞 scope 表述： > 每一位學生都讀了一本書。 令： $$ P_0 $$ 保留一個 scope slot： $$ z_{\mathrm{scope}}. $$ Branch A： $$ z_{\mathrm{scope}} = \forall\exists, $$ 得到： $$ \mathcal M_A \models \forall x \left( \operatorname{Student}(x) \rightarrow \exists y ( \operatorname{Book}(y) \land \operatorname{Read}(x,y) ) \right). $$ Branch B： $$ z_{\mathrm{scope}} = \exists\forall, $$ 得到： $$ \mathcal M_B \models \exists y \left( \operatorname{Book}(y) \land \forall x ( \operatorname{Student}(x) \rightarrow \operatorname{Read}(x,y) ) \right). $$ 若上下文沒有排除任一 branch，則： $$ \mathcal M_A, \mathcal M_B \in \mathfrak I_{\Gamma}(u,C). $$ 此時不能因為分析者先寫出 $\mathcal M_A$ 就宣布 $\mathcal M_B$ 不存在。 --- # 28. 第二個例子：PP attachment 表述： > Alex saw the man with the telescope. 至少可能有兩個 parse family： $$ \operatorname{SawWith} ( \text{Alex}, \text{man}, \text{telescope} ), $$ 表示 Alex 使用 telescope 看見那個男人； 以及： $$ \operatorname{Saw} ( \text{Alex}, \operatorname{ManWith}(\text{telescope}) ), $$ 表示 Alex 看見一位帶著 telescope 的男人。 此時完成空間的差異來自 syntax-semantics attachment，而不是世界本身神秘。 這個例子提醒： $$ \boxed{ \text{semantic completion freedom can be induced by syntax itself}. } $$ --- # 29. 第三個例子：知道不等於使用 表述： > Agent $A$ 知道盒子 $B$ 裡有紅球，然後他選了一個盒子。 文本可給： $$ K_A ( \operatorname{RedBall}(B) ), $$ 以及： $$ \operatorname{Choose}(A,b). $$ 但若沒有更多條件，仍不能唯一推出： $$ b=B, $$ 更不能推出： $$ \pi_A = \arg\max \operatorname{ExpectedUtility}. $$ 因此 agent 的 epistemic state 與 decision policy 必須分槽表示。 --- # 30. 第四個例子：自然語言中的「另一個」 「another」、「其他」、「剩下的一個」之類詞彙，可能看似簡單，但其合法指涉受： - 已選集合； - domain cardinality； - 排除條件； - discourse history； - uniqueness presupposition； 共同約束。 因此一個詞本身並不能脫離 discourse state 決定完整對象。 在 SRBC 中，這種詞應映射成： $$ \operatorname{Resolve} ( \text{another}, C, H ), $$ 而不是固定常元。 這也是完成空間必須攜帶歷史狀態的原因之一。 --- # 31. Completion Invariance Proposition 由定義直接得到： 若： $$ \varphi \in \operatorname{Core}_{\Gamma}(u,C), $$ 則： $$ \forall \mathcal M \in \mathfrak I_{\Gamma}(u,C), \quad \mathcal M\models\varphi. $$ 因此任何後續只依賴 $\varphi$ 的推理，在所有 admissible completions 中都保存該前提。 本文稱： $$ \boxed{ \text{Completion Invariance Proposition}. } $$ 它的意義不是深奧 theorem，而是提供一個非常重要的審計判準： > 若你想說「這是原句真正固定的東西」，就應該盡可能把它證明成 completion invariant。 --- # 32. Branch Witness Proposition 若存在： $$ \mathcal M_1, \mathcal M_2 \in \mathfrak I_{\Gamma}(u,C) $$ 使： $$ \mathcal M_1\models\varphi, $$ 但： $$ \mathcal M_2\models\neg\varphi, $$ 則： $$ \varphi \notin \operatorname{Core}_{\Gamma}(u,C). $$ 因此一對合法 branch witness 就足以反駁： $$ \boxed{ \text{「原句已唯一承諾 }\varphi\text{」} } $$ 這個命題。 注意它仍沒有證明「問題答案一定不同」。 這要等 SRBC-03 加入 query $Q$。 --- # 33. Completion-Space Non-Collapse Principle 若只找到一個合法模型： $$ \mathcal M_1 \in \mathfrak I_{\Gamma}(u,C), $$ 不代表： $$ \mathfrak I_{\Gamma}(u,C) = \{\mathcal M_1\}. $$ 要宣告 completion space collapse，至少需要某種 closure 證據： $$ \operatorname{ClosureCert}_{\Gamma}(u,C). $$ 它可能包括： 1. open-slot enumeration； 2. type coverage； 3. alternative parse search； 4. branch satisfiability test； 5. independent formalizer agreement； 6. countermodel search； 7. context sensitivity audit。 因此： $$ \boxed{ \text{failure to find an alternative} \neq \text{proof of uniqueness}. } $$ --- # 34. 同構與表面差異 完成空間中的模型可能只是 notation 不同。 若： $$ \mathcal M_1 \cong \mathcal M_2, $$ 且同構保存研究相關結構，則不應因變數名、資料結構或語法差異而把它們計為真正不同完成。 因此更合理的是研究： $$ \mathfrak I_{\Gamma}(u,C) / \cong_{\Gamma}, $$ 即相對研究 signature 的 model-isomorphism classes。 這避免把： $$ x $$ 與： $$ y $$ 的純改名誤當成語義歧義。 --- # 35. 完成空間可以是無限的 即使表述有限： $$ |u|<\infty, $$ 其 admissible completion space 仍可能是： $$ |\mathfrak I_{\Gamma}(u,C)| =\infty. $$ 例如： > 某個正實數 $x$ 大於 1。 若只要求： $$ x>1, $$ 則 $x$ 有無限多完成值。 這並不表示句子有問題。 因此： $$ \boxed{ \text{many completions} \neq \text{defective expression}. } $$ 是否構成真正的研究問題，要看這些差異是否會改變後續 query 的答案。 這正是 SRBC-03 的工作。 --- # 36. 有多個完成也不等於有決策歧義 可能有： $$ \mathcal M_1 \neq \mathcal M_2, $$ 但對某個問題： $$ Q(\mathcal M_1) = Q(\mathcal M_2). $$ 因此本篇刻意不把： $$ |\mathfrak I|>1 $$ 直接叫做「有效歧義」。 本篇只稱其為： $$ \boxed{ \text{semantic completion multiplicity}. } $$ 下一篇才會定義： $$ \boxed{ \text{query-relative semantic underdetermination}. } $$ 這個分層非常重要。 --- # 37. 超額形式化 形式化不只可能欠規格，也可能過度規格。 若原表述只需要： $$ R(a,b), $$ 分析者卻直接加入： $$ R(a,b) \land \operatorname{Deterministic}(R) \land \operatorname{Stationary}(R) \land \operatorname{Markov}(R), $$ 則後三者若沒有來源，就構成： $$ \boxed{ \text{Over-Specification Injection}. } $$ 形式模型可以因此變得更容易計算，卻離原表述更遠。 所以： $$ \boxed{ \text{more formal detail} \not\Rightarrow \text{higher semantic fidelity}. } $$ --- # 38. 欠規格與誤規格 本文沿用 SREG-F03 的區分。 ## 欠規格 必要 slot 未被處理： $$ Z^{\mathrm{open}} \neq \varnothing $$ 卻直接輸出 deterministic answer。 ## 誤規格 把不受支持的值綁定為： $$ z_i=v^{\ast} $$ 並當成原句所給。 兩者不同。 欠規格是： $$ \text{沒有處理自由度}. $$ 誤規格是： $$ \text{錯誤消滅自由度}. $$ --- # 39. 默認不是文本 自然語言理解不可能完全沒有 default。 但： $$ \operatorname{Default}(\varphi) $$ 與： $$ \operatorname{TextEntails}(\varphi) $$ 必須分開。 因此若 default rule： $$ d \in \mathcal R_{\Gamma} $$ 產生： $$ \varphi, $$ 應標記： $$ \rho(\varphi) \ni \mathrm{DEF}. $$ 若新資訊推翻 default，branch 應允許 reopen： $$ P_t \rightarrow P_{t+1}. $$ 這與 SREG 的動態 closure 思想相容。 --- # 40. Context 不是無限授權 上下文可以消歧。 例如先前已明說： > 本遊戲主持人必定知道車的位置，必定打開一扇未被選中的羊門，且永遠提供換門。 那麼後續縮寫式敘述可以合法繼承這些條件。 此時： $$ C $$ 已把相關 policy 放入 hard context。 但不能因為「一般人通常知道這是 Monty Hall」就自動把任意教科書版本的全部規則塞進： $$ C. $$ 因此 context 本身也需要 provenance 與 scope。 --- # 41. 文本核心不是作者心理狀態 本文的： $$ \operatorname{Core}_{\Gamma}(u,C) $$ 不是在讀心作者。 作者可能心中只有一個 intended model： $$ \mathcal M_{\mathrm{intent}}. $$ 但若該 model 所需的某些 commitment 沒有被寫入文本或共享上下文，則讀者可得的 completion space 仍可能更大： $$ \mathcal M_{\mathrm{intent}} \in \mathfrak I_{\Gamma}(u,C), $$ 但： $$ |\mathfrak I_{\Gamma}(u,C)|>1. $$ 因此： $$ \boxed{ \text{intended meaning} \neq \text{uniquely encoded meaning}. } $$ 這個區分對自然語言論證極重要。 --- # 42. 作者補充可以收縮完成空間 若作者加入新資訊： $$ \delta u, $$ 則： $$ u' = u + \delta u. $$ 通常期待： $$ \mathfrak I_{\Gamma}(u',C) \subseteq \mathfrak I_{\Gamma}(u,C). $$ 若補充是純限制，完成空間應單調收縮。 例如加入： > 所有學生讀的是同一本書。 則原本的 scope family 被進一步限制。 這給出後續 **minimal semantic completion** 的基礎。 --- # 43. 但新增句子也可能打開新空間 自然語言是動態的。 有時： $$ u \rightarrow u' $$ 不是純粹限制，而是引入新 domain、agent 或 modality。 此時 completion space 可能先擴張再收斂。 因此一般情況不能假設： $$ \mathfrak I(u') \subseteq \mathfrak I(u). $$ 只有對明確的 disambiguating constraint 才能要求單調收縮。 這個 distinction 將在未來動態語義版本中很重要。 --- # 44. 完成空間的計算表示 工程上，不需要真的枚舉所有模型。 可以保存： $$ \mathfrak I_{\Gamma}(u,C) $$ 的 compact constraint representation。 例如： ```yaml statement_id: U-001 hard_constraints: - host_knows_prize_location: true - opened_door: 3 - opened_content: goat open_slots: host_policy: type: policy candidates: - constrained_goat_policy - random_unchosen_policy - context_dependent_policy provenance: host_knows_prize_location: TXT opened_door: TXT opened_content: TXT host_policy: OPEN ``` 這種表示比直接輸出一個完成公式更適合長程研究。 --- # 45. Constraint-first 而非 model-first 本文建議自然語言 formalization pipeline 從： $$ \text{NL} \rightarrow \text{one model} $$ 改成： $$ \boxed{ \text{NL} \rightarrow \text{constraints} \rightarrow \text{open slots} \rightarrow \text{completion family} \rightarrow \text{task-specific collapse}. } $$ 也就是： $$ \text{Constraint First}. $$ 這會降低分析者把自己選的模型偽裝成文本本身的風險。 --- # 46. Independent Formalizer Test 為降低單一分析者 bias，可以讓多個 formalizer： $$ F_1,F_2,\ldots,F_n $$ 獨立從同一： $$ (u,C,\Gamma) $$ 產生： $$ \mathfrak I_1, \mathfrak I_2, \ldots, \mathfrak I_n. $$ 研究： $$ \bigcap_i \operatorname{Core}(\mathfrak I_i) $$ 與： $$ \bigcup_i \operatorname{Branches}(\mathfrak I_i). $$ 若不同 formalizer 持續找到相同 unresolved dimensions，則其結構可信度提高。 若只有單一 formalizer 想像出某 branch，則需進一步檢查是否為過度擴張。 --- # 47. Countermodel Search 若有人主張： $$ \text{原句必然意味 }\varphi, $$ SRBC 的自然測試不是先爭論語感，而是搜尋： $$ \exists \mathcal M \in \mathfrak I_{\Gamma}(u,C) : \mathcal M\models\neg\varphi. $$ 若找到，則「必然意味」的主張失敗。 這把大量自然語言爭論轉成： $$ \boxed{ \text{admissible countermodel construction}. } $$ 這也是本文與未來 Monty Hall 分析最直接的接口。 --- # 48. Countermodel 必須通過 admissibility audit 但反模型不能只是亂改規則。 對候選： $$ \mathcal M_c, $$ 必須檢查： 1. 是否違反文本 hard constraint； 2. 是否違反共享 context； 3. 是否使用不同 lexical meaning； 4. 是否偷偷改變 domain； 5. 是否把 completion 變成 extension； 6. 是否需要不合理世界知識； 7. 是否與研究 signature 不相容； 8. 是否只是 notation variant。 只有通過這些檢查，才能成為有效 witness。 --- # 49. Completion Certificate 本文建議每個完成空間輸出一個第一代證書： ```yaml completion_certificate: statement: U context: C semantic_frame: Gamma signature: Sigma_Gamma hard_commitments: [] defeasible_commitments: [] open_slots: [] admissible_completion_rules: [] branches: [] branch_provenance: {} rejected_branches: [] rejection_reasons: {} core_invariants: [] unresolved_dimensions: [] uniqueness_claim: false uniqueness_evidence: [] ``` 這個 certificate 的目的不是讓所有自然語言都變成龐大工程。 而是在高爭議、高風險或需要數學證明的問題中，提供可審計介面。 --- # 50. Completion Uniqueness Certificate 若要主張： $$ |\mathfrak I_{\Gamma}(u,C)/\cong_{\Gamma}|=1, $$ 應提供額外證據，例如： $$ \operatorname{UCert}_{\Gamma}(u,C). $$ 至少包括： - 所有研究相關 open slots 已封閉； - alternate parse 已檢查； - admissible countermodel search 無結果； - remaining branches 只差 isomorphism； - context inheritance 已聲明； - default rules 已顯式； - model-specific assumptions 未倒灌。 本文不要求這種證書達到數理邏輯中的絕對終局完備。 它是一種： $$ \boxed{ \text{relative semantic closure certificate}. } $$ --- # 51. 與 SREG 脈衝閉包的接口 SREG 的 closure 思想允許： $$ \operatorname{PEC}_{\Gamma,B} $$ 在有限 frame 與 budget 下宣告一次相對閉合。 SRBC-02 可以在語義層提供： $$ \operatorname{SemPEC}_{\Gamma,B}(u,C), $$ 表示在目前： - parser family； - context； - completion grammar； - countermodel budget； - signature； 下，完成空間已被推到階段性飽和。 但依照 SREG 廣義 Gödel 邊界： $$ \operatorname{SemPEC}_{\Gamma,B}(u,C) \not\Rightarrow \operatorname{TerminalSemanticComplete}(u). $$ 新語境、新語言理論或新表示仍可能 reopen。 --- # 52. Completion Space 與符號表徵邊界 SRBC-01 定義符號表徵包絡。 若某 completion branch 要求： $$ X \notin \overline{\mathcal B}_{A,C,Q}^{\Lambda}(s), $$ 則不能只說： > 「反正這個符號也可以這樣理解。」 而需要： 1. 新 symbol； 2. 新 context； 3. 新 interpretation rule； 4. 新 composition rule； 5. 明確 redefinition。 因此： $$ \boxed{ \text{Completion admissibility} \text{ is bounded by representation admissibility}. } $$ 這正是 SRBC-01 與 SRBC-02 的正式接口。 --- # 53. 無界符號不消滅 completion space 即使表述含： $$ \forall, \quad \exists, \quad \infty, $$ 仍可能存在： - domain ambiguity； - predicate ambiguity； - scope ambiguity； - type ambiguity； - policy ambiguity； - temporal ambiguity。 因此： $$ \boxed{ \operatorname{UnboundedQuantifier} \not\Rightarrow \operatorname{UniqueCompletion}. } $$ 「全域量詞」只能在其 domain 已被指定後發揮全域量化功能，不能替未指定結構自動補完所有自由度。 --- # 54. 語義完成不是概率更新 本文的 completion space 與 Bayesian posterior 不同。 語義完成首先問： $$ \boxed{ \text{哪些模型仍被表述允許？} } $$ 概率推斷才問： $$ \boxed{ \text{在模型或模型分佈給定後，各狀態有多大概率？} } $$ 因此應區分： $$ P(\mathcal M\mid u,C) $$ 與： $$ P(X\mid\mathcal M,u,C). $$ 若 model uncertainty 尚未處理，就直接計算第二層，有可能把 epistemic uncertainty 隱藏在一個被固定的模型裡。 這將與既有判定域概率論形成重要接口。 --- # 55. 模型上的模型分佈 若有足夠理由，可以在 completion space 上再定義： $$ \mu : \mathfrak I_{\Gamma}(u,C) \rightarrow [0,1], $$ 滿足： $$ \sum_{\mathcal M} \mu(\mathcal M) =1 $$ 於離散情況。 此時可以計算： $$ P(X\mid u,C) = \sum_{\mathcal M} P(X\mid\mathcal M,u,C) \mu(\mathcal M\mid u,C). $$ 但這需要額外先驗、語境或 empirical model selection。 SRBC-02 不把： $$ \mu $$ 視為原句自帶。 這一點對「主持人可能採取哪種策略」類問題尤其重要。 --- # 56. 完成空間與 supervaluation 的結構類比 在 supervaluation 類方法中，一個不完整或含 gap 的語義對象可以透過多個 admissible precisifications 來評估；若命題在所有 admissible precisifications 中都為真，則可獲得一種超真值穩定性。 SRBC 的： $$ \operatorname{Core}_{\Gamma}(u,C) = \bigcap \operatorname{Th}(\mathcal M) $$ 與此存在結構類比。 但本文不把 SRBC 等同於 supervaluationism。 SRBC 的 completion family 可以包含： - policy completion； - temporal completion； - causal completion； - probabilistic protocol completion； - agent epistemic completion； - computational completion。 其用途是形式化審計與模型族管理，而不是只處理 vagueness 或 truth-value gap。 --- # 57. 語義完成的四種典型失敗 本文將失敗整理為： ## 57.1 Premature Collapse 仍有 open slots，卻強制： $$ \mathfrak I \rightarrow \{\mathcal M^{\ast}\}. $$ ## 57.2 Hidden Injection 加入 branch commitment，但標記成 text commitment。 ## 57.3 Unbounded Proliferation 缺乏 admissibility rule，把任意 imagined world 都當成合法解讀。 ## 57.4 Provenance Erasure 最初知道某條件是 default / branch assumption，後續推理卻忘記其來源。 這四類失敗將成為未來語義手術 runtime 的基本錯誤碼。 --- # 58. 研究可證偽性 SRBC-02 的框架應在以下結果下被削弱或修正。 1. 若在大量高爭議自然語言問題中，獨立 formalizer 幾乎總能無需額外假設地收斂至唯一同構模型； 2. 若 completion 與 extension 在實際案例中無法穩定區分； 3. 若 provenance labeling 對錯誤定位沒有任何增益； 4. 若 countermodel search 只產生語用上明顯不合法的怪異模型； 5. 若 SRBC-01 的 representation bounds 無法對 admissibility 提供任何限制； 6. 若 query-relative results 對 completion multiplicity 完全不敏感； 7. 若 independent formalizer disagreement 主要由工具噪音而非真正語義自由度造成。 因此本文不是把「所有語言都有歧義」當成不可反駁的哲學立場。 --- # 59. 第一代實驗協議 對任一表述 $u$： ## Stage A：Canonicalization 保存原始句子，不改寫。 ## Stage B：Constraint Extraction 抽取： $$ K^{\mathrm{hard}}, K^{\mathrm{def}}, Z^{\mathrm{open}}. $$ ## Stage C：Signature Declaration 明確指定： $$ \Sigma_{\Gamma}. $$ ## Stage D：Independent Branch Generation 生成候選 partial completions。 ## Stage E：Admissibility Audit 排除違反文本、context 或 type 的 branch。 ## Stage F：Provenance Labeling 對每個新增 commitment 標記來源。 ## Stage G：Countermodel Search 對被宣稱為「原句必然承諾」的命題搜尋反模型。 ## Stage H：Core Extraction 計算或近似： $$ \operatorname{Core}_{\Gamma}(u,C). $$ ## Stage I：Completion Certificate 輸出 branch、debt、frontier 與 closure status。 --- # 60. AI 作為 semantic completion generator 大型語言模型天然擅長產生： $$ \text{multiple plausible interpretations}. $$ 但這不等於它天然擅長： $$ \text{admissibility proof}. $$ 因此 AI 在 SRBC runtime 中更適合先擔任： $$ \boxed{ \text{candidate completion generator}. } $$ 而不是直接擔任： $$ \boxed{ \text{唯一語義裁判}. } $$ 後續需要： - symbolic constraint checker； - type checker； - theorem prover； - model finder； - contradiction detector； - independent model comparison。 --- # 61. AI 的另一個風險：把文化常識當文本內容 AI 經常從大量訓練資料知道某個經典問題的標準版本。 因此它可能在看到縮略敘述時自動補全： $$ C_{\mathrm{training}} \rightarrow C_{\mathrm{assumed}}. $$ 這在一般對話中往往很有用。 但在語義完備性研究中，必須區分： $$ \boxed{ \text{what the model knows about the named problem} } $$ 與： $$ \boxed{ \text{what this exact wording encodes}. } $$ 否則 benchmark name 本身就會污染 completion space。 --- # 62. Blind-name Protocol 因此對 Monty Hall 類著名問題，未來可採用： $$ \boxed{ \text{Blind-name Semantic Audit}. } $$ 方法是： 1. 移除題目名稱； 2. 保留原始 wording； 3. 改名 agent / objects； 4. 要求 formalizer 只依文本抽取 constraints； 5. 完成後才揭露它屬於哪個經典問題。 若 formalization 在揭露名稱前後明顯改變，就可以測量： $$ \boxed{ \text{benchmark-name prior injection}. } $$ 這會是 SRBC-06 的重要實驗方法之一。 --- # 63. 完成空間的最小單位不是「一句話」 自然語言語義可能跨句。 因此更一般的對象是 discourse： $$ U = (u_1,u_2,\ldots,u_n). $$ 完成空間為： $$ \mathfrak I_{\Gamma}(U,C). $$ 每一句加入後： $$ P_t \rightarrow P_{t+1}. $$ 因此 SRBC 可以自然接到 dynamic semantics，而不是只處理 isolated sentence。 --- # 64. 歷史狀態 對時序問題，completion space 應保存： $$ \mathcal H_t = ( S_0, A_0, O_0, \ldots, S_t ). $$ 因為同一句： > 他又打開另一扇門。 若不知道： $$ \mathcal H_t, $$ 就可能無法解析「又」、「另一扇」與可用 door set。 因此： $$ \boxed{ \text{semantic completion can be history-dependent}. } $$ 這直接對接既有歷史狀態變量與動態判定域研究。 --- # 65. 完成空間與反事實 若要問： > 如果主持人當時開另一扇門會怎樣？ 不能只靠 realized model state。 需要 completion 中包含： $$ \Pi, \quad \mathbb P, \quad \mathcal T, $$ 或其他 counterfactual transition structure。 因此反事實問題會暴露原表述未指定的生成機制。 這也是為什麼只看實際發生事件往往不足以恢復完整 model。 --- # 66. 語義手術的最低單位 未來 SRBC semantic surgery 不應只標一句： > 這裡有歧義。 而應輸出： $$ \boxed{ ( \text{surface span}, \text{slot}, \text{candidate values}, \text{constraints}, \text{provenance}, \text{downstream consequences} ). } $$ 例如： ```yaml span: "the host, who knows what's behind the doors" slot: host_policy given: host_knowledge: complete not_given: action_policy: unresolved candidate_values: - goat-constrained - random-unchosen - context-dependent status: OPEN ``` 這才叫真正對自然語言做手術。 --- # 67. 本篇尚未回答的問題 本文故意不回答： > 多個 completion 是否真的會改變某個具體問題的答案？ 因為： $$ |\mathfrak I|>1 $$ 仍可能： $$ Q(\mathcal M_1) = Q(\mathcal M_2) $$ 對所有模型成立。 因此 SRBC-02 只完成： $$ \boxed{ \text{single expression} \rightarrow \text{admissible formal model family}. } $$ SRBC-03 才會加入： $$ Q. $$ --- # 68. 通往 SRBC-03：查詢相對完備性 下一篇將定義： $$ Q: \mathfrak I_{\Gamma}(u,C) \rightarrow \mathcal A. $$ 並建立： $$ \mathcal M_i \sim_Q \mathcal M_j \iff Q(\mathcal M_i) = Q(\mathcal M_j). $$ 接著研究： $$ \mathfrak I_{\Gamma}(u,C) / \sim_Q. $$ 若 quotient 只有一類，即使語義完成很多，也可能對 $Q$ 已足夠完備。 若存在多類，才構成真正會改變答案的 semantic underdetermination。 所以系列鏈條是： $$ \boxed{ \text{Representation Bounds} \rightarrow \text{Completion Space} \rightarrow \text{Query-Relative Completeness}. } $$ --- # 69. 對 Monty Hall 的暫時定位 本文不在此重做 Monty Hall。 只先固定未來研究姿勢。 若標準完整遊戲協議已明確給定，則其形式模型可以是： $$ \mathcal M_{\mathrm{MH}}^{\ast}, $$ 後續在該模型中的概率計算應照模型本身處理。 真正需要被重新審查的是另一個命題： $$ \boxed{ \text{特定自然語言 wording 是否唯一指定 }\mathcal M_{\mathrm{MH}}^{\ast}? } $$ 這不是同一問題。 SRBC-06 將要求： 1. 原句 canonicalization； 2. constraint extraction； 3. open-slot inventory； 4. admissible completion construction； 5. branch provenance； 6. countermodel audit； 7. query-relative quotient； 8. minimal completion test。 到那時，才有資格重新討論舊版論文中的自然語言 GAP。 --- # 70. 結論 自然語言表述進入數學與邏輯分析時，最容易發生的一個隱蔽錯誤，是把： $$ \boxed{ \text{我成功建立了一個嚴格模型} } $$ 誤寫成： $$ \boxed{ \text{原句唯一就是這個模型}. } $$ SRBC-02 的目的，就是把這兩件事永久拆開。 本文提出： $$ \boxed{ \mathfrak I_{\Gamma}(u,C) = \{\text{admissible semantic completions}\}. } $$ 原表述真正能保守承擔的內容，不是任何單一模型的全部 theory，而是： $$ \boxed{ \operatorname{Core}_{\Gamma}(u,C) = \bigcap_{\mathcal M\in\mathfrak I_{\Gamma}(u,C)} \operatorname{Th}(\mathcal M). } $$ 而一個 completion branch 中新增的內容必須保留 provenance： $$ \boxed{ \text{completion} \neq \text{text entailment}. } $$ 因此本文最核心的原則可以壓縮成： $$ \boxed{ \text{Formalization chooses structure; it does not, by itself, prove that the source expression uniquely encoded that structure.} } $$ 中文： > **形式化可以選定結構；但形式化本身不能證明來源表述唯一編碼了該結構。** 這一區分使「語義歧義」不再只是語感爭論，而能被轉成： $$ \boxed{ \text{constraint extraction} + \text{admissible model construction} + \text{provenance audit} + \text{countermodel search}. } $$ SRBC-01 已經回答： $$ \boxed{ \text{符號能合法承載到哪裡？} } $$ SRBC-02 現在回答： $$ \boxed{ \text{未被唯一固定的語義自由度，如何形成可審計的模型族？} } $$ 下一篇 SRBC-03 將正式回答： $$ \boxed{ \text{這些模型差異，什麼時候真的會讓問題得到不同答案？} } $$ --- # 參考文獻與前置文件 ## EveMissLab / 內部前置研究 1. Neo.K with Aletheia. 《SRBC-01｜符號表徵邊界：符號、符號域與概念承載上下限》. EveMissLab, 2026. 2. Neo.K with Aletheia. 《SREG-F01｜從符號遊戲到數學宇宙實驗：SREG 作為形式生成、脈衝閉包與數學底空間探測器》. EveMissLab, 2026. 3. Neo.K with Aletheia. 《SREG-F03｜形式化壓縮與低歧義數學生成》. EveMissLab, 2026. 4. Neo.K. 《符號操作性與可構造空間：從結構再激活到表示系統擴展 v1.0》. EveMissLab, 2026. 5. Neo.K with Aletheia. 《SREG-F04｜脈衝窮盡閉包》. EveMissLab, 2026. 6. Neo.K with Aletheia. 《SREG-F07｜廣義 Gödel 邊界與脈衝閉包的終端限制》. EveMissLab, 2026. 7. Neo.K with Aletheia. 《OWER-07｜The Formalization Gap》. EveMissLab, 2026. ## 外部形式語義與邏輯背景 8. Reyle, U. (1993). Dealing with Ambiguities by Underspecification: Construction, Representation and Deduction. *Journal of Semantics*, 10(2), 123–179. DOI: 10.1093/jos/10.2.123. 9. Kamp, H., & Reyle, U. (1993). *From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory*. Kluwer / Springer. 10. Copestake, A., Flickinger, D., Pollard, C., & Sag, I. A. (2005). Minimal Recursion Semantics: An Introduction. *Research on Language and Computation*, 3, 281–332. DOI: 10.1007/s11168-006-6327-9. 11. van Fraassen, B. C. (1966). Singular Terms, Truth-Value Gaps and Free Logic. *The Journal of Philosophy*, 63, 481–495. 12. van der Sandt, R. A. (1992). Presupposition Projection as Anaphora Resolution. *Journal of Semantics*, 9(4), 333–377. DOI: 10.1093/jos/9.4.333. 13. Stalnaker, R. (1998). On the Representation of Context. *Journal of Logic, Language and Information*, 7(1), 3–19. DOI: 10.1023/A:1008254815298. --- # 版本註記 **v0.1 / 2026-09-23** - 正式提出 Semantic Completion Space； - 將單一表述由單一模型映射改為 admissible model family； - 建立 hard constraint、defeasible commitment 與 open slot 三分； - 定義 completion、extension、repair 的區別； - 建立完成不變語義核心 $\operatorname{Core}_{\Gamma}(u,C)$ ； - 建立語義包絡 $\operatorname{Env}_{\Gamma}(u,C)$ ； - 提出 Non-Backprojection Principle； - 提出 Completion-Space Non-Collapse Principle； - 建立 partial completion poset 與 completion frontier； - 建立 provenance ledger； - 區分 epistemic state、policy、event、generation mechanism； - 建立 countermodel search 與 completion certificate； - 接回 SREG-F03、PEC 與 SRBC-01； - 為 SRBC-03 查詢相對完備性與 SRBC-06 Monty Hall 語義手術建立形式基礎。