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