--- title: "能描述不等於已解釋：語言域、解釋域、理解域與判定域的擴張" english_title: "Description Is Not Explanation: Expansion Across Language, Explanatory, Understanding, and Judgment Domains" series: "理論域擴張、理解解析度與共同底空間" series_english: "Theory-Domain Expansion, Comprehension Resolution, and Shared-Substrate Theory" series_id: "TCRS" paper_id: "TCRS-02" author: "Neo.K" organization: "EveMissLab" version: "0.1.0" status: "Research Draft / Series Paper" date: "2026-10-06" language: "zh-TW" canonical_source: "UTF-8 Markdown" math_source_rule: "inline math only with $...$ ; display math only with $$...$$" --- # 能描述不等於已解釋 ## 語言域、解釋域、理解域與判定域的擴張 ### Description Is Not Explanation: Expansion Across Language, Explanatory, Understanding, and Judgment Domains **系列：** 理論域擴張、理解解析度與共同底空間（TCRS），Paper 02 **作者：** Neo.K **機構：** EveMissLab **版本：** v0.1.0 **日期：** 2026-10-06 **公司：** 一言諾科技有限公司 --- # 摘要 一套理論在成熟後，往往會出現跨域擴張： $$ \boxed{ D_0 \subset D_1 \subset D_2 \subset \cdots. } $$ 然而，「理論可以進入更多 domain」並不是單一現象。至少需要區分： $$ \boxed{ D_{\mathrm{lang}}, D_{\mathrm{def}}, D_{\mathrm{theory}}, D_{\mathrm{exp}}, D_{\mathrm{under}}, D_{\mathrm{judge}}, D_{\mathrm{onto}}. } $$ 分別對應： - 一套語言能不能描述某個現象； - 理論中的 primitive 與 operator 是否在該現象上有合法定義； - 該現象是否原本屬於理論主要研究範圍； - 理論是否真正提供了因果或結構解釋； - 研究者是否已用這套理論作為理解世界的主要 parser； - 理論是否被拿來判定其他理論的合理性； - 最後，研究者是否進一步主張該現象本體上被此理論耗盡。 本文將這些 domain 視為不同層次，而不是同義詞。 核心主張為： $$ \boxed{ D_{\mathrm{lang}} \neq D_{\mathrm{def}} \neq D_{\mathrm{exp}} \neq D_{\mathrm{under}} \neq D_{\mathrm{judge}} \neq D_{\mathrm{onto}}. } $$ 尤其： $$ \boxed{ \text{Representability} \not\Rightarrow \text{Definition Validity} \not\Rightarrow \text{Explanatory Sufficiency} \not\Rightarrow \text{Ontological Exhaustion}. } $$ 本文提出 **Domain Escalation Chain**：理論常先因為可以描述外域現象而取得語言合法性，接著被賦予解釋權，再成為理解框架與判定框架，最後被推向本體普遍性。 形式上： $$ \boxed{ D_{\mathrm{lang}} \rightarrow D_{\mathrm{exp}} \rightarrow D_{\mathrm{under}} \rightarrow D_{\mathrm{judge}} \rightarrow D_{\mathrm{onto}}. } $$ 此鏈並非必然，也不是每一步都非法；真正問題是跨層級時若沒有額外證據與 transfer witness，就會形成 **Domain-Level Substitution**。 本文進一步建立： - Domain Entry Test； - Definition Legitimacy Test； - Explanatory Lift； - Understanding Capture； - Judgment Expansion； - Ontological Escalation； - Domain Gap； - Domain Collapse； - Asymmetric Domain Expansion； - Theory-as-Parser Transition。 並提出： $$ \boxed{ \text{A theory becomes dangerous not when it explains too much, but when its domain escalations stop being explicitly typed}. } $$ 本文為後續 TCRS-03 的理解解析度與 TCRS-05、06 的共同底空間遮蔽及理論域吞併建立形式骨架。 **關鍵詞：** Theory-Domain Expansion、Language Domain、Definition Domain、Explanatory Domain、Understanding Domain、Judgment Domain、Ontological Domain、Domain Escalation、Theory-as-Parser、跨域解釋 --- # 1. 問題：什麼叫「這套理論可以解釋這件事」？ 日常與學術討論中，人們很容易說： > 這個現象可以用 $T$ 解釋。 但「可以用 $T$ 解釋」至少可能表示六種不同事情。 --- # 2. 第一種：可以用它的語言描述 例如： $$ X \rightarrow \text{terms in }T. $$ 這只代表： $$ \boxed{ X\in D_{\mathrm{lang}}(T). } $$ --- # 3. 第二種：理論概念在此處有合法定義 有些詞雖然可以套用， 但它們是否真的有： $$ \boxed{ \text{well-typed semantics} } $$ 是另一件事。 --- # 4. Definition Domain 本文定義： $$ \boxed{ D_{\mathrm{def}}(T) } $$ 為： > 理論 $T$ 的 primitive、relation、operator 在哪些對象上有合法定義。 --- # 5. Language Domain 定義： $$ \boxed{ D_{\mathrm{lang}}(T) } $$ 為： > 理論 $T$ 的語言可以對哪些現象產生可識別描述。 --- # 6. 兩者不同 可能： $$ \boxed{ X\in D_{\mathrm{lang}}(T) } $$ 但： $$ \boxed{ X\notin D_{\mathrm{def}}(T). } $$ 也就是： > 語言上說得通，理論上未必 well-typed。 --- # 7. 例：隱喻性套用 如果把： $$ \text{energy} $$ 拿去描述： > 團隊今天沒有能量。 語言上有意義。 但這不代表物理能量： $$ E $$ 的形式定義真的適用。 --- # 8. 因此第一個分離原則 $$ \boxed{ \text{Linguistic Applicability} \neq \text{Formal Definition Validity}. } $$ --- # 9. Theory Domain 本文定義： $$ \boxed{ D_{\mathrm{theory}}(T) } $$ 為： > 理論原本明確研究、建模與驗證的主要現象空間。 它通常： $$ \boxed{ D_{\mathrm{theory}} \subseteq D_{\mathrm{lang}}. } $$ --- # 10. 理論可以有比原始 domain 更大的語言 例如一套市場理論原本研究： $$ D_{\mathrm{market}}, $$ 但它的： - incentives； - exchange； - scarcity； - allocation； 語言可能被用到其他領域。 --- # 11. 所以 Theory Domain 不是牢籠 本文不主張： $$ \boxed{ D_{\mathrm{exp}} = D_{\mathrm{theory}}. } $$ 理論當然可以合法擴張。 --- # 12. Explanatory Domain 本文定義： $$ \boxed{ D_{\mathrm{exp}}(T) } $$ 為： > 理論 $T$ 能對哪些現象提供具有區辨力的 causal、structural 或 generative explanation。 --- # 13. 不是只要能重新敘述就叫 explanation 如果： $$ T(X) $$ 只是把 $X$ 換成另一組詞， 但沒有增加： - prediction； - causal discrimination； - compression； - counterfactual power； 則 explanation 很弱。 --- # 14. Explanatory Lift 本文定義： $$ \boxed{ L_E(T,X) = Q( \text{after }T ) - Q( \text{before }T ). } $$ 其中 $Q$ 可包含： - predictive resolution； - causal resolution； - compression； - intervention utility。 --- # 15. 真正進入 Explanatory Domain 若： $$ L_E(T,X)>\tau_E, $$ 才有較強理由說： $$ \boxed{ X\in D_{\mathrm{exp}}(T). } $$ --- # 16. 描述力與解釋力可分離 可能： $$ \boxed{ D_{\mathrm{lang}}\gg D_{\mathrm{exp}}. } $$ 也就是： > 這套理論什麼都能說，但真正能解釋的沒有那麼多。 --- # 17. 反方向也可能發生 有時一套形式模型語言很窄， 但在其 domain 中： $$ L_E\gg0. $$ 這是一個高解析度、低廣度 theory。 --- # 18. Understanding Domain 本文定義： $$ \boxed{ D_{\mathrm{under}}(T) } $$ 為： > 一名研究者實際上用理論 $T$ 組織、理解、壓縮世界的範圍。 --- # 19. 這是認知域，不完全是理論域 兩個都熟悉： $$ T $$ 的研究者， 可能： $$ \boxed{ D_{\mathrm{under}}^{(A)} \neq D_{\mathrm{under}}^{(B)}. } $$ --- # 20. Understanding Domain 受到個體影響 包括： - expertise； - training； - preferred abstraction； - cognitive style； - prior domains； - professional identity。 --- # 21. Theory-as-Parser Transition 當： $$ D_{\mathrm{under}}(T) $$ 持續擴張， 理論會從： $$ \boxed{ \text{tool} } $$ 變成： $$ \boxed{ \text{world parser}. } $$ --- # 22. Parser Form 可寫： $$ \boxed{ \Pi_T: X \rightarrow X_T. } $$ 新現象先進： $$ \Pi_T, $$ 再被研究者理解。 --- # 23. Understanding Capture 本文定義： $$ \boxed{ C_U(T) } $$ 為： > 一個人的世界理解有多少比例首先經過理論 $T$ 的 parser。 --- # 24. 高 Understanding Capture 不一定壞 如果： $$ T $$ 很強， 高： $$ C_U(T) $$ 可以提高： - speed； - pattern recognition； - transfer； - expertise。 --- # 25. 但它增加 Parser Blindness 因為： $$ \boxed{ X \rightarrow X_T } $$ 發生得太快， 研究者可能忘記： $$ X_T $$ 只是： $$ \Phi_T(X). $$ --- # 26. Judgment Domain 本文定義： $$ \boxed{ D_{\mathrm{judge}}(T) } $$ 為： > 理論 $T$ 被用來判斷其他現象、理論與方法是否合理、完整、重要的範圍。 --- # 27. 這一步比 Understanding Domain 更強 理解： > 我習慣用 $T$ 看。 判定： > 不符合 $T$ 的東西可能就是錯的。 --- # 28. Judgment Expansion 本文定義： $$ \boxed{ J_E(T) } $$ 表示： > $T$ 從解釋工具轉變成 meta-evaluation standard 的程度。 --- # 29. 這是學派形成的重要一步 當： $$ D_{\mathrm{judge}}(T) $$ 很大， 其他 theory： $$ T_B $$ 會先被問： > 它能不能被 $T$ 翻譯？ 而不是： > 它是否捕捉到 $T$ 沒有捕捉的 structure？ --- # 30. Evaluation Asymmetry 這會形成： $$ \boxed{ T_A \text{ judges }T_B \text{ using }T_A\text{’s own criteria}. } $$ --- # 31. 判定域可以合法存在 例如 formal verification framework 本來就應該： $$ \boxed{ D_{\mathrm{judge}} } $$ 很明確。 問題在於： > 它何時從 local standard 變成 universal standard？ --- # 32. Ontological Domain 本文定義： $$ \boxed{ D_{\mathrm{onto}}(T) } $$ 為： > 研究者主張理論 $T$ 所描述的結構就是現象本體，而不只是可用表示的範圍。 --- # 33. Ontological Claim 最強 如果： $$ X\in D_{\mathrm{onto}}(T), $$ 等於主張： $$ \boxed{ \text{relevant ontology of }X \text{ is exhausted by }T. } $$ --- # 34. Ontological Exhaustion 形式上： $$ \boxed{ Residual_T(X)\approx0 } $$ 而且： $$ \boxed{ Boundary_T(X) } $$ 已被充分界定。 --- # 35. Ontological Escalation 本文定義： $$ \boxed{ O_E(T) } $$ 為： > 從「理論很有用」提升到「世界本質就是這樣」的 claim escalation。 --- # 36. Domain Hierarchy 因此至少有： $$ \boxed{ D_{\mathrm{lang}}, D_{\mathrm{def}}, D_{\mathrm{theory}}, D_{\mathrm{exp}}, D_{\mathrm{under}}, D_{\mathrm{judge}}, D_{\mathrm{onto}}. } $$ --- # 37. 這些 domain 不必同心 不能想成： $$ D_{\mathrm{theory}} \subset D_{\mathrm{exp}} \subset D_{\mathrm{under}} \subset D_{\mathrm{judge}} \subset D_{\mathrm{onto}} $$ 永遠成立。 現實更複雜。 --- # 38. Domain Topology 不同域可能： - overlap； - partially contain； - diverge； - have holes。 所以更適合： $$ \boxed{ \mathcal D_T = \{ D_i,R_{ij} \}. } $$ 視為一個 domain graph。 --- # 39. Domain Graph 節點： $$ D_i. $$ 邊： $$ R_{ij} $$ 表示： - implication； - transfer； - dependence； - escalation。 --- # 40. Domain-Level Substitution 本文提出： $$ \boxed{ \text{Domain-Level Substitution} } $$ 表示： > 把某一層成立的結果，直接當成另一層成立。 --- # 41. 第一種 substitution $$ \boxed{ D_{\mathrm{lang}} \Rightarrow D_{\mathrm{def}}. } $$ 能說，不代表 formal definition 合法。 --- # 42. 第二種 substitution $$ \boxed{ D_{\mathrm{def}} \Rightarrow D_{\mathrm{exp}}. } $$ 概念有定義，不代表有解釋力。 --- # 43. 第三種 substitution $$ \boxed{ D_{\mathrm{exp}} \Rightarrow D_{\mathrm{under}}. } $$ 某 theory 能解釋一部分，不代表應成為整體理解框架。 --- # 44. 第四種 substitution $$ \boxed{ D_{\mathrm{under}} \Rightarrow D_{\mathrm{judge}}. } $$ 習慣用某 theory 理解，不代表它可以判定其他 theory。 --- # 45. 第五種 substitution $$ \boxed{ D_{\mathrm{judge}} \Rightarrow D_{\mathrm{onto}}. } $$ 能作為一種 evaluation standard，更不代表它就是世界本體。 --- # 46. Domain Escalation Chain 最常見鏈： $$ \boxed{ \text{描述得通} \rightarrow \text{解釋得通} \rightarrow \text{理解都用它} \rightarrow \text{判斷也用它} \rightarrow \text{世界就是它}. } $$ --- # 47. 這條鏈有時真的合法 如果每一步都有額外： $$ \boxed{ \Gamma_i } $$ 作為 transfer witness， 那麼 domain expansion 可以是理論進步。 --- # 48. Transfer Witness 本文定義： $$ \boxed{ \Gamma_{i\rightarrow j} } $$ 為： > 支持理論從 domain level $D_i$ 升級到 $D_j$ 的額外證據或結構證明。 --- # 49. 沒有 witness 的 escalation 如果： $$ \Gamma_{i\rightarrow j} = \varnothing, $$ 卻直接： $$ D_i\rightarrow D_j, $$ 則屬於： $$ \boxed{ \text{Unsupported Domain Escalation}. } $$ --- # 50. Domain Entry Test 當 theory $T$ 進入新現象： $$ X, $$ 第一步不是問： > 能不能套？ 而是問： $$ \boxed{ X\in D_{\mathrm{lang}}? } $$ $$ \boxed{ X\in D_{\mathrm{def}}? } $$ --- # 51. Definition Legitimacy Test 檢查： - primitive 是否仍 well-defined； - relation 是否保持； - operator 是否需要 hidden assumptions； - type 是否改變。 --- # 52. Explanatory Entry Test 再問： $$ \boxed{ L_E(T,X)>0? } $$ 即： > theory 是否真的提高 explanation quality？ --- # 53. Understanding Capture Test 再問： > $T$ 是否只是其中一個 useful lens，還是已變成 default parser？ 可估： $$ \boxed{ C_U(T). } $$ --- # 54. Judgment Expansion Test 問： > 為什麼 $T$ 有資格成為評價其他 theories 的尺度？ 需要： $$ \boxed{ \Gamma_{\mathrm{under}\rightarrow\mathrm{judge}}. } $$ --- # 55. Ontological Entry Test 最後問： > 是否有理由主張 residual 幾乎被耗盡？ 即： $$ \boxed{ Residual_T(X)\rightarrow0. } $$ --- # 56. Domain Gap 本文定義： $$ \boxed{ G_{ij}(T) = D_j(T)-D_i(T) } $$ 表示： > 某一 higher domain 比 lower domain 擴張了多少。 --- # 57. Explanatory–Language Gap $$ \boxed{ G_{\mathrm{EL}} = D_{\mathrm{lang}} - D_{\mathrm{exp}}. } $$ 表示： > 能說但不能真正解釋的區域。 --- # 58. Understanding–Explanation Gap $$ \boxed{ G_{\mathrm{UE}} = D_{\mathrm{under}} - D_{\mathrm{exp}}. } $$ 若很大， 代表研究者把 theory 用在超出其已證明解釋力的範圍。 --- # 59. Judgment–Understanding Gap $$ \boxed{ G_{\mathrm{JU}} = D_{\mathrm{judge}} - D_{\mathrm{under}}. } $$ 表示： > theory 已被拿來判定一些自己其實沒有深入理解的 domain。 --- # 60. Ontology–Explanation Gap 最危險： $$ \boxed{ G_{\mathrm{OE}} = D_{\mathrm{onto}} - D_{\mathrm{exp}}. } $$ 如果很大： > 本體 claim 遠大於實際 explanation。 --- # 61. Domain Collapse 本文提出： $$ \boxed{ \text{Domain Collapse} } $$ 即研究者主觀上把： $$ D_{\mathrm{lang}}, D_{\mathrm{exp}}, D_{\mathrm{under}}, D_{\mathrm{judge}}, D_{\mathrm{onto}} $$ 壓成近乎一個 domain。 --- # 62. Collapse Form $$ \boxed{ D_{\mathrm{lang}} \approx D_{\mathrm{exp}} \approx D_{\mathrm{under}} \approx D_{\mathrm{judge}} \approx D_{\mathrm{onto}}. } $$ --- # 63. 這不是理論真正完備的充分證據 可能只是： $$ \boxed{ \text{observer-side domain compression}. } $$ --- # 64. Domain Compression 研究者認知系統為了 efficiency， 把多種不同 epistemic status： $$ \boxed{ \text{describable}, \text{explainable}, \text{understood}, \text{judgeable}, \text{ontologically true} } $$ 壓成： > 這就是這樣。 --- # 65. 這與語言本身有關 自然語言常用同一句： > 「這個可以用 $T$ 解釋。」 來覆蓋多個 level。 因此語言本身會鼓勵： $$ \boxed{ \text{domain ambiguity}. } $$ --- # 66. Domain-Typed Language 理想的高解析度討論應說： - $T$ 可以描述 $X$ ； - $T$ 對 $X$ 有 partial explanation； - $T$ 在 $X$ 中有 high predictive fit； - $T$ 對 $X$ 尚無 ontological exhaustion claim。 --- # 67. Typed Claim 可以寫： $$ \boxed{ C_T(X) = ( L,D,E,U,J,O ). } $$ --- # 68. 其中每一維可獨立 例如： $$ \boxed{ C_T(X) = ( 1,1,0.7,0.9,0.5,0.2 ). } $$ 表示： - 描述合法； - 定義合法； - 解釋中高； - 理解高度使用； - 判定權中等； - 本體 claim 很弱。 --- # 69. 這比一句「可以解釋」高解析度很多 尤其跨學科時， 這種 domain typing 可以顯著降低： $$ \boxed{ \text{false equivalence}. } $$ --- # 70. Asymmetric Domain Expansion 不同研究者可能對同一 theory： $$ T $$ 有不同 expansion profile。 --- # 71. Researcher A $$ D_{\mathrm{exp}}^{A} $$ 很保守。 但： $$ D_{\mathrm{under}}^{A} $$ 很大。 --- # 72. Researcher B 可能： $$ D_{\mathrm{judge}}^{B} $$ 擴張很快。 --- # 73. Researcher C 可能直接建立： $$ D_{\mathrm{onto}}^{C}\approx\Omega. $$ --- # 74. 所以「學派」內部也不是一個 domain profile 同一 school： $$ S $$ 內部： $$ \boxed{ \mathcal P_S = \{ P_1,P_2,\ldots,P_n \} } $$ 可能差很多。 --- # 75. 不應把學派人格化 說： > 某學派認為世界都是 X。 有時過粗。 更準確： $$ \boxed{ \text{some practitioners have large }D_{\mathrm{onto}}. } $$ --- # 76. Theory Identity vs Practitioner Domain 理論文本： $$ T $$ 和研究者實際使用： $$ T^{(A)} $$ 不必相同。 --- # 77. Practitioner Expansion 可寫： $$ \boxed{ T^{(A)} = T+\Delta_A. } $$ 其中： $$ \Delta_A $$ 是研究者自己的 domain extension。 --- # 78. 這解釋「同一理論為什麼有很多版本」 不是只有 interpretation。 也有： $$ \boxed{ \text{domain expansion profile differences}. } $$ --- # 79. 理論域擴張與專業身份 當一個人的： $$ \boxed{ \text{professional identity} } $$ 與： $$ T $$ 高度綁定， 可能增加： $$ D_{\mathrm{judge}} $$ 與： $$ D_{\mathrm{onto}} $$ 的擴張壓力。 --- # 80. 但本文不把它還原成心理偏誤 因為就算沒有身份防衛， 理論內部的 high fit 仍可能自然造成擴張。 --- # 81. Structural Bias Before Psychological Bias 本文提出： $$ \boxed{ \text{Structural Domain Bias} } $$ 可能先於： $$ \boxed{ \text{identity-protective bias}. } $$ --- # 82. 理論足夠強，就會產生 world-parser 壓力 如果： $$ Fit_T(D_i)\gg0 $$ 對很多 $D_i$ 成立， 研究者自然提高： $$ C_U(T). $$ --- # 83. 這就是為什麼強理論更需要 boundary typing 越成功： $$ \boxed{ \text{Boundary Discipline} } $$ 越重要。 --- # 84. Domain Boundary Statement 每次跨域時應至少聲明： ```text description scope: definition scope: explanatory scope: uncertainty: known residual: judgment scope: ontological claim: ``` --- # 85. 這可以直接變成 AI 辯論輸出格式 AI 不應只說： > 理論 A 可以解釋這個。 而要說： $$ \boxed{ \text{which domain level is being claimed}. } $$ --- # 86. Domain Claim Parser 未來可以建立： $$ \boxed{ \mathcal P_D(C) } $$ 把自然語言 claim 解析成： $$ ( D_{\mathrm{lang}}, D_{\mathrm{def}}, D_{\mathrm{exp}}, D_{\mathrm{under}}, D_{\mathrm{judge}}, D_{\mathrm{onto}} ). $$ --- # 87. 這與 ADLM-02 互補 ADLM-02 已處理： - quantifier； - scope； - modal strength。 TCRS-02 再加入： $$ \boxed{ \text{domain level}. } $$ --- # 88. Typed Debate Claim 完整可以寫： $$ \boxed{ C = ( \text{target}, \text{scope}, \text{quantifier}, \text{modality}, \text{domain level}, \text{evidence} ). } $$ --- # 89. 這可以消除很多假衝突 A 說： > 這可以用經濟學解釋。 B 說： > 不可以。 其實 A 可能只主張： $$ X\in D_{\mathrm{exp}}^{partial}. $$ B 在反駁： $$ X\in D_{\mathrm{onto}}. $$ --- # 90. 兩邊根本不是同一 claim 所以： $$ \boxed{ \text{surface disagreement} } $$ 可能來自： $$ \boxed{ \text{domain-level mismatch}. } $$ --- # 91. Domain-Level Mismatch 本文定義： $$ \boxed{ M_D(A,B) } $$ 為： > 雙方使用同一語句，但實際 claim 位於不同 domain level。 --- # 92. 這會造成雞同鴨講 A 說： > 能解釋。 意思： $$ L_E>0. $$ B 聽成： $$ Residual=0. $$ 然後開始爭論。 --- # 93. Domain Clarification Test 因此辯論前先問： > 你說「解釋」是指哪一層？ 這可以大量減少 pseudo-disagreement。 --- # 94. Domain Expansion 與共同底空間 當兩套 theory： $$ T_A,T_B $$ 都擴張到： $$ D_{\mathrm{under}}, D_{\mathrm{judge}}, $$ 共同域會更難建立。 --- # 95. 原因 因為每一方都認為： $$ \boxed{ D_{\mathrm{shared}} \subseteq D_A } $$ 或： $$ \boxed{ D_{\mathrm{shared}} \subseteq D_B. } $$ --- # 96. Shared-Domain Capture 本文預備定義： $$ \boxed{ \text{Shared-Domain Capture}. } $$ 即： > 一方的 expanded understanding domain 直接吞掉原本應中立生成的共同域。 --- # 97. 這會在 TCRS-05 完整處理 其中核心將是： $$ \boxed{ D_A \leftarrow D_0 \rightarrow D_B } $$ 對比： $$ \boxed{ D_B \rightarrow D_A^+. } $$ --- # 98. 理論域擴張與理解解析度 還有一個更深問題： 研究者可能只理解對方 theory 的部分 projection。 --- # 99. Partial Domain Capture 他看到： $$ C,E $$ 可以映射進： $$ T_A, $$ 於是判斷： $$ \boxed{ T_B \subseteq D_{\mathrm{under}}(T_A). } $$ --- # 100. 但實際上只證明 $$ \boxed{ \{C,E\} \subseteq D_{\mathrm{lang}}(T_A). } $$ 這就是下一篇 TCRS-03 的入口。 --- # 101. Domain-Level Error Matrix 可以建立： $$ \boxed{ E_{ij} } $$ 其中： $$ E_{ij}=1 $$ 表示： > 把 $D_i$ 的成功錯誤提升成 $D_j$ 的成功。 --- # 102. 最常見的高風險錯誤 例如： $$ E_{\mathrm{lang}\rightarrow\mathrm{onto}}, $$ $$ E_{\mathrm{exp}\rightarrow\mathrm{onto}}, $$ $$ E_{\mathrm{under}\rightarrow\mathrm{judge}}. $$ --- # 103. Domain Escalation Cost 本文提出： $$ \boxed{ C_{i\rightarrow j} } $$ 表示： > 從 domain level $i$ 升級到 $j$ 所需額外證據成本。 --- # 104. 越高階 claim，成本越高 一般： $$ \boxed{ C_{\mathrm{lang}\rightarrow\mathrm{def}} < C_{\mathrm{def}\rightarrow\mathrm{exp}} < C_{\mathrm{exp}\rightarrow\mathrm{onto}}. } $$ --- # 105. Ontological Claim 最昂貴 因為需要排除： $$ \boxed{ \text{relevant residual alternatives}. } $$ --- # 106. Explanatory Domain 可以是部分的 重要： $$ X\in D_{\mathrm{exp}}(T) $$ 不代表： $$ Fit_T(X)=1. $$ --- # 107. Partial Explanation 更常見： $$ \boxed{ 0 研究者在判定 $X$ 時多大程度使用 $T$。 --- # 111. Ontological Confidence $$ \boxed{ O_T(X)\in[0,1]. } $$ 表示： > 對「 $T$ 耗盡 $X$ 本體」的信心。 --- # 112. Domain Profile Vector 因此： $$ \boxed{ \vec D_T(X) = ( L_T, Def_T, E_T, U_T, J_T, O_T ). } $$ --- # 113. 一個理論真正的跨域 profile 不應只問： > 它能不能解釋？ 而應看： $$ \boxed{ \vec D_T(X). } $$ --- # 114. 高解析度理論比較 對兩套 theory： $$ T_A,T_B $$ 比較： $$ \boxed{ \vec D_A(X) } $$ 與： $$ \boxed{ \vec D_B(X). } $$ --- # 115. 這會比 Winner Ranking 更有用 因為 A 可能： - description 高； - explanation 中； - judgment 低。 B 可能： - description 中； - explanation 高； - ontology 低。 --- # 116. 沒必要把它們壓成單一排名 這再次呼應 ADLM： $$ \boxed{ \text{Model Comparison} \neq \text{Winner Selection}. } $$ --- # 117. Domain Evolution Over Time 理論： $$ T_t $$ 在不同歷史時期有不同 profile： $$ \boxed{ \vec D_T^{(t)}. } $$ --- # 118. 學派歷史可以被理解為 domain trajectory $$ \boxed{ \vec D_T^{(0)} \rightarrow \vec D_T^{(1)} \rightarrow \cdots. } $$ --- # 119. 這比只看理論文本更完整 因為理論實際歷史包含： - text； - practitioners； - institutions； - applications； - extensions。 --- # 120. Domain Trajectory 本文定義： $$ \boxed{ \Gamma_D(T) = \{ \vec D_T^{(0)}, \vec D_T^{(1)}, \ldots \}. } $$ --- # 121. 理論成功常表現為某些域擴張 例如： $$ D_{\mathrm{exp}}\uparrow. $$ --- # 122. 理論帝國化則常表現為 $$ D_{\mathrm{judge}}\uparrow\uparrow $$ 以及： $$ D_{\mathrm{onto}}\uparrow\uparrow $$ 但： $$ D_{\mathrm{exp}} $$ 未同步增長。 --- # 123. Domain Expansion Imbalance 本文定義： $$ \boxed{ I_D(T) } $$ 表示： > 各 domain level 擴張速度不一致。 --- # 124. 高風險 imbalance 例如： $$ \boxed{ \frac{ \Delta D_{\mathrm{onto}} }{ \Delta D_{\mathrm{exp}} } \gg1. } $$ 表示 ontology claim 跑得比 explanation 快。 --- # 125. Judgment Overhang 也可以定義： $$ \boxed{ O_J = D_{\mathrm{judge}} - D_{\mathrm{exp}}. } $$ 這是： > 判定權超過實際解釋權。 --- # 126. Ontological Overhang $$ \boxed{ O_O = D_{\mathrm{onto}} - D_{\mathrm{exp}}. } $$ 這是： > 本體 claim 超過實際解釋權。 --- # 127. Healthy Expansion Profile 理想： $$ \boxed{ D_{\mathrm{lang}} \ge D_{\mathrm{def}} \ge D_{\mathrm{exp}} } $$ 但： $$ D_{\mathrm{judge}}, D_{\mathrm{onto}} $$ 應有額外獨立審查。 --- # 128. 不應把 understanding 當作證據本身 因為： $$ \boxed{ \text{I understand the world through }T } $$ 只是一個 observer fact。 不等於： $$ \boxed{ \text{the world is }T. } $$ --- # 129. Observer–Ontology Separation 本文提出： $$ \boxed{ D_{\mathrm{under}}(T) \not\Rightarrow D_{\mathrm{onto}}(T). } $$ --- # 130. Judgment–Ontology Separation 同樣： $$ \boxed{ D_{\mathrm{judge}}(T) \not\Rightarrow D_{\mathrm{onto}}(T). } $$ --- # 131. Explanatory–Ontology Separation 即使： $$ D_{\mathrm{exp}}(T) $$ 很大， 仍： $$ \boxed{ D_{\mathrm{exp}} \not\Rightarrow D_{\mathrm{onto}}. } $$ --- # 132. 最大問題不是理論域大 而是： $$ \boxed{ \text{domain labels disappear}. } $$ 一旦所有層級都只剩： > 這就是 $T$， 就失去 epistemic typing。 --- # 133. Domain Typing Principle 本文提出： $$ \boxed{ \text{Every cross-domain claim should state which domain level is being asserted}. } $$ --- # 134. Domain Escalation Principle $$ \boxed{ \text{Moving from one domain level to another requires an explicit transfer witness}. } $$ --- # 135. Explanation Separation Principle $$ \boxed{ \text{Description and explanation must remain distinct even when they use the same vocabulary}. } $$ --- # 136. Understanding Separation Principle $$ \boxed{ \text{A theory becoming a dominant parser for an observer does not increase its ontological truth by itself}. } $$ --- # 137. Judgment Restraint Principle $$ \boxed{ \text{A theory should not automatically become the evaluation standard for domains it has merely learned to describe}. } $$ --- # 138. Ontological Burden Principle $$ \boxed{ \text{Ontological exhaustion carries a higher burden than explanatory usefulness}. } $$ --- # 139. Residual Visibility Principle $$ \boxed{ \text{Domain expansion should increase, not erase, explicit accounting of residual structure}. } $$ --- # 140. Domain-Asymmetry Principle $$ \boxed{ \text{Different practitioners of the same theory may operate with different domain-expansion profiles}. } $$ --- # 141. Dynamic-Domain Principle $$ \boxed{ \text{Theory domains evolve historically and should be modeled as trajectories rather than fixed sets}. } $$ --- # 142. 與 TCRS-01 的接口 TCRS-01 已提出： $$ \boxed{ \text{一劍萬法} \neq \text{萬法皆劍}. } $$ 本文解釋： > 「萬法皆劍」通常不是一步跳成，而是多個 domain level 漸進 collapse。 --- # 143. 與 TCRS-03 的接口 下一篇將研究： > 一個接收者究竟能不能分辨這些 domain level？ 特別是： $$ \boxed{ \text{局部理解} } $$ 如何被誤認為： $$ \boxed{ \text{整體理解}. } $$ --- # 144. 與 TCRS-05、06 的接口 當： $$ D_{\mathrm{under}} $$ 與： $$ D_{\mathrm{judge}} $$ 高度擴張， 會產生： $$ \boxed{ \text{共同底空間遮蔽} } $$ 與： $$ \boxed{ \text{理論域吞併}. } $$ --- # 145. 本文不主張事項 本文不主張： 1. 理論不應擴張； 2. 所有 ontological claim 都是不合法的； 3. 語言域越大越差； 4. judgment domain 不應存在； 5. 理論只能留在原始學科； 6. 跨學科理論一定過度解釋； 7. world parser 一定有害； 8. high explanatory reach 等於低可信； 9. domain hierarchy 永遠是線性的； 10. 所有 domain 都可以精確量化。 本文只主張： $$ \boxed{ \text{different kinds of theoretical reach must remain explicitly distinguished}. } $$ --- # 146. 結論 一套理論成熟後，真正會擴張的從來不只有「研究範圍」。 它可能先擴張： $$ D_{\mathrm{lang}}, $$ 也就是： > 越來越多東西可以用這套語言說。 接著擴張： $$ D_{\mathrm{exp}}, $$ 也就是： > 越來越多東西真的能被它解釋。 再往後： $$ D_{\mathrm{under}}, $$ 也就是： > 研究者開始習慣用這套理論理解世界。 接著： $$ D_{\mathrm{judge}}, $$ 也就是： > 這套理論開始成為判斷其他理論的尺度。 最後甚至： $$ D_{\mathrm{onto}} \rightarrow \Omega, $$ 也就是： > 世界本體本來就是這套理論。 真正需要警惕的不是最後一步本身。 而是： $$ \boxed{ \text{前面每一層何時被默默當成下一層。} } $$ 因為： $$ \boxed{ \text{能描述} \neq \text{有定義} \neq \text{已解釋} \neq \text{已理解} \neq \text{有權判定} \neq \text{本體耗盡}. } $$ 如果這些層級保持明確， 理論可以非常大。 甚至可以真的接近 universal。 但如果： $$ D_{\mathrm{lang}} , D_{\mathrm{exp}} , D_{\mathrm{under}} , D_{\mathrm{judge}} , D_{\mathrm{onto}} $$ 被壓成一個沒有標籤的巨大 domain， 那麼研究者就很難再分辨： > 我現在是在描述世界， 還是在解釋世界， 還是在用自己習慣的方式理解世界， 還是在宣稱世界只能是這樣。 這就是 TCRS-02 所要保存的核心區分。 而下一步真正困難的問題將是： $$ \boxed{ \text{人類是否真的有足夠高的理解解析度，去穩定保存這些區分？} } $$ 這將進入 TCRS-03。 --- # 版本紀錄 ## v0.1.0 — 2026-10-06 - 建立 TCRS 系列 Paper 02； - 正式定義 Language、Definition、Theory、Explanation、Understanding、Judgment、Ontological Domains； - 建立 Domain Hierarchy 與 Domain Graph； - 提出 Domain-Level Substitution； - 提出 Domain Escalation Chain； - 定義 Transfer Witness； - 建立 Domain Entry Test、Definition Legitimacy Test、Explanatory Entry Test、Understanding Capture Test、Judgment Expansion Test、Ontological Entry Test； - 提出 Explanatory Lift； - 定義 Domain Gap、Explanatory–Language Gap、Understanding–Explanation Gap、Judgment–Understanding Gap、Ontology–Explanation Gap； - 提出 Domain Collapse 與 Domain Compression； - 建立 Domain-Typed Claim； - 提出 Domain-Level Mismatch； - 建立 Domain Claim Parser； - 提出 Domain Profile Vector； - 建立 Domain Trajectory、Domain Expansion Imbalance、Judgment Overhang、Ontological Overhang； - 建立八項核心原則； - 為 TCRS-03 的理解解析度與 TCRS-05、06 的共同底空間遮蔽與理論域吞併建立形式骨架。