--- title: "符號表徵邊界：符號、符號域與概念承載上下限" english_title: "Symbolic Representation Bounds: Symbols, Symbolic Domains, and the Lower-Upper Limits of Conceptual Carrying Capacity" series: "SRBC：符號表徵邊界與語義完備性理論" series_english: "SRBC: Symbolic Representation Bounds and Semantic Completion" series_number: "SRBC-01/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:** Symbolic Representation Bounds: Symbols, Symbolic Domains, and the Lower-Upper Limits of Conceptual Carrying Capacity **系列：**《SRBC：符號表徵邊界與語義完備性理論》SRBC-01/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、版本、轉譯規則、型別資訊、語義分支與 provenance。 --- # 摘要 符號經常被當成概念、對象、關係或操作的簡潔代理，但「一個符號究竟能承載多少語義」通常只以直覺方式處理。當符號使用超出既有語義範圍時，人類語言與數學實踐會出現重新定義、增加修飾詞、建立複合符號、引入新符號、改寫語法、重新型別化或直接淘汰舊符號等現象；然而，若缺乏形式化框架，就很難區分何者只是正常語境擴張，何者已構成符號身份漂移，亦難以判定一段表述何時已不足以唯一承載後續推理所需的結構。 本文提出 **符號表徵邊界理論** 的第一代形式框架。核心主張不是「每個符號具有一個固定且絕對的宇宙級容量」，而是：對給定表示系統、上下文、有限主體與任務，符號通常存在一個可操作的 **身份保持表徵域**。本文沿用既有符號操作性研究中的表示系統： $$ \Lambda = ( \Sigma, G, I, \Omega ), $$ 其中 $\Sigma$ 為符號集， $G$ 為組合與語法規則， $I$ 為解釋、型別與映射機制， $\Omega$ 為可用操作族。對符號 $s$ 與上下文 $C$，本文不假定單一固定語義，而引入可接受解釋族： $$ \operatorname{Adm}_{A,C,Q}^{\Lambda}(s), $$ 並在語義承諾空間中定義符號的最低共同核心與最大身份保持包絡： $$ \underline{\mathcal B}_{A,C,Q}^{\Lambda}(s) = \bigcap_{\eta\in\operatorname{Adm}_{A,C,Q}^{\Lambda}(s)} \mathcal S_{\eta}(s), $$ $$ \overline{\mathcal B}_{A,C,Q}^{\Lambda}(s) = \bigcup_{\eta\in\operatorname{Adm}_{A,C,Q}^{\Lambda}(s)} \mathcal S_{\eta}(s). $$ 由此得到一個粗粒度的符號表徵區間： $$ \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]. $$ 本文進一步區分 **指涉無界性** 與 **表徵判別能力**。即使 $\forall$ 、 $\infty$ 、絕對量詞或其他符號可作用於無界或任意大的域，也不代表一個有限符號在未指定 domain、predicate、type、scope、policy 或生成規則時具有無限消歧能力。因此： $$ \operatorname{UnboundedDenotation}(s) \not\Rightarrow \operatorname{UnboundedDisambiguation}(s). $$ 本文再提出符號越界、語義過載、身份漂移與重符號化的操作條件；當目標結構在既有符號族與組合規則下無法同時滿足表徵保真、身份保持與歧義上限時，系統必須修改 $\Sigma$ 、 $G$ 、 $I$ 或 $\Omega$ 中至少一項。這使「新符號生成」不再只是語言史現象，而可被描述為表示系統遭遇表徵壓力後的結構性修復。 本篇不直接論證任何特定自然語言句子的歧義，也不直接重做 Monty Hall 問題。其任務是先建立一個更底層的中介理論：若要在後續證明某段自然語言不足以唯一決定一個形式模型，首先必須能回答「該表述實際承載了哪些語義承諾」、「哪些結構仍位於其合法表徵包絡內」、「哪些推論已越過原符號域而偷偷注入新結構」。本文因此作為 SREG 的低歧義形式生成研究與 SRBC 後續語義完成理論之間的第一座橋。 **關鍵詞：** SRBC、SREG、符號表徵、符號域、表徵邊界、語義承載、語義上下界、符號身份、語義過載、重符號化、形式化、自然語言、語義欠決定 --- # 0. 研究定位：問題不是「符號能不能代表很多東西」 符號當然可以代表很多東西。 同一個字元可以在不同學科、不同語境、不同社群與不同時代中承載不同結構。數學中的同一記號也可能被不同作者重新定義。自然語言詞彙更是高度依賴上下文。 因此本文不是要主張： $$ \boxed{ \text{每個符號只有一個永恆固定的意義。} } $$ 本文也不主張： $$ \boxed{ \text{有限字元不能指向無限對象。} } $$ 真正的問題是： > **當一個符號在某一表示系統、某一上下文與某一任務中被持續使用時，哪些語義擴張仍可被視為「同一符號的合法解釋」，而哪些擴張已經需要額外符號、額外規則或新的表示機制才能誠實承載？** 這個問題與「符號長度」不同，也與「指涉對象的大小」不同。 一個只有一個字元的符號： $$ \forall $$ 可以作用於任意大的 domain；但若沒有 domain、predicate 與 scope，它並沒有因此唯一說明任意具體全稱命題。 同樣地，一個自然語言詞： > 知道 可以在不同語境中承載大量細緻差異，但「知道某事」本身並不自動指定： - 行動策略； - 動機； - 必然採取的政策； - 未來所有時刻的行為； - 對其他主體公開了哪些資訊。 因此： $$ \text{可指向很多東西} $$ 與： $$ \text{能唯一承載很多結構} $$ 不是同一命題。 SRBC-01 的核心，就是把這個差異正式化。 --- # 1. 與既有 SREG 與符號研究的關係 ## 1.1 SREG 已經處理了「語義自由度如何進入形式狀態」 SREG-F03 的重要進展，是不再把形式化理解成「把自然語言翻成一個公式」，而是要求系統顯式保存： - 當前定義； - domain； - 綁定變數； - assumptions； - 尚未決定的 interpretations； - 已淘汰 branches； - 可重新合併 branches； - 當前 frame 下的版本答案。 其核心問題可寫成： $$ \boxed{ \text{語義自由度如何被安全地轉換成形式狀態。} } $$ SRBC 接續的問題則更早一層： $$ \boxed{ \text{在形式分支生成之前，原符號究竟允許哪些語義自由度？} } $$ 如果沒有這一層，候選形式化族仍可能只是由分析者自行想像，而不是由原符號的合法表徵域所支持。 --- ## 1.2 舊「語言等於真理空間」版本過強 更早的符號研究曾出現較強的語言本體論版本，把新符號、新語言與新真理空間直接連接。後續研究已經把這一命題修正為較弱且更可檢驗的形式： $$ \boxed{ \text{Truth Space} \neq \text{Reachable Truth Space}. } $$ 本文完全沿用這一修正。 我們不主張： $$ \text{New Symbol} \Rightarrow \text{New Truth}. $$ 我們主張的只是： $$ \text{New Symbol} \Rightarrow \text{possible change in reachable representation and operation space}. $$ 也就是新符號可能改變： - 可穩定區分的概念； - 可持續操作的對象； - 可組合的結構； - 可搜尋的路徑； - 可重新激活的高密度概念； - 可顯式審計的語義差異。 這也是本文使用「表徵邊界」而不使用「真理邊界」的原因。 --- # 2. 第一個基本區分：符號載體、符號語義與符號操作 令一個表示系統為： $$ \Lambda = ( \Sigma, G, I, \Omega ). $$ 其中： - $\Sigma$：可用符號集合； - $G$：符號的合法組合、語法與型別規則； - $I$：符號到解釋、對象、關係或語義狀態的映射機制； - $\Omega$：可作用於符號與其對應結構的操作族。 給定： $$ s\in\Sigma, $$ 我們至少需要區分三層。 ## 2.1 載體層 載體記為： $$ \operatorname{Car}(s). $$ 它可以是： - 字元； - token； - 圖形； - 聲音； - 手勢； - 記憶位置； - 結構化物件 ID； - 原生數學 object reference。 載體本身不是完整語義。 --- ## 2.2 語義層 在主體 $A$ 、上下文 $C$ 、任務 $Q$ 下，一個合法解釋器： $$ \eta $$ 會把符號映射為某一組語義承諾： $$ \mathcal S_{\eta}(s) \subseteq \mathcal U_C, $$ 其中： $$ \mathcal U_C $$ 是當前上下文可區分的語義承諾宇宙。 這裡刻意使用「語義承諾」而非「真理」。 因為： $$ \mathcal S_{\eta}(s) $$ 只表示使用符號 $s$ 時，解釋器實際引入了哪些結構性承諾。 --- ## 2.3 操作層 符號還可能解鎖操作： $$ \Omega_s \subseteq \Omega. $$ 因此同一符號可能具有相近的指涉，卻具有非常不同的操作價值。 例如某個高密度數學記號的價值不只在於「代表一個概念」，而可能在於它讓整個公式族、變換族或證明路徑變得容易調用。 所以： $$ \boxed{ \text{Symbolic Value} \neq \text{Denotation Only}. } $$ --- # 3. 可接受解釋族 自然語言與成熟數學語言都不適合被預設成： $$ s \mapsto \text{exactly one semantic object}. $$ 因此定義： $$ \operatorname{Adm}_{A,C,Q}^{\Lambda}(s) $$ 為在表示系統 $\Lambda$ 、主體 $A$ 、上下文 $C$ 與任務 $Q$ 下，對符號 $s$ 的可接受解釋族。 一個解釋： $$ \eta \in \operatorname{Adm}_{A,C,Q}^{\Lambda}(s) $$ 至少必須滿足： 1. 不違反 $G$ 的型別與組合限制； 2. 不與上下文 $C$ 已明確固定的承諾衝突； 3. 不偷偷加入 $I$ 中未授權的結構； 4. 在任務 $Q$ 所需精度下仍可被辨識為同一符號身份的合法使用； 5. 若存在社群、協議或明示定義，則符合該協議的最低要求。 這使符號語義不再是一個點，而是一個可接受區域。 --- # 4. 最低共同核心與最大身份保持包絡 ## 4.1 最低共同核心 定義： $$ \underline{\mathcal B}_{A,C,Q}^{\Lambda}(s) = \bigcap_{\eta\in\operatorname{Adm}_{A,C,Q}^{\Lambda}(s)} \mathcal S_{\eta}(s). $$ 此集合表示： > 在所有目前仍被視為合法的解釋中，共同保留下來的最低語義承諾。 如果某項結構： $$ x \notin \underline{\mathcal B}_{A,C,Q}^{\Lambda}(s), $$ 則不能只因看到 $s$ 就聲稱： $$ s \Rightarrow x. $$ 這是後續語義手術的重要規則。 --- ## 4.2 最大身份保持包絡 定義： $$ \overline{\mathcal B}_{A,C,Q}^{\Lambda}(s) = \bigcup_{\eta\in\operatorname{Adm}_{A,C,Q}^{\Lambda}(s)} \mathcal S_{\eta}(s). $$ 此集合表示： > 在不退出當前符號身份的條件下，現有合法解釋族曾允許承載的最大語義包絡。 若某一結構 $x$： $$ x \notin \overline{\mathcal B}_{A,C,Q}^{\Lambda}(s), $$ 則把 $x$ 強行加入符號 $s$ 的意義，至少需要發生下列一種事情： $$ C \rightarrow C', $$ 或： $$ I \rightarrow I', $$ 或： $$ G \rightarrow G', $$ 或： $$ \Sigma \rightarrow \Sigma', $$ 或： $$ \Omega \rightarrow \Omega'. $$ 換句話說，不能一方面宣稱「符號系統完全沒變」，一方面又把原先不在合法包絡中的新結構無成本塞入。 --- # 5. 符號表徵區間 由上述兩個邊界，定義： $$ \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]_{\subseteq}. $$ 這是一個以語義承諾包含關係為偏序的粗粒度區間。 需要特別注意： $$ \mathbb B_{A,C,Q}^{\Lambda}(s) $$ 並不表示區間內每一個集合都是實際合法解釋。 真正的可接受語義流形仍是： $$ \mathfrak A_{A,C,Q}^{\Lambda}(s) = \left \{ \mathcal S_{\eta}(s) : \eta\in\operatorname{Adm}_{A,C,Q}^{\Lambda}(s) \right\}. $$ 因此： $$ \mathfrak A_{A,C,Q}^{\Lambda}(s) \subseteq \mathbb B_{A,C,Q}^{\Lambda}(s). $$ 區間只是 coarse envelope；可接受流形才是真正需要在研究中估計的對象。 --- # 6. 為什麼上下界必須是動態的 如果我們寫： $$ \mathbb B(s) $$ 並把它當成永久不變的東西，就會再次回到過度本質化。 因此本文要求： $$ \mathbb B = \mathbb B_{A,C,Q}^{\Lambda}(s). $$ 只要以下任一項改變： $$ A, \quad C, \quad Q, \quad \Lambda, $$ 符號的可接受表徵域就可能改變。 例如同一符號在： - 初等教材； - 專業論文； - proof assistant； - 物理模型； - 自然語言對話； - 法律文本； - AI 內部 IR； 中的邊界不應被假設相同。 所以更一般地： $$ \mathbb B_t(s) = \mathbb B_{A_t,C_t,Q_t}^{\Lambda_t}(s). $$ 這使 SRBC 成為動態表徵理論，而不是靜態字典理論。 --- # 7. 身份保持與身份漂移 符號可以擴張，但擴張不是無成本的。 定義一個身份保持判定： $$ \operatorname{IdKeep} ( s, \eta, C, Q ) \in \{0,1\}. $$ 若： $$ \operatorname{IdKeep}=1, $$ 則在任務 $Q$ 與上下文 $C$ 下，該解釋仍可合理地被視為符號 $s$ 的同一身份使用。 若： $$ \operatorname{IdKeep}=0, $$ 則發生： $$ \boxed{ \text{semantic identity drift}. } $$ 身份漂移不一定表示語言錯誤。 它可能是： - 新學科重新定義； - 新理論建立； - 語義歷史演化； - 新社群慣例； - 技術術語專門化； - 舊符號被重新利用。 但一旦發生身份漂移，就不能再假裝： $$ \text{old semantics} = \text{new semantics}. $$ 版本、上下文與 provenance 必須被保存。 --- # 8. 指涉無界性不等於表徵能力無界 這是本文最重要的防守命題之一。 ## 8.1 無界指涉 某符號 $s$ 可能具有： $$ |\operatorname{Den}(s)| = \infty, $$ 甚至它可能是一個作用於任意 domain 的 schema。 例如： $$ \forall. $$ 這個符號不是因為只有一個字元就只能談有限對象。 --- ## 8.2 但它沒有單獨決定完整命題 具體全稱命題通常至少需要： $$ D, \quad P, \quad \operatorname{Scope}, $$ 其中 $D$ 是 domain， $P$ 是 predicate。 因此僅有： $$ \forall $$ 並不能唯一指定： $$ \forall x\in D:P(x). $$ 所以： $$ \boxed{ \operatorname{UnboundedDenotation}(s) \not\Rightarrow \operatorname{UnboundedDisambiguation}(s). } $$ 同樣地： $$ \infty $$ 可以指涉無限，但「無限」本身不告訴我們： - 哪一種無限； - 哪一個基數； - 哪一個極限程序； - 哪一個拓撲； - 哪一個測度； - 哪一個序列； - 哪一個收斂概念。 因此「概念對象很大」不能被誤當成「符號已承載所有相關結構」。 --- # 9. 有限載體與生成性無限 還有另一個常見誤解： > 如果有限符號可以透過遞迴生成無限結構，那符號就沒有表徵上限。 這也不成立。 應區分： $$ \operatorname{StaticSem}(s) $$ 與： $$ \operatorname{Cl}_{G,\Omega}(s). $$ 後者表示符號在語法 $G$ 與操作族 $\Omega$ 下可生成的閉包。 一個有限種子完全可能生成無限族： $$ |\operatorname{Cl}_{G,\Omega}(s)| = \infty. $$ 但這個無限不是「單一靜態符號無條件攜帶了一切」，而是： $$ \boxed{ \text{finite carrier} + \text{generative rules} \rightarrow \text{potentially unbounded family}. } $$ 因此 SRBC 的邊界不是要限制生成閉包，而是要求把： - 符號； - 規則； - 操作； - domain； - 型別； 分開記帳。 --- # 10. 概念承載與表徵保真 令目標概念或結構為： $$ X. $$ 令： $$ \Phi(X) \subseteq \mathcal U_C $$ 表示對任務 $Q$ 而言， $X$ 需要被保留的相關語義特徵。 定義表徵失真： $$ D_{ \mathrm{rep} } ( X, \eta(s) ) = d \left( \Phi(X), \mathcal S_{\eta}(s) \right), $$ 其中 $d$ 是依任務選定的語義距離。 若允許誤差： $$ \varepsilon_Q, $$ 則 $s$ 對 $X$ 的表徵至少需要滿足： $$ D_{\mathrm{rep}} ( X, \eta(s) ) \le \varepsilon_Q. $$ 這說明「能不能用某個符號代表某概念」不是單純 yes/no，而可以依任務精度而變。 --- # 11. 歧義寬度 即使某符號可以涵蓋目標 $X$，它仍可能太寬。 令： $$ Q : \mathfrak A_{A,C,Q}^{\Lambda}(s) \rightarrow \mathcal Y $$ 為任務所關心的判定函數。 定義任務相對歧義直徑： $$ W_Q(s) = \sup_{ \eta_i, \eta_j \in \operatorname{Adm}_{A,C,Q}^{\Lambda}(s) } d_Q \left( Q(\eta_i), Q(\eta_j) \right). $$ 若： $$ W_Q(s)=0, $$ 則即使存在多個語義解釋，它們對當前任務 $Q$ 仍是等價的。 若： $$ W_Q(s)>0, $$ 則符號的解釋差異已經會改變任務答案。 這個量將在 SRBC-03 與 SRBC-05 中被完整展開。 --- # 12. 表徵壓力 現在我們可以定義符號何時開始「裝不下」。 不是因為字元長度不夠，而是因為三種壓力同時增加： 1. 表徵失真； 2. 任務相關歧義； 3. 維持符號身份的成本。 定義第一代表徵壓力： $$ \Pi_{ \mathrm{rep} } ( s, X ) = \alpha D_{ \mathrm{rep} } + \beta W_Q + \gamma C_{ \mathrm{id} }, $$ 其中： - $D_{\mathrm{rep}}$：表徵失真； - $W_Q$：任務相對歧義寬度； - $C_{\mathrm{id}}$：為了維持「這仍是同一符號」所需要的額外上下文、備註與修復成本； - $\alpha,\beta,\gamma$：任務權重。 當： $$ \Pi_{ \mathrm{rep} } > \tau_Q, $$ 可視為觸發重符號化檢查。 這不是自然定律，而是一個可實驗調整的第一代操作判準。 --- # 13. 五種典型越界 ## 13.1 欠承載 目標結構需要： $$ \Phi(X), $$ 但符號實際能穩定保留的只有： $$ \Phi'(X) \subsetneq \Phi(X). $$ 這形成： $$ \boxed{ \text{under-representation}. } $$ --- ## 13.2 過載 同一符號被迫同時承擔大量彼此不同且會影響任務的解釋： $$ W_Q(s) \uparrow. $$ 形成： $$ \boxed{ \text{semantic overload}. } $$ --- ## 13.3 身份漂移 新的解釋已經越過： $$ \overline{\mathcal B}_{A,C,Q}^{\Lambda}(s), $$ 但仍沿用原符號而沒有版本或定義聲明。 形成： $$ \boxed{ \text{silent identity drift}. } $$ --- ## 13.4 操作缺口 符號在描述上勉強可用，但缺少必要操作： $$ \Omega_s \not\supseteq \Omega_X^{\mathrm{required}}. $$ 此時問題不是「不懂意思」，而是： $$ \boxed{ \text{無法在該符號接口上完成需要的計算。} } $$ --- ## 13.5 隱性結構注入 推理者從符號 $s$ 偷偷加入： $$ x \notin \overline{\mathcal B}_{A,C,Q}^{\Lambda}(s), $$ 卻不修改任何表示系統狀態。 形成： $$ \boxed{ \text{silent semantic injection}. } $$ 這是後續自然語言歧義研究最關鍵的失敗模式之一。 --- # 14. 重符號化不是只有「發明新字」 當符號越界時，修復方法很多。 定義重符號化操作族： $$ \mathcal N = \{ N_{\mathrm{spec}}, N_{\mathrm{comp}}, N_{\mathrm{new}}, N_{\mathrm{ctx}}, N_{\mathrm{type}}, N_{\mathrm{replace}} \}. $$ 分別表示： ## 14.1 專門化 $$ N_{\mathrm{spec}}: s\mapsto s'. $$ 讓原本過寬的符號變成更窄的專門術語。 --- ## 14.2 複合化 $$ N_{\mathrm{comp}}: (s_1,s_2,\ldots,s_n) \mapsto s_1\oplus\cdots\oplus s_n. $$ 透過組合而不是新造基本符號承載新結構。 --- ## 14.3 新符號生成 $$ N_{\mathrm{new}}: \Sigma \rightarrow \Sigma\cup\{s_{\mathrm{new}}\}. $$ --- ## 14.4 上下文綁定 $$ N_{\mathrm{ctx}}: (s,C) \mapsto (s,C'). $$ 有時不需要新符號，只需要把 domain、scope 或協議說清楚。 --- ## 14.5 重新型別化 $$ N_{\mathrm{type}}: I(s) \rightarrow I'(s). $$ 例如把原本被當作值的東西改成 operator、relation、distribution 或 family。 --- ## 14.6 取代 $$ N_{\mathrm{replace}}: s\mapsto s_{\mathrm{replacement}}. $$ 當舊符號歷史負債過高，直接換一套接口可能比不斷補註更乾淨。 --- # 15. 命題一：身份保持邊界原理 **命題 15.1** 若 $x$ 不屬於符號 $s$ 在當前表示系統、上下文與任務下的最大身份保持包絡： $$ x \notin \overline{\mathcal B}_{A,C,Q}^{\Lambda}(s), $$ 則在不改變 $\Lambda$ 、 $C$ 、 $Q$ 或符號身份判準的情況下，把 $x$ 宣稱為 $s$ 的既有合法語義承諾是不成立的。 **證明。** 由定義： $$ \overline{\mathcal B}_{A,C,Q}^{\Lambda}(s) = \bigcup_{ \eta\in\operatorname{Adm}_{A,C,Q}^{\Lambda}(s) } \mathcal S_{\eta}(s). $$ 若 $x$ 不在此聯集內，則不存在任何目前被承認的合法解釋： $$ \eta \in \operatorname{Adm}_{A,C,Q}^{\Lambda}(s) $$ 使： $$ x \in \mathcal S_{\eta}(s). $$ 故若要加入 $x$，必須擴張可接受解釋族，亦即修改至少一個構成其合法性的條件。證畢。 此命題看似接近定義，但它的重要性在於： $$ \boxed{ \text{任何語義擴張都必須留下結構性帳本。} } $$ --- # 16. 命題二：無界指涉與無界消歧不等價 **命題 16.1** 存在符號 $s$ 使： $$ |\operatorname{Den}(s)| = \infty, $$ 但對某一具體任務 $Q$： $$ W_Q(s) > 0. $$ 因此： $$ \operatorname{UnboundedDenotation}(s) \not\Rightarrow \operatorname{QueryComplete}(s,Q). $$ **構造。** 取： $$ s=\forall. $$ 允許其作用於無限多個不同 domain 與 predicate。故其可能指涉／操作家族可為無限。 但若任務 $Q$ 問： > 這一個 $\forall$ 實際量化哪一個 domain，並對哪一個 predicate 作出何種全稱斷言？ 在未指定 $D$ 與 $P$ 時，存在多個合法完成： $$ \forall x\in D_1:P_1(x), $$ $$ \forall x\in D_2:P_2(x), $$ 且它們對 $Q$ 的答案不同。 因此： $$ W_Q(\forall)>0. $$ 證畢。 這證明： $$ \boxed{ \text{表徵邊界不是由對象是否有限決定。} } $$ --- # 17. 命題三：有限表示系統下的重符號化必要性 令當前表示系統在資源預算 $B$ 下可生成的表示族為： $$ \mathcal R_B(\Lambda). $$ 令目標結構為： $$ X. $$ 若： $$ \forall r \in \mathcal R_B(\Lambda), \quad D_{\mathrm{rep}}(X,r) > \varepsilon_Q, $$ 則沒有任何當前可達表示能滿足任務保真閾值。 因此若仍要求： $$ D_{\mathrm{rep}} \le \varepsilon_Q, $$ 就必須令： $$ \Lambda \rightarrow \Lambda', $$ 其中至少一項改變： $$ \Sigma, \quad G, \quad I, \quad \Omega. $$ 這就是本文所稱的： $$ \boxed{ \text{representation-driven resymbolization}. } $$ 它不保證一定「發明新字」，只保證現有表示能力必須被擴張或重組。 --- # 18. 組合符號的非加法性 若有兩個符號： $$ s_1, \quad s_2, $$ 不能假設： $$ \mathbb B(s_1\oplus s_2) = \mathbb B(s_1) \cup \mathbb B(s_2). $$ 因為組合可能產生： - 約束； - 型別收窄； - 新關係； - 次序； - 作用域； - 交互定義； - 高階 operator。 因此一般地： $$ \mathbb B(s_1\oplus s_2) = \mathcal C_G \left( \mathbb B(s_1), \mathbb B(s_2) \right), $$ 其中： $$ \mathcal C_G $$ 為受語法與型別控制的組合算子。 這一點非常重要，因為自然語言與數學語言的大部分表達能力都不是靠無限增加 primitive，而是靠有限 primitive 的可組合性。 --- # 19. 符號域不是單符號域 本文因此把「符號域」定義為： $$ \mathfrak D_{ \mathrm{sym} } ( \Lambda, A, C, Q ) = \operatorname{Cl}_{G,\Omega} \left( \{\mathbb B_{A,C,Q}^{\Lambda}(s):s\in\Sigma\} \right). $$ 也就是整個符號系統在組合與操作下可達的表徵閉包。 這個閉包可能遠大於單一符號的表徵域。 所以 SRBC 不應被理解為： > 每個符號有一個小盒子，概念只能塞在盒子裡。 更精確的是： > 每個符號都有身份保持的合法區域；符號組合與操作可以生成更大的可達表徵空間；當既有閉包不足以承載新結構時，系統才需要重新符號化。 --- # 20. 最小表徵語言 對任務 $Q$ 與目標結構 $X$，定義可接受表示集： $$ \mathcal L_{X,Q} = \left\{ \Lambda: \exists r\in\mathcal R(\Lambda), D_{\mathrm{rep}}(X,r) \le \varepsilon_Q \right\}. $$ 可以進一步尋找： $$ \Lambda^*_{X,Q} = \arg\min_{ \Lambda\in\mathcal L_{X,Q} } C(\Lambda), $$ 其中 $C(\Lambda)$ 可以包含： - 符號數； - 定義長度； - 推理成本； - 解碼成本； - 歧義成本； - 記憶成本； - 驗證成本。 這不是要尋找「宇宙唯一最短語言」，而是尋找： $$ \boxed{ \text{任務相對的最小充分表示系統。} } $$ 這將與後續 SRBC-05 的 minimal semantic completion 直接相連。 --- # 21. 一個自然語言微型例子：知識不等於策略 本篇不正式處理 Monty Hall，但可以先展示表徵邊界如何工作。 假設一段表述只明示： > 主持人知道門後的內容。 在某一最小形式化中，我們可以寫： $$ K_H(C)=1. $$ 其中 $K_H$ 表示主持人的知識狀態。 但這個符號承諾本身並沒有直接給出： $$ \pi_H, $$ 即主持人的行為政策。 所以一般不能直接提升為： $$ K_H(C)=1 \Rightarrow \pi_H = \pi_{\mathrm{goat}}. $$ 除非原語言、規則或上下文額外加入： $$ \operatorname{PolicyConstraint} ( H ). $$ 這就是 SRBC 所要抓的結構： $$ \boxed{ \text{epistemic commitment} \neq \text{policy commitment}. } $$ 若推理者把後者無聲加入前者，就可能發生： $$ \boxed{ \text{silent semantic injection}. } $$ 這一微型例子將在 SRBC-04 與 SRBC-06 中被正式展開。 --- # 22. 與自然語言欠規格研究的關係 既有形式語義學早已研究： - scope ambiguity； - underspecification； - discourse representation； - context dependence； - model-theoretic interpretation。 Reyle 的 underspecification 路線尤其重要，因為它不要求一開始就把所有歧義枚舉成完整語義結構，而可以用 meta-level constraints 限制一族可能語義表示。 SRBC 與這一方向相容，但研究焦點不同。 本文要額外回答： 1. 一個符號的合法解釋族本身有哪些身份保持邊界？ 2. 何時解釋差異仍只是可容忍語義自由度？ 3. 何時這些差異開始改變任務答案？ 4. 何時應由上下文補足，而不是新增符號？ 5. 何時既有符號系統已無法忠實承載目標結構，因而必須重符號化？ 6. 如何把這些邊界接入 SREG 的 ambiguity debt 與 closure debt？ 因此 SRBC 不企圖取代形式語義學，而是建立一個可與 SREG、AI 表示學、動態符號系統與自然語言模型完成問題連接的中介層。 --- # 23. 與概念空間的關係 概念空間研究提醒我們： $$ \text{symbolic representation} $$ 不是唯一的表示層。 一個智能系統可能同時具有： - 連續向量； - 幾何概念空間； - 神經表徵； - 符號 token； - 圖結構； - 可執行 operator； - 外部工具狀態。 所以本文的： $$ \mathcal U_C $$ 不必是一個純離散集合。 它可以是： $$ \mathcal U_C = \mathcal U_{ \mathrm{symbolic} } \times \mathcal U_{ \mathrm{geometric} } \times \mathcal U_{ \mathrm{operational} } \times \mathcal U_{ \mathrm{state} }. $$ 符號 $s$ 可以被視為對這個高維底空間的一個接口或投影錨點，而不是底空間本身。 這也與既有「表徵優先」與「高維語義場」研究相容。 --- # 24. 表徵邊界與高維底空間 假設底層概念狀態位於： $$ X \in \mathcal M, $$ 其中 $\mathcal M$ 可以是高維、連續、離散或混合空間。 符號化可以寫成： $$ \pi_s: \mathcal M \rightarrow \mathcal Z_s. $$ 其中： $$ \mathcal Z_s $$ 是符號 $s$ 可穩定外顯的表示區域。 一般地： $$ \pi_s $$ 可能是多對一的。 因此： $$ X_1 \neq X_2 $$ 仍可能有： $$ \pi_s(X_1) = \pi_s(X_2). $$ 這就是資訊壓縮，也是歧義的來源之一。 當任務 $Q$ 不需要區分 $X_1$ 與 $X_2$ 時，這種壓縮完全沒有問題。 只有當： $$ Q(X_1) \neq Q(X_2) $$ 而符號仍把它們壓成同一表示時，才出現任務相關缺口。 因此： $$ \boxed{ \text{compression} \neq \text{error}. } $$ 真正的問題是： $$ \boxed{ \text{task-relevant distinctions were compressed away}. } $$ --- # 25. 動態概念上下限 使用時間索引： $$ t. $$ 符號的表徵邊界演化為： $$ \underline{\mathcal B}_t(s), \quad \overline{\mathcal B}_t(s). $$ 可能出現： ## 25.1 擴張 $$ \overline{\mathcal B}_{t+1}(s) \supset \overline{\mathcal B}_{t}(s). $$ 表示社群或系統接受了更多合法用途。 --- ## 25.2 收縮 $$ \overline{\mathcal B}_{t+1}(s) \subset \overline{\mathcal B}_{t}(s). $$ 表示術語被專門化、規格化或去歧義。 --- ## 25.3 核心增厚 $$ \underline{\mathcal B}_{t+1}(s) \supset \underline{\mathcal B}_{t}(s). $$ 表示越來越多語義承諾成為使用該符號時不可缺少的共同核心。 --- ## 25.4 核心削弱 $$ \underline{\mathcal B}_{t+1}(s) \subset \underline{\mathcal B}_{t}(s). $$ 表示符號被泛化，原本被認為必要的承諾不再普遍成立。 這就是本文所稱的： $$ \boxed{ \text{dynamic conceptual representation bounds}. } $$ --- # 26. 符號生成何時發生 現在可以給出一個比「語言需要新詞」更精確的第一代條件。 令： $$ X $$ 為需要穩定處理的新結構。 若同時滿足： $$ \inf_{r\in\mathcal R_B(\Lambda)} D_{\mathrm{rep}}(X,r) > \varepsilon_Q, $$ 且： $$ \Pi_{ \mathrm{rep} } > \tau_Q, $$ 則系統存在重符號化壓力。 接著比較所有修復方案： $$ N \in \mathcal N. $$ 選擇： $$ N^* = \arg\min_{N\in\mathcal N} \left[ C(N) + \lambda D_{ \mathrm{post} }(N) \right], $$ 其中： - $C(N)$：重符號化成本； - $D_{\mathrm{post}}(N)$：修復後剩餘失真； - $\lambda$：保真權重。 因此「發明新符號」只是可能解之一。 有時最佳解是： $$ \text{add one qualifier}. $$ 有時是： $$ \text{write the policy explicitly}. $$ 有時是： $$ \text{introduce a new operator}. $$ 有時則是： $$ \text{replace the old term entirely}. $$ --- # 27. 表徵效率與符號密度 定義一個粗略的符號表徵密度： $$ \rho_{ \mathrm{sym} }(s) = \frac{ I_{ \mathrm{recoverable} }(s) }{ C_{ \mathrm{carrier} }(s) }, $$ 其中： - $I_{\mathrm{recoverable}}$：可穩定再激活的任務相關結構量； - $C_{\mathrm{carrier}}$：符號載體與解碼成本。 高密度符號可能非常有效率。 但高密度同時可能提高： $$ W_Q(s). $$ 因此最佳符號不是單純最大壓縮，而是： $$ \boxed{ \text{high recoverability} + \text{controlled ambiguity} + \text{low reconstruction cost}. } $$ 這與 SREG 的形式化壓縮與 ambiguity debt 可以直接接軌。 --- # 28. 與 SREG ambiguity debt 的接軌 SREG-F03 已經建立： $$ \operatorname{AmbDebt}. $$ SRBC 可以提供它的一個前置來源。 定義未顯式邊界負債： $$ D_{ \mathrm{bound} } = \sum_{s\in\Sigma_{ \mathrm{active} }} \omega_s \cdot U(s), $$ 其中： $$ U(s) $$ 表示符號 $s$ 的： - 核心未明； - 包絡未明； - 型別未明； - domain 未明； - policy 未明； - scope 未明。 當： $$ D_{ \mathrm{bound} } \uparrow, $$ SREG 後續形式化分支就更容易發生： - branch explosion； - hidden assumption injection； - premature closure； - false merge； - frame mismatch。 所以 SRBC-01 可以被視為： $$ \boxed{ \text{ambiguity debt before branching}. } $$ --- # 29. 第一代可測量指標 為了讓本理論不只停留在哲學層，提出以下第一代指標。 ## 29.1 核心比例 在有限特徵近似下： $$ R_{ \mathrm{core} }(s) = \frac{ |\underline{\mathcal B}(s)| }{ |\overline{\mathcal B}(s)| }. $$ 比例低可能表示符號具有很大語義自由度。 --- ## 29.2 任務歧義直徑 $$ W_Q(s). $$ 它只測真正會改變 $Q$ 的解釋差異。 --- ## 29.3 邊界距離 對目標 $X$： $$ D_{ \partial }(X,s) = \inf_{ Y\in \overline{\mathcal B}(s) } d ( \Phi(X), Y ). $$ --- ## 29.4 身份維持成本 $$ C_{ \mathrm{id} }(s). $$ 估計為了讓使用者仍正確理解 $s$，需要多少額外定義與上下文。 --- ## 29.5 重符號化增益 若： $$ \Lambda \rightarrow \Lambda', $$ 則： $$ G_{ \mathrm{resym} } = \Pi_{ \mathrm{rep} }^{\Lambda} - \Pi_{ \mathrm{rep} }^{\Lambda'}. $$ 若長期： $$ G_{ \mathrm{resym} } \le 0, $$ 則新增符號可能沒有價值。 --- # 30. 第一代實驗協議 SRBC-01 本身即可形成測試。 ## 30.1 符號核心抽取 給定符號 $s$，從： - 多人； - 多模型； - 多文本； - 多學科； - 多上下文； 收集合法解釋。 估計： $$ \underline{\mathcal B}(s), \quad \overline{\mathcal B}(s). $$ --- ## 30.2 邊界擾動 逐步加入語義特徵： $$ x_1,x_2,\ldots,x_n. $$ 測量何時參與者開始判定： > 這已經不是原本那個概念。 藉此估計身份漂移邊界。 --- ## 30.3 任務切換 固定符號 $s$，改變： $$ Q_1, Q_2, \ldots,Q_n. $$ 測試： $$ W_{Q_i}(s) $$ 是否改變。 這可以檢驗本文的核心主張： $$ \boxed{ \text{有效歧義是 task-relative 的。} } $$ --- ## 30.4 重符號化效益 比較： $$ \Lambda $$ 與： $$ \Lambda' $$ 在： - 錯誤率； - 推理時間； - branch 數； - 重建率； - 解釋器一致性； - 長程記憶穩定性； 上的差異。 --- # 31. 可證偽條件 本文提出的是研究框架，不應被保護成不可反駁命題。 以下結果會削弱 SRBC-01 的核心假說。 ## 31.1 若沒有可重複的身份保持區域 如果任何符號在任何語境中都不存在相對穩定的共同核心： $$ \underline{\mathcal B}(s) \approx \varnothing, $$ 且任何擴張都同樣可接受，則「表徵邊界」概念會大幅失去作用。 --- ## 31.2 若任務不改變歧義效果 若不同任務下： $$ W_{Q_1}(s) = W_{Q_2}(s) = \cdots $$ 且 task-relative 分析沒有額外解釋力，則本文的任務相對性需要削弱。 --- ## 31.3 若重符號化不改善任何操作結果 如果： $$ G_{ \mathrm{resym} } \le 0 $$ 普遍成立，而且新增符號、型別、定義、組合規則從不改善： - 保真； - 搜尋； - 記憶； - 推理； - 協作； - 驗證； 則「表徵壓力導致重符號化」的操作性價值會被削弱。 --- ## 31.4 若上下文能零成本承載一切 若任何新概念都可以只靠無成本上下文： $$ C \rightarrow C' $$ 而不增加任何解碼、記憶或協作成本，則顯式符號邊界的重要性會下降。 但這一點本身就是可測試假說，而不應先驗決定。 --- # 32. 本文不主張什麼 為避免理論再次膨脹，本篇明確排除以下命題。 ## 32.1 不主張符號創造真理 本文不主張： $$ \text{Symbol} \Rightarrow \text{Truth Creation}. $$ --- ## 32.2 不主張所有符號都有固定有限語義 本文不主張： $$ |\overline{\mathcal B}(s)| < \infty $$ 對所有符號成立。 表徵包絡本身可以是無限集合。 真正有限或受限的可能是： - 當前主體可區分能力； - 當前任務所需精度； - 當前上下文； - 可用資源； - 解碼成本； - 身份保持條件。 --- ## 32.3 不主張自然語言必然比形式語言差 自然語言具有高壓縮、彈性、類比、快速概念生成等優勢。 問題不是： $$ \text{Natural Language} < \text{Formal Language}. $$ 而是： $$ \boxed{ \text{不同表示形式暴露不同的語義責任。} } $$ --- ## 32.4 不主張所有歧義都需要消除 如果： $$ W_Q(s)=0, $$ 則多個解釋對任務 $Q$ 等價。 此時保留歧義可能比過度規格更好。 這與 SREG 的 delayed commitment 完全一致。 --- # 33. 對後續自然語言研究的直接意義 SRBC-01 最重要的成果不是「證明自然語言有歧義」。 那個命題太寬，也沒有必要。 真正建立的是一套後續可以使用的判定語言。 對一段自然語言 $u$，未來我們將不再直接問： > 這句話有沒有歧義？ 而是先問： $$ \boxed{ \text{它明確承載了哪些語義承諾？} } $$ 接著問： $$ \boxed{ \text{哪些候選結構仍落在其合法表徵包絡？} } $$ 再問： $$ \boxed{ \text{哪些後續推論需要加入原表述沒有承載的新結構？} } $$ 最後才進入： $$ \boxed{ \text{這些差異是否會改變當前查詢答案？} } $$ 因此整個 SRBC 系列的基礎鏈可以寫成： $$ \boxed{ \text{Symbol} \rightarrow \text{Representation Domain} \rightarrow \text{Representation Bounds} \rightarrow \text{Semantic Completion Space} \rightarrow \text{Query-Relative Completeness}. } $$ 本篇完成前三項中的基礎層。 --- # 34. 對 Monty Hall 舊論證的預備修正 舊版三門問題研究已指出： - 視角混淆； - 資訊結構缺口； - 主持人策略未充分顯式化； - 概率類型錯置； - 時序與全域規則被壓平； - 反事實模型可得到不同答案。 但若只做到： $$ \text{different assumptions} \rightarrow \text{different probabilities}, $$ 仍不足以證明： $$ \boxed{ \text{原自然語言本身沒有唯一固定那些 assumptions。} } $$ SRBC-01 補的是前提層。 我們現在可以要求後續論證明確證明： 1. 原表述的最低共同核心為何； 2. 原表述的身份保持語義包絡為何； 3. 標準 Monty Hall 協議加入了哪些額外承諾； 4. 哪些額外承諾可由原句推出； 5. 哪些只是習慣、背景、標準版本或分析者注入； 6. 若移除某一承諾，是否仍存在與原表述相容但答案不同的模型。 只有到那時： $$ \boxed{ \text{natural-language underdetermination} } $$ 才真正從直覺主張提升成構造性論證。 --- # 35. SRBC-01 與後續六篇的接口 ## SRBC-02 將從單符號邊界提升到整段表述： $$ u \rightarrow \mathfrak I(u,C), $$ 建立語義完成空間。 --- ## SRBC-03 加入查詢： $$ Q, $$ 建立： $$ \mathfrak I(u,C)/{\sim_Q}, $$ 並定義查詢相對完備性。 --- ## SRBC-04 建立非法升格族，包括： $$ \exists \not\Rightarrow \forall, $$ $$ \text{event} \not\Rightarrow \text{policy}, $$ $$ \text{knowledge} \not\Rightarrow \text{action rule}, $$ $$ \text{local} \not\Rightarrow \text{global}. $$ --- ## SRBC-05 量化： - GAP； - ambiguity width； - closure cost； - minimal semantic completion。 --- ## SRBC-06 正式重做 Monty Hall 語義手術。 --- ## SRBC-07 把整套方法接回 SREG，形成： $$ \boxed{ \mathrm{SREG} \rightarrow \mathrm{SRBC} \rightarrow \text{Formal Semantic Surgery}. } $$ --- # 36. 結論 符號不是無條件透明的概念容器，也不是只能承載一個固定意義的靜態標籤。 更合理的第一代模型是： $$ \boxed{ \text{符號是一個具有上下文、身份與操作條件的動態表徵接口。} } $$ 對給定： $$ \Lambda, \quad A, \quad C, \quad Q, $$ 符號 $s$ 具有一族合法解釋： $$ \operatorname{Adm}_{A,C,Q}^{\Lambda}(s), $$ 並可抽取： $$ \underline{\mathcal B}_{A,C,Q}^{\Lambda}(s), $$ 與： $$ \overline{\mathcal B}_{A,C,Q}^{\Lambda}(s). $$ 前者表示合法解釋的最低共同核心，後者表示不離開當前符號身份的最大語義包絡。 因此一個符號可以： - 擁有無限指涉； - 參與無限生成； - 在不同上下文中持續演化； 但仍不代表： $$ \boxed{ \text{它在任一具體任務中具有無限消歧與無限精確承載能力。} } $$ 當目標結構超出既有表示系統可達範圍，或當符號在任務相關維度上的歧義直徑過大時，系統將遭遇表徵壓力。修復可以是新增符號、複合化、專門化、上下文綁定、重新型別化或直接取代。 所以「新符號為何會出現」可以被重新描述為： $$ \boxed{ \text{表示系統為了恢復保真、身份與可操作性而進行的結構調整。} } $$ 這一點同時把過去分散的： - 符號操作性； - 高維表徵； - 語義上下界； - SREG 低歧義形式生成； - ambiguity debt； - 自然語言 GAP； 放入同一個可研究接口。 最重要的是，本文讓下一個問題變得可正式提出： > **當我們不是只看一個符號，而是看一整段自然語言時，這段表述到底生成一個唯一形式模型，還是一族仍與原句相容的語義完成？** 這將是 SRBC-02 的起點。 --- # 參考與前置文件 ## EveMissLab / Neo.K 前置研究 1. Neo.K with Aletheia. 《SREG-F01｜從符號遊戲到數學宇宙實驗：SREG 作為形式生成、脈衝閉包與數學底空間探測器》. EveMissLab, 2026. 2. Neo.K with Aletheia. 《SREG-F03｜形式化壓縮與低歧義數學生成》. EveMissLab, 2026. 3. Neo.K with Aletheia. 《符號操作性與可構造空間：從結構再激活到表示系統擴展》v1.0. EveMissLab, 2026. 4. Neo.K with Aletheia. 《OWER-07｜The Formalization Gap》. EveMissLab, 2026. 5. Neo.K. 《論文2：符號召喚定理與語言-真理同構性》. 早期理論稿, 2026. 本文只將其視為歷史前置版本，不沿用其中「語言與真理空間完全同構」等過強命題。 6. EveMissLab. 《符號—高維表徵—AI學習理論族譜提取清單》. 2026. ## 相關外部研究 7. Barwise, J., & Perry, J. *Situations and Attitudes*. 1983. 8. Gärdenfors, P. *Conceptual Spaces: The Geometry of Thought*. MIT Press, 2000. 9. Kamp, H., & Reyle, U. *From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory*. Kluwer Academic Publishers, 1993. 10. Reyle, U. "Dealing with Ambiguities by Underspecification: Construction, Representation and Deduction." *Journal of Semantics*, 10(2), 123-179, 1993. DOI: 10.1093/jos/10.2.123. 11. Tarski, A. *Logic, Semantics, Metamathematics*. Oxford University Press, 1956. 12. Wittgenstein, L. *Philosophical Investigations*. Blackwell, 1953. --- # 版本註記 **v0.1 / 2026-09-23** - 建立 SRBC 系列第一篇正式底層； - 沿用 $\Lambda=(\Sigma,G,I,\Omega)$ 表示系統； - 區分符號載體、語義承諾與操作能力； - 建立可接受解釋族 $\operatorname{Adm}_{A,C,Q}^{\Lambda}(s)$ ； - 建立最低共同核心 $\underline{\mathcal B}$ 與最大身份保持包絡 $\overline{\mathcal B}$ ； - 建立動態符號表徵區間 $\mathbb B_{A,C,Q}^{\Lambda}(s)$ ； - 區分無界指涉與無界消歧能力； - 建立表徵失真、任務相對歧義直徑與表徵壓力； - 建立六類重符號化操作； - 建立身份保持邊界、無界指涉非等價與重符號化必要性三個第一代命題； - 將 SRBC 接入 SREG ambiguity debt； - 明確保留 Truth Space 與 Reachable Truth Space 的區分； - 為 SRBC-02 的語義完成空間與 SRBC-06 的 Monty Hall 語義手術建立底層接口。