# 絕對真理作為動態全域收納極限
## 開放判定域中的理論收納度、未收納殘差與動態不動點

**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$ 的可判定結構域為 $\mathfrak D_t$，候選理論為 $\mathcal T_t$。本文以局部收納向量衡量理論對一個判定項目的表示、定律、主體、觀點、自指與擴張穩健性，並以測度 $\mu_t$ 對當下判定域進行聚合，得到全域收納向量 $\mathbf C_t(\mathcal T)$。必要時可由聚合函數 $\Phi_t$ 得到次級標量 $\mathcal C_t(\mathcal T)\in[0,1]$，但本文強調標量不是本體，且不能取代原始多維結構。

本文進一步定義未收納殘差 $\mathcal R_t=1-\mathcal C_t$ 、判定域擴張 $\mathfrak D_t\subseteq\mathfrak D_{t+1}$ 、動態收納速率，以及「擴張懲罰」：一個理論即使沒有失去任何既有能力，也可能因新現象、新主體、新語言、新尺度或新的可區分結構被加入判定域而降低全域收納度。這使科學進步不再等同於單調增加的真理分數，而被表示為「理論吸收新結構的速率」與「判定域生成新結構的速率」之間的競賽。

最後，本文將絕對真理定義為強全域收納的理想極限：一個理論若能在所有容許的未來擴張下保持忠實收納、不消去任何本體必要差異，且不因新增觀察者或新判定方式而失效，才可稱為達到絕對全域收納。由於有限歷史通常不足以驗證對所有未來容許擴張的不變性，本文提出「有限近滿分不推出絕對性」命題。本文的目的不是證明絕對真理不存在，而是建立一套能區分「目前高度成功」、「持續逼近」、「在擴張下穩健」與「真正絕對」的形式語言，作為後續元息總域、世界投影、主體不可完全收納與萬有元息等價猜想的元認識論地基。

**關鍵詞：** 絕對真理、動態全域收納、開放判定域、真似度、信念修正、動態知識論、未收納殘差、主體性、動態不動點、理論擴張、元息

---

# 0. 研究定位：本文測量的不是「命題有幾分真」

形式知識論與科學哲學長期存在一個困難：科學理論經常不是「完全真」或「完全假」即可充分描述。真似度（truthlikeness / verisimilitude）研究試圖描述理論與真實之間的接近程度；信念修正理論則研究新資訊加入後，認知狀態如何合理更新；動態知識論進一步把知識與信念的變化表示成模型變換。[1-7]

本文接受這些問題的重要性，但研究對象不同。

本文不定義：

$$
v(p)\in[0,1]
$$

來取代命題 $p$ 的真值，也不宣稱：

$$
\operatorname{Truth}(p)=0.83.
$$

本文研究的是另一個量：

> 在一個持續變動且可能擴張的判定域中，某理論目前能忠實表示、解釋、推導、保持與吸收多少結構？

因此本文首先區分：

$$
\boxed{
\operatorname{TruthValue}(p)
\neq
\operatorname{Truthlikeness}(\mathcal T)
\neq
\operatorname{Containment}(\mathcal T,\mathfrak D_t)
}
$$

其中：

- $\operatorname{TruthValue}(p)$ 處理命題是否成立；
- $\operatorname{Truthlikeness}(\mathcal T)$ 處理理論離目標真實結構多近；
- $\operatorname{Containment}(\mathcal T,\mathfrak D_t)$ 處理理論在當下判定域中能忠實收納多少類型的結構。

「收納」因此不是「我可以寫一句話描述它」。

若理論 $\mathcal T$ 能記錄：

> 主體 $S$ 不相信 $\mathcal T$。

這最多代表 $\mathcal T$ 能表示一個關於 $S$ 的命題。它不自動代表 $\mathcal T$ 已忠實保存 $S$ 的第一人稱判定結構、可區分性、經驗索引或生成規則。

故本文採用：

$$
\boxed{
\text{Representation}
\not\Rightarrow
\text{Faithful Containment}
}
$$

作為第一個方法論限制。

---

# 1. 開放判定域

## 1.1 判定域

令時間 $t$ 的判定域為：

$$
\boxed{
\mathfrak D_t
=
\left(
X_t,
\Lambda_t,
\Xi_t,
\mu_t
\right)
}
$$

其中：

- $X_t$：當下被納入判定的對象、現象、命題、模型、觀察者、反例與可能結構；
- $\Lambda_t$：判定項目的型別系統；
- $\Xi_t$：允許的比較、推導、觀察與忠實性判準；
- $\mu_t$：定義於判定域上的權重或測度，用來避免把所有項目機械地視為等重。

 $X_t$ 不要求只有物理資料。它可以包含：

$$
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}}.
$$

分別表示經驗資料、定律結構、主體結構、元理論條件、反例與新生成判定項。

這一設計的目的，是避免將「理論成功」壓縮成單一的預測準確率。

## 1.2 開放域公設

本文不把「宇宙永遠會產生新事物」當成已證定理，而採取較弱的研究公設：

**公設 A1（開放判定域公設）**

對任意有限時刻 $t$，不預設 $\mathfrak D_t$ 已窮盡一切容許判定項；存在一個容許擴張類 $\mathfrak A_t$，其中可能存在非空擴張：

$$
\Delta\mathfrak D_t\in\mathfrak A_t,
\qquad
\Delta\mathfrak D_t\neq\varnothing.
$$

因此：

$$
\mathfrak D_{t+1}
=
\operatorname{Cl}
\left(
\mathfrak D_t
\cup
\Delta\mathfrak D_t
\right),
$$

其中 $\operatorname{Cl}$ 表示依當下型別與關係規則所做的閉包操作。

這是一個方法論上的「不封閉預設」，而不是形而上學上「實無限必然存在」的宣告。

---

# 2. 局部收納與多維收納向量

## 2.1 局部收納函數

對任意判定項 $x\in X_t$，定義理論 $\mathcal T$ 對 $x$ 的局部收納向量：

$$
\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^{O}
=
\text{object / phenomenon containment},
$$

表示理論對對象或現象的表示與經驗對應能力；

$$
c_t^{L}
=
\text{law / causal containment},
$$

表示理論是否保留定律、因果、約束或生成關係；

$$
c_t^{S}
=
\text{subject containment},
$$

表示理論是否能容納主體、代理者、觀察者或自生成判定者；

$$
c_t^{P}
=
\text{perspective fidelity},
$$

表示理論在轉譯不同觀點時是否保留該觀點內部不可刪除的區別；

$$
c_t^{R}
=
\text{reflexive containment},
$$

表示理論能否處理關於自身、其語言、其限制與其使用者的元描述；

$$
c_t^{X}
=
\text{extension robustness},
$$

表示理論面對新尺度、新資料、新主體或新型別時維持結構的能力。

這六項不是宣稱唯一正確的分解。其功能是建立一個最低限度的「型別分離」原則：

$$
\boxed{
\text{不同種類的成功，不應在形式化之前被壓成同一數字。}
}
$$

## 2.2 忠實收納

令 $I_x$ 為判定項 $x$ 的本體必要不變量集合。若理論中的表示映射為：

$$
f_{\mathcal T}:x\mapsto\widehat{x}_{\mathcal T},
$$

則定義完全忠實收納需要至少滿足：

$$
\forall I\in I_x,
\qquad
I(x)=I(\widehat{x}_{\mathcal T}).
$$

若存在某個本體必要不變量 $I^\star$ 使：

$$
I^\star(x)
\neq
I^\star(\widehat{x}_{\mathcal T}),
$$

則：

$$
\operatorname{FaithfulContain}_{\mathcal T}(x)<1.
$$

因此，「能表示」與「無損收納」被嚴格分離。

---

# 3. 全域收納向量與次級標量

## 3.1 向量聚合

在測度 $\mu_t$ 下，定義時間 $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)
}
}
$$

其中：

$$
\mathbf C_t(\mathcal T)\in[0,1]^6.
$$

這個向量是本文的主要量。

## 3.2 次級標量

若研究情境確實需要排序，可引入權重向量：

$$
\mathbf w_t
=
(w_t^O,w_t^L,w_t^S,w_t^P,w_t^R,w_t^X),
$$

滿足：

$$
w_t^i\ge 0,
\qquad
\sum_i w_t^i=1.
$$

定義：

$$
\boxed{
\mathcal C_t(\mathcal T)
=
\Phi_t
\left(
\mathbf C_t(\mathcal T),
\mathbf w_t
\right)
}
$$

最簡單情況是：

$$
\mathcal C_t(\mathcal T)
=
\mathbf w_t\cdot\mathbf C_t(\mathcal T).
$$

但本文強調：

$$
\boxed{
\mathbf C_t
\text{ 是主要對象；}
\mathcal C_t
\text{ 是依研究目的產生的次級投影。}
}
$$

不同文明、學科、任務與風險情境可能使用不同 $\mathbf w_t$。因此標量不是「宇宙親自給出的真理分數」。

---

# 4. 絕對真理作為極限參照點

## 4.1 當下完全收納與絕對全域收納不是同一件事

若：

$$
\mathcal C_t(\mathcal T)=1,
$$

最多表示在當下的：

$$
\mathfrak D_t,
\quad
\Xi_t,
\quad
\mu_t,
\quad
\mathbf w_t
$$

之下，理論達到滿分。

這不能推出：

$$
\mathcal T
=
\text{Absolute Truth}.
$$

因為未來可能出現：

$$
\Delta\mathfrak D_t
\neq
\varnothing.
$$

因此本文定義更強的概念。

## 4.2 強全域收納

令：

$$
\operatorname{Ext}(\mathfrak D_t)
$$

為從 $\mathfrak D_t$ 出發的所有容許擴張序列。

稱理論 $\mathcal T^\star$ 具有**強全域收納**，若對任意：

$$
\mathfrak D'
\in
\operatorname{Ext}(\mathfrak D_t),
$$

都存在一個不破壞既有忠實結構的理論延拓 $\mathcal T^{\star\prime}$，使：

$$
\mathbf C(\mathcal T^{\star\prime};\mathfrak D')
=
\mathbf 1,
$$

且對所有舊判定項 $x\in\mathfrak D_t$：

$$
I_x(\mathcal T^{\star\prime})
=
I_x(\mathcal T^\star).
$$

也就是：新世界不能靠犧牲舊世界的真值結構來「補考及格」。

## 4.3 絕對全域收納極限

本文將「絕對真理」在本系列中的技術用語定義為：

$$
\boxed{
\mathfrak A
:=
\operatorname{AGC}
=
\text{Strong Global Containment under every admissible extension}
}
$$

因此：

$$
\boxed{
\mathcal C=1
}
$$

只是局部標尺端點；

而：

$$
\boxed{
\operatorname{AGC}
}
$$

才是極強的元層條件。

此定義的目的不是預設存在某個 $\mathcal T^\star$ 滿足它，而是提供可比較的極限參照。

---

# 5. 未收納殘差

定義標量未收納殘差：

$$
\boxed{
\mathcal R_t(\mathcal T)
=
1-\mathcal C_t(\mathcal T)
}
$$

以及向量殘差：

$$
\boxed{
\mathbf R_t(\mathcal T)
=
\mathbf 1-\mathbf C_t(\mathcal T).
}
$$

 $\mathbf R_t$ 比單一的「錯誤率」更有資訊。

例如：

$$
\mathbf R_t
=
(0.02,0.03,0.35,0.52,0.41,0.20)
$$

表示某理論在現象與定律層相當成熟，但在主體、觀點與自指層仍有大量未收納結構。

因此兩個理論即使：

$$
\mathcal C_t(\mathcal T_1)
=
\mathcal C_t(\mathcal T_2),
$$

也可能：

$$
\mathbf C_t(\mathcal T_1)
\neq
\mathbf C_t(\mathcal T_2).
$$

這種差異不應被標量掩蓋。

---

# 6. 動態收納與擴張懲罰

## 6.1 收納質量

令：

$$
M_t
=
\mu_t(X_t)
$$

為時間 $t$ 的判定域總質量。

令：

$$
A_t(\mathcal T)
=
\int_{X_t}
c_t(\mathcal T;x)
\,d\mu_t(x)
$$

為某一指定標量收納函數下的已收納質量。

則：

$$
\boxed{
\mathcal C_t
=
\frac{A_t}{M_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}
}
$$

第一項表示理論增加已收納結構的速率；

第二項表示判定域自身擴張造成的稀釋效應。

因此：

$$
\boxed{
\text{理論進步}
\neq
\text{分數必然上升}.
}
$$

## 6.2 擴張懲罰命題

**命題 1（擴張懲罰）**

假設從 $t$ 到 $t+1$，理論對所有舊判定項的收納能力保持不變；新增判定域的平均收納度為 $\bar c_{\mathrm{new}}$。若：

$$
\bar c_{\mathrm{new}}
<
\mathcal C_t,
$$

則：

$$
\mathcal C_{t+1}
<
\mathcal C_t.
$$

**證明。**

令舊域質量為 $M_t$，新增質量為 $\Delta M>0$。則：

$$
\mathcal C_{t+1}
=
\frac{
M_t\mathcal C_t
+
\Delta M\bar c_{\mathrm{new}}
}{
M_t+\Delta M
}.
$$

由：

$$
\bar c_{\mathrm{new}}<\mathcal C_t
$$

可得：

$$
M_t\mathcal C_t+\Delta M\bar c_{\mathrm{new}}
<
(M_t+\Delta M)\mathcal C_t.
$$

故：

$$
\mathcal C_{t+1}<\mathcal C_t.
$$

證畢。

這個結果具有重要解釋：分數下降不必表示舊理論突然退化，而可能表示我們第一次發現了它以前沒有被要求處理的世界。

---

# 7. 恢復條件與認識論速度

## 7.1 動態恢復條件

由：

$$
\frac{d\mathcal C_t}{dt}
=
\frac{1}{M_t}
\frac{dA_t}{dt}
-
\frac{\mathcal C_t}{M_t}
\frac{dM_t}{dt}
$$

可知：

$$
\frac{d\mathcal C_t}{dt}>0
$$

當且僅當：

$$
\boxed{
\frac{dA_t}{dt}
>
\mathcal C_t
\frac{dM_t}{dt}
}
$$

在這個近似模型中，理論吸收新結構的速率必須超過判定域增長所要求的門檻。

因此可以定義：

$$
\boxed{
V_{\mathcal T}(t)
=
\frac{dA_t}{dt}
}
$$

為理論收納速度，

以及：

$$
\boxed{
V_{\mathfrak D}(t)
=
\frac{dM_t}{dt}
}
$$

為判定域擴張速度。

進一步定義相對適應率：

$$
\boxed{
\Gamma_t(\mathcal T)
=
\frac{V_{\mathcal T}(t)}
{\mathcal C_t V_{\mathfrak D}(t)+\epsilon}
}
$$

其中 $\epsilon>0$ 用於處理分母退化情形。

若：

$$
\Gamma_t>1,
$$

理論在當前尺度上追得上判定域擴張；

若：

$$
\Gamma_t<1,
$$

則未收納殘差傾向增加。

這提供一種不同於靜態 truthlikeness 的動態指標：我們不只問「現在多接近」，還問「追趕速度是否大於新問題生成速度」。

---

# 8. 新主體不是普通的新資料點

## 8.1 主體生成新的判定結構

設新主體 $S$ 進入系統。

傳統資料擴張可能只是：

$$
X_{t+1}
=
X_t
\cup
\{x_{\mathrm{new}}\}.
$$

但一個新主體可能攜帶自己的：

$$
\mathcal W_S,
\qquad
\mathcal O_S,
\qquad
\mathcal B_S,
\qquad
\mathcal Q_S,
$$

分別表示其世界截面、觀察算子、信念結構與可區分問題族。

因此更適合寫成：

$$
\boxed{
\mathfrak D_{t+1}
=
\operatorname{Cl}
\left(
\mathfrak D_t
\cup
\Delta\mathfrak D_S
\right).
}
$$

其中：

$$
\Delta\mathfrak D_S
$$

可能包含理論原先沒有型別可以表示的新差異。

## 8.2 信念不是真理反例

如果：

$$
B_S(\neg\mathcal T)
$$

表示主體 $S$ 相信 $\mathcal T$ 不成立，不能直接推出：

$$
\neg\mathcal T.
$$

因此本文拒絕：

$$
B_S(\neg\mathcal T)
\Rightarrow
\neg\mathcal T.
$$

真正影響收納度的是更強的條件：

若存在 $S$ 的某個本體必要區別 $q_1\neq_S q_2$，但任何 $\mathcal T$ 允許的映射都使：

$$
f_{\mathcal T}(q_1)
=
f_{\mathcal T}(q_2),
$$

則 $\mathcal T$ 在觀點忠實度上存在不可忽略的殘差。

因此主體性問題被轉換為：

$$
\boxed{
\text{是否存在無法被理論忠實嵌入的第一人稱不變量？}
}
$$

這一問題將在本系列 Paper 04 專門處理。

---

# 9. 動態不動點

## 9.1 靜態理論不動點

給定固定判定域 $\mathfrak D$，設理論更新算子為：

$$
U(\mathcal T,\mathfrak D).
$$

若：

$$
U(\mathcal T^\star,\mathfrak D)
=
\mathcal T^\star,
$$

則 $\mathcal T^\star$ 只是相對於固定判定域的局部不動點。

它可能僅表示：

> 在目前問題集合中，沒有新內容迫使理論修改。

## 9.2 動態不動點

令擴張後更新算子為：

$$
\mathfrak F
\left(
\mathcal T,
\mathfrak D,
\Delta\mathfrak D
\right).
$$

本文定義理想化的強動態不動點 $\mathcal T^\dagger$：

對所有容許：

$$
\Delta\mathfrak D\in\mathfrak A,
$$

均有：

$$
\mathfrak F
\left(
\mathcal T^\dagger,
\mathfrak D,
\Delta\mathfrak D
\right)
\simeq
\mathcal T^\dagger,
$$

其中 $\simeq$ 不要求語句逐字相同，而要求本體必要不變量與全域收納結構等價。

因此：

$$
\boxed{
\text{Dynamic Fixed Point}
=
\text{structural invariance under admissible domain expansion}.
}
$$

若此條件對所有容許未來擴張均成立，則它與本文的絕對全域收納極限發生直接聯繫。

---

# 10. 有限近滿分不推出絕對性

## 10.1 反絕對推論命題

**命題 2（有限近滿分不推出絕對性）**

在開放判定域公設 A1 下，對任意有限 $t$，即使：

$$
\mathcal C_t(\mathcal T)
\ge
1-\varepsilon
$$

且 $\varepsilon$ 任意小，也不能單由此推出 $\mathcal T$ 具有 AGC。

**證明框架。**

AGC 的定義量化於所有容許未來擴張：

$$
\forall
\mathfrak D'
\in
\operatorname{Ext}(\mathfrak D_t).
$$

但有限時刻 $t$ 的觀測只約束目前已實現或已生成的有限歷史截面。若 A1 不允許我們預設未來擴張類為空，則仍可能存在：

$$
\Delta\mathfrak D^\star
$$

使理論在新結構上的收納度低於 $1$。

因此：

$$
\mathcal C_t\rightarrow1
$$

只能作為有限歷史上的逼近證據，不能邏輯推出：

$$
\operatorname{AGC}.
$$

證畢。

## 10.2 重要限制

此命題不是說：

$$
\operatorname{AGC}
$$

永遠不可證。

若未來存在一套形式系統能完整刻畫所有「容許擴張」的生成類，並可在該類上完成全稱證明，則 AGC 可能在特定形式宇宙內被證明。

本文只拒絕以下非法推論：

$$
\boxed{
\text{有限經驗近滿分}
\Rightarrow
\text{無條件絕對真理}.
}
$$

---

# 11. 標量不可充分排序命題

**命題 3（單標量不足以給出普遍理論排序）**

若存在兩個理論 $\mathcal T_1,\mathcal T_2$：

$$
\mathbf C_t(\mathcal T_1)
\neq
\mathbf C_t(\mathcal T_2),
$$

但對某組權重 $\mathbf w$：

$$
\mathbf w\cdot\mathbf C_t(\mathcal T_1)
=
\mathbf w\cdot\mathbf C_t(\mathcal T_2),
$$

則該標量聚合不能唯一恢復兩理論的收納結構。

**證明。**

點積：

$$
\Phi_{\mathbf w}:
[0,1]^6
\rightarrow
[0,1]
$$

在一般情況下不是單射。故不同向量可映射到同一標量。

因此：

$$
\Phi_{\mathbf w}(\mathbf C_1)
=
\Phi_{\mathbf w}(\mathbf C_2)
$$

不能推出：

$$
\mathbf C_1=\mathbf C_2.
$$

證畢。

推論：任何「總真理分數」若不保留其分量與權重來源，都可能掩蓋結構上完全不同的理論風險。

---

# 12. 與 truthlikeness、信念修正與科學表示的關係

## 12.1 與 truthlikeness 的差異

truthlikeness 研究的重要問題是：兩個都不完全真的理論，是否仍可說其中一個更接近真實。[1-4,14]

DGC 不取代這一問題。

DGC 增加的是：

$$
\boxed{
\text{target itself may be expanding}.
}
$$

以及：

$$
\boxed{
\text{new target types may be generated by new observers and new representations}.
}
$$

因此即使真似度函數在固定目標空間中表現良好，DGC 仍要問：

> 當目標空間本身增加新型別時，原本的距離與座標是否仍成立？

## 12.2 與信念修正的差異

AGM 傳統與後續動態知識論研究主要處理：[5-7,15-16]

$$
K
\rightarrow
K\ast\phi,
$$

即認知主體在新命題到來後如何修正信念集合。

DGC 則允許更強的情況：

$$
\boxed{
\text{不只是新命題加入，連可用語言、型別、觀察者與判定標準都可能改變。}
}
$$

因此有時不是：

$$
\phi\notin K,
$$

而是：

$$
\operatorname{Type}(\phi)
\notin
\operatorname{Types}(K).
$$

這是普通信念追加與「判定域擴張」之間的根本區別。

## 12.3 與科學表示的差異

科學模型可以成功表示目標，而不必因此被視為與目標本體同一。近年的科學表示研究仍持續強調表示關係、模型建構、目標選擇與模型人工構造性之間的差異。[8-10]

DGC 採取相同警戒：

$$
\boxed{
\text{Representational Success}
\not\Rightarrow
\text{Ontological Identity}.
}
$$

因此一個理論即使預測極準，也不能只憑預測成功獲得：

$$
c^S=c^P=c^R=1.
$$

---

# 13. 最小實作協議

DGC 若要離開純哲學語言，至少需要一套可重現的評估程序。

## 13.1 判定域登錄

每個判定項記錄：

$$
x_i
=
(
\operatorname{id},
\operatorname{type},
\operatorname{source},
\operatorname{time},
\operatorname{dependencies},
\operatorname{invariants}
).
$$

不得只保存最終分數。

## 13.2 分量評估

對每個 $x_i$ 記錄：

$$
\mathbf c_t(\mathcal T;x_i).
$$

若某分量不可測，不應任意填入 $0$ 或 $1$，而應標記：

$$
\operatorname{NA}
$$

並另計可觀測覆蓋率。

## 13.3 權重透明

所有：

$$
\mathbf w_t
$$

必須顯式保存。

若不同研究者採用不同權重，應輸出不同標量，而不是假裝存在唯一自然總分。

## 13.4 對抗式擴張

定期生成：

- 新反例；
- 新尺度；
- 新主體；
- 新語言；
- 新測量方式；
- 新型別；
- 與既有公理不相容但仍需被判定的候補結構。

其目的不是故意讓理論失敗，而是估計：

$$
c^X
$$

與：

$$
\Gamma_t.
$$

## 13.5 版本化

理論必須寫成：

$$
\mathcal T_0,
\mathcal T_1,
\ldots,
\mathcal T_t,
$$

而不是把所有後續修正覆寫成「理論從一開始就這麼說」。

否則：

$$
\frac{dA_t}{dt}
$$

與：

$$
\frac{d\mathcal C_t}{dt}
$$

失去可追蹤性。

---

# 14. 可證偽性與失敗條件

本文不是經驗物理理論，因此其「可證偽性」主要指形式框架與方法論是否失去區分能力。

至少存在以下失敗方式。

## 14.1 分量不可區分

若任何合理情境下：

$$
c^O,c^L,c^S,c^P,c^R,c^X
$$

都無法被定義成彼此具有獨立資訊的量，則六維分解失去必要性，應被降維或重構。

## 14.2 收納概念退化為任意描述

若任何理論只要能生成一句關於 $x$ 的語句就被判為：

$$
c(\mathcal T;x)=1,
$$

則「忠實收納」退化成語言可指稱性，本框架失敗。

## 14.3 權重任意性完全支配結果

若：

$$
\mathbf w
$$

的微小任意改變可讓理論排序任意翻轉，且不存在任何任務依賴或風險依賴的正當化方式，則標量 $\mathcal C_t$ 不應再作為理論比較工具。

## 14.4 擴張類不可定義

若「容許擴張」完全沒有邊界，以至任何語句都可任意加入：

$$
\mathfrak A_t,
$$

則 AGC 變成不可分析的語義黑洞。

因此後續形式化必須明確規定：

$$
\operatorname{Admissible}
\left(
\Delta\mathfrak D
\right).
$$

## 14.5 無法區分進步與域擴張

若資料制度沒有版本、來源與判定域大小記錄，就不能判斷：

$$
\Delta\mathcal C<0
$$

究竟來自理論退化還是世界被看得更多。

因此 provenance 是 DGC 的必要部分，而非附加文件。

---

# 15. 與後續系列的接口

本文只建立元認識論標尺，不在此處定義元息總域本身。

後續論文依次處理：

1. 元息作為前實體、前符號、前表徵信息結構；
2. 世界作為元息總域的投影或實現；
3. 第一人稱主體是否存在不可完全收納的不變量；
4. 向量、張量、幾何與範疇等表示之間的座標不變性；
5. 萬有元息等價猜想；
6. 從元息到物理定律的廣義重建綱領；
7. 元息本體論的反例、不可證明邊界與失敗條件。

因此 Paper 01 不預設：

$$
\text{Everything is Information}.
$$

它只建立一個更一般的判準：

> 即使某個未來理論能由單一底層結構推出所有已知物理，也必須再區分「目前推導完備」、「在新域擴張下穩健」與「已證明絕對全域收納」。

---

# 16. 核心命題總結

本文的核心結構可壓縮為：

$$
\boxed{
\mathfrak D_t
\longrightarrow
\mathbf C_t(\mathcal T)
\longrightarrow
\mathbf R_t(\mathcal T)
}
$$

並允許：

$$
\mathfrak D_t
\subseteq
\mathfrak D_{t+1}.
$$

理論進步與判定域擴張共同決定：

$$
\frac{d\mathcal C_t}{dt}.
$$

其中：

$$
\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}
}
$$

描述最基本的動態競爭。

絕對全域收納則要求：

$$
\boxed{
\forall
\mathfrak D'
\in
\operatorname{Ext}(\mathfrak D_t),
\qquad
\mathbf C(\mathcal T^\star;\mathfrak D')
=
\mathbf 1
}
$$

並保持所有既有本體必要不變量。

因此：

$$
\boxed{
\mathcal C_t\approx1
\not\Rightarrow
\operatorname{AGC}.
}
$$

以及：

$$
\boxed{
\text{Current completeness}
\not\Rightarrow
\text{absolute completeness}.
}
$$

---

# 結論

「絕對真理」若被當成普通科學理論可以直接宣稱的標籤，幾乎必然造成過度本體化：一個理論可能在現有資料上成功、在現有語言中自洽、甚至在現有物理中具有高度統一能力，但這些性質仍然沒有自動回答它能否處理尚未出現的觀察者、新尺度、新型別與新的可區分結構。

本文因此把絕對真理從「現在就能宣布的狀態」改寫成「所有容許擴張下仍維持忠實收納的極限條件」。真正可操作的研究對象不再是二值的「絕對／不絕對」，而是：

$$
\mathbf C_t(\mathcal T),
\qquad
\mathbf R_t(\mathcal T),
\qquad
\frac{d\mathbf C_t}{dt},
\qquad
\Gamma_t(\mathcal T).
$$

這使理論可以同時具有三種看似矛盾但實際可共存的性質：

1. 它在當下非常成功；
2. 它仍然不是絕對真理；
3. 它可以在持續擴張的世界中不斷增加收納能力。

因此本文的基本立場不是懷疑一切，也不是宣稱真理不可接近，而是：

$$
\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。本文中的六維收納向量、容許擴張類、忠實性不變量與聚合函數仍屬待形式化對象。後續版本應優先完成：

1. $\operatorname{Admissible}(\Delta\mathfrak D)$ 的型別化定義；
2. 忠實收納不變量 $I_x$ 的最小公理；
3. 向量偏序與 Pareto 比較規則；
4. 權重敏感度分析；
5. 離散時間與連續時間版本的等價條件；
6. 主體生成新判定域時的 closure operator；
7. 與 Paper 02 元息總域之間的正式接口。