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)

至少必須滿足：

不違反 $G$ 的型別與組合限制；
不與上下文 $C$ 已明確固定的承諾衝突；
不偷偷加入 $I$ 中未授權的結構；
在任務 $Q$ 所需精度下仍可被辨識為同一符號身份的合法使用；
若存在社群、協議或明示定義，則符合該協議的最低要求。

這使符號語義不再是一個點，而是一個可接受區域。

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. 表徵壓力

現在我們可以定義符號何時開始「裝不下」。

不是因為字元長度不夠，而是因為三種壓力同時增加：

表徵失真；
任務相關歧義；
維持符號身份的成本。

定義第一代表徵壓力：

\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 與這一方向相容，但研究焦點不同。

本文要額外回答：

一個符號的合法解釋族本身有哪些身份保持邊界？
何時解釋差異仍只是可容忍語義自由度？
何時這些差異開始改變任務答案？
何時應由上下文補足，而不是新增符號？
何時既有符號系統已無法忠實承載目標結構，因而必須重符號化？
如何把這些邊界接入 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 補的是前提層。

我們現在可以要求後續論證明確證明：

原表述的最低共同核心為何；
原表述的身份保持語義包絡為何；
標準 Monty Hall 協議加入了哪些額外承諾；
哪些額外承諾可由原句推出；
哪些只是習慣、背景、標準版本或分析者注入；
若移除某一承諾，是否仍存在與原表述相容但答案不同的模型。

只有到那時：

\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 前置研究

Neo.K with Aletheia. 《SREG-F01｜從符號遊戲到數學宇宙實驗：SREG 作為形式生成、脈衝閉包與數學底空間探測器》. EveMissLab, 2026.
Neo.K with Aletheia. 《SREG-F03｜形式化壓縮與低歧義數學生成》. EveMissLab, 2026.
Neo.K with Aletheia. 《符號操作性與可構造空間：從結構再激活到表示系統擴展》v1.0. EveMissLab, 2026.
Neo.K with Aletheia. 《OWER-07｜The Formalization Gap》. EveMissLab, 2026.
Neo.K. 《論文2：符號召喚定理與語言-真理同構性》. 早期理論稿, 2026. 本文只將其視為歷史前置版本，不沿用其中「語言與真理空間完全同構」等過強命題。
EveMissLab. 《符號—高維表徵—AI學習理論族譜提取清單》. 2026.

版本註記

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 語義手術建立底層接口。

符號表徵邊界：符號、符號域與概念承載上下限