絕對真理作為動態全域收納極限
開放判定域中的理論收納度、未收納殘差與動態不動點
English Title: Absolute Truth as a Dynamic Global-Containment Limit: Theory Containment, Uncontained Residuals, and Dynamic Fixed Points in Open Judgment Domains
系列： 萬有元息與全域收納論系列（Universal Meta-Information and Global Containment Series）Paper 01 作者： Neo.K機構： EveMissLab／一言諾科技有限公司版本： v0.1日期： 2026-08-14理論定位： 元認識論、形式哲學、動態知識論、科學理論評估、開放世界模型狀態： 猜想性形式框架；不宣稱已建立可計算的「絕對真理測量器」，亦不宣稱任何現存理論達到絕對全域收納。
摘要
本文提出「動態全域收納」（Dynamic Global Containment, DGC）框架，將「絕對真理」從一個通常被二值化、神學化或不可操作化的終極宣稱，重新定義為開放判定域中的理論極限參照點。本文不把單一命題的真值改寫成連續值，也不主張真理本身等於統計分數；相反地，本文區分命題真值、理論正確性、理論表示能力與理論全域收納能力，並將後者定義為隨判定域、觀察者、證據、語言與可區分結構變化而更新的多維向量。
令時間 t t t D t \mathfrak D_t D t T t \mathcal T_t T t μ t \mu_t μ t C t ( T ) \mathbf C_t(\mathcal T) C t ( T ) Φ t \Phi_t Φ t C t ( T ) ∈ [ 0 , 1 ] \mathcal C_t(\mathcal T)\in[0,1] C t ( T ) ∈ [ 0 , 1 ]
本文進一步定義未收納殘差 R t = 1 − C t \mathcal R_t=1-\mathcal C_t R t = 1 − C t D t ⊆ D t + 1 \mathfrak D_t\subseteq\mathfrak D_{t+1} D t ⊆ D t + 1
最後，本文將絕對真理定義為強全域收納的理想極限：一個理論若能在所有容許的未來擴張下保持忠實收納、不消去任何本體必要差異，且不因新增觀察者或新判定方式而失效，才可稱為達到絕對全域收納。由於有限歷史通常不足以驗證對所有未來容許擴張的不變性，本文提出「有限近滿分不推出絕對性」命題。本文的目的不是證明絕對真理不存在，而是建立一套能區分「目前高度成功」、「持續逼近」、「在擴張下穩健」與「真正絕對」的形式語言，作為後續元息總域、世界投影、主體不可完全收納與萬有元息等價猜想的元認識論地基。
關鍵詞： 絕對真理、動態全域收納、開放判定域、真似度、信念修正、動態知識論、未收納殘差、主體性、動態不動點、理論擴張、元息
0. 研究定位：本文測量的不是「命題有幾分真」
形式知識論與科學哲學長期存在一個困難：科學理論經常不是「完全真」或「完全假」即可充分描述。真似度（truthlikeness / verisimilitude）研究試圖描述理論與真實之間的接近程度；信念修正理論則研究新資訊加入後，認知狀態如何合理更新；動態知識論進一步把知識與信念的變化表示成模型變換。[1-7]
本文接受這些問題的重要性，但研究對象不同。
本文不定義：
v ( p ) ∈ [ 0 , 1 ] v(p)\in[0,1] v ( p ) ∈ [ 0 , 1 ] 來取代命題 p p p
Truth ( p ) = 0.83. \operatorname{Truth}(p)=0.83. Truth ( p ) = 0.83. 本文研究的是另一個量：
在一個持續變動且可能擴張的判定域中，某理論目前能忠實表示、解釋、推導、保持與吸收多少結構？
因此本文首先區分：
TruthValue ( p ) ≠ Truthlikeness ( T ) ≠ Containment ( T , D t ) \boxed{
\operatorname{TruthValue}(p)
\neq
\operatorname{Truthlikeness}(\mathcal T)
\neq
\operatorname{Containment}(\mathcal T,\mathfrak D_t)
} TruthValue ( p ) = Truthlikeness ( T ) = Containment ( T , D t ) 其中：
TruthValue ( p ) \operatorname{TruthValue}(p) TruthValue ( p ) Truthlikeness ( T ) \operatorname{Truthlikeness}(\mathcal T) Truthlikeness ( T ) Containment ( T , D t ) \operatorname{Containment}(\mathcal T,\mathfrak D_t) Containment ( T , D t )
「收納」因此不是「我可以寫一句話描述它」。
若理論 T \mathcal T T
主體 S S S T \mathcal T T
這最多代表 T \mathcal T T S S S T \mathcal T T S S S
故本文採用：
Representation ⇏ Faithful Containment \boxed{
\text{Representation}
\not\Rightarrow
\text{Faithful Containment}
} Representation ⇒ Faithful Containment 作為第一個方法論限制。
1. 開放判定域
1.1 判定域
令時間 t t t
D t = ( X t , Λ t , Ξ t , μ t ) \boxed{
\mathfrak D_t
=
\left(
X_t,
\Lambda_t,
\Xi_t,
\mu_t
\right)
} D t = ( X t , Λ t , Ξ t , μ t ) 其中：
X t X_t X t Λ t \Lambda_t Λ t Ξ t \Xi_t Ξ t μ t \mu_t μ t
X t X_t X t
X t = X t e m p ∪ X t l a w ∪ X t s u b j ∪ X t m e t a ∪ X t c o u n t e r ∪ X t n o v e l . X_t
=
X_t^{\mathrm{emp}}
\cup
X_t^{\mathrm{law}}
\cup
X_t^{\mathrm{subj}}
\cup
X_t^{\mathrm{meta}}
\cup
X_t^{\mathrm{counter}}
\cup
X_t^{\mathrm{novel}}. X t = X t emp ∪ X t law ∪ X t subj ∪ X t meta ∪ X t counter ∪ X t novel . 分別表示經驗資料、定律結構、主體結構、元理論條件、反例與新生成判定項。
這一設計的目的，是避免將「理論成功」壓縮成單一的預測準確率。
1.2 開放域公設
本文不把「宇宙永遠會產生新事物」當成已證定理，而採取較弱的研究公設：
公設 A1（開放判定域公設）
對任意有限時刻 t t t D t \mathfrak D_t D t A t \mathfrak A_t A t
Δ D t ∈ A t , Δ D t ≠ ∅ . \Delta\mathfrak D_t\in\mathfrak A_t,
\qquad
\Delta\mathfrak D_t\neq\varnothing. Δ D t ∈ A t , Δ D t = ∅ . 因此：
D t + 1 = Cl ( D t ∪ Δ D t ) , \mathfrak D_{t+1}
=
\operatorname{Cl}
\left(
\mathfrak D_t
\cup
\Delta\mathfrak D_t
\right), D t + 1 = Cl ( D t ∪ Δ D t ) , 其中 Cl \operatorname{Cl} Cl
這是一個方法論上的「不封閉預設」，而不是形而上學上「實無限必然存在」的宣告。
2. 局部收納與多維收納向量
2.1 局部收納函數
對任意判定項 x ∈ X t x\in X_t x ∈ X t T \mathcal T T x x x
c t ( T ; x ) = ( c t O , c t L , c t S , c t P , c t R , c t X ) ∈ [ 0 , 1 ] 6 \boxed{
\mathbf c_t(\mathcal T;x)
=
\left(
c_t^{O},
c_t^{L},
c_t^{S},
c_t^{P},
c_t^{R},
c_t^{X}
\right)
\in[0,1]^6
} c t ( T ; x ) = ( c t O , c t L , c t S , c t P , c t R , c t X ) ∈ [ 0 , 1 ] 6 各分量暫定如下：
c t O = object / phenomenon containment , c_t^{O}
=
\text{object / phenomenon containment}, c t O = object / phenomenon containment , 表示理論對對象或現象的表示與經驗對應能力；
c t L = law / causal containment , c_t^{L}
=
\text{law / causal containment}, c t L = law / causal containment , 表示理論是否保留定律、因果、約束或生成關係；
c t S = subject containment , c_t^{S}
=
\text{subject containment}, c t S = subject containment , 表示理論是否能容納主體、代理者、觀察者或自生成判定者；
c t P = perspective fidelity , c_t^{P}
=
\text{perspective fidelity}, c t P = perspective fidelity , 表示理論在轉譯不同觀點時是否保留該觀點內部不可刪除的區別；
c t R = reflexive containment , c_t^{R}
=
\text{reflexive containment}, c t R = reflexive containment , 表示理論能否處理關於自身、其語言、其限制與其使用者的元描述；
c t X = extension robustness , c_t^{X}
=
\text{extension robustness}, c t X = extension robustness , 表示理論面對新尺度、新資料、新主體或新型別時維持結構的能力。
這六項不是宣稱唯一正確的分解。其功能是建立一個最低限度的「型別分離」原則：
不同種類的成功，不應在形式化之前被壓成同一數字。 \boxed{
\text{不同種類的成功，不應在形式化之前被壓成同一數字。}
} 不同種類的成功，不應在形式化之前被壓成同一數字。 2.2 忠實收納
令 I x I_x I x x x x
f T : x ↦ x ^ T , f_{\mathcal T}:x\mapsto\widehat{x}_{\mathcal T}, f T : x ↦ x T , 則定義完全忠實收納需要至少滿足：
∀ I ∈ I x , I ( x ) = I ( x ^ T ) . \forall I\in I_x,
\qquad
I(x)=I(\widehat{x}_{\mathcal T}). ∀ I ∈ I x , I ( x ) = I ( x T ) . 若存在某個本體必要不變量 I ⋆ I^\star I ⋆
I ⋆ ( x ) ≠ I ⋆ ( x ^ T ) , I^\star(x)
\neq
I^\star(\widehat{x}_{\mathcal T}), I ⋆ ( x ) = I ⋆ ( x T ) , 則：
FaithfulContain T ( x ) < 1. \operatorname{FaithfulContain}_{\mathcal T}(x)<1. FaithfulContain T ( x ) < 1. 因此，「能表示」與「無損收納」被嚴格分離。
3. 全域收納向量與次級標量
3.1 向量聚合
在測度 μ t \mu_t μ t t t t
C t ( T ) = ∫ X t c t ( T ; x ) d μ t ( x ) μ t ( X t ) \boxed{
\mathbf C_t(\mathcal T)
=
\frac{
\int_{X_t}
\mathbf c_t(\mathcal T;x)
\,d\mu_t(x)
}{
\mu_t(X_t)
}
} C t ( T ) = μ t ( X t ) ∫ X t c t ( T ; x ) d μ t ( x ) 其中：
C t ( T ) ∈ [ 0 , 1 ] 6 . \mathbf C_t(\mathcal T)\in[0,1]^6. C t ( T ) ∈ [ 0 , 1 ] 6 . 這個向量是本文的主要量。
3.2 次級標量
若研究情境確實需要排序，可引入權重向量：
w t = ( w t O , w t L , w t S , w t P , w t R , w t X ) , \mathbf w_t
=
(w_t^O,w_t^L,w_t^S,w_t^P,w_t^R,w_t^X), w t = ( w t O , w t L , w t S , w t P , w t R , w t X ) , 滿足：
w t i ≥ 0 , ∑ i w t i = 1. w_t^i\ge 0,
\qquad
\sum_i w_t^i=1. w t i ≥ 0 , i ∑ w t i = 1. 定義：
C t ( T ) = Φ t ( C t ( T ) , w t ) \boxed{
\mathcal C_t(\mathcal T)
=
\Phi_t
\left(
\mathbf C_t(\mathcal T),
\mathbf w_t
\right)
} C t ( T ) = Φ t ( C t ( T ) , w t ) 最簡單情況是：
C t ( T ) = w t ⋅ C t ( T ) . \mathcal C_t(\mathcal T)
=
\mathbf w_t\cdot\mathbf C_t(\mathcal T). C t ( T ) = w t ⋅ C t ( T ) . 但本文強調：
C t 是主要對象； C t 是依研究目的產生的次級投影。 \boxed{
\mathbf C_t
\text{ 是主要對象；}
\mathcal C_t
\text{ 是依研究目的產生的次級投影。}
} C t 是主要對象； C t 是依研究目的產生的次級投影。 不同文明、學科、任務與風險情境可能使用不同 w t \mathbf w_t w t
4. 絕對真理作為極限參照點
4.1 當下完全收納與絕對全域收納不是同一件事
若：
C t ( T ) = 1 , \mathcal C_t(\mathcal T)=1, C t ( T ) = 1 , 最多表示在當下的：
D t , Ξ t , μ t , w t \mathfrak D_t,
\quad
\Xi_t,
\quad
\mu_t,
\quad
\mathbf w_t D t , Ξ t , μ t , w t 之下，理論達到滿分。
這不能推出：
T = Absolute Truth . \mathcal T
=
\text{Absolute Truth}. T = Absolute Truth . 因為未來可能出現：
Δ D t ≠ ∅ . \Delta\mathfrak D_t
\neq
\varnothing. Δ D t = ∅ . 因此本文定義更強的概念。
4.2 強全域收納
令：
Ext ( D t ) \operatorname{Ext}(\mathfrak D_t) Ext ( D t ) 為從 D t \mathfrak D_t D t
稱理論 T ⋆ \mathcal T^\star T ⋆ 強全域收納 ，若對任意：
D ′ ∈ Ext ( D t ) , \mathfrak D'
\in
\operatorname{Ext}(\mathfrak D_t), D ′ ∈ Ext ( D t ) , 都存在一個不破壞既有忠實結構的理論延拓 T ⋆ ′ \mathcal T^{\star\prime} T ⋆ ′
C ( T ⋆ ′ ; D ′ ) = 1 , \mathbf C(\mathcal T^{\star\prime};\mathfrak D')
=
\mathbf 1, C ( T ⋆ ′ ; D ′ ) = 1 , 且對所有舊判定項 x ∈ D t x\in\mathfrak D_t x ∈ D t
I x ( T ⋆ ′ ) = I x ( T ⋆ ) . I_x(\mathcal T^{\star\prime})
=
I_x(\mathcal T^\star). I x ( T ⋆ ′ ) = I x ( T ⋆ ) . 也就是：新世界不能靠犧牲舊世界的真值結構來「補考及格」。
4.3 絕對全域收納極限
本文將「絕對真理」在本系列中的技術用語定義為：
A : = AGC = Strong Global Containment under every admissible extension \boxed{
\mathfrak A
:=
\operatorname{AGC}
=
\text{Strong Global Containment under every admissible extension}
} A := AGC = Strong Global Containment under every admissible extension 因此：
C = 1 \boxed{
\mathcal C=1
} C = 1 只是局部標尺端點；
而：
AGC \boxed{
\operatorname{AGC}
} AGC 才是極強的元層條件。
此定義的目的不是預設存在某個 T ⋆ \mathcal T^\star T ⋆
5. 未收納殘差
定義標量未收納殘差：
R t ( T ) = 1 − C t ( T ) \boxed{
\mathcal R_t(\mathcal T)
=
1-\mathcal C_t(\mathcal T)
} R t ( T ) = 1 − C t ( T ) 以及向量殘差：
R t ( T ) = 1 − C t ( T ) . \boxed{
\mathbf R_t(\mathcal T)
=
\mathbf 1-\mathbf C_t(\mathcal T).
} R t ( T ) = 1 − C t ( T ) . R t \mathbf R_t R t
例如：
R t = ( 0.02 , 0.03 , 0.35 , 0.52 , 0.41 , 0.20 ) \mathbf R_t
=
(0.02,0.03,0.35,0.52,0.41,0.20) R t = ( 0.02 , 0.03 , 0.35 , 0.52 , 0.41 , 0.20 ) 表示某理論在現象與定律層相當成熟，但在主體、觀點與自指層仍有大量未收納結構。
因此兩個理論即使：
C t ( T 1 ) = C t ( T 2 ) , \mathcal C_t(\mathcal T_1)
=
\mathcal C_t(\mathcal T_2), C t ( T 1 ) = C t ( T 2 ) , 也可能：
C t ( T 1 ) ≠ C t ( T 2 ) . \mathbf C_t(\mathcal T_1)
\neq
\mathbf C_t(\mathcal T_2). C t ( T 1 ) = C t ( T 2 ) . 這種差異不應被標量掩蓋。
6. 動態收納與擴張懲罰
6.1 收納質量
令：
M t = μ t ( X t ) M_t
=
\mu_t(X_t) M t = μ t ( X t ) 為時間 t t t
令：
A t ( T ) = ∫ X t c t ( T ; x ) d μ t ( x ) A_t(\mathcal T)
=
\int_{X_t}
c_t(\mathcal T;x)
\,d\mu_t(x) A t ( T ) = ∫ X t c t ( T ; x ) d μ t ( x ) 為某一指定標量收納函數下的已收納質量。
則：
C t = A t M t . \boxed{
\mathcal C_t
=
\frac{A_t}{M_t}.
} C t = M t A t . 若採連續近似：
d C t d t = 1 M t d A t d t − C t M t d M t d t \boxed{
\frac{d\mathcal C_t}{dt}
=
\frac{1}{M_t}
\frac{dA_t}{dt}
-
\frac{\mathcal C_t}{M_t}
\frac{dM_t}{dt}
} d t d C t = M t 1 d t d A t − M t C t d t d M t 第一項表示理論增加已收納結構的速率；
第二項表示判定域自身擴張造成的稀釋效應。
因此：
理論進步 ≠ 分數必然上升 . \boxed{
\text{理論進步}
\neq
\text{分數必然上升}.
} 理論進步 = 分數必然上升 . 6.2 擴張懲罰命題
命題 1（擴張懲罰）
假設從 t t t t + 1 t+1 t + 1 c ˉ n e w \bar c_{\mathrm{new}} c ˉ new
c ˉ n e w < C t , \bar c_{\mathrm{new}}
<
\mathcal C_t, c ˉ new < C t , 則：
C t + 1 < C t . \mathcal C_{t+1}
<
\mathcal C_t. C t + 1 < C t . 證明。
令舊域質量為 M t M_t M t Δ M > 0 \Delta M>0 Δ M > 0
C t + 1 = M t C t + Δ M c ˉ n e w M t + Δ M . \mathcal C_{t+1}
=
\frac{
M_t\mathcal C_t
+
\Delta M\bar c_{\mathrm{new}}
}{
M_t+\Delta M
}. C t + 1 = M t + Δ M M t C t + Δ M c ˉ new . 由：
c ˉ n e w < C t \bar c_{\mathrm{new}}<\mathcal C_t c ˉ new < C t 可得：
M t C t + Δ M c ˉ n e w < ( M t + Δ M ) C t . M_t\mathcal C_t+\Delta M\bar c_{\mathrm{new}}
<
(M_t+\Delta M)\mathcal C_t. M t C t + Δ M c ˉ new < ( M t + Δ M ) C t . 故：
C t + 1 < C t . \mathcal C_{t+1}<\mathcal C_t. C t + 1 < C t . 證畢。
這個結果具有重要解釋：分數下降不必表示舊理論突然退化，而可能表示我們第一次發現了它以前沒有被要求處理的世界。
7. 恢復條件與認識論速度
7.1 動態恢復條件
由：
d C t d t = 1 M t d A t d t − C t M t d M t d t \frac{d\mathcal C_t}{dt}
=
\frac{1}{M_t}
\frac{dA_t}{dt}
-
\frac{\mathcal C_t}{M_t}
\frac{dM_t}{dt} d t d C t = M t 1 d t d A t − M t C t d t d M t 可知：
d C t d t > 0 \frac{d\mathcal C_t}{dt}>0 d t d C t > 0 當且僅當：
d A t d t > C t d M t d t \boxed{
\frac{dA_t}{dt}
>
\mathcal C_t
\frac{dM_t}{dt}
} d t d A t > C t d t d M t 在這個近似模型中，理論吸收新結構的速率必須超過判定域增長所要求的門檻。
因此可以定義：
V T ( t ) = d A t d t \boxed{
V_{\mathcal T}(t)
=
\frac{dA_t}{dt}
} V T ( t ) = d t d A t 為理論收納速度，
以及：
V D ( t ) = d M t d t \boxed{
V_{\mathfrak D}(t)
=
\frac{dM_t}{dt}
} V D ( t ) = d t d M t 為判定域擴張速度。
進一步定義相對適應率：
Γ t ( T ) = V T ( t ) C t V D ( t ) + ϵ \boxed{
\Gamma_t(\mathcal T)
=
\frac{V_{\mathcal T}(t)}
{\mathcal C_t V_{\mathfrak D}(t)+\epsilon}
} Γ t ( T ) = C t V D ( t ) + ϵ V T ( t ) 其中 ϵ > 0 \epsilon>0 ϵ > 0
若：
Γ t > 1 , \Gamma_t>1, Γ t > 1 , 理論在當前尺度上追得上判定域擴張；
若：
Γ t < 1 , \Gamma_t<1, Γ t < 1 , 則未收納殘差傾向增加。
這提供一種不同於靜態 truthlikeness 的動態指標：我們不只問「現在多接近」，還問「追趕速度是否大於新問題生成速度」。
8. 新主體不是普通的新資料點
8.1 主體生成新的判定結構
設新主體 S S S
傳統資料擴張可能只是：
X t + 1 = X t ∪ { x n e w } . X_{t+1}
=
X_t
\cup
\{x_{\mathrm{new}}\}. X t + 1 = X t ∪ { x new } . 但一個新主體可能攜帶自己的：
W S , O S , B S , Q S , \mathcal W_S,
\qquad
\mathcal O_S,
\qquad
\mathcal B_S,
\qquad
\mathcal Q_S, W S , O S , B S , Q S , 分別表示其世界截面、觀察算子、信念結構與可區分問題族。
因此更適合寫成：
D t + 1 = Cl ( D t ∪ Δ D S ) . \boxed{
\mathfrak D_{t+1}
=
\operatorname{Cl}
\left(
\mathfrak D_t
\cup
\Delta\mathfrak D_S
\right).
} D t + 1 = Cl ( D t ∪ Δ D S ) . 其中：
Δ D S \Delta\mathfrak D_S Δ D S 可能包含理論原先沒有型別可以表示的新差異。
8.2 信念不是真理反例
如果：
B S ( ¬ T ) B_S(\neg\mathcal T) B S ( ¬ T ) 表示主體 S S S T \mathcal T T
¬ T . \neg\mathcal T. ¬ T . 因此本文拒絕：
B S ( ¬ T ) ⇒ ¬ T . B_S(\neg\mathcal T)
\Rightarrow
\neg\mathcal T. B S ( ¬ T ) ⇒ ¬ T . 真正影響收納度的是更強的條件：
若存在 S S S q 1 ≠ S q 2 q_1\neq_S q_2 q 1 = S q 2 T \mathcal T T
f T ( q 1 ) = f T ( q 2 ) , f_{\mathcal T}(q_1)
=
f_{\mathcal T}(q_2), f T ( q 1 ) = f T ( q 2 ) , 則 T \mathcal T T
因此主體性問題被轉換為：
是否存在無法被理論忠實嵌入的第一人稱不變量？ \boxed{
\text{是否存在無法被理論忠實嵌入的第一人稱不變量？}
} 是否存在無法被理論忠實嵌入的第一人稱不變量？ 這一問題將在本系列 Paper 04 專門處理。
9. 動態不動點
9.1 靜態理論不動點
給定固定判定域 D \mathfrak D D
U ( T , D ) . U(\mathcal T,\mathfrak D). U ( T , D ) . 若：
U ( T ⋆ , D ) = T ⋆ , U(\mathcal T^\star,\mathfrak D)
=
\mathcal T^\star, U ( T ⋆ , D ) = T ⋆ , 則 T ⋆ \mathcal T^\star T ⋆
它可能僅表示：
在目前問題集合中，沒有新內容迫使理論修改。
9.2 動態不動點
令擴張後更新算子為：
F ( T , D , Δ D ) . \mathfrak F
\left(
\mathcal T,
\mathfrak D,
\Delta\mathfrak D
\right). F ( T , D , Δ D ) . 本文定義理想化的強動態不動點 T † \mathcal T^\dagger T †
對所有容許：
Δ D ∈ A , \Delta\mathfrak D\in\mathfrak A, Δ D ∈ A , 均有：
F ( T † , D , Δ D ) ≃ T † , \mathfrak F
\left(
\mathcal T^\dagger,
\mathfrak D,
\Delta\mathfrak D
\right)
\simeq
\mathcal T^\dagger, F ( T † , D , Δ D ) ≃ T † , 其中 ≃ \simeq ≃
因此：
Dynamic Fixed Point = structural invariance under admissible domain expansion . \boxed{
\text{Dynamic Fixed Point}
=
\text{structural invariance under admissible domain expansion}.
} Dynamic Fixed Point = structural invariance under admissible domain expansion . 若此條件對所有容許未來擴張均成立，則它與本文的絕對全域收納極限發生直接聯繫。
10. 有限近滿分不推出絕對性
10.1 反絕對推論命題
命題 2（有限近滿分不推出絕對性）
在開放判定域公設 A1 下，對任意有限 t t t
C t ( T ) ≥ 1 − ε \mathcal C_t(\mathcal T)
\ge
1-\varepsilon C t ( T ) ≥ 1 − ε 且 ε \varepsilon ε T \mathcal T T
證明框架。
AGC 的定義量化於所有容許未來擴張：
∀ D ′ ∈ Ext ( D t ) . \forall
\mathfrak D'
\in
\operatorname{Ext}(\mathfrak D_t). ∀ D ′ ∈ Ext ( D t ) . 但有限時刻 t t t
Δ D ⋆ \Delta\mathfrak D^\star Δ D ⋆ 使理論在新結構上的收納度低於 1 1 1
因此：
C t → 1 \mathcal C_t\rightarrow1 C t → 1 只能作為有限歷史上的逼近證據，不能邏輯推出：
AGC . \operatorname{AGC}. AGC . 證畢。
10.2 重要限制
此命題不是說：
AGC \operatorname{AGC} AGC 永遠不可證。
若未來存在一套形式系統能完整刻畫所有「容許擴張」的生成類，並可在該類上完成全稱證明，則 AGC 可能在特定形式宇宙內被證明。
本文只拒絕以下非法推論：
有限經驗近滿分 ⇒ 無條件絕對真理 . \boxed{
\text{有限經驗近滿分}
\Rightarrow
\text{無條件絕對真理}.
} 有限經驗近滿分 ⇒ 無條件絕對真理 . 11. 標量不可充分排序命題
命題 3（單標量不足以給出普遍理論排序）
若存在兩個理論 T 1 , T 2 \mathcal T_1,\mathcal T_2 T 1 , T 2
C t ( T 1 ) ≠ C t ( T 2 ) , \mathbf C_t(\mathcal T_1)
\neq
\mathbf C_t(\mathcal T_2), C t ( T 1 ) = C t ( T 2 ) , 但對某組權重 w \mathbf w w
w ⋅ C t ( T 1 ) = w ⋅ C t ( T 2 ) , \mathbf w\cdot\mathbf C_t(\mathcal T_1)
=
\mathbf w\cdot\mathbf C_t(\mathcal T_2), w ⋅ C t ( T 1 ) = w ⋅ C t ( T 2 ) , 則該標量聚合不能唯一恢復兩理論的收納結構。
證明。
點積：
Φ w : [ 0 , 1 ] 6 → [ 0 , 1 ] \Phi_{\mathbf w}:
[0,1]^6
\rightarrow
[0,1] Φ w : [ 0 , 1 ] 6 → [ 0 , 1 ] 在一般情況下不是單射。故不同向量可映射到同一標量。
因此：
Φ w ( C 1 ) = Φ w ( C 2 ) \Phi_{\mathbf w}(\mathbf C_1)
=
\Phi_{\mathbf w}(\mathbf C_2) Φ w ( C 1 ) = Φ w ( C 2 ) 不能推出：
C 1 = C 2 . \mathbf C_1=\mathbf C_2. C 1 = C 2 . 證畢。
推論：任何「總真理分數」若不保留其分量與權重來源，都可能掩蓋結構上完全不同的理論風險。
12. 與 truthlikeness、信念修正與科學表示的關係
12.1 與 truthlikeness 的差異
truthlikeness 研究的重要問題是：兩個都不完全真的理論，是否仍可說其中一個更接近真實。[1-4,14]
DGC 不取代這一問題。
DGC 增加的是：
target itself may be expanding . \boxed{
\text{target itself may be expanding}.
} target itself may be expanding . 以及：
new target types may be generated by new observers and new representations . \boxed{
\text{new target types may be generated by new observers and new representations}.
} new target types may be generated by new observers and new representations . 因此即使真似度函數在固定目標空間中表現良好，DGC 仍要問：
當目標空間本身增加新型別時，原本的距離與座標是否仍成立？
12.2 與信念修正的差異
AGM 傳統與後續動態知識論研究主要處理：[5-7,15-16]
K → K ∗ ϕ , K
\rightarrow
K\ast\phi, K → K ∗ ϕ , 即認知主體在新命題到來後如何修正信念集合。
DGC 則允許更強的情況：
不只是新命題加入，連可用語言、型別、觀察者與判定標準都可能改變。 \boxed{
\text{不只是新命題加入，連可用語言、型別、觀察者與判定標準都可能改變。}
} 不只是新命題加入，連可用語言、型別、觀察者與判定標準都可能改變。 因此有時不是：
ϕ ∉ K , \phi\notin K, ϕ ∈ / K , 而是：
Type ( ϕ ) ∉ Types ( K ) . \operatorname{Type}(\phi)
\notin
\operatorname{Types}(K). Type ( ϕ ) ∈ / Types ( K ) . 這是普通信念追加與「判定域擴張」之間的根本區別。
12.3 與科學表示的差異
科學模型可以成功表示目標，而不必因此被視為與目標本體同一。近年的科學表示研究仍持續強調表示關係、模型建構、目標選擇與模型人工構造性之間的差異。[8-10]
DGC 採取相同警戒：
Representational Success ⇏ Ontological Identity . \boxed{
\text{Representational Success}
\not\Rightarrow
\text{Ontological Identity}.
} Representational Success ⇒ Ontological Identity . 因此一個理論即使預測極準，也不能只憑預測成功獲得：
c S = c P = c R = 1. c^S=c^P=c^R=1. c S = c P = c R = 1. 13. 最小實作協議
DGC 若要離開純哲學語言，至少需要一套可重現的評估程序。
13.1 判定域登錄
每個判定項記錄：
x i = ( id , type , source , time , dependencies , invariants ) . x_i
=
(
\operatorname{id},
\operatorname{type},
\operatorname{source},
\operatorname{time},
\operatorname{dependencies},
\operatorname{invariants}
). x i = ( id , type , source , time , dependencies , invariants ) . 不得只保存最終分數。
13.2 分量評估
對每個 x i x_i x i
c t ( T ; x i ) . \mathbf c_t(\mathcal T;x_i). c t ( T ; x i ) . 若某分量不可測，不應任意填入 0 0 0 1 1 1
NA \operatorname{NA} NA 並另計可觀測覆蓋率。
13.3 權重透明
所有：
w t \mathbf w_t w t 必須顯式保存。
若不同研究者採用不同權重，應輸出不同標量，而不是假裝存在唯一自然總分。
13.4 對抗式擴張
定期生成：
新反例；
新尺度；
新主體；
新語言；
新測量方式；
新型別；
與既有公理不相容但仍需被判定的候補結構。
其目的不是故意讓理論失敗，而是估計：
c X c^X c X 與：
Γ t . \Gamma_t. Γ t . 13.5 版本化
理論必須寫成：
T 0 , T 1 , … , T t , \mathcal T_0,
\mathcal T_1,
\ldots,
\mathcal T_t, T 0 , T 1 , … , T t , 而不是把所有後續修正覆寫成「理論從一開始就這麼說」。
否則：
d A t d t \frac{dA_t}{dt} d t d A t 與：
d C t d t \frac{d\mathcal C_t}{dt} d t d C t 失去可追蹤性。
14. 可證偽性與失敗條件
本文不是經驗物理理論，因此其「可證偽性」主要指形式框架與方法論是否失去區分能力。
至少存在以下失敗方式。
14.1 分量不可區分
若任何合理情境下：
c O , c L , c S , c P , c R , c X c^O,c^L,c^S,c^P,c^R,c^X c O , c L , c S , c P , c R , c X 都無法被定義成彼此具有獨立資訊的量，則六維分解失去必要性，應被降維或重構。
14.2 收納概念退化為任意描述
若任何理論只要能生成一句關於 x x x
c ( T ; x ) = 1 , c(\mathcal T;x)=1, c ( T ; x ) = 1 , 則「忠實收納」退化成語言可指稱性，本框架失敗。
14.3 權重任意性完全支配結果
若：
w \mathbf w w 的微小任意改變可讓理論排序任意翻轉，且不存在任何任務依賴或風險依賴的正當化方式，則標量 C t \mathcal C_t C t
14.4 擴張類不可定義
若「容許擴張」完全沒有邊界，以至任何語句都可任意加入：
A t , \mathfrak A_t, A t , 則 AGC 變成不可分析的語義黑洞。
因此後續形式化必須明確規定：
Admissible ( Δ D ) . \operatorname{Admissible}
\left(
\Delta\mathfrak D
\right). Admissible ( Δ D ) . 14.5 無法區分進步與域擴張
若資料制度沒有版本、來源與判定域大小記錄，就不能判斷：
Δ C < 0 \Delta\mathcal C<0 Δ C < 0 究竟來自理論退化還是世界被看得更多。
因此 provenance 是 DGC 的必要部分，而非附加文件。
15. 與後續系列的接口
本文只建立元認識論標尺，不在此處定義元息總域本身。
後續論文依次處理：
元息作為前實體、前符號、前表徵信息結構；
世界作為元息總域的投影或實現；
第一人稱主體是否存在不可完全收納的不變量；
向量、張量、幾何與範疇等表示之間的座標不變性；
萬有元息等價猜想；
從元息到物理定律的廣義重建綱領；
元息本體論的反例、不可證明邊界與失敗條件。
因此 Paper 01 不預設：
Everything is Information . \text{Everything is Information}. Everything is Information . 它只建立一個更一般的判準：
即使某個未來理論能由單一底層結構推出所有已知物理，也必須再區分「目前推導完備」、「在新域擴張下穩健」與「已證明絕對全域收納」。
16. 核心命題總結
本文的核心結構可壓縮為：
D t ⟶ C t ( T ) ⟶ R t ( T ) \boxed{
\mathfrak D_t
\longrightarrow
\mathbf C_t(\mathcal T)
\longrightarrow
\mathbf R_t(\mathcal T)
} D t ⟶ C t ( T ) ⟶ R t ( T ) 並允許：
D t ⊆ D t + 1 . \mathfrak D_t
\subseteq
\mathfrak D_{t+1}. D t ⊆ D t + 1 . 理論進步與判定域擴張共同決定：
d C t d t . \frac{d\mathcal C_t}{dt}. d t d C t . 其中：
d C t d t = 1 M t d A t d t − C t M t d M t d t \boxed{
\frac{d\mathcal C_t}{dt}
=
\frac{1}{M_t}
\frac{dA_t}{dt}
-
\frac{\mathcal C_t}{M_t}
\frac{dM_t}{dt}
} d t d C t = M t 1 d t d A t − M t C t d t d M t 描述最基本的動態競爭。
絕對全域收納則要求：
∀ D ′ ∈ Ext ( D t ) , C ( T ⋆ ; D ′ ) = 1 \boxed{
\forall
\mathfrak D'
\in
\operatorname{Ext}(\mathfrak D_t),
\qquad
\mathbf C(\mathcal T^\star;\mathfrak D')
=
\mathbf 1
} ∀ D ′ ∈ Ext ( D t ) , C ( T ⋆ ; D ′ ) = 1 並保持所有既有本體必要不變量。
因此：
C t ≈ 1 ⇏ AGC . \boxed{
\mathcal C_t\approx1
\not\Rightarrow
\operatorname{AGC}.
} C t ≈ 1 ⇒ AGC . 以及：
Current completeness ⇏ absolute completeness . \boxed{
\text{Current completeness}
\not\Rightarrow
\text{absolute completeness}.
} Current completeness ⇒ absolute completeness . 結論
「絕對真理」若被當成普通科學理論可以直接宣稱的標籤，幾乎必然造成過度本體化：一個理論可能在現有資料上成功、在現有語言中自洽、甚至在現有物理中具有高度統一能力，但這些性質仍然沒有自動回答它能否處理尚未出現的觀察者、新尺度、新型別與新的可區分結構。
本文因此把絕對真理從「現在就能宣布的狀態」改寫成「所有容許擴張下仍維持忠實收納的極限條件」。真正可操作的研究對象不再是二值的「絕對／不絕對」，而是：
C t ( T ) , R t ( T ) , d C t d t , Γ t ( T ) . \mathbf C_t(\mathcal T),
\qquad
\mathbf R_t(\mathcal T),
\qquad
\frac{d\mathbf C_t}{dt},
\qquad
\Gamma_t(\mathcal T). C t ( T ) , R t ( T ) , d t d C t , Γ t ( T ) . 這使理論可以同時具有三種看似矛盾但實際可共存的性質：
它在當下非常成功；
它仍然不是絕對真理；
它可以在持續擴張的世界中不斷增加收納能力。
因此本文的基本立場不是懷疑一切，也不是宣稱真理不可接近，而是：
逼近可以被研究， 收納可以被量化， 絕對性必須接受比成功更強的條件。 \boxed{
\text{逼近可以被研究，}
\quad
\text{收納可以被量化，}
\quad
\text{絕對性必須接受比成功更強的條件。}
} 逼近可以被研究， 收納可以被量化， 絕對性必須接受比成功更強的條件。 這個區分將作為後續「元息總域」與「萬有元息等價猜想」的第一層防護：任何底層統一理論即使能高度重建世界，也不得因局部成功直接跳躍到「世界本體只能如此」或「已取得絕對真理」的結論。
參考文獻
[1] Popper, K. R. (1972). Objective Knowledge: An Evolutionary Approach . Oxford University Press.
[2] Tichý, P. (1974). On Popper's Definitions of Verisimilitude. The British Journal for the Philosophy of Science , 25, 155-160.
[3] Miller, D. (1974). Popper's Qualitative Theory of Verisimilitude. The British Journal for the Philosophy of Science , 25, 166-177.
[4] Vignero, L., & Wenmackers, S. (2021). Degrees of riskiness, falsifiability, and truthlikeness: A neo-Popperian account applicable to probabilistic theories. Synthese .
[5] Alchourrón, C. E., Gärdenfors, P., & Makinson, D. (1985). On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. The Journal of Symbolic Logic , 50(2), 510-530.
[6] van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic Epistemic Logic . Springer.
[7] Camargo, F. N. de S. (2026). Study on Quantitative Dynamic Epistemic Logic for Belief Revision. arXiv:2606.20837.
[8] Combemale, B., Gray, J., Jézéquel, J.-M., & Rumpe, B. (2024). How does your model represent the system? A note on model fidelity, underspecification, and uncertainty. Software and Systems Modeling , 23, 1053-1054. https://doi.org/10.1007/s10270-024-01210-z
[9] Spagnesi, L. (2025). Truth, understanding, and normativity in scientific models. Synthese , 206, Article 27. https://doi.org/10.1007/s11229-025-05110-7
[10] Sartori, L. (2026). Representation and artefactualism: towards a synergic understanding of scientific modelling. Synthese , 207, Article 112. https://doi.org/10.1007/s11229-026-05490-4
[11] Neo.K. (2026). 三宇宙本體論：意圖、靈魂、物質的統一框架與意識的自指深度理論 . EveMissLab internal theoretical series.
[12] Neo.K. (2026). ERFI 運作束的本體論降階與數學保留：如何保留編織論 8.0，而不把形式模型誤當宇宙最終實在 . EveMissLab.
[13] Neo.K. (2026). 信息糊重構論：從開放式知識織態、解析度飽和到無限理論宇宙的數學模型 . EveMissLab.
[14] Goldman, D. (2025). Truthlikeness and progress in naturalistic metaphysics. Synthese , 206, Article 212. https://doi.org/10.1007/s11229-025-05270-6
[15] Goodman, J., & Salow, B. (2025). Belief Revision Normalized. Journal of Philosophical Logic , 54, 1-49. https://doi.org/10.1007/s10992-024-09769-0
[16] Bolander, T., & Grosinger, H. J. (2026). Epistemic Proactivity via Reasoning about Beliefs and Expectations Using Plausibility Models. Journal of Logic, Language and Information . https://doi.org/10.1007/s10849-026-09478-8
版本聲明
本版本為 v0.1。本文中的六維收納向量、容許擴張類、忠實性不變量與聚合函數仍屬待形式化對象。後續版本應優先完成：
Admissible ( Δ D ) \operatorname{Admissible}(\Delta\mathfrak D) Admissible ( Δ D ) 忠實收納不變量 I x I_x I x
向量偏序與 Pareto 比較規則；
權重敏感度分析；
離散時間與連續時間版本的等價條件；
主體生成新判定域時的 closure operator；
與 Paper 02 元息總域之間的正式接口。