載體幾何 2.0（A05）
高維符號不等於高維實在
形式完備、指涉欠定與符號本體論邊界
作者：Neo.K 機構：EveMissLab／一言諾科技有限公司 系列：載體幾何 2.0：從 2.5D 視覺到高維符號實在 版本：v0.1 日期：2026-08-23 理論定位：數學哲學 × 科學表示 × 高維幾何 × 科學實在論 × 載體本體論
摘要
高維數學可以被精確定義、嚴格推演並成功應用於物理模型；然而，形式上的精確性本身並不能直接回答一個不同層次的問題：這些符號究竟以何種方式指涉物理實在？
本文建立「符號—形式模型—物理解釋—可觀測結果—本體實在」五層分離框架，主張必須嚴格區分：
syntactic validity , \text{syntactic validity}, syntactic validity , formal realizability , \text{formal realizability}, formal realizability , representational adequacy , \text{representational adequacy}, representational adequacy , empirical adequacy , \text{empirical adequacy}, empirical adequacy , 以及：
ontic identification . \text{ontic identification}. ontic identification . 本文核心命題為：
Formal Specification Completeness ⇏ Ontic Completeness . \boxed{
\text{Formal Specification Completeness}
\not\Rightarrow
\text{Ontic Completeness}.
} Formal Specification Completeness ⇒ Ontic Completeness . 這裡的「形式完備」不是指 Gödel 完備性定理或任一特定邏輯系統的 metalogical completeness，而是指：一個模型已被充分定義，使其對象、關係、規則與推演操作在指定形式框架內明確且可執行。
因此，即使：
R 5 , S 4 , M 11 \mathbb R^5,
\quad
S^4,
\quad
\mathcal M^{11} R 5 , S 4 , M 11 都具有完整、可操作的形式定義，也不能僅由此推出：
dim o n t i c ( R ) = 5 , \dim_{\mathrm{ontic}}(\mathcal R)=5, dim ontic ( R ) = 5 , 或：
dim o n t i c ( R ) = 11. \dim_{\mathrm{ontic}}(\mathcal R)=11. dim ontic ( R ) = 11. 本文進一步利用科學模型哲學中的「邏輯模型／代表模型」區分、科學表示理論、結構實在論及其「數學結構—物理結構」爭議，提出「本體映射債務（Ontic Mapping Debt, OMD）」概念：任何從形式對象跨到實在對象的本體主張，都必須承擔額外的指涉、橋接、排他與干預證據責任。
對高維物理而言，本文的立場不是否定高維數學，也不是否定高維宇宙可能性，而是提出一條嚴格方法論：
符號能算 ≠ 模型能代表 ≠ 模型與資料相容 ≠ 模型就是實在 . \boxed{
\text{符號能算}
\neq
\text{模型能代表}
\neq
\text{模型與資料相容}
\neq
\text{模型就是實在}.
} 符號能算 = 模型能代表 = 模型與資料相容 = 模型就是實在 . 這條分離將為下一篇 A06 的「高維逆問題：我們到底是哪一個？」提供最終本體論接口。
關鍵詞： 高維幾何、科學表示、形式模型、指涉、結構實在論、ontic mapping、scientific realism、數學物理、符號本體論、模型與實在
1. 問題：我能操作這個符號，不代表我知道它在世界中是什麼
考慮：
x = ( x 1 , x 2 , x 3 , x 4 , x 5 ) ∈ R 5 . x=
(x_1,x_2,x_3,x_4,x_5)
\in
\mathbb R^5. x = ( x 1 , x 2 , x 3 , x 4 , x 5 ) ∈ R 5 . 這個式子並沒有任何形式困難。
我們可以定義距離：
d ( x , y ) = ∑ i = 1 5 ( x i − y i ) 2 . d(x,y)
=
\sqrt{
\sum_{i=1}^{5}
(x_i-y_i)^2
}. d ( x , y ) = i = 1 ∑ 5 ( x i − y i ) 2 . 可以定義四維球面：
S 4 ( r ) = { x ∈ R 5 : ∥ x ∥ = r } . S^4(r)
=
\left\{
x\in\mathbb R^5:
\|x\|=r
\right\}. S 4 ( r ) = { x ∈ R 5 : ∥ x ∥ = r } . 可以研究：
曲率；
測地線；
拓樸；
群作用；
同調；
微分形式；
動力學。
因此：
formal control of 5 D \boxed{
\text{formal control of }5D
} formal control of 5 D 完全可以非常強。
但如果接著宣稱：
物理宇宙真正具有五個空間維度。
問題的類型已經改變。
從：
mathematics \text{mathematics} mathematics 跨到了：
physical ontology . \text{physical ontology}. physical ontology . 本文要處理的正是這個跨越。
2. 五層分離
本文將高維理論拆成五層。
2.1 符號層
設符號字母表為：
Σ , \Sigma, Σ , 形式字串為：
s ∈ Σ ∗ . s\in\Sigma^\ast. s ∈ Σ ∗ . 例如：
S 4 , R 5 , g μ ν . S^4,
\quad
\mathbb R^5,
\quad
g_{\mu\nu}. S 4 , R 5 , g μν . 這些首先只是可被解析與操作的形式記號。
2.2 形式理論層
定義：
T = ( L , A , R ) , T=
(L,A,R), T = ( L , A , R ) , 其中：
L L L A A A R R R
在此層可判斷：
T ⊢ φ . T\vdash\varphi. T ⊢ φ . 2.3 模型層
令：
Mod ( T ) = { M : M ⊨ T } . \operatorname{Mod}(T)
=
\{
M:
M\models T
\}. Mod ( T ) = { M : M ⊨ T } . 這裡的 M M M
2.4 表示／物理解釋層
需要某個橋接：
β : M ⇝ R , \beta:
M
\rightsquigarrow
\mathcal R, β : M ⇝ R , 主張模型的哪些部分代表物理目標的哪些部分。
2.5 本體層
真正實在記為：
R . \mathcal R. R . 我們並不直接把它等同於：
M . M. M . 因此：
s ≠ T ≠ M ≠ β ( M , R ) ≠ R . \boxed{
s
\neq
T
\neq
M
\neq
\beta(M,\mathcal R)
\neq
\mathcal R.
} s = T = M = β ( M , R ) = R . 這不是說各層毫無關係，而是說它們的同一性不能被預設。
3. 「形式完備」在本文中的精確意思
本文必須避免一個術語陷阱。
「Formal Completeness」在數理邏輯中容易讓人想到：
Gödel completeness；
syntactic completeness；
semantic completeness。
本文並不使用那些技術意義。
因此更精確的名稱是：
Formal Specification Completeness \boxed{
\text{Formal Specification Completeness}
} Formal Specification Completeness 簡寫：
C F S C . C_{\mathrm{FSC}}. C FSC . 若一個模型的：
對象域；
基本關係；
允許操作；
動力學；
邊界條件；
推演規則；
均足以讓指定問題可被明確計算或推演，則稱其在該問題上具有高：
C F S C . C_{\mathrm{FSC}}. C FSC . 但：
C F S C = 1 C_{\mathrm{FSC}}=1 C FSC = 1 最多意味：
模型在自身形式域內已被完整指定。
它不意味：
M = R . \boxed{
M=\mathcal R.
} M = R . 4. 邏輯模型不是自動的代表模型
科學哲學中必須區分兩個不同的「model」。
一個結構：
M M M 可能滿足：
M ⊨ T . M\models T. M ⊨ T . 這使它成為 T T T
但是要讓它成為某個實際系統：
R t a r g e t R_{\mathrm{target}} R target 的科學代表模型，還需要建立：
M ⇝ R t a r g e t . M
\rightsquigarrow
R_{\mathrm{target}}. M ⇝ R target . 因此：
M ⊨ T ⇏ M represents R t a r g e t . \boxed{
M\models T
\not\Rightarrow
M\text{ represents }R_{\mathrm{target}}.
} M ⊨ T ⇒ M represents R target . 這條分離對高維理論非常重要。
形式上需要十一個坐標自由度，首先證明的是：
該形式框架具有這種結構要求 . \text{該形式框架具有這種結構要求}. 該形式框架具有這種結構要求 . 它不等價於：
物理實在本身就是十一維 . \text{物理實在本身就是十一維}. 物理實在本身就是十一維 . 後者需要額外證據。
5. 一個形式理論甚至可能擁有多個不等價模型
若：
M 1 ⊨ T M_1\models T M 1 ⊨ T 與：
M 2 ⊨ T , M_2\models T, M 2 ⊨ T , 但：
M 1 ≇ M 2 , M_1\not\cong M_2, M 1 ≅ M 2 , 則同一形式理論可被不同結構實現。
也就是：
T → Mod ( T ) \boxed{
T
\rightarrow
\operatorname{Mod}(T)
} T → Mod ( T ) 未必給出唯一對象。
因此即使完全留在數學內部，從：
T T T 到：
M M M 都可能存在非唯一性。
這與 A04 的相容纖維具有平行結構。
6. 即使形式上唯一，也仍未得到物理實例化
假設某理論在指定語境中極強，甚至：
Mod ( T ) / ≅ = { [ M ] } . \operatorname{Mod}(T)/\cong
=
\{[M]\}. Mod ( T ) / ≅= {[ M ]} . 即使只剩下一個同構類，也最多表示：
形式理論在這個模型類中唯一決定了某種結構。
仍然沒有邏輯上自動推出：
R ≅ M . \boxed{
\mathcal R\cong M.
} R ≅ M . 還缺少：
physical instantiation . \text{physical instantiation}. physical instantiation . 因此：
formal uniqueness ⇏ physical instantiation . \boxed{
\text{formal uniqueness}
\not\Rightarrow
\text{physical instantiation}.
} formal uniqueness ⇒ physical instantiation . 這一點是 A05 的核心之一。
7. 科學表示本身是一個獨立問題
科學模型的基本任務之一是：
represent a target system . \text{represent a target system}. represent a target system . 但「代表」並不是簡單的等號。
模型可能依靠：
相似；
結構保持；
理想化；
類比；
推理功能；
部分同態；
指定解釋約定；
來代表目標。
因此：
representation ≠ identity . \boxed{
\text{representation}
\neq
\text{identity}.
} representation = identity . 一個氣體模型可以非常有用，而不需要每個分子真的變成模型中的理想剛球。
同樣：
一個高維幾何模型可以非常成功，而不意味每個形式元素都具有字面物理實體。
8. 建立模型—實在的經驗交換圖
設：
M M M 為模型，
R \mathcal R R 為實在。
模型產生預測：
π M : M → O . \pi_M:
M
\rightarrow
\mathcal O. π M : M → O . 物理世界經測量產生資料：
μ : R → O . \mu:
\mathcal R
\rightarrow
\mathcal O. μ : R → O . 若：
d O ( π M ( M ) , μ ( R ) ) ≤ ϵ , d_{\mathcal O}
\left(
\pi_M(M),
\mu(\mathcal R)
\right)
\leq
\epsilon, d O ( π M ( M ) , μ ( R ) ) ≤ ϵ , 則模型在指定觀測域具有經驗相容性。
可以寫成：
π M ( M ) ≈ ϵ μ ( R ) . \boxed{
\pi_M(M)
\approx_\epsilon
\mu(\mathcal R).
} π M ( M ) ≈ ϵ μ ( R ) . 但這只比較兩者的可觀測像 。
它沒有直接建立：
M = R . M=\mathcal R. M = R . 9. 經驗交換成立，不推出本體同構
因此：
d O ( π M ( M ) , μ ( R ) ) ≤ ϵ \boxed{
d_{\mathcal O}
\left(
\pi_M(M),
\mu(\mathcal R)
\right)
\leq\epsilon
} d O ( π M ( M ) , μ ( R ) ) ≤ ϵ 不推出：
M ≅ R . \boxed{
M\cong\mathcal R.
} M ≅ R . 因為可能存在：
M 1 ≠ M 2 M_1\neq M_2 M 1 = M 2 卻：
π M 1 ( M 1 ) ≈ π M 2 ( M 2 ) ≈ μ ( R ) . \pi_{M_1}(M_1)
\approx
\pi_{M_2}(M_2)
\approx
\mu(\mathcal R). π M 1 ( M 1 ) ≈ π M 2 ( M 2 ) ≈ μ ( R ) . 這正是 A04：
C ϵ ( o ) \mathcal C_{\epsilon}(o) C ϵ ( o ) 的另一種表達。
因此：
empirical adequacy ⇏ ontic identity . \boxed{
\text{empirical adequacy}
\not\Rightarrow
\text{ontic identity}.
} empirical adequacy ⇒ ontic identity . 10. 同一物理狀態也可能有多個符號描述
反方向的問題同樣存在。
在物理理論中，可以有：
s 1 ≠ s 2 s_1\neq s_2 s 1 = s 2 但：
[ s 1 ] p h y s = [ s 2 ] p h y s . [s_1]_{\mathrm{phys}}
=
[s_2]_{\mathrm{phys}}. [ s 1 ] phys = [ s 2 ] phys . 典型來源包括：
座標變換；
gauge redundancy；
field redefinition；
dual description。
因此：
symbolic difference ⇏ physical difference . \boxed{
\text{symbolic difference}
\not\Rightarrow
\text{physical difference}.
} symbolic difference ⇒ physical difference . 所以符號與實在之間並非一對一關係。
一方面：
many symbols → one physical state , \text{many symbols}
\rightarrow
\text{one physical state}, many symbols → one physical state , 另一方面也可能：
many physical candidates → one observable pattern . \text{many physical candidates}
\rightarrow
\text{one observable pattern}. many physical candidates → one observable pattern . 11. 形式成功至少有四種不同意義
當我們說某高維理論「成功」，必須先問是哪一種成功。
11.1 推演成功
T ⊢ φ . T\vdash\varphi. T ⊢ φ . 11.2 計算成功
模型能穩定產生數值結果。
11.3 表示成功
模型保留了目標系統的重要關係。
11.4 預測成功
模型產生被實驗確認的新結果。
這四個層次都重要。
但即使全部成立，仍需要討論：
what exactly should we be realist about? \boxed{
\text{what exactly should we be realist about?}
} what exactly should we be realist about? 也就是本體承諾應落在哪裡：
對象？
關係？
不變量？
對稱群？
因果結構？
有效自由度？
整個數學模型？
這不能由「方程很好用」自動決定。
12. 結構實在論是最接近的強鄰居
Structural Realism 的一個核心思想是：
科學可能主要抓到世界中穩定的結構或關係，而不一定抓到不可觀察對象的內在本性。
這和本文有明顯親緣性。
如果多種表象變換下仍保存：
I ( M ) , I(M), I ( M ) , 則：
I ( M ) I(M) I ( M ) 可能比某一特定坐標表示更值得給予實在論承諾。
例如：
invariant structure > representation-specific appearance \boxed{
\text{invariant structure}
>
\text{representation-specific appearance}
} invariant structure > representation-specific appearance 可以作為一條合理的方法論偏好。
但本文不直接等同於 structural realism。
13. 結構實在論仍留下「數學／物理」界線問題
即使我們說：
真正重要的是結構。
仍然必須問：
什麼使某個數學結構成為物理結構？ \boxed{
\text{什麼使某個數學結構成為物理結構？}
} 什麼使某個數學結構成為物理結構？ 一個抽象群：
G G G 可以純數學地存在於形式系統中。
一個物理系統也可能具有：
G G G 對稱。
但：
mathematical G ≠ physical instantiation of G \boxed{
\text{mathematical }G
\neq
\text{physical instantiation of }G
} mathematical G = physical instantiation of G 除非額外說明它如何在測量、干預與物理關係中被實例化。
因此本文保留：
structure realism \text{structure realism} structure realism 作為重要候選立場，但拒絕：
mathematical structure = physical reality \boxed{
\text{mathematical structure}
=
\text{physical reality}
} mathematical structure = physical reality 作為不經論證的起點。
14. 高維最容易發生的偷渡：形式維度變成本體維度
定義形式模型：
M n . M_n. M n . 若：
dim ( M n ) = n , \dim(M_n)=n, dim ( M n ) = n , 這是一個清楚的數學命題。
但：
dim ( M n ) = n \boxed{
\dim(M_n)=n
} dim ( M n ) = n 不推出：
dim o n t i c ( R ) = n . \boxed{
\dim_{\mathrm{ontic}}(\mathcal R)=n.
} dim ontic ( R ) = n . 中間至少需要：
β n : M n ⇝ R . \beta_n:
M_n
\rightsquigarrow
\mathcal R. β n : M n ⇝ R . 並證明 n n n
計算冗餘；
表示選擇；
gauge 變數；
auxiliary dimension；
effective parameter；
embedding convenience；
dual description 的產物。
因此：
Formal Dimensionality ⇏ Ontic Dimensionality . \boxed{
\text{Formal Dimensionality}
\not\Rightarrow
\text{Ontic Dimensionality}.
} Formal Dimensionality ⇒ Ontic Dimensionality . 15. 五維超球：一個很乾淨的例子
設：
S 4 = { x ∈ R 5 : ∥ x ∥ = 1 } . S^4
=
\left\{
x\in\mathbb R^5:
\|x\|=1
\right\}. S 4 = { x ∈ R 5 : ∥ x ∥ = 1 } . 這個定義完全清楚。
我們知道它：
是 4 4 4
嵌入 R 5 \mathbb R^5 R 5
具有特定拓樸與對稱性；
可以計算其體積；
可以研究其測地線。
所以：
C F S C ( S 4 ) C_{\mathrm{FSC}}(S^4) C FSC ( S 4 ) 可以非常高。
但如果某物理理論說：
宇宙的某個基本部分就是 S 4 S^4 S 4
則新問題是：
Which physical relations instantiate S 4 ? \boxed{
\text{Which physical relations instantiate }S^4?
} Which physical relations instantiate S 4 ? 以及：
Which observations distinguish S 4 from its alternatives? \boxed{
\text{Which observations distinguish }S^4
\text{ from its alternatives?}
} Which observations distinguish S 4 from its alternatives? 這兩個問題都不是純定義能回答的。
16. 三種「維度聲明」必須拆開
本文提出：
16.1 表示維度
d r e p . d_{\mathrm{rep}}. d rep . 某種表示所需要的自由參數數量。
16.2 有效物理維度
d e f f . d_{\mathrm{eff}}. d eff . 在指定尺度與實驗域中，物理自由度呈現出的有效維度。
16.3 本體維度
d o n t i c . d_{\mathrm{ontic}}. d ontic . 實在在最終本體意義上的維度結構。
因此：
d r e p ≠ d e f f ≠ d o n t i c \boxed{
d_{\mathrm{rep}}
\neq
d_{\mathrm{eff}}
\neq
d_{\mathrm{ontic}}
} d rep = d eff = d ontic 一般不能預設相等。
有些理論可能最後證明三者一致。
但那是一個結果，不是起點。
17. 本體映射債務 OMD
本文正式引入：
Ontic Mapping Debt \boxed{
\text{Ontic Mapping Debt}
} Ontic Mapping Debt 即本體映射債務 。
當一個理論從形式模型：
M M M 提出：
M ⇝ R M\rightsquigarrow\mathcal R M ⇝ R 的本體主張時，至少需要支付四類債務。
17.1 指涉債務
模型中的：
x i x_i x i 究竟指向什麼物理量或關係？
17.2 橋接債務
如何從模型量得到實驗量？
17.3 排他債務
為什麼不是另一個：
M ′ M' M ′ 產生相同結果？
17.4 干預債務
模型宣稱的結構是否能支援穩定操控、反事實預測或新的因果／操作結果？
定義概念性總量：
D O M = D d e n + D b r i d g e + D e x c l + D i n t . \boxed{
D_{\mathrm{OM}}
=
D_{\mathrm{den}}
+
D_{\mathrm{bridge}}
+
D_{\mathrm{excl}}
+
D_{\mathrm{int}}.
} D OM = D den + D bridge + D excl + D int . 這不是既有標準物理量，而是一個方法論記帳框架。
18. 理論越抽象，不代表映射債務越小
一個常見錯覺是：
越抽象，越接近本質。
有時成立。
抽象可以消除：
但也可能造成：
referential distance ↑ . \text{referential distance}\uparrow. referential distance ↑ . 因此：
Abstraction ⇏ Ontic Proximity . \boxed{
\text{Abstraction}
\not\Rightarrow
\text{Ontic Proximity}.
} Abstraction ⇒ Ontic Proximity . 抽象帶來的是：
structural compression , \text{structural compression}, structural compression , 不是自動的：
ontological guarantee . \text{ontological guarantee}. ontological guarantee . 19. 數學應用的真正力量是推理橋，而不是魔法同一
數學對科學非常強大，因為可以建立：
empirical system → mathematical representation → mathematical inference → empirical conclusion . \text{empirical system}
\rightarrow
\text{mathematical representation}
\rightarrow
\text{mathematical inference}
\rightarrow
\text{empirical conclusion}. empirical system → mathematical representation → mathematical inference → empirical conclusion . 可以抽象寫成：
R → α M → D M ′ → β R ′ . R
\xrightarrow{\alpha}
M
\xrightarrow{\mathcal D}
M'
\xrightarrow{\beta}
R'. R α M D M ′ β R ′ . 其中：
α \alpha α D \mathcal D D β \beta β
真正需要驗證的是：
α \alpha α 與：
β . \beta. β . 如果橋接錯誤，內部數學：
D \mathcal D D 仍然可以完全正確。
因此：
correct mathematics + wrong bridge = wrong physical interpretation . \boxed{
\text{correct mathematics}
+
\text{wrong bridge}
=
\text{wrong physical interpretation}.
} correct mathematics + wrong bridge = wrong physical interpretation . 20. 實驗相容性提高實在論置信度，但不是邏輯等號
本文不是反科學實在論。
若模型不斷：
正確預測新現象；
跨尺度工作；
被不同儀器驗證；
支援有效干預；
統一原本無關的資料；
那麼合理地提高：
P ( M ⇝ R ∣ O ) P(M\rightsquigarrow\mathcal R\mid O) P ( M ⇝ R ∣ O ) 完全成立。
但這仍是：
evidential support , \boxed{
\text{evidential support},
} evidential support , 而不是：
logical identity . \boxed{
\text{logical identity}.
} logical identity . 科學實在論可以很強，而仍承認模型—實在之間不是單純等號。
21. 干預比純擬合更強，但仍需區分表示
如果某理論不只預測：
O , O, O , 還能告訴我們如何操控某個結構：
d o ( a ) → o ′ , do(a)
\rightarrow
o', d o ( a ) → o ′ , 而實驗持續成功，則對其所指涉結構的實在論置信度自然提高。
這是：
representation → intervention \text{representation}
\rightarrow
\text{intervention} representation → intervention 的重要升級。
但即使如此，也仍可能：
多種理論對同一干預等價；
某些形式變數只是方便參數；
真正被實在論承諾的是不變量，而不是全部符號。
因此：
interventional success > mere fitting \boxed{
\text{interventional success}
>
\text{mere fitting}
} interventional success > mere fitting 在證據力上合理，
但：
interventional success ⇏ literal reality of every symbol . \boxed{
\text{interventional success}
\not\Rightarrow
\text{literal reality of every symbol}.
} interventional success ⇒ literal reality of every symbol . 22. 建立五維置信向量
不要只問：
這理論是真的嗎？
可以定義：
C ( M ) = ( C s y n , C f o r m , C r e p , C e m p , C o n t ) . \mathbf C(M)
=
\left(
C_{\mathrm{syn}},
C_{\mathrm{form}},
C_{\mathrm{rep}},
C_{\mathrm{emp}},
C_{\mathrm{ont}}
\right). C ( M ) = ( C syn , C form , C rep , C emp , C ont ) . 其中：
C s y n C_{\mathrm{syn}} C syn C f o r m C_{\mathrm{form}} C form C r e p C_{\mathrm{rep}} C rep C e m p C_{\mathrm{emp}} C emp C o n t C_{\mathrm{ont}} C ont
完全可以存在：
C s y n ≈ 1 , C_{\mathrm{syn}}\approx1, C syn ≈ 1 , C f o r m ≈ 1 , C_{\mathrm{form}}\approx1, C form ≈ 1 , 但：
C o n t ≪ 1. C_{\mathrm{ont}}\ll1. C ont ≪ 1. 這不是理論失敗。
它只是代表：
我們非常確定自己在算什麼，但還不確定宇宙是不是那個東西。
23. A04 相容纖維在這裡取得本體論意義
A04 定義：
C ϵ ( o ) = { h : d ( F ( h ) , o ) ≤ ϵ } . \mathcal C_{\epsilon}(o)
=
\left\{
h:
d(F(h),o)\leq\epsilon
\right\}. C ϵ ( o ) = { h : d ( F ( h ) , o ) ≤ ϵ } . 如果：
∣ C ϵ ( o ) ∣ > 1 , |\mathcal C_{\epsilon}(o)|>1, ∣ C ϵ ( o ) ∣ > 1 , 那麼：
C e m p C_{\mathrm{emp}} C emp 可以很高，
但：
C o n t C_{\mathrm{ont}} C ont 仍被候選非唯一性限制。
因此：
empirical success + large compatibility fiber \boxed{
\text{empirical success}
+
\text{large compatibility fiber}
} empirical success + large compatibility fiber 不應被壓縮成：
unique ontology . \text{unique ontology}. unique ontology . A04 的逆問題與 A05 的指涉問題在這裡合流。
24. 高維符號最危險的不是複雜，而是「語義自動膨脹」
假設一個模型需要：
n n n 個形式自由度。
若研究者依序做：
formal parameter → dimension → physical direction → hidden space → real ontic region , \text{formal parameter}
\rightarrow
\text{dimension}
\rightarrow
\text{physical direction}
\rightarrow
\text{hidden space}
\rightarrow
\text{real ontic region}, formal parameter → dimension → physical direction → hidden space → real ontic region , 每一步都可能增加新的語義承諾。
本文稱之為：
semantic inflation . \boxed{
\text{semantic inflation}.
} semantic inflation . 形式符號本身沒有犯錯。
真正需要警惕的是：
interpretation grows faster than evidence . \boxed{
\text{interpretation grows faster than evidence}.
} interpretation grows faster than evidence . 25. 符號實在論的最低安全規則
本文提出六條最低規則。
規則一
symbol ≠ referent . \text{symbol}
\neq
\text{referent}. symbol = referent . 規則二
formal model ≠ target system . \text{formal model}
\neq
\text{target system}. formal model = target system . 規則三
empirical fit ≠ unique ontology . \text{empirical fit}
\neq
\text{unique ontology}. empirical fit = unique ontology . 規則四
formal dimension ≠ ontic dimension . \text{formal dimension}
\neq
\text{ontic dimension}. formal dimension = ontic dimension . 規則五
若存在表示冗餘，先 quotient：
H p h y s = H f o r m a l / ∼ r e p . \mathcal H_{\mathrm{phys}}
=
\mathcal H_{\mathrm{formal}}
/
\sim_{\mathrm{rep}}. H phys = H formal / ∼ rep . 規則六
任何本體提升都必須增加：
new discriminating evidence . \text{new discriminating evidence}. new discriminating evidence . 26. 對「數學是否就是宇宙」保持開放，而不是先決定
存在非常強的數學本體論立場，認為物理世界本身就是某種數學結構。
本文不需要先否定它。
但該命題：
R = M \boxed{
\mathcal R=M
} R = M 本身是一個額外的形而上學／物理主張。
它不能僅由：
M describes R extremely well \boxed{
M\text{ describes }\mathcal R\text{ extremely well}
} M describes R extremely well 邏輯推出。
因此本文採取：
open but uncollapsed \boxed{
\text{open but uncollapsed}
} open but uncollapsed 的立場：
數學結構可能極深地對應實在，
甚至可能最終就是實在；
但在證據不足時，不提前把：
description \text{description} description 與：
identity \text{identity} identity 合併。
27. 對 AI 的普適化
AI 可能比人類更擅長直接操作：
R 10 3 , R 10 6 \mathbb R^{10^3},
\quad
\mathbb R^{10^6} R 1 0 3 , R 1 0 6 等高維表示。
因此：
C s y n A I C_{\mathrm{syn}}^{AI} C syn A I 與：
C f o r m A I C_{\mathrm{form}}^{AI} C form A I 可能遠高於人類。
但同樣：
high-dimensional machine manipulation ⇏ automatic ontic access . \boxed{
\text{high-dimensional machine manipulation}
\not\Rightarrow
\text{automatic ontic access}.
} high-dimensional machine manipulation ⇒ automatic ontic access . AI 仍然需要：
感測；
實驗；
bridge model；
causal intervention；
competing-model comparison。
當然，未來某些 AI 可能擁有人類缺乏的感測與表示通道，因而提高：
C r e p C_{\mathrm{rep}} C rep 與：
C e m p . C_{\mathrm{emp}}. C emp . 所以本文不是限制 AI，而是把規則普適化：
∀ A , formal access A ⇏ ontic identity A . \boxed{
\forall A,
\quad
\text{formal access}_A
\not\Rightarrow
\text{ontic identity}_A.
} ∀ A , formal access A ⇒ ontic identity A . 28. 可反駁性
A05 不是不可測的純形而上學宣言。
其部分主張可以被削弱。
如果存在一個原理能從形式結構：
M M M 唯一且無額外橋接假設地推出：
R , \mathcal R, R , 並且證明：
所有競爭模型均不可能；
所有表示冗餘均已 quotient；
該結構唯一產生全部觀測；
所有可實施干預均獨特匹配；
模型與目標之間存在可證明的一一實例化關係；
那麼：
Formal → Ontic \text{Formal}
\rightarrow
\text{Ontic} Formal → Ontic 的距離將大幅縮短。
本文並不禁止這種結果。
它只是拒絕在結果尚未建立前先寫等號。
29. 核心命題整理
命題 A05-1：形式完備非本體完備
C F S C ( M ) = 1 ⇏ M = R . \boxed{
C_{\mathrm{FSC}}(M)=1
\not\Rightarrow
M=\mathcal R.
} C FSC ( M ) = 1 ⇒ M = R . 命題 A05-2：邏輯模型非代表模型
M ⊨ T ⇏ M represents R . \boxed{
M\models T
\not\Rightarrow
M\text{ represents }\mathcal R.
} M ⊨ T ⇒ M represents R . 命題 A05-3：經驗相容非本體同一
π M ( M ) ≈ μ ( R ) ⇏ M ≅ R . \boxed{
\pi_M(M)
\approx
\mu(\mathcal R)
\not\Rightarrow
M\cong\mathcal R.
} π M ( M ) ≈ μ ( R ) ⇒ M ≅ R . 命題 A05-4：形式維度非本體維度
d r e p ⇏ d o n t i c . \boxed{
d_{\mathrm{rep}}
\not\Rightarrow
d_{\mathrm{ontic}}.
} d rep ⇒ d ontic . 命題 A05-5：抽象程度非本體距離
Abstraction ⇏ Ontic Proximity . \boxed{
\text{Abstraction}
\not\Rightarrow
\text{Ontic Proximity}.
} Abstraction ⇒ Ontic Proximity . 命題 A05-6：本體主張必須支付映射債務
Ontic Claim ⇒ D O M > 0 \boxed{
\text{Ontic Claim}
\Rightarrow
D_{\mathrm{OM}}>0
} Ontic Claim ⇒ D OM > 0 除非映射已由更強理論或實驗獨立建立。
30. 方法論位置：不是反數學，而是保護數學
把：
mathematics \text{mathematics} mathematics 與：
ontology \text{ontology} ontology 分開，不是在降低數學地位。
恰恰相反。
如果一個數學模型的形式內容是正確的，而物理解釋後來被推翻，那麼：
mathematics can remain valid \boxed{
\text{mathematics can remain valid}
} mathematics can remain valid 而錯誤只發生在：
ontic interpretation . \boxed{
\text{ontic interpretation}.
} ontic interpretation . 這種分層保護了數學成果，使我們不需要因一個物理詮釋失敗，就把整個形式工具一起丟棄。
31. 結論
高維數學可以比人類的視覺直觀走得遠得多。
我們可以精確操作：
5 D , 11 D , X D . 5D,
\quad
11D,
\quad
XD. 5 D , 11 D , X D . 這本身完全沒有問題。
問題只在於：
我們什麼時候有資格把形式中的 n 直接稱為實在的 n ? \boxed{
\text{我們什麼時候有資格把形式中的 }n
\text{ 直接稱為實在的 }n?
} 我們什麼時候有資格把形式中的 n 直接稱為實在的 n ? 本文的答案是：
不能由形式定義本身決定。
真正的鏈條是：
Symbol → Formal Theory → Model → Representation → Empirical Test → Ontic Commitment . \boxed{
\text{Symbol}
\rightarrow
\text{Formal Theory}
\rightarrow
\text{Model}
\rightarrow
\text{Representation}
\rightarrow
\text{Empirical Test}
\rightarrow
\text{Ontic Commitment}.
} Symbol → Formal Theory → Model → Representation → Empirical Test → Ontic Commitment . 每一箭頭都有自己的證明責任。
因此：
符號能算 ≠ 模型能代表 ≠ 模型與資料相容 ≠ 模型就是實在 . \boxed{
\text{符號能算}
\neq
\text{模型能代表}
\neq
\text{模型與資料相容}
\neq
\text{模型就是實在}.
} 符號能算 = 模型能代表 = 模型與資料相容 = 模型就是實在 . 這不是懷疑主義。
它只是把：
知道 \text{知道} 知道 拆成不同強度。
我們可以非常確定：
S 4 S^4 S 4 的數學性質，
同時誠實地說：
我們目前不知道宇宙是否真的以這個結構被實例化。
而這句「不知道」不是研究的終點。
它直接指向 A06：
如果很多高維形式模型都：
定義完整；
數學一致；
能產生相似低維世界；
與目前實驗相容；
那麼真正的最後問題就是：
我們到底是哪一個？ \boxed{
\text{我們到底是哪一個？}
} 我們到底是哪一個？ 參考文獻
van Fraassen, B. C. (1980). The Scientific Image . Oxford University Press. DOI: 10.1093/0198244274.001.0001.
Hacking, I. (1983). Representing and Intervening: Introductory Topics in the Philosophy of Natural Science . Cambridge University Press. DOI: 10.1017/CBO9780511814563.
Worrall, J. (1989). Structural Realism: The Best of Both Worlds? Dialectica , 43(1–2), 99–124. DOI: 10.1111/j.1746-8361.1989.tb00933.x.
Ladyman, J. (1998). What is Structural Realism? Studies in History and Philosophy of Science Part A , 29(3), 409–424.
Bueno, O. & Colyvan, M. (2011). An Inferential Conception of the Application of Mathematics. Noûs , 45(2), 345–374. DOI: 10.1111/j.1468-0068.2010.00772.x.
Pincock, C. (2012). Mathematics and Scientific Representation . Oxford University Press. DOI: 10.1093/acprof:oso/9780199757107.001.0001.
Frigg, R. & Nguyen, J. (2020). Modelling Nature: An Opinionated Introduction to Scientific Representation . Springer. DOI: 10.1007/978-3-030-45153-0.
Butterfield, J. (2019). On Dualities and Equivalences Between Physical Theories. Philosophy of Science , 86(5), 1006–1018.
Frigg, R. & Hartmann, S. (2025 revision). Models in Science. Stanford Encyclopedia of Philosophy .
Frigg, R. & Nguyen, J. (2026 revision). Scientific Representation. Stanford Encyclopedia of Philosophy .
Ladyman, J. (2023 revision). Structural Realism. Stanford Encyclopedia of Philosophy .
Neo.K (2026). 載體幾何與本體幾何——閉合性 Cl 的維度無關性與對人類視覺直觀的本體論去自然化 . v1.0.
Neo.K (2026). 人類其實看見 3D 嗎？ 載體幾何 2.0 A01.
Neo.K (2026). 平面為何能產生立體感？ 載體幾何 2.0 A02.
Neo.K (2026). 從 2.5D 到 4D：動態切片、投影與高維直觀的有限生成 . 載體幾何 2.0 A03.
Neo.K (2026). 五維之後：不是不能想，而是候選爆炸 . 載體幾何 2.0 A04.
系列接口
下一篇：
A06《高維逆問題：我們到底是哪一個？從相容宇宙到本體選擇》
將整合 A01–A05：
有限載體 → 低維表示 → 高維候選 → 相容纖維 → 本體映射債務 , \text{有限載體}
\rightarrow
\text{低維表示}
\rightarrow
\text{高維候選}
\rightarrow
\text{相容纖維}
\rightarrow
\text{本體映射債務}, 有限載體 → 低維表示 → 高維候選 → 相容纖維 → 本體映射債務 , 並正式追問：
如果多個高維模型都能生成我們， 什麼證據才有資格選出其中一個？ \boxed{
\text{如果多個高維模型都能生成我們，
什麼證據才有資格選出其中一個？}
} 如果多個高維模型都能生成我們， 什麼證據才有資格選出其中一個？