T 是不是 T？

多重身份關係下的判定、欠定義與身份查詢語義學

英文題名： Is T Really T? Judgment, Underdetermination, and Query Semantics under Multiple Identity Relations
系列：《T 的九問：符號身份、生成、命名與持續》Paper 02
版本： v0.1 理論草稿
日期： 2026-08-12
作者： Neo.K、Aletheia（AI 協作）
機構： EveMissLab／一言諾科技有限公司

摘要

本文延續 Paper 01 的多重同一性符號學（Multi-Identity Semiotics, MIS）與符號身份動力學（Symbolic Identity Dynamics, SID），將問題從「T 可以在哪些身份維度上相同或不同」推進至更具操作性的問題：

當我們問「T 是不是 T？」時，一個身份判定系統究竟在判定什麼？

本文主張，未指定身份判準的 T_i =? T_j 通常不是完整的二元問題。身份查詢至少需要指定比較對象、身份判準、判定主體、語境／namespace、時間位置、證據集合與任務。定義身份查詢：

Q_I=(T_i,T_j,\mathcal A,A,c,t,E,\mathcal T),

其中 $\mathcal A$ 是被啟用的身份關係集合。

本文提出四種全域判定狀態：

\boxed{ J(Q_I)\in \{ \mathrm{Same}, \mathrm{Different}, \mathrm{Both}, \mathrm{Underdetermined} \} }

但這四個輸出不是四個真值。Both 表示不同身份關係得到不同方向的合法判定，例如「字形相同但 token 不同」；Underdetermined 則表示身份問題因判準、證據、語境、時間或 namespace 不足而尚未形成唯一可執行答案。

本文建立局部身份判定器、身份證據向量、判準集合聚合、觀察者限制、身份查詢完整性、判準精化與身份判定穩定性，並證明：

\boxed{ \mathrm{Both} \not\Rightarrow \text{Logical Contradiction} }

因為：

T_i\equiv_{\alpha}T_j

與：

T_i\not\equiv_{\beta}T_j

在 $\alpha\neq\beta$ 時並不是同一命題與其否定。

關鍵詞

多重同一性、身份判定、相對同一性、欠定義、身份查詢、Same/Different/Both/Underdetermined、符號身份、判準集合、身份證據、身份語義學

0. 研究邊界

本文不主張：

傳統二值邏輯中的等號必須改成四值等號；
真正的數值同一律 $x=x$ 是不確定的；
Both 表示同一命題 $P$ 與 $\neg P$ 在相同條件下同時成立；
Underdetermined 必然表示世界本體本身模糊；
觀察者可以任意決定身份；
身份只是一種主觀語言遊戲；
相對同一性理論已經等同本文的完整框架；
本文四種輸出需要採用某個既有四值邏輯才能成立。

本文研究的是：

當「相同」這個自然語言詞彙同時壓縮多種身份關係時，系統如何先展開問題，再給出可追溯的判定。

1. 從 T = T 到 T =? T

Paper 01 的核心形式是：

T_i\equiv_{\alpha,A,c,t}T_j.

本篇進一步問：

\boxed{ T_i\stackrel{?}{\equiv}_{\alpha,A,c,t}T_j }

如何被判定？

若 $\alpha=G$ 表示 glyph identity，且：

G(T_i)=G(T_j),

則：

J_G(T_i,T_j)=\mathrm{Same}.

但若問題只寫：

T 是不是 T？

我們不知道要比較 glyph、token、type、state、referent、name、operator、history、namespace 或 temporal continuity。

因此：

\boxed{ T_i\stackrel{?}{=}T_j }

在多身份框架中常只是未展開查詢。

2. 相對同一性與本文的差異

哲學中的 relative identity 討論過：

兩個對象可以是 same F，但不是 same G。

這與：

T_i\equiv_\alpha T_j \land T_i\not\equiv_\beta T_j

具有結構親緣。

但本文的 $\alpha,\beta$ 不限於 sortal predicate，還可表示顯示、byte state、所指、provenance、操作、命名鏈、跨時間連續與制度身份。

所以本文真正研究的是：

\boxed{ \text{identity query over a heterogeneous family of identity relations}. }

3. 身份查詢的完整形式

定義：

\boxed{ Q_I=(T_i,T_j,\mathcal A,A,c,t,E,\mathcal T) }

其中：

$T_i,T_j$ ：比較對象；
$\mathcal A$ ：身份判準集合；
$A$ ：判定主體；
$c$ ：語境、namespace 與制度；
$t$ ：時間或時間區間；
$E$ ：證據集合；
$\mathcal T$ ：任務。

若 $\mathcal A=\{G\}$ ，問題是「是否同形」；若 $\mathcal A=\{R\}$ ，問題是「是否同所指」；若 $\mathcal A=\{G,X,R,H\}$ ，則已是複合身份查詢。

4. 身份查詢完整性

定義：

\operatorname{Complete}(Q_I) = C_O\land C_\alpha\land C_C\land C_E,

其中：

$C_O$ ：比較對象已解析；
$C_\alpha$ ：身份判準已指定；
$C_C$ ：語境／namespace 已解析；
$C_E$ ：證據最低要求已滿足。

因此：

\boxed{ \neg\operatorname{Complete}(Q_I) \Rightarrow J(Q_I)=\mathrm{Underdetermined} }

是本文的第一條治理原則。

5. 局部身份判定器

對每個身份關係 $\alpha$ 定義：

J_\alpha(T_i,T_j\mid A,c,t,E).

局部判定至少可採：

\boxed{ J_\alpha\in \{ \mathrm{Same}, \mathrm{Different}, \mathrm{Unknown}, \mathrm{EvidenceConflict} \}. }

例如：

J_G(T_1,T_2)=\mathrm{Same},

而：

J_{\mathrm{token}}(T_1,T_2)=\mathrm{Different}.

若 provenance 缺失：

J_H(T_1,T_2)=\mathrm{Unknown}.

6. 身份證據向量

定義：

\mathbf E_\alpha= (E_\alpha^+,E_\alpha^-,E_\alpha^?),

分別表示：

支持同一的證據；
支持不同的證據；
缺失或待查證證據。

因此：

J_\alpha = F_\alpha( E_\alpha^+, E_\alpha^-, q(E), \theta_\alpha ).

身份結論因此具有 provenance，而不只是裸露的 yes/no。

7. 四種全域輸出

局部判定向量：

\mathbf J= (J_{\alpha_1},J_{\alpha_2},\ldots,J_{\alpha_n}).

Same

若所有決定性結果都支持同一：

J(Q_I)=\mathrm{Same}.

Different

若所有決定性結果都支持不同：

J(Q_I)=\mathrm{Different}.

Both

若存在：

\exists\alpha,\beta\in\mathcal A

使：

J_\alpha=\mathrm{Same}, \qquad J_\beta=\mathrm{Different},

則：

\boxed{ J(Q_I)=\mathrm{Both}. }

Underdetermined

若判準、對象、namespace、時間、必要證據或任務不足：

\boxed{ J(Q_I)=\mathrm{Underdetermined}. }

8. Both 不是矛盾

若：

T_i\equiv_G T_j

且：

T_i\not\equiv_X T_j,

則它們分別是：

P_G(T_i,T_j)

與：

\neg P_X(T_i,T_j).

因此：

P_G\land\neg P_X

不是：

P\land\neg P.

所以：

\boxed{ \mathrm{Both}_{\alpha,\beta} \not\Rightarrow \mathrm{Contradiction}, \qquad \alpha\neq\beta. }

9. Relation-Both 與 Evidence-Conflict

必須區分：

Relation-Both

J_\alpha=\mathrm{Same}, \qquad J_\beta=\mathrm{Different}.

這是正常的跨身份關係分岔。

Evidence-Conflict

同一個 $\alpha$ 下：

E_\alpha^+\neq\varnothing, \qquad E_\alpha^-\neq\varnothing,

而兩邊證據都超過最低可信閾值。

因此：

\boxed{ \mathrm{Both}_{relation} \neq \mathrm{Conflict}_{evidence}. }

10. 四種判定狀態不是四值真值邏輯

多值邏輯研究超過兩個 truth values 的形式系統；paraconsistent logic 則研究某些矛盾存在時如何避免爆炸。

本文的：

\{ \mathrm{Same}, \mathrm{Different}, \mathrm{Both}, \mathrm{Underdetermined} \}

首先是：

\boxed{ \text{Query Resolution Status} }

而不是 truth-value algebra。

Both 可以由兩個普通二值 predicate 產生：

P_\alpha=1, \qquad P_\beta=0.

Underdetermined 甚至可能只是 $\alpha$ 根本沒有被指定。

11. 六種欠定義

11.1 Criterion Underdetermination

沒有指定要比較哪種身份。

11.2 Evidence Underdetermination

知道比較 provenance，但證據不完整。

11.3 Namespace Underdetermination

同一符號在不同 namespace 中有不同 identity。

11.4 Temporal Underdetermination

沒有指定比較的時間點或區間。

11.5 Granularity Underdetermination

「同一本書」可能指同作品、同版本、同檔案、同實體或同掃描件。

11.6 Task Underdetermination

對備份系統相同 content hash 可能足夠；對法律原件卻可能還需要 provenance。

所以：

\boxed{ \text{Same enough for task A} \neq \text{Same enough for task B}. }

12. 觀察者不是任意主宰

主體 $A$ 必須受到：

\boxed{ \mathcal C_A= ( \text{Evidence Access}, \text{Admissible Rules}, \text{Task}, \text{Authority}, \text{Auditability} ) }

限制。

因此 $A$ 是：

\boxed{ \text{bounded identity judge}. }

而不是可以任意指定身份的造物主。

13. 主體分歧與身份判定差分

兩個主體：

A,B

可能得到：

J_A(Q_I)\neq J_B(Q_I).

原因可能是：

證據集合不同；
判準不同；
namespace 不同；
閾值不同。

定義：

\boxed{ \Delta_{AB}^{I} = \operatorname{Diff}(Q_A,Q_B). }

成熟系統應回報分歧來源，而不是只說「兩個人看法不同」。

14. 判準精化

若：

\mathcal A_1=\{G\}

得到：

J(Q_1)=\mathrm{Same},

後來加入：

\mathcal A_2=\{G,X\},

且：

J_G=\mathrm{Same}, \qquad J_X=\mathrm{Different},

則：

J(Q_2)=\mathrm{Both}.

這不是對象改變，而是：

\boxed{ \text{Criterion Refinement} \rightarrow \text{Judgment Refinement}. }

15. 命題一：未索引身份查詢的不唯一性

若存在：

\alpha,\beta

使：

T_i\equiv_\alpha T_j

且：

T_i\not\equiv_\beta T_j,

則未指定身份關係的：

T_i\stackrel{?}{=}T_j

不能由這些關係唯一決定。

因為選 $\{\alpha\}$ 得到 Same，選 $\{\beta\}$ 得到 Different。

\boxed{\square}

16. 命題二：Relation-Both 的非矛盾性

若 $\alpha\neq\beta$ ，則：

T_i\equiv_\alpha T_j

與：

T_i\not\equiv_\beta T_j

是不同關係命題。

因此：

P_\alpha\land\neg P_\beta

不等於：

P_\alpha\land\neg P_\alpha.

\boxed{\square}

17. 命題三：判準精化可改變答案而不改變對象

令：

\mathcal A_1=\{G\},

\mathcal A_2=\{G,\mathrm{token}\}.

若兩個 token 字形相同：

J_G=\mathrm{Same},

但 token 不同：

J_{\mathrm{token}}=\mathrm{Different},

則：

J(Q_{\mathcal A_1})=\mathrm{Same},

而：

J(Q_{\mathcal A_2})=\mathrm{Both}.

所以：

\boxed{ \Delta J\not\Rightarrow\Delta T. }

18. TTTTT 的第一個身份矩陣

考慮：

T_1T_2T_3T_4T_5.

例如：

關係	$T_1,T_2$	$T_1,T_3$
Glyph	Same	Same
Type	Same	Same
Token	Different	Different
State	Same	Different
Referent	Same	Unknown
History	Different	Different

因此兩組全域輸出都可能是 Both，但其內部結構不同。

定義：

\boxed{ \mathbf J_I(T_i,T_j) = ( J_G,J_\tau,J_X,J_R,J_N,J_O,J_H,J_C,J_T ) }

為 Identity Judgment Vector。

全域標籤只是：

\boxed{ J(Q_I) = \operatorname{Compress}_{\mathcal T}(\mathbf J_I). }

19. 身份答案本身也是投影

Paper 01 有：

x\xrightarrow{\Pi}T,

即狀態投影為可見符號。

Paper 02 則有：

\mathbf J_I \xrightarrow{\Pi_J} \mathrm{Same/Both/\cdots}.

所以：

\boxed{ \text{符號可以是投影，身份答案也可以是投影。} }

「它們一樣」可能只是對高維 identity profile 的任務相對低維摘要。

20. Identity Decision Package

只保存：

same = true

或：

same = false

會丟失判定理由。

因此定義：

\boxed{ IDP=(Q_I,\mathbf J_I,J,E,P,V) }

其中：

$Q_I$ ：身份查詢；
$\mathbf J_I$ ：局部判定向量；
$J$ ：全域摘要；
$E$ ：證據；
$P$ ：provenance；
$V$ ：判定器／規則版本。

這使身份判定可重播、審計、修正與跨時間重新計算。

21. T 是不是 T 的時間版本

加入：

t_0,t_1.

若：

J_X=\mathrm{Different},

但：

J_H=\mathrm{Same},

則：

J=\mathrm{Both}.

這就是：

它變了，但還是它。

22. T 是不是 T 的命名版本

若：

N(T_i)=N(T_j)=T,

但：

R(T_i)\neq R(T_j),

則：

J_N=\mathrm{Same},

而：

J_R=\mathrm{Different}.

所以：

\boxed{ \text{Same Name} \not\Rightarrow \text{Same Referent}. }

23. 單符號宇宙下的身份判定

若所有 glyph 都是：

T,

則：

J_G

幾乎永遠輸出 Same。

因此 glyph criterion 的 discriminative power：

D_G\rightarrow0.

單符號宇宙不是讓身份問題消失，而是迫使系統使用更高階 identity criteria。

24. 身份判準的信息價值

定義：

IG(\alpha\mid Q,\mathcal T)

表示身份判準 $\alpha$ 對當前查詢的資訊增益。

如果所有 T 都同形：

IG(G)\approx0,

但：

IG(X)

或：

IG(H)

可能很高。

所以身份系統可以主動選擇：

\boxed{ \alpha^* = \arg\max_\alpha IG(\alpha\mid Q,\mathcal T). }

這稱為 Active Identity Resolution。

25. 最小充分身份查詢

若存在最小判準集合：

\mathcal A^*

使其足以完成任務，而任何真子集都不足，則：

\boxed{ \mathcal A^* = \arg\min_{\mathcal A}|\mathcal A| \quad \text{s.t.} \quad \operatorname{Sufficient}(\mathcal A,\mathcal T). }

這避免：

比較太少造成 identity collapse；
比較太多造成 identity over-fragmentation。

26. AI 身份系統的應用

假設一個 Agent：

模型從 $M_1$ 換成 $M_2$ ；
記憶保留；
名稱保留；
長期目標保留；
身份 ID 保留；
行為風格部分改變。

若只採：

\alpha=\mathrm{model},

答案是 Different。

若採：

\alpha=H

與：

\alpha=N,

可能是 Same。

因此：

J=\mathrm{Both}.

這不是逃避回答，而是在暴露原問題同時包含多個身份問題。

27. 資料與程式身份

即使：

Hash(f_1)=Hash(f_2),

支持 content identity，也不保證 provenance、owner、creation history 相同。

所以：

\boxed{ \text{Same Bytes} \not\Rightarrow \text{Same Artifact Identity}. }

28. 認識論欠定義與本體欠定義

Underdetermined 還需標記來源。

可能只是：

\mathrm{MissingEvidence},

也可能是：

\mathrm{CriterionNotSpecified},

或：

\mathrm{NamespaceConflict}.

本文不在此強迫決定「世界本身是否真的具有模糊身份」，而要求系統至少先說清楚欠定義來自哪裡。

29. Identity Epistemic Discipline

如果證據與判準不足：

\boxed{ \text{Do not collapse Underdetermined into Same or Different.} }

否則會產生：

False Merge：不同身份被錯誤合併；
False Split：持續身份被錯誤分裂。

30. Paper 02 的核心算子

整篇可以壓成：

\boxed{ \mathfrak J_I: ( T_i,T_j,\mathcal T,A,c,t,E ) \longrightarrow ( \mathcal A, \mathbf J_I, J, \mathcal G ) }

其中：

$\mathcal A$ ：選出的身份判準；
$\mathbf J_I$ ：多維局部判定；
$J$ ：全域摘要；
$\mathcal G$ ：身份 grounding / evidence certificate。

因此「T 是不是 T？」第一次成為一個可執行的型別化查詢。

31. 與既有研究的邊界

外部哲學研究已長期討論 relative identity、vague/indeterminate identity，以及多值與 paraconsistent logic。

MIS/SID 的新增工作不是宣稱這些問題從未存在，而是：

將多種 identity relations 同時顯式化；
把 observer、namespace、time、evidence、task 放入 query；
將 Both 定義為跨 relation divergence；
將 Underdetermined 拆成不同來源；
保存 Identity Judgment Vector；
允許身份判準依任務主動選擇。

32. 核心命題總結

A. 身份查詢索引必要性

\operatorname{Same}(x,y)

應允許展開為：

\operatorname{Same}(x,y\mid\mathcal A,A,c,t,E,\mathcal T).

B. Both 非矛盾性

\exists\alpha\neq\beta: x\equiv_\alpha y \land x\not\equiv_\beta y

不構成：

P\land\neg P.

C. 欠定義保留原則

\boxed{ \neg\operatorname{Complete}(Q_I) \Rightarrow J(Q_I)=\mathrm{Underdetermined}. }

D. 答案變化不等於對象變化

\boxed{ \Delta J\not\Rightarrow\Delta T. }

E. 全域標籤是身份向量的投影

\boxed{ J=\Pi_{\mathcal T}(\mathbf J_I). }

33. 結論

最開始：

T\stackrel{?}{=}T

看起來是一個最簡單的問題。

真正展開後，它變成：

\boxed{ Q_I= ( T_i,T_j,\mathcal A,A,c,t,E,\mathcal T ). }

所以「T 是不是 T？」可能回答 Same、Different、Both，甚至最正確的是 Underdetermined。

問題不在於邏輯突然失效。

而在於：

\boxed{ \text{我們以前把很多不同的「同一」壓成了一個等號。} }

因此 Paper 02 的最終命題是：

\boxed{ \text{Before answering whether T is T, resolve what “same” is asking for.} }

下一篇 Paper 03〈T 為什麼是 T？〉將研究 Identity Grounding、身份不變量、provenance、證據與 Identity Certificate。