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$，本文不預設：

而改以：

本文將「完成」與「任意解讀」嚴格區分。可接受完成必須保存表述的硬語義承諾、滿足型別與 domain 約束、不與已給上下文衝突，且所有非由原表述必然推出、但為了形成可執行模型而加入的 branch-specific commitments，都必須保留來源標記，不能被回寫成原表述本身已經承諾的內容。

為此，本文引入語義責任分解。令 $\operatorname{Th}(\mathcal M)$ 表示完成模型 $\mathcal M$ 中成立的命題集合，則原表述在給定完成協議下可保守歸責的語義核心定義為：

相對地，所有可由某些合法完成承載的命題形成語義包絡：

因此單一完成模型中的命題 $\varphi$ 若不位於 $\operatorname{Core}_{\Gamma}(u,C)$，就不能在沒有額外證明時被歸因為原句的必然語義。本文稱此原理為 完成不可倒灌原理（Non-Backprojection Principle）。

本文進一步建立偏序化的部分完成空間。原表述首先形成一個仍含 open slots 的語義狀態 $P_0$ ；後續解析、上下文加入、定義補充與形式化選擇使其沿 refinement relation $\sqsubseteq$ 向下游分支：

不同分支可以最後重新合併，也可能保持不可約差異。這一結構直接對接 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. 研究定位：形式化不是唯一化證明

考慮一段自然語言表述：

每一位學生都讀了一本書。

它可以被形式化為：

也可能在特定語境下被解析為：

兩個公式都很嚴格。

但：

一旦分析者直接選擇第一個公式，後續 theorem proving、simulation、probability calculation 或 program execution 都可能完全正確；然而這只能證明：

它不能自動證明：

這個區分，是 SRBC-02 的起點。

1. 從 SRBC-01 到 SRBC-02

SRBC-01 的核心不是宣稱符號單義，而是建立：

表示符號在指定表示系統、上下文、主體與任務下具有身份保持的動態表徵區間。

因此，對一個由多個符號與語法關係構成的表述 $u$，其語義不應被先驗理解成：

更保守的第一步是：

也就是說，SRBC-01 研究的是：

SRBC-02 研究的是：

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。

其核心是：

SRBC-02 在這個方向上增加三個要求。

第一，候選 branch 必須回答：

第二，每一個新增 commitment 必須回答：

第三，選中某一 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。

因此本文的研究主張不是：

這並不新。

本文真正要增加的是：

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：

其中：

• $\Lambda$：表示系統；
• $C$：可用上下文；
• $\Sigma_{\Gamma}$：形式語義 signature；
• $\mathcal R_{\Gamma}$：允許的解析、refinement 與 completion rules；
• $\mathcal D_{\Gamma}$：domain、type 與 admissibility constraints。

對不同 $\Gamma$，同一表述的完成空間可以不同：

這不是 bug。

真正需要避免的是在沒有聲明 frame 改變時，偷偷把一個 frame 的規則拿去證明另一個 frame 的唯一性。

5. 表述、約束與 open slots

令：

為某語言或符號系統中的有限表述。

在 frame $\Gamma$ 中，解析器不應立刻輸出單一模型，而先產生一個 語義約束狀態：

其中：

5.1 硬約束

表示若違反就不能再合理稱為原表述完成的 commitment。

例如：

Alice opened door 3.

若語境已固定 Alice 與 door 3 的指涉，則任何合法完成都必須保留：

5.2 可撤銷／默認約束

表示由一般語用、世界知識或預設規則支持，但可被後續資訊取消的內容。

它們不能與硬約束等價處理。

5.3 未決槽位

表示若要形成更完整的形式模型，仍需被解析、指定或保持分支的維度。

可能包括：

• 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 不代表原表述錯誤。

它只表示：

6. 形式模型

給定 signature $\Sigma_{\Gamma}$，令一個形式模型為：

其中：

• $D$ 為 domain；
• $R_i$ 為關係；
• $F_j$ 為函數或 operator；
• $c_k$ 為常元；
• $\nu$ 為 valuation / interpretation。

若研究對象涉及時間、策略或概率，可擴充為：

其中：

• $T$：時間結構；
• $\Pi$：策略或 policy family；
• $\mathbb P$：概率核或測度；
• $\mathcal O$：觀察結構；
• $\mathcal H$：歷史狀態。

SRBC 不要求所有問題都塞進同一個超模型。

相反地，signature 應由研究問題決定，並且顯式聲明。

7. 語義完成

定義一個 partial semantic state：

其中：

• $K_P$：目前已承諾 constraints；
• $Z_P$：尚未完成的 slots；
• $\rho_P$：provenance ledger。

若：

則 $P$ 仍是部分完成。

若在指定研究需求下所有必要 slot 已解析，則可得到一個完成模型：

重要的是，completion 不是「發現原句裡早已明寫的所有秘密」。

它包含：

因此 completion 產生的新增 commitment 必須被標記，而不能偽裝成 text entailment。

8. 可接受完成

本文定義：

表示 $\mathcal M$ 是 $u$ 在 $C$ 與 $\Gamma$ 下的一個可接受完成。

至少要求以下條件。

8.1 硬約束保存

8.2 型別合法

所有新增值必須位於對應 slot 的 admissible type/domain：

8.3 上下文相容

若 $C$ 已固定某些資訊，完成不得任意反寫：

8.4 無未標記注入

若：

但：

則 $\varphi$ 必須有 provenance 標記，不能被標成 text-hard。

8.5 完成規則合法

每一步 refinement 必須屬於：

否則它不是「完成」，而是另開一個新問題或新版本。

9. 語義完成空間

因此定義：

這是本文核心物件。

如果：

則在目前 frame 下，表述可能有唯一完成。

如果：

則仍有多個合法完成。

如果：

則至少有三種可能：

1. 表述與上下文自相矛盾；
2. signature / completion protocol 太弱；
3. 分析器錯誤地排除了合法解讀。

因此空集合本身也不是自動證明語句無意義。

10. 完成空間不是「任何人想怎麼解讀都可以」

這是本文必須特別防止的誤解。

若沒有 admissibility constraints，則可以對任何句子任意添加內容，得到無限多模型。

例如：

Alice opened the door.

若分析者加入：

Alice 同時是火星總統，而且門後有一台量子電腦。

這不是有意義的 semantic completion。

因此 SRBC 的完成空間不是：

而是：

這也是為什麼本文把：

與：

寫進正式定義。

11. Completion 與 Extension 的區分

若一個新增內容只是為了替未決 slot 選值，例如：

它可以是 completion。

但若新增內容超出原本 signature 與 open-slot family，例如：

再假設這個人同時欠銀行一百萬元。

則這通常是：

不是：

形式上，可要求 completion 的新 commitment 滿足：

或至少屬於由既有 slot、constraint 或 inference closure 所產生的合法結構。

這一界線不是永遠絕對，但必須在 protocol 中聲明。

12. Completion 與 Repair 的區分

若原表述有明顯錯字、矛盾或語法破裂，分析者可能進行 repair。

例如：

此時模型應歸屬：

而不是假裝：

且沒有任何改寫。

因此 canonical audit 必須區分：

• parse；
• completion；
• extension；
• repair；
• reinterpretation。

這能避免大量自然語言論證把「我替你修好了」寫成「你本來就這樣說」。

13. 語義核心

對任何完成模型 $\mathcal M$，令：

表示在指定語言中由 $\mathcal M$ 滿足的命題集合。

定義原表述在 frame $\Gamma$ 下的 完成不變核心：

這表示：

當且僅當：

因此 core 是在目前 admissibility protocol 下，可以保守地視為完成不變的內容。

14. 語義包絡

定義：

這表示所有合法完成中「至少在某一 branch 成立」的命題。

必須注意：

通常不能被當成一個共同 theory。

因為可能存在：

以及：

兩者分別屬於不同 completion branch，並不代表原句自相矛盾。

因此：

15. 語義責任分解

給定：

可以把其 theory 分解為：

其中：

因此：

• Core：可保守歸責給目前表述與 frame 的完成不變內容；
• Branch：為了形成這個特定模型而加入、解析或推得，但不一定屬於所有合法完成的內容。

這個分解是後續自然語言手術的核心。

16. 完成不可倒灌原理

本文提出：

即：

一個命題在某個完成模型中成立，不代表原表述已經承諾該命題。

稱為：

若要把 $\varphi$ 從 branch-specific commitment 升格為 text-responsible commitment，至少需要證明：

否則就是語義倒灌。

17. 單一形式化不等於唯一形式化

令：

即使 $\mathcal M^{\ast}$：

• 完全一致；
• 可計算；
• 可模擬；
• 可形式驗證；
• 可在 proof assistant 中通過；
• 可生成正確數值結果；

仍不能推出：

形式化地：

這是本文最重要的邏輯防線之一。

18. 模擬唯一性謬誤

假設分析者選擇模型：

並執行一百萬次 simulation。

若模擬結果收斂到理論值：

則這可以支持：

但不支持：

因為 simulation 本身已經接受了：

作為生成規則。

因此：

這個原理將在 SRBC-06 回到 Monty Hall 時具有直接用途。

19. Partial Completion Poset

完成不必一次完成。

定義所有合法 partial states 的集合：

對：

定義 refinement relation：

若 $P_2$：

1. 保存 $P_1$ 的 hard commitments；
2. 解析至少同樣多的必要 open slots；
3. 不增加未標記衝突；
4. provenance 不被刪除或偽造。

則：

形成一個部分完成偏序結構的候選。

20. Root state 與 completion frontier

令原始解析後狀態為：

其後可能形成：

再形成：

完成 frontier 可以寫成：

其中 MaxCons 表示在當前 completion demand 下，已足夠完成且保持一致的 maximal states。

這些 terminal-for-current-task states 對應：

注意這裡的 maximal 是：

而不是：

21. 分支可以重新合併

自然語言解析並不一定讓每個早期差異永久存在。

可能有：

但後續資訊加入後：

因此 semantic branching 不是簡單的不可逆樹。

更一般地，它可以是：

這與 SREG-F03 的 branch re-merging 完全相容。

22. Provenance Ledger

任何完成模型都應保存：

本文第一代 provenance type 定義為：

其中：

• $\mathrm{TXT}$：文本明示；
• $\mathrm{CTX}$：上下文明示；
• $\mathrm{LEX}$：詞彙／語法規則；
• $\mathrm{PRAG}$：語用推定；
• $\mathrm{DEF}$：默認 completion；
• $\mathrm{BR}$：分支選擇；
• $\mathrm{INF}$：在已承諾結構上的推論；
• $\mathrm{EXT}$：外部新增。

這些標記可以組合。

例如：

23. 為什麼 provenance 是必要的

考慮：

主持人知道每一扇門後面有什麼。

文本可能明確支持：

分析者為了建立某個遊戲模型，進一步加入：

這個 policy 可以是某個 branch 的合法補充，但其 provenance 必須是：

除非文本真的明說該規則。

若後續分析者忘記 provenance，而把：

重新當成文本已給，則整個推理就會發生：

這是 SRBC 要明確抓出的錯誤類型。

24. 知識與策略不是同一 slot

對任何 agent $a$：

描述 epistemic state。

而：

描述 action policy。

通常：

一個 agent 知道 $X$，並不足以唯一決定：

• 是否使用該知識；
• 如何使用；
• 是否故意違反最優策略；
• 是否隨機行動；
• 是否遵守外部協議；
• 是否在不同時間採取不同 policy。

因此若一段自然語言只固定 epistemic slot，而後續形式模型需要 policy slot，則：

這種 slot distinction 將是 Monty Hall 語義手術的核心之一。

25. 事件與生成機制不是同一 slot

觀察：

只表示一個 realized event。

它通常不能唯一推出：

也不能唯一推出：

因此：

這一點對任何概率問題都非常重要。

如果自然語言只敘述某次發生：

他打開了一扇有羊的門。

則這個 event 是否來自：

• 必然規則；
• 條件策略；
• 隨機策略；
• 偶然結果；
• adversarial policy；

不能只由單一 observation 自動決定。

26. 存在事件與全域規則的區分

若文本支持：

不能在沒有 bridge rule 時提升成：

同樣：

這一點在 SRBC-04 將被完整處理為 semantic illegal lift；本篇只先把它放入 completion slot system。

27. 第一個例子：量詞 scope

表述：

每一位學生都讀了一本書。

令：

保留一個 scope slot：

Branch A：

得到：

Branch B：

得到：

若上下文沒有排除任一 branch，則：

此時不能因為分析者先寫出 $\mathcal M_A$ 就宣布 $\mathcal M_B$ 不存在。

28. 第二個例子：PP attachment

表述：

Alex saw the man with the telescope.

至少可能有兩個 parse family：

表示 Alex 使用 telescope 看見那個男人；

以及：

表示 Alex 看見一位帶著 telescope 的男人。

此時完成空間的差異來自 syntax-semantics attachment，而不是世界本身神秘。

這個例子提醒：

29. 第三個例子：知道不等於使用

表述：

Agent $A$ 知道盒子 $B$ 裡有紅球，然後他選了一個盒子。

文本可給：

以及：

但若沒有更多條件，仍不能唯一推出：

更不能推出：

因此 agent 的 epistemic state 與 decision policy 必須分槽表示。

30. 第四個例子：自然語言中的「另一個」

「another」、「其他」、「剩下的一個」之類詞彙，可能看似簡單，但其合法指涉受：

• 已選集合；
• domain cardinality；
• 排除條件；
• discourse history；
• uniqueness presupposition；

共同約束。

因此一個詞本身並不能脫離 discourse state 決定完整對象。

在 SRBC 中，這種詞應映射成：

而不是固定常元。

這也是完成空間必須攜帶歷史狀態的原因之一。

31. Completion Invariance Proposition

由定義直接得到：

若：

則：

因此任何後續只依賴 $\varphi$ 的推理，在所有 admissible completions 中都保存該前提。

本文稱：

它的意義不是深奧 theorem，而是提供一個非常重要的審計判準：

若你想說「這是原句真正固定的東西」，就應該盡可能把它證明成 completion invariant。

32. Branch Witness Proposition

若存在：

使：

但：

則：

因此一對合法 branch witness 就足以反駁：

這個命題。

注意它仍沒有證明「問題答案一定不同」。

這要等 SRBC-03 加入 query $Q$。

33. Completion-Space Non-Collapse Principle

若只找到一個合法模型：

不代表：

要宣告 completion space collapse，至少需要某種 closure 證據：

它可能包括：

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。

因此：

34. 同構與表面差異

完成空間中的模型可能只是 notation 不同。

若：

且同構保存研究相關結構，則不應因變數名、資料結構或語法差異而把它們計為真正不同完成。

因此更合理的是研究：

即相對研究 signature 的 model-isomorphism classes。

這避免把：

與：

的純改名誤當成語義歧義。

35. 完成空間可以是無限的

即使表述有限：

其 admissible completion space 仍可能是：

例如：

某個正實數 $x$ 大於 1。

若只要求：

則 $x$ 有無限多完成值。

這並不表示句子有問題。

因此：

是否構成真正的研究問題，要看這些差異是否會改變後續 query 的答案。

這正是 SRBC-03 的工作。

36. 有多個完成也不等於有決策歧義

可能有：

但對某個問題：

因此本篇刻意不把：

直接叫做「有效歧義」。

本篇只稱其為：

下一篇才會定義：

這個分層非常重要。

37. 超額形式化

形式化不只可能欠規格，也可能過度規格。

若原表述只需要：

分析者卻直接加入：

則後三者若沒有來源，就構成：

形式模型可以因此變得更容易計算，卻離原表述更遠。

所以：

38. 欠規格與誤規格

本文沿用 SREG-F03 的區分。

欠規格

必要 slot 未被處理：

卻直接輸出 deterministic answer。

誤規格

把不受支持的值綁定為：

並當成原句所給。

兩者不同。

欠規格是：

誤規格是：

39. 默認不是文本

自然語言理解不可能完全沒有 default。

但：

與：

必須分開。

因此若 default rule：

產生：

應標記：

若新資訊推翻 default，branch 應允許 reopen：

這與 SREG 的動態 closure 思想相容。

40. Context 不是無限授權

上下文可以消歧。

例如先前已明說：

本遊戲主持人必定知道車的位置，必定打開一扇未被選中的羊門，且永遠提供換門。

那麼後續縮寫式敘述可以合法繼承這些條件。

此時：

已把相關 policy 放入 hard context。

但不能因為「一般人通常知道這是 Monty Hall」就自動把任意教科書版本的全部規則塞進：

因此 context 本身也需要 provenance 與 scope。

41. 文本核心不是作者心理狀態

本文的：

不是在讀心作者。

作者可能心中只有一個 intended model：

但若該 model 所需的某些 commitment 沒有被寫入文本或共享上下文，則讀者可得的 completion space 仍可能更大：

但：

因此：

這個區分對自然語言論證極重要。

42. 作者補充可以收縮完成空間

若作者加入新資訊：

則：

通常期待：

若補充是純限制，完成空間應單調收縮。

例如加入：

所有學生讀的是同一本書。

則原本的 scope family 被進一步限制。

這給出後續 minimal semantic completion 的基礎。

43. 但新增句子也可能打開新空間

自然語言是動態的。

有時：

不是純粹限制，而是引入新 domain、agent 或 modality。

此時 completion space 可能先擴張再收斂。

因此一般情況不能假設：

只有對明確的 disambiguating constraint 才能要求單調收縮。

這個 distinction 將在未來動態語義版本中很重要。

44. 完成空間的計算表示

工程上，不需要真的枚舉所有模型。

可以保存：

的 compact constraint representation。

例如：

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 從：

改成：

也就是：

這會降低分析者把自己選的模型偽裝成文本本身的風險。

46. Independent Formalizer Test

為降低單一分析者 bias，可以讓多個 formalizer：

獨立從同一：

產生：

研究：

與：

若不同 formalizer 持續找到相同 unresolved dimensions，則其結構可信度提高。

若只有單一 formalizer 想像出某 branch，則需進一步檢查是否為過度擴張。

47. Countermodel Search

若有人主張：

SRBC 的自然測試不是先爭論語感，而是搜尋：

若找到，則「必然意味」的主張失敗。

這把大量自然語言爭論轉成：

這也是本文與未來 Monty Hall 分析最直接的接口。

48. Countermodel 必須通過 admissibility audit

但反模型不能只是亂改規則。

對候選：

必須檢查：

1. 是否違反文本 hard constraint；
2. 是否違反共享 context；
3. 是否使用不同 lexical meaning；
4. 是否偷偷改變 domain；
5. 是否把 completion 變成 extension；
6. 是否需要不合理世界知識；
7. 是否與研究 signature 不相容；
8. 是否只是 notation variant。

只有通過這些檢查，才能成為有效 witness。

49. Completion Certificate

本文建議每個完成空間輸出一個第一代證書：

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

若要主張：

應提供額外證據，例如：

至少包括：

• 所有研究相關 open slots 已封閉；
• alternate parse 已檢查；
• admissible countermodel search 無結果；
• remaining branches 只差 isomorphism；
• context inheritance 已聲明；
• default rules 已顯式；
• model-specific assumptions 未倒灌。

本文不要求這種證書達到數理邏輯中的絕對終局完備。

它是一種：

51. 與 SREG 脈衝閉包的接口

SREG 的 closure 思想允許：

在有限 frame 與 budget 下宣告一次相對閉合。

SRBC-02 可以在語義層提供：

表示在目前：

• parser family；
• context；
• completion grammar；
• countermodel budget；
• signature；

下，完成空間已被推到階段性飽和。

但依照 SREG 廣義 Gödel 邊界：

新語境、新語言理論或新表示仍可能 reopen。

52. Completion Space 與符號表徵邊界

SRBC-01 定義符號表徵包絡。

若某 completion branch 要求：

則不能只說：

「反正這個符號也可以這樣理解。」

而需要：

1. 新 symbol；
2. 新 context；
3. 新 interpretation rule；
4. 新 composition rule；
5. 明確 redefinition。

因此：

這正是 SRBC-01 與 SRBC-02 的正式接口。

53. 無界符號不消滅 completion space

即使表述含：

仍可能存在：

• domain ambiguity；
• predicate ambiguity；
• scope ambiguity；
• type ambiguity；
• policy ambiguity；
• temporal ambiguity。

因此：

「全域量詞」只能在其 domain 已被指定後發揮全域量化功能，不能替未指定結構自動補完所有自由度。

54. 語義完成不是概率更新

本文的 completion space 與 Bayesian posterior 不同。

語義完成首先問：

概率推斷才問：

因此應區分：

與：

若 model uncertainty 尚未處理，就直接計算第二層，有可能把 epistemic uncertainty 隱藏在一個被固定的模型裡。

這將與既有判定域概率論形成重要接口。

55. 模型上的模型分佈

若有足夠理由，可以在 completion space 上再定義：

滿足：

於離散情況。

此時可以計算：

但這需要額外先驗、語境或 empirical model selection。

SRBC-02 不把：

視為原句自帶。

這一點對「主持人可能採取哪種策略」類問題尤其重要。

56. 完成空間與 supervaluation 的結構類比

在 supervaluation 類方法中，一個不完整或含 gap 的語義對象可以透過多個 admissible precisifications 來評估；若命題在所有 admissible precisifications 中都為真，則可獲得一種超真值穩定性。

SRBC 的：

與此存在結構類比。

但本文不把 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，卻強制：

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

抽取：

Stage C：Signature Declaration

明確指定：

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

計算或近似：

Stage I：Completion Certificate

輸出 branch、debt、frontier 與 closure status。

60. AI 作為 semantic completion generator

大型語言模型天然擅長產生：

但這不等於它天然擅長：

因此 AI 在 SRBC runtime 中更適合先擔任：

而不是直接擔任：

後續需要：

• symbolic constraint checker；
• type checker；
• theorem prover；
• model finder；
• contradiction detector；
• independent model comparison。

61. AI 的另一個風險：把文化常識當文本內容

AI 經常從大量訓練資料知道某個經典問題的標準版本。

因此它可能在看到縮略敘述時自動補全：

這在一般對話中往往很有用。

但在語義完備性研究中，必須區分：

與：

否則 benchmark name 本身就會污染 completion space。

62. Blind-name Protocol

因此對 Monty Hall 類著名問題，未來可採用：

方法是：

1. 移除題目名稱；
2. 保留原始 wording；
3. 改名 agent / objects；
4. 要求 formalizer 只依文本抽取 constraints；
5. 完成後才揭露它屬於哪個經典問題。

若 formalization 在揭露名稱前後明顯改變，就可以測量：

這會是 SRBC-06 的重要實驗方法之一。

63. 完成空間的最小單位不是「一句話」

自然語言語義可能跨句。

因此更一般的對象是 discourse：

完成空間為：

每一句加入後：

因此 SRBC 可以自然接到 dynamic semantics，而不是只處理 isolated sentence。

64. 歷史狀態

對時序問題，completion space 應保存：

因為同一句：

他又打開另一扇門。

若不知道：

就可能無法解析「又」、「另一扇」與可用 door set。

因此：

這直接對接既有歷史狀態變量與動態判定域研究。

65. 完成空間與反事實

若要問：

如果主持人當時開另一扇門會怎樣？

不能只靠 realized model state。

需要 completion 中包含：

或其他 counterfactual transition structure。

因此反事實問題會暴露原表述未指定的生成機制。

這也是為什麼只看實際發生事件往往不足以恢復完整 model。

66. 語義手術的最低單位

未來 SRBC semantic surgery 不應只標一句：

這裡有歧義。

而應輸出：

例如：

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 是否真的會改變某個具體問題的答案？

因為：

仍可能：

對所有模型成立。

因此 SRBC-02 只完成：

SRBC-03 才會加入：

68. 通往 SRBC-03：查詢相對完備性

下一篇將定義：

並建立：

接著研究：

若 quotient 只有一類，即使語義完成很多，也可能對 $Q$ 已足夠完備。

若存在多類，才構成真正會改變答案的 semantic underdetermination。

所以系列鏈條是：

69. 對 Monty Hall 的暫時定位

本文不在此重做 Monty Hall。

只先固定未來研究姿勢。

若標準完整遊戲協議已明確給定，則其形式模型可以是：

後續在該模型中的概率計算應照模型本身處理。

真正需要被重新審查的是另一個命題：

這不是同一問題。

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. 結論

自然語言表述進入數學與邏輯分析時，最容易發生的一個隱蔽錯誤，是把：

誤寫成：

SRBC-02 的目的，就是把這兩件事永久拆開。

本文提出：

原表述真正能保守承擔的內容，不是任何單一模型的全部 theory，而是：

而一個 completion branch 中新增的內容必須保留 provenance：

因此本文最核心的原則可以壓縮成：

中文：

形式化可以選定結構；但形式化本身不能證明來源表述唯一編碼了該結構。

這一區分使「語義歧義」不再只是語感爭論，而能被轉成：

SRBC-01 已經回答：

SRBC-02 現在回答：

下一篇 SRBC-03 將正式回答：

參考文獻與前置文件

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 語義手術建立形式基礎。