RSCT 01｜異質語義型別組合：為何「說謊者」不等於「說謊」加「者」
系列 ：關係語義構成論（Relational Semantic Construction Theory, RSCT）01英文題名 ：Heterogeneous Semantic Type Composition: Why “Liar” Is Not Merely “Lie” Plus “-er” 作者 ：Neo.K × GPT-5.6 Sol機構 ：EveMissLab（一言諾科技有限公司）日期 ：2026-08-27版本 ：v0.1性質 ：形式語義學／語言哲學／型別化語義／構造語義學／研究綱領狀態 ：系列正式初稿前篇 ：RSCT 00｜《關係語義構成論：從詞彙原子幻覺到異質語義結構》
摘要
RSCT 00 已提出：自然語言中的字、詞與表面最小單位，不應被直接視為不可再分的語義原子；語義成分可能具有不同型別，並透過型別敏感的構造規則形成新的語義物件。本篇進一步把此命題形式化，專門研究「異質語義型別組合」。
本文以「說謊者」為最小核心案例。表面字串可以寫成：
說謊 + 者 , \text{說謊}+\text{者}, 說謊 + 者 , 但這個「加號」不是普通代數加法，也不是純字串串接。若「說謊」首先提供一個行為／關係型語義，而「者」提供一個角色構造算子，則二者的組合更接近：
L : A c t R e l , L:\mathsf{ActRel}, L : ActRel , A g e n t i z e : A c t R e l → R o l e , \mathsf{Agentize}:\mathsf{ActRel}\rightarrow\mathsf{Role}, Agentize : ActRel → Role , 因此：
A g e n t i z e ( L ) : R o l e . \mathsf{Agentize}(L):\mathsf{Role}. Agentize ( L ) : Role . 組合後所得語義型別不同於輸入型別。這表示自然語言的複合詞、片語甚至句子，不能一律被視為若干已完成意義之符號的同質拼接。
本文進一步提出五類構造關係：同型組合、異型構造、型別提升、型別限制與型別重寫；並區分「字串可拼接」與「語義可構造」。形式上，若：
a : α , b : β , a:\alpha,
\qquad
b:\beta, a : α , b : β , 只有在存在合法構造規則：
C α , β ⇒ γ : α × β → γ \mathcal C_{\alpha,\beta\Rightarrow\gamma}
:
\alpha\times\beta\rightarrow\gamma C α , β ⇒ γ : α × β → γ 時，才可寫：
C ( a , b ) : γ . \mathcal C(a,b):\gamma. C ( a , b ) : γ . 因此：
Syntactic Concatenability ⇏ Semantic Composability . \text{Syntactic Concatenability}
\not\Rightarrow
\text{Semantic Composability}. Syntactic Concatenability ⇒ Semantic Composability . 本文同時引入「構造軌跡」與「型別來源保留」兩個概念。語義組合若只保留最終結果 γ \gamma γ
Trace ( C ( a , b ) ) = ⟨ α , β , C , γ ⟩ . \operatorname{Trace}
\left(
\mathcal C(a,b)
\right)
=
\langle
\alpha,\beta,\mathcal C,\gamma
\rangle. Trace ( C ( a , b ) ) = ⟨ α , β , C , γ ⟩ . 此結構可避免把「角色生成」誤寫成「本體身份」，亦可為後續說謊者悖論分析保留「說謊」「者」「說謊者」「陳述」「指稱」「評價」之間的型別差異。
本篇仍不處理真與假的最終本體地位，也不宣稱僅靠型別拆解即可解除說謊者悖論。本文的目標更基礎：建立一套能夠表達「不同語義類型如何合法組合、何時產生新型別、何時失敗、何時發生錯誤同一化」的最低形式核心。
關鍵詞 ：異質語義、語義型別、構造子、說謊者、角色生成、型別提升、型別重寫、語義組合、構造軌跡、關係語義構成論
0. 問題：為什麼「說謊者」不能只寫成兩個符號相加？
「說謊者」表面上可以被切成：
說謊 + 者 . \text{說謊}
+
\text{者}. 說謊 + 者 . 如果只做字串處理，這完全沒有問題。
但語義分析關心的不是：
string 1 + string 2 , \text{string}_1+\text{string}_2, string 1 + string 2 , 而是：
兩個成分各自提供什麼語義作用？組合後生成的是什麼？生成結果與輸入成分是否同型？
「說謊」至少可被理解為某種行為、關係或述謂型結構：
L : A c t R e l . L:\mathsf{ActRel}. L : ActRel . 「者」則不是另一個與「說謊」同型的行為。它更像是一個角色生成操作：
A g e n t i z e : A c t R e l → R o l e . \mathsf{Agentize}:\mathsf{ActRel}\rightarrow\mathsf{Role}. Agentize : ActRel → Role . 所以：
A g e n t i z e ( L ) : R o l e . \mathsf{Agentize}(L):\mathsf{Role}. Agentize ( L ) : Role . 因此：
type ( 說謊者 ) ≠ type ( 說謊 ) . \boxed{
\operatorname{type}(\text{說謊者})
\neq
\operatorname{type}(\text{說謊}).
} type ( 說謊者 ) = type ( 說謊 ) . 這個差異不是字面差異，而是構造差異。
1. 字串拼接與語義組合必須分開
1.1 字串拼接
若：
s 1 , s 2 ∈ Σ ∗ , s_1,s_2\in\Sigma^\ast, s 1 , s 2 ∈ Σ ∗ , 則字串串接可以寫成：
s 1 ∥ s 2 . s_1\Vert s_2. s 1 ∥ s 2 . 此操作只需要符號序列可被接在一起。
例如：
「說謊」 ∥ 「者」 = 「說謊者」 . \text{「說謊」}
\Vert
\text{「者」}
=
\text{「說謊者」}. 「說謊」 ∥ 「者」 = 「說謊者」 . 但這只回答：
兩段字串能不能接？
它沒有回答：
接完之後的語義是什麼？
1.2 語義組合
令語義解譯為：
⟦ ⋅ ⟧ . \llbracket\cdot\rrbracket. [ [ ⋅ ] ] . 則：
⟦ s 1 ∥ s 2 ⟧ \llbracket s_1\Vert s_2\rrbracket [ [ s 1 ∥ s 2 ] ] 不必等於：
⟦ s 1 ⟧ + ⟦ s 2 ⟧ . \llbracket s_1\rrbracket
+
\llbracket s_2\rrbracket. [ [ s 1 ] ] + [ [ s 2 ] ] . 更一般地，應寫成：
⟦ s 1 ∥ s 2 ⟧ = C ( ⟦ s 1 ⟧ , ⟦ s 2 ⟧ ) , \llbracket s_1\Vert s_2\rrbracket
=
\mathcal C
\left(
\llbracket s_1\rrbracket,
\llbracket s_2\rrbracket
\right), [ [ s 1 ∥ s 2 ] ] = C ( [ [ s 1 ] ] , [ [ s 2 ] ] ) , 其中 C \mathcal C C
因此：
Concatenation ≠ Semantic Construction . \boxed{
\text{Concatenation}
\neq
\text{Semantic Construction}.
} Concatenation = Semantic Construction . 2. RSCT 的型別判定記號
本文使用：
x : τ x:\tau x : τ 表示語義物件 x x x τ \tau τ
例如：
L : A c t R e l , L:\mathsf{ActRel}, L : ActRel , 表示「說謊」在目前分析中被視為行為／關係型語義。
而：
A : A c t R e l → R o l e A:\mathsf{ActRel}\rightarrow\mathsf{Role} A : ActRel → Role 表示 A A A
因此：
A ( L ) : R o l e . A(L):\mathsf{Role}. A ( L ) : Role . 在 RSCT 中，這種型別標記不是宣稱自然語言只有唯一正確分類，而是：
在某一分析模型中，明確記錄一個成分被允許如何與其他成分組合。
因此型別的最低作用不是分類，而是：
限制與揭露合法構造。 \boxed{
\text{限制與揭露合法構造。}
} 限制與揭露合法構造。 3. 異質語義組合的最低定義
定義 1：異質語義組合
若：
a : α , b : β , α ≠ β , a:\alpha,
\qquad
b:\beta,
\qquad
\alpha\neq\beta, a : α , b : β , α = β , 且存在一個合法構造算子：
C α , β ⇒ γ : α × β → γ , \mathcal C_{\alpha,\beta\Rightarrow\gamma}
:
\alpha\times\beta\rightarrow\gamma, C α , β ⇒ γ : α × β → γ , 則稱：
C ( a , b ) : γ \mathcal C(a,b):\gamma C ( a , b ) : γ 為一次異質語義型別組合。
異質組合的關鍵不在於輸入必然不同，而在於：
組合規則必須知道輸入型別。 \boxed{
\text{組合規則必須知道輸入型別。}
} 組合規則必須知道輸入型別。 如果完全忽略 α , β \alpha,\beta α , β
角色生成；
性質附著；
關係建立；
狀態更新；
否定；
評價；
指稱；
量化；
約束。
4. 五種基本構造模式
RSCT v0.1 暫時區分五種最低構造模式。
4.1 同型組合
若：
a , b : α , a,b:\alpha, a , b : α , 且：
C : α × α → α , \mathcal C:
\alpha\times\alpha\rightarrow\alpha, C : α × α → α , 則輸入與輸出同型。
例如某些集合合併、證據聚合或同類關係組合可以屬於此類。
此時：
type ( a ) = type ( b ) = type ( C ( a , b ) ) . \operatorname{type}(a)
=
\operatorname{type}(b)
=
\operatorname{type}(\mathcal C(a,b)). type ( a ) = type ( b ) = type ( C ( a , b )) . 4.2 異型構造
若：
a : α , b : β , α ≠ β , a:\alpha,
\qquad
b:\beta,
\qquad
\alpha\neq\beta, a : α , b : β , α = β , 並且：
C : α × β → γ , \mathcal C:
\alpha\times\beta\rightarrow\gamma, C : α × β → γ , 則為異型構造。
「說謊」與「者」最適合暫時放在這一類。
4.3 型別提升
若：
a : α a:\alpha a : α 被某構造子提升為：
U ( a ) : β , U(a):\beta, U ( a ) : β , 且：
α ≺ β , \alpha\prec\beta, α ≺ β , 其中 ≺ \prec ≺
例如：
局部行為 → 角色 \text{局部行為}
\rightarrow
\text{角色} 局部行為 → 角色 可被理解為一次型別提升。
但：
角色 → 永久身份 \text{角色}
\rightarrow
\text{永久身份} 角色 → 永久身份 是否仍合法，必須另外判定，不能自動成立。
4.4 型別限制
若：
a : α a:\alpha a : α 進入一個帶條件的子型：
a : α ∣ K , a:\alpha\mid K, a : α ∣ K , 其中 K K K
例如：
L i a r ( x ∣ t , c ) \mathsf{Liar}(x\mid t,c) Liar ( x ∣ t , c ) 可以表示：
在時間 t t t c c c x x x
這不等於：
Identity ( x ) = L i a r . \operatorname{Identity}(x)=\mathsf{Liar}. Identity ( x ) = Liar . 4.5 型別重寫
若某語義結構經組合後不只是新增條件，而是改變原本允許的操作接口，則可寫成：
R τ : α ⇒ β . \mathcal R_\tau:
\alpha\Rightarrow\beta. R τ : α ⇒ β . 例如：
A c t R e l ⇒ R o l e \mathsf{ActRel}
\Rightarrow
\mathsf{Role} ActRel ⇒ Role 不是只替原型別加標籤，而是改變後續可接受的語義操作。
5. 「者」作為角色構造子
「者」在中文中常把某種行為、性質、立場或狀態轉換成角色指稱。
例如：
觀察 → 觀察者 , \text{觀察}\rightarrow\text{觀察者}, 觀察 → 觀察者 , 研究 → 研究者 , \text{研究}\rightarrow\text{研究者}, 研究 → 研究者 , 說謊 → 說謊者 . \text{說謊}\rightarrow\text{說謊者}. 說謊 → 說謊者 . RSCT 不主張所有「者」都只有單一語義，但可以先建立最小構造：
A g e n t i z e : P r e d i c a t e L i k e → R o l e . \mathsf{Agentize}:
\mathsf{PredicateLike}
\rightarrow
\mathsf{Role}. Agentize : PredicateLike → Role . 其中：
P r e d i c a t e L i k e \mathsf{PredicateLike} PredicateLike 可以包含行為、關係、性質或其他可對存在作角色綁定的結構。
因此：
A g e n t i z e ( L ) = L i a r R o l e . \mathsf{Agentize}(L)
=
\mathsf{LiarRole}. Agentize ( L ) = LiarRole . 注意：
L i a r R o l e \mathsf{LiarRole} LiarRole 首先是角色型，而不是存在本體。
所以：
R o l e ≠ I d e n t i t y . \boxed{
\mathsf{Role}
\neq
\mathsf{Identity}.
} Role = Identity . 若後續系統又施加：
R e i f y : R o l e → I d e n t i t y , \mathsf{Reify}:
\mathsf{Role}\rightarrow\mathsf{Identity}, Reify : Role → Identity , 那是第二次獨立構造。
於是完整鏈可能是：
A c t R e l → A g e n t i z e R o l e → R e i f y I d e n t i t y . \mathsf{ActRel}
\xrightarrow{\mathsf{Agentize}}
\mathsf{Role}
\xrightarrow{\mathsf{Reify}}
\mathsf{Identity}. ActRel Agentize Role Reify Identity . 這與「角色本體化」問題直接相連。
6. 構造結果不能抹除來源
若系統只保留：
L i a r R o l e , \mathsf{LiarRole}, LiarRole , 而刪除它是如何生成的，則後續可能失去重要資訊。
因此本文定義：
定義 2：構造軌跡
對：
y = C ( a , b ) , y=\mathcal C(a,b), y = C ( a , b ) , 定義：
Trace ( y ) = ⟨ a : α , b : β , C , y : γ ⟩ . \operatorname{Trace}(y)
=
\langle
a:\alpha,
b:\beta,
\mathcal C,
y:\gamma
\rangle. Trace ( y ) = ⟨ a : α , b : β , C , y : γ ⟩ . 若是多步構造：
x 0 → C 1 x 1 → C 2 x 2 → ⋯ → C n x n , x_0
\xrightarrow{\mathcal C_1}
x_1
\xrightarrow{\mathcal C_2}
x_2
\rightarrow\cdots
\xrightarrow{\mathcal C_n}
x_n, x 0 C 1 x 1 C 2 x 2 → ⋯ C n x n , 則：
Trace ( x n ) = ⟨ x 0 , C 1 , x 1 , … , C n , x n ⟩ . \operatorname{Trace}(x_n)
=
\langle
x_0,\mathcal C_1,x_1,\ldots,\mathcal C_n,x_n
\rangle. Trace ( x n ) = ⟨ x 0 , C 1 , x 1 , … , C n , x n ⟩ . 這使系統可以回答：
一個語義物件是什麼？
以及：
它是怎麼生成的？
兩者不能混為一談。
7. 來源同一與結果同一不是同一件事
可能存在：
x ≠ y , x\neq y, x = y , 但：
C 1 ( x ) = C 2 ( y ) = z . \mathcal C_1(x)
=
\mathcal C_2(y)
=
z. C 1 ( x ) = C 2 ( y ) = z . 因此：
Same Output ⇏ Same Construction History . \text{Same Output}
\not\Rightarrow
\text{Same Construction History}. Same Output ⇒ Same Construction History . 反過來，也可能：
x = y x=y x = y 但在不同構造規則下得到：
C 1 ( x ) ≠ C 2 ( x ) . \mathcal C_1(x)\neq\mathcal C_2(x). C 1 ( x ) = C 2 ( x ) . 所以：
語義同一性至少要區分對象同一、型別同一、構造同一與結果同一。 \boxed{
\text{語義同一性至少要區分對象同一、型別同一、構造同一與結果同一。}
} 語義同一性至少要區分對象同一、型別同一、構造同一與結果同一。 這對後續說謊者悖論非常重要，因為「這句話」可能指向相同字串，卻不代表：
相同命題內容；
相同評價對象；
相同語義層級；
相同構造歷史。
8. 語義構造不是必然交換的
普通加法常滿足：
a + b = b + a . a+b=b+a. a + b = b + a . 但語義構造通常不能預設交換律。
若：
C ( a , b ) \mathcal C(a,b) C ( a , b ) 表示「先由 a a a b b b
C ( a , b ) ≠ C ( b , a ) \mathcal C(a,b)
\neq
\mathcal C(b,a) C ( a , b ) = C ( b , a ) 通常是允許甚至預期的。
因此：
Semantic Composition ⇏ Commutativity . \boxed{
\text{Semantic Composition}
\not\Rightarrow
\text{Commutativity}.
} Semantic Composition ⇒ Commutativity . 同樣地，也不能預設結合律：
C ( C ( a , b ) , c ) = C ( a , C ( b , c ) ) . \mathcal C(\mathcal C(a,b),c)
=
\mathcal C(a,\mathcal C(b,c)). C ( C ( a , b ) , c ) = C ( a , C ( b , c )) . 在自然語言中，不同括號位置可能生成不同型別與不同作用結構。
所以：
構造順序本身就是語義。 \boxed{
\text{構造順序本身就是語義。}
} 構造順序本身就是語義。 9. 型別錯誤的第一種來源：錯誤套用構造子
若：
C : α → β , \mathcal C:
\alpha\rightarrow\beta, C : α → β , 但實際輸入：
x : γ , γ ≠ α , x:\gamma,
\qquad
\gamma\neq\alpha, x : γ , γ = α , 則：
C ( x ) \mathcal C(x) C ( x ) 可能是未定義的。
記作：
C ( x ) ↑ \mathcal C(x)\uparrow C ( x ) ↑ 表示構造失敗。
自然語言中，人類有時可以透過隱喻、轉喻、語境修復或類型提升重新解釋，但這表示系統執行了額外操作，而不是原構造天然合法。
因此應區分：
Directly Well-Typed \text{Directly Well-Typed} Directly Well-Typed 與：
Coerced / Reinterpreted . \text{Coerced / Reinterpreted}. Coerced / Reinterpreted . 10. 型別錯誤的第二種來源：錯誤同一化
比非法輸入更危險的，是把不同型別物件視為同一物件。
若：
x : α , x:\alpha, x : α , y : β , y:\beta, y : β , 且：
α ≠ β , \alpha\neq\beta, α = β , 卻直接寫：
x ≡ y , x\equiv y, x ≡ y , 則可能產生：
Type Collapse . \boxed{
\text{Type Collapse}.
} Type Collapse . 例如：
「假」作為被提及的語義符號 \text{「假」作為被提及的語義符號} 「假」作為被提及的語義符號 與：
「整句被評價為假」 \text{「整句被評價為假」} 「整句被評價為假」 即使使用相同字形：
假 , \text{假}, 假 , 也不必是同一型別。
後續 RSCT 05–06 將專門處理此問題。
11. 型別錯誤的第三種來源：角色被本體化
若：
R ( x , y , t , c ) R(x,y,t,c) R ( x , y , t , c ) 經語義構造得到：
R o l e R ( x ∣ y , t , c ) , \mathsf{Role}_R(x\mid y,t,c), Role R ( x ∣ y , t , c ) , 這可以是合法角色表示。
但若再把它壓成：
Identity ( x ) = R o l e R , \operatorname{Identity}(x)
=
\mathsf{Role}_R, Identity ( x ) = Role R , 並用此身份排斥其他狀態，則發生角色本體化。
所以：
合法型別提升 ⇏ 合法本體化 . \boxed{
\text{合法型別提升}
\not\Rightarrow
\text{合法本體化}.
} 合法型別提升 ⇒ 合法本體化 . 這一點與前置論文《從關係世界到型別錯誤》的結論一致，但本篇將錯誤定位得更前：本體化可以被視為一個未經授權的高階型別構造。
12. 說謊者的最低構造圖
現在只分析「說謊者」這個詞，不處理整個悖論句。
令：
L : A c t R e l , L:\mathsf{ActRel}, L : ActRel , 令：
A : A c t R e l → R o l e . A:\mathsf{ActRel}\rightarrow\mathsf{Role}. A : ActRel → Role . 則：
A ( L ) = L i a r R o l e . A(L)=\mathsf{LiarRole}. A ( L ) = LiarRole . 構造圖：
L : A c t R e l → A L i a r R o l e : R o l e \boxed{
L:\mathsf{ActRel}
\xrightarrow{A}
\mathsf{LiarRole}:\mathsf{Role}
} L : ActRel A LiarRole : Role 若再針對某個存在 x x x
B i n d : R o l e × E n t i t y → R o l e A s s i g n m e n t , \mathsf{Bind}:
\mathsf{Role}\times\mathsf{Entity}
\rightarrow
\mathsf{RoleAssignment}, Bind : Role × Entity → RoleAssignment , 則：
B i n d ( L i a r R o l e , x ) = L i a r ( x ) . \mathsf{Bind}
(
\mathsf{LiarRole},
x
)
=
\mathsf{Liar}(x). Bind ( LiarRole , x ) = Liar ( x ) . 如果再加入時間、語境：
L i a r ( x ∣ t , c ) . \mathsf{Liar}(x\mid t,c). Liar ( x ∣ t , c ) . 因此完整最低鏈可以寫為：
說謊 → 說謊者角色 → 某存在在特定條件下承擔該角色 \boxed{
\text{說謊}
\rightarrow
\text{說謊者角色}
\rightarrow
\text{某存在在特定條件下承擔該角色}
} 說謊 → 說謊者角色 → 某存在在特定條件下承擔該角色 而不是一開始就寫：
x = 說謊者 . x=\text{說謊者}. x = 說謊者 . 13. 從「說謊者」到「說謊者悖論」還缺很多型別
「說謊者悖論」並不是：
L i a r R o l e + P a r a d o x \mathsf{LiarRole}
+
\mathsf{Paradox} LiarRole + Paradox 這麼簡單。
至少還會涉及：
S e n t e n c e , \mathsf{Sentence}, Sentence , R e f e r e n c e , \mathsf{Reference}, Reference , P r o p o s i t i o n , \mathsf{Proposition}, Proposition , E v a l u a t i o n , \mathsf{Evaluation}, Evaluation , N e g a t i o n , \mathsf{Negation}, Negation , T r u t h L a b e l , \mathsf{TruthLabel}, TruthLabel , 以及自我指涉所需的回返結構。
因此，RSCT 將拒絕直接把：
這句話是假的
壓成：
L ↔ ¬ L L\leftrightarrow\neg L L ↔ ¬ L 而不保存中間型別。
後續最少需要一條：
S e n t e n c e T o k e n → R e f e r e n c e T a r g e t → P r o p o s i t i o n a l C o n t e n t → E v a l u a t i o n T a r g e t → E v a l u a t i o n R e l a t i o n . \mathsf{SentenceToken}
\rightarrow
\mathsf{ReferenceTarget}
\rightarrow
\mathsf{PropositionalContent}
\rightarrow
\mathsf{EvaluationTarget}
\rightarrow
\mathsf{EvaluationRelation}. SentenceToken → ReferenceTarget → PropositionalContent → EvaluationTarget → EvaluationRelation . 只有在這些構造都被明確建立後，才能知道：
L ↔ ¬ L L\leftrightarrow\neg L L ↔ ¬ L 究竟是忠實表示，還是投影後的結果。
14. 構造與投影必須分開
RSCT 00 已提出：
W → R G → Π 0 Σ T → C S → Π 1 P → E V . \mathcal W
\xrightarrow{R}
\mathcal G
\xrightarrow{\Pi_0}
\Sigma_T
\xrightarrow{\mathcal C}
\mathcal S
\xrightarrow{\Pi_1}
P
\xrightarrow{\mathcal E}
V. W R G Π 0 Σ T C S Π 1 P E V . 本篇專門細化：
C . \mathcal C. C . 其中：
C ≠ Π 1 . \mathcal C
\neq
\Pi_1. C = Π 1 . 前者回答：
語義結構如何被生成？
後者回答：
已生成的語義結構如何被壓縮成某個命題表示？
如果把兩者合併，可能會出現：
C ( a , b ) ↦ P \mathcal C(a,b)
\mapsto
P C ( a , b ) ↦ P 卻不再知道：
a : α , b : β , C : α × β → γ . a:\alpha,
\qquad
b:\beta,
\qquad
\mathcal C:\alpha\times\beta\rightarrow\gamma. a : α , b : β , C : α × β → γ . 所以：
Construction Loss ≠ Projection Loss , \boxed{
\text{Construction Loss}
\neq
\text{Projection Loss},
} Construction Loss = Projection Loss , 但兩者可以連鎖發生。
15. 異質語義構造的最低公理候選
本篇提出以下候選公理，供後續系列修正。
公理候選 A1：型別顯式性
任何被 RSCT 視為正式構造單位的語義物件，必須至少能在局部模型中指定一個工作型別：
x : τ . x:\tau. x : τ . 公理候選 A2：構造可追溯性
對任何正式組合：
y = C ( x 1 , … , x n ) , y=\mathcal C(x_1,\ldots,x_n), y = C ( x 1 , … , x n ) , 必須能保留：
Trace ( y ) . \operatorname{Trace}(y). Trace ( y ) . 公理候選 A3：非自動同一化
若：
x : α , y : β , x:\alpha,
\qquad
y:\beta, x : α , y : β , 則：
x ≡ y x\equiv y x ≡ y 不能只因字形、名稱或表面指稱相同而成立。
公理候選 A4：結果型別不預設等於輸入型別
允許：
γ ≠ α , γ ≠ β . \gamma\neq\alpha,
\qquad
\gamma\neq\beta. γ = α , γ = β . 公理候選 A5：投影後不可反推完整構造
若：
Π 1 ( s 1 ) = Π 1 ( s 2 ) , \Pi_1(s_1)=\Pi_1(s_2), Π 1 ( s 1 ) = Π 1 ( s 2 ) , 但：
s 1 ≠ s 2 , s_1\neq s_2, s 1 = s 2 , 則不能僅由投影結果唯一恢復原構造歷史。
16. 對傳統組合原則的態度
RSCT 不否認組合性原則。
相反地，它接受一個更弱而更精確的版本：
複合語義可以由成分、其型別、構造規則、順序、語境與必要的型別轉換共同決定。
形式上：
⟦ E ⟧ = F ( ⟦ e 1 ⟧ , … , ⟦ e n ⟧ , τ 1 , … , τ n , C , c ) . \llbracket E\rrbracket
=
F
\left(
\llbracket e_1\rrbracket,
\ldots,
\llbracket e_n\rrbracket,
\tau_1,\ldots,\tau_n,
\mathcal C,
c
\right). [ [ E ] ] = F ( [ [ e 1 ] ] , … , [ [ e n ] ] , τ 1 , … , τ n , C , c ) . 而不是只寫：
⟦ E ⟧ = F ( ⟦ e 1 ⟧ , … , ⟦ e n ⟧ ) . \llbracket E\rrbracket
=
F
\left(
\llbracket e_1\rrbracket,
\ldots,
\llbracket e_n\rrbracket
\right). [ [ E ] ] = F ( [ [ e 1 ] ] , … , [ [ e n ] ] ) . 因此 RSCT 並非反組合，而是：
反對無型別、無構造歷史的過度簡化組合。 \boxed{
\text{反對無型別、無構造歷史的過度簡化組合。}
} 反對無型別、無構造歷史的過度簡化組合。 17. 可檢驗性與失敗條件
本篇至少有以下失敗條件。
第一，若「說謊」「者」「說謊者」等案例在實際語義分析中不需要任何型別差異，就能無損保留所有推論能力，則本文的異質型別需求被削弱。
第二，若構造軌跡：
Trace ( x ) \operatorname{Trace}(x) Trace ( x ) 在任何後續推理、歧義辨識、錯誤定位與模型實作中都沒有額外價值，則其工程必要性不足。
第三，若自然語言中大量複合結構必須依賴如此多型別，卻無法形成可重用的少量構造規則，則 RSCT 可能只是把語言複雜度重新命名，而未提供更好模型。
第四，即使型別拆分成功，說謊者悖論仍可能在更高階關係上重新出現。因此：
Type Decomposition ⇏ Paradox Resolution . \boxed{
\text{Type Decomposition}
\not\Rightarrow
\text{Paradox Resolution}.
} Type Decomposition ⇒ Paradox Resolution . 本篇只建立分析前提，不提前宣稱解決結果。
18. 與後續 RSCT 02 的接口
本篇已經出現：
A g e n t i z e , \mathsf{Agentize}, Agentize , B i n d , \mathsf{Bind}, Bind , C , \mathcal C, C , R τ . \mathcal R_\tau. R τ . 這些表面上都是名詞或數學符號，但它們其實具有：
等作用。
因此下一篇將正式處理：
為什麼形式結構可以在沒有詞法動詞的情況下具有動詞性？ \boxed{
\text{為什麼形式結構可以在沒有詞法動詞的情況下具有動詞性？}
} 為什麼形式結構可以在沒有詞法動詞的情況下具有動詞性？ 也就是：
RSCT 02｜《沒有動詞的動詞性：形式構造如何生成作用、方向與過程》。
19. 核心命題收斂
本篇可濃縮為六條核心命題。
命題 1
Syntactic Concatenability ⇏ Semantic Composability . \boxed{
\text{Syntactic Concatenability}
\not\Rightarrow
\text{Semantic Composability}.
} Syntactic Concatenability ⇒ Semantic Composability . 命題 2
語義組合可以改變型別。 \boxed{
\text{語義組合可以改變型別。}
} 語義組合可以改變型別。 命題 3
Role Construction ≠ Identity Reification . \boxed{
\text{Role Construction}
\neq
\text{Identity Reification}.
} Role Construction = Identity Reification . 命題 4
Same Surface Form ⇏ Same Semantic Type . \boxed{
\text{Same Surface Form}
\not\Rightarrow
\text{Same Semantic Type}.
} Same Surface Form ⇒ Same Semantic Type . 命題 5
Same Output ⇏ Same Construction Trace . \boxed{
\text{Same Output}
\not\Rightarrow
\text{Same Construction Trace}.
} Same Output ⇒ Same Construction Trace . 命題 6
構造順序、型別與構造子本身都是語義的一部分。 \boxed{
\text{構造順序、型別與構造子本身都是語義的一部分。}
} 構造順序、型別與構造子本身都是語義的一部分。 20. 結論
「說謊者」之所以不是「說謊」與「者」的普通相加，不是因為這兩個字特別神祕，而是因為自然語言的複合結構本來就可能跨越不同語義型別。
「說謊」可以提供一種行為／關係型語義；「者」可以執行角色生成；生成後的「說謊者」則成為另一種可被綁定、指稱、限制與後續判定的角色型物件。
因此：
說謊 → 說謊者 \text{說謊}
\rightarrow
\text{說謊者} 說謊 → 說謊者 不是：
x → x , x\rightarrow x, x → x , 而更像：
α → C β . \alpha
\xrightarrow{\mathcal C}
\beta. α C β . 若語言邏輯一開始就把這些差異全部壓成同一類符號，再直接進入命題求值，就可能在真正的邏輯計算開始以前，已經失去型別、來源、方向與構造歷史。
RSCT 因此主張：
先問「它是怎麼被構造出來的」，再問「它是真是假」。 \boxed{
\text{先問「它是怎麼被構造出來的」，再問「它是真是假」。}
} 先問「它是怎麼被構造出來的」，再問「它是真是假」。 這不是拒絕邏輯，而是把邏輯所依賴的語義輸入重新打開。
下一篇將把本篇已經隱含存在的「作用」本身抽出來，研究一個更底層的問題：
當公式沒有動詞時，為什麼它仍然可以在做事？ \boxed{
\text{當公式沒有動詞時，為什麼它仍然可以在做事？}
} 當公式沒有動詞時，為什麼它仍然可以在做事？