可達性宇宙論（B05）

存在、不可見與操作等價

當「有」與「沒有」無法被任何允許實驗分開

作者：Neo.K
機構：EveMissLab／一言諾科技有限公司
系列：Series B——可達性宇宙論：共址實在、正交扇區與觀察者邊界
版本：v0.1
日期：2026-08-30
理論定位：科學認識論 × 操作理論 × 量子基礎 × 本體論 × 可達性宇宙論

摘要

前四篇已將「世界」「隔離」「可見性」逐步從人類中心的空間直觀中抽離。B01 建立世界分離與空間分離的非同一性；B02 區分共享 source、renderer、effective dynamics 與真正分岔歷史；B03 將 Hilbert 正交、動力隔離、superselection、decoherence、因果隔離與弱耦合分離；B04 則把觀察者正式寫入可達性模型，允許：

x_1\sim_Ax_2

而：

x_1\not\sim_Bx_2.

本篇處理 Series B 最尖銳的認識論邊界：

\boxed{ X \sim_A \neg X. }

這句不是：

X=\neg X.

它的意思是：在觀察者 $A$ 所有合法準備、測量、干預與資料處理程序下，「存在 $X$ 」與「不存在 $X$ 」產生完全相同的操作結果。兩個本體命題可以語義上互斥，卻在指定操作理論中不可分辨。

本文因此建立「操作等價（operational equivalence）」與「本體差異（ontic difference）」的嚴格分離：

\boxed{ \text{Ontic Difference} \not\Rightarrow \text{Operational Difference}. }

同時也保留反向限制：

\boxed{ \text{Operational Equivalence} \not\Rightarrow \text{Proven Ontic Identity}. }

Spekkens 型 operational framework 提供了一個成熟鄰居：若兩個 preparation procedures 對所有允許 measurements 都給出相同 outcome statistics，則它們 operationally equivalent；但不同 ontological model 是否應將這些程序表示成相同 ontic state，正是 contextuality / noncontextuality 問題的一部分。因此，「操作上相同」與「本體上相同」本來就不是自動等號。

本文將候選實在狀態集合 $\mathcal R$ 對觀察者 $A$ 的操作等價關係 quotient：

\boxed{ \mathcal R_A^{\mathrm{op}} = \mathcal R/\sim_A. }

$\mathcal R_A^{\mathrm{op}}$ 不是宣稱真正宇宙只有這些等價類，而是表示：在 $A$ 的操作科學中，等價類內部的差異目前不具有可區分經驗內容。

本文進一步區分三種不可分辨：

暫時不可分辨（transient indistinguishability）：目前技術與資料不足，但存在原理可行的區分觀測；
能力相對不可分辨（observer-relative indistinguishability）：對 $A$ 不可分，但對某 $B$ 可分；
原理操作等價（principled operational equivalence）：對指定理論中所有物理允許 observation / intervention 都不可分。

只有第三種才接近「在操作科學中幾乎等於不存在」的強版本。然而，即使如此，也不能由此邏輯推出不存在；最多能說：將其加入或刪除不改變該操作理論的任何可檢驗內容。

本文提出「操作空洞差異（Operationally Null Difference, OND）」：若兩候選本體描述 $H_1,H_2$ 的差異 $\Delta_{\mathrm{ont}}$ 對所有允許實驗都映射為零：

\Phi_A(\Delta_{\mathrm{ont}}) = 0,

則該差異對 $A$ 的操作科學為 null。其科學處理有三種可能：

quotient 掉，視為同一操作等價類；
保留為 metaphysical alternatives，但不得重複計入可觀測自由度；
若存在尚未排除的新觀察者／新介面，標記為「暫未解的隱藏差異」。

本文以三類現有鄰居檢驗此框架。第一，科學哲學中的 empirically equivalent theories 長期展示「不同理論可共享全部經驗後果」的可能性；2026 年相關討論仍區分 temporary 與 permanent underdetermination。第二，量子 contextuality 的 operational equivalence 明確區分實驗程序的統計不可分與 ontological representation。第三，2026 年對 geometric trinity of gravity 的研究再次顯示：GR、TEGR 與 STEGR 可以用曲率、扭率、非度量等不同幾何結構描述等價重力動力，因而迫使我們問「哪一種幾何結構應被字面實在化」。

本文最後提出可達性宇宙論的停止規則：

\boxed{ \text{若差異可被區分，就研究差異；} }

\boxed{ \text{若目前不可區分，就標記 unknown；} }

\boxed{ \text{若原理上操作等價，就在物理預測層 quotient，} }

但保留「操作 quotient 不等於本體證明」的警告。

因此，「等於不存在，又仍可能存在」的精確版本是：

\boxed{ \text{Operationally null} \neq \text{Ontologically false}. }

下一篇 B06 將把 Series B 收束成一套「不知道就是不知道」的方法論，並處理自由意志、宿命論、不可越界與形而上學候選何時應停止消耗物理理論資源。

關鍵詞： operational equivalence、empirical equivalence、underdetermination、contextuality、quotient ontology、indistinguishability、scientific realism、metaphysical underdetermination、可達性宇宙論

1. 問題：如何讓「等於不存在，又不等於不存在」不變成矛盾？

日常語言可能說：

如果一個東西永遠無法影響我們，也永遠無法被我們看到，那它對我們來說就等於不存在。

接著又說：

但它還是可能真的存在。

看似得到：

X=\neg X.

這當然是錯的。

真正需要的是把：

\boxed{ \text{本體語義} }

與：

\boxed{ \text{操作語義} }

分開。

2. 本體差異

假設兩個世界模型：

H_X

與：

H_{\neg X}.

其中：

H_X\models X

而：

H_{\neg X}\models\neg X.

因此：

\boxed{ H_X\neq H_{\neg X} }

在本體／理論語義上成立。

這裡沒有任何矛盾。

3. 操作結果可以完全相同

設觀察者 $A$ 的允許實驗集合：

\mathcal E_A.

結果空間：

\mathcal O_A.

若：

\forall e\in\mathcal E_A, \quad P_A(o\mid e,H_X) = P_A(o\mid e,H_{\neg X})

對所有：

o\in\mathcal O_A

成立，

則定義：

\boxed{ H_X \sim_A H_{\neg X}. }

因此：

\boxed{ X \sim_A \neg X. }

4. 等價的是操作像，不是命題本身

定義操作映射：

\Phi_A: \mathcal H \rightarrow \mathcal P_A,

其中：

\mathcal P_A

是所有合法 procedure 下的 outcome probability family。

若：

\Phi_A(H_X) = \Phi_A(H_{\neg X}),

則：

H_X\sim_AH_{\neg X}.

所以真正相同的是：

\boxed{ \Phi_A(H_X) = \Phi_A(H_{\neg X}), }

不是：

H_X=H_{\neg X}.

5. Operational Equivalence 的成熟鄰居

在 operational theory 中，可以把：

preparation；
transformation；
measurement；

當作實驗程序。

若兩個 preparations：

P_1,P_2

對所有 measurements：

M

都滿足：

p(k\mid M,P_1) = p(k\mid M,P_2),

則稱：

\boxed{ P_1 \simeq_{\mathrm{op}} P_2. }

這是一個成熟而清楚的「操作不可分辨」概念。

6. Operational Equivalence 不要求物理實作相同

兩個 procedure 可以：

實驗裝置不同；
preparation history 不同；
microscopic implementation 不同；

卻在允許測量下給出完全相同統計。

因此：

\boxed{ \text{operational equivalence} \not\Rightarrow \text{implementation identity}. }

這正是 B05 所需要的一般結構。

7. Contextuality 顯示本體表示未必跟操作等價一起 collapse

Spekkens generalized contextuality 的一個核心問題是：

operationally equivalent procedures 是否應在 ontological model 中具有相同 representation？

若一個 ontological model 要求：

P_1\simeq_{\mathrm{op}}P_2 \Rightarrow \mu(\lambda\mid P_1) = \mu(\lambda\mid P_2),

則是 preparation noncontextuality 的一部分。

但 quantum phenomena 使這類 noncontextual representation 面臨 no-go constraints。

這說明：

\boxed{ \text{operational equivalence} }

與：

\boxed{ \text{ontological representation equivalence} }

本來就是需要額外理論條件連接的兩層。

8. 因此不能直接套 Leibniz identity

直覺上可能使用：

無法區分的東西就應該視為同一。

這是一條非常有力量的方法論剃刀。

但：

\boxed{ \text{indiscernibility under current operations} }

不一定等於：

\boxed{ \text{identity in all possible ontology}. }

因此本文只把它當：

\boxed{ \text{operational quotient rule}. }

不是無條件本體定理。

9. 操作 quotient

定義等價類：

[x]_A = \left\{ y\in\mathcal R: y\sim_Ax \right\}.

則：

\boxed{ \mathcal R_A^{\mathrm{op}} = \mathcal R/\sim_A. }

這表示：

對觀察者 $A$ 的操作理論而言，可被物理區分的最小單位是等價類，而不是類內每個候選狀態。

10. Quotient 不等於宣稱類內只有一個本體狀態

如果：

[x]_A = \{x_1,x_2,x_3\},

操作科學可以把它們作為：

[x]_A

處理。

但這不代表已證明：

x_1=x_2=x_3.

所以：

\boxed{ \text{operational quotient} \neq \text{ontic collapse}. }

11. 為什麼 quotient 有科學價值？

假設：

x_1,x_2

永遠給出同樣可操作結果。

如果理論每次計算都把兩者當兩個獨立可觀測自由度，

會造成：

重複計數；
虛假的預測差異；
不必要參數；
不可驗證 ontology burden。

因此 quotient 可以降低：

\boxed{ \text{operational redundancy}. }

12. 第一類：暫時不可分辨

如果目前：

x_1\sim_{A_t}x_2,

但已知存在未來可行 observer：

A_{t+1}

使：

x_1\not\sim_{A_{t+1}}x_2,

則這是：

\boxed{ \text{Transient Indistinguishability}. }

不能太早 quotient 成永久物理同一。

13. 第二類：觀察者相對不可分辨

可能：

x_1\sim_Ax_2

但：

x_1\not\sim_Bx_2.

這只是：

\boxed{ \text{Observer-Relative Indistinguishability}. }

B04 已經正式建立此結構。

所以 quotient 必須帶 observer family：

\mathcal R/\sim_A.

14. 第三類：原理操作等價

最強版本是：

\forall A\in\mathfrak O_{\mathrm{phys}},

\forall e\in\mathcal E_A,

都有：

P_A(o\mid e,H_1) = P_A(o\mid e,H_2).

則定義：

\boxed{ H_1 \sim_{\mathrm{phys}} H_2. }

這才接近：

沒有任何物理允許實驗可以區分它們。

15. 這個「所有物理允許觀察者」本身很難證明

要宣稱：

H_1\sim_{\mathrm{phys}}H_2

需要知道：

\mathfrak O_{\mathrm{phys}}

與：

\mathcal E_{\mathrm{phys}}

的完整邊界。

這通常非常困難。

因此科學實務中更常見的是：

\boxed{ \text{no known discriminating experiment}. }

而不是：

\boxed{ \text{proof that no possible experiment exists}. }

16. 暫時 underdetermination 與永久 underdetermination

如果競爭理論目前資料都能解釋，

但未來仍可能有：

Z

區分它們，

稱為暫時／transient underdetermination。

若：

\forall Z_{\mathrm{phys}},

兩者都給出相同結果，

才是強的永久 empirically equivalent 情況。

因此：

\boxed{ \text{underdetermined now} \not\Rightarrow \text{underdetermined forever}. }

17. 2026 年科學哲學仍在處理這條界線

近年的 underdetermination 文獻仍明確區分：

temporary empirical non-discrimination；
permanent empirical equivalence；
theoretical virtues 是否能在 evidence 相同時提供選擇理由。

因此 B05 並不是把一個已解問題重新命名。

它是在把這個問題嵌入可達性宇宙論的 observer-relative framework。

18. Empirically equivalent theories

若：

T_1\neq T_2

但：

\operatorname{Emp}(T_1) = \operatorname{Emp}(T_2),

則：

\boxed{ T_1 \simeq_{\mathrm{emp}} T_2. }

此時所有純經驗資料都無法單獨選擇其中一個。

19. 但理論美德仍可能不同

兩個 empirically equivalent theories 可以在：

simplicity；
unification；
calculational tractability；
explanatory structure；
ontology economy；

上不同。

這些可以是理性選擇因素。

但：

\boxed{ \text{theoretical virtue preference} \neq \text{empirical ontic discrimination}. }

選擇比較好用的理論，不等於測到它的 ontology。

20. Geometric Trinity of Gravity：一個很好的案例

現代重力理論中：

GR, \quad TEGR, \quad STEGR

可以分別以：

curvature；
torsion；
nonmetricity；

建立等價重力動力描述。

若它們在相關物理內容上保持經驗／動力等價，

那麼：

\boxed{ \text{gravitational observations} }

並不輕易決定：

curvature、torsion、nonmetricity 哪一個必須被字面視為唯一基礎 ontology。

21. 但 geometric trinity 也可能只是表示冗餘，而非三個世界

這裡必須非常小心。

如果：

GR \simeq TEGR \simeq STEGR

最終被證明是同一物理結構的不同 formulation，

則正確處理可能是：

\boxed{ \text{quotient representational redundancy}. }

而不是：

三個不同宇宙永遠無法選。

所以 B05 的核心問題不是偏好「多 ontology」，

而是：

\boxed{ \text{如何判斷差異是物理、本體，還是表示？} }

22. 操作空洞差異 OND

本文定義：

\Delta_{\mathrm{ont}} = H_1-H_2

作為概念性的本體差異。

若：

\Phi_A(\Delta_{\mathrm{ont}}) = 0,

則稱：

\boxed{ \Delta_{\mathrm{ont}} }

對 $A$ 是：

\boxed{ \text{Operationally Null Difference}. }

簡寫：

OND_A.

23. OND 不表示邏輯零

OND_A(\Delta)=1

只表示：

\Delta

不會改變 $A$ 的任何合法 operation outcome。

它不是：

\Delta=0

的數學或本體證明。

因此：

\boxed{ \text{Operational Nullity} \neq \text{Ontic Nullity}. }

24. 何時應該 quotient？

若差異：

對已知 observer family 不可分；
對理論允許操作不產生任何不同；
不改變 counterfactual trace；
不改變 intervention result；
沒有額外 explanatory work；

則在物理預測層：

\boxed{ \text{quotienting is methodologically justified}. }

25. 何時不應太早 quotient？

如果：

新 sensor 可能打開差異；
目前 observer family 不完整；
high-energy regime 未探索；
未來 intervention 可能不同；
差異對其他理論接口有後果；

則應保留：

\boxed{ \text{latent candidate distinction}. }

不能因「目前看不到」就永遠合併。

26. 科學理論中的三種地位

對候選 $X$ ，可以標記：

Active Physical Variable

有可區分經驗後果。

Dormant / Latent Candidate

目前不可區分，但仍有原理可行的識別路徑。

Metaphysical Alternative

在指定物理操作域中完全等價，沒有額外經驗後果。

這種分類比：

\text{true / false}

二分更適合認識論管理。

27. 「幾乎等於不存在」的精確版本

若：

X \sim_A \neg X,

則對任何 $A$ 的物理預測：

P_A(o\mid X) = P_A(o\mid\neg X).

因此：

\boxed{ X }

在 $A$ 的 prediction space 中可以被刪除而不改變任何結果。

也就是：

\boxed{ \text{Operationally dispensable}_A(X). }

這就是「對我而言等於不存在」最精確的版本。

28. 但「operationally dispensable」不是「ontologically false」

即使：

X

可從 prediction model 刪除，

仍不推出：

\neg X.

所以：

\boxed{ \text{Operationally dispensable} \not\Rightarrow \text{Ontologically nonexistent}. }

這就是第二半。

29. 本體負擔與可檢驗收益

設：

B_{\mathrm{ont}}(X)

為引入 $X$ 的本體負擔，

G_{\mathrm{emp}}(X)

為新增可檢驗收益。

若：

G_{\mathrm{emp}}(X)=0

而：

B_{\mathrm{ont}}(X)>0,

則 $X$ 在物理理論核心中缺乏必要性。

這不是證明 $X$ 不存在，

而是：

\boxed{ \text{physics need not pay for unused ontology}. }

30. 這和 Occam 有關，但更具操作性

Occam's razor：

不必要地不要增加實體。

B05 更具體地問：

\boxed{ \text{這個實體有沒有增加任何可區分預測？} }

若沒有，

可以優先留在：

\text{metaphysical layer}

而非：

\text{predictive core}.

31. 不可檢驗不等於無意義

一個操作上無差異的命題仍可能具有：

metaphysical interest；
conceptual value；
mathematical elegance；
ethical / theological relevance；
future heuristic value。

因此：

\boxed{ \text{scientifically non-discriminating} \not\Rightarrow \text{meaningless}. }

只是其知識類型不同。

32. 物理理論與形而上學可以和平共存

可以建立兩層：

\boxed{ \mathcal T_{\mathrm{physics}} }

只保留可操作差異，

而：

\boxed{ \mathcal M_{\mathrm{meta}} }

保存更多本體候選。

二者之間：

\mathcal M_{\mathrm{meta}} \rightarrow \mathcal T_{\mathrm{physics}}

經 operational quotient 投影。

因此：

\boxed{ \text{metaphysical richness} \neq \text{predictive complexity}. }

33. 如果未來差異重新可測？

若新 observer：

B

使：

H_1\not\sim_BH_2,

則原本：

[H]_A

會被 refinement 成：

[H_1]_B, \quad [H_2]_B.

所以 quotient 不是永遠不能翻案。

它可以是：

\boxed{ \text{observer- and epoch-relative effective quotient}. }

34. 科學史就是 equivalence classes 不斷被細分的歷史之一

某些現象在早期 observer 下同類，

後來經：

spectroscopy；
microscopy；
particle detection；
genomics；
radio astronomy；

被分解成更多不同狀態。

因此：

\boxed{ \sim_{A_t} }

可以隨文明觀測能力變細。

35. 但也有反方向：不同理論最後被證明等價

另一種科學進展是：

原本以為：

H_1\neq H_2

代表不同物理，

後來發現存在：

\mathcal D: H_1 \leftrightarrow H_2

保持所有物理結構。

此時：

\boxed{ \text{theory space itself should be quotiented}. }

這是 duality / gauge / equivalent formulation 帶來的另一種收斂。

36. 所以科學有兩種 quotient

Observer Quotient

\mathcal R/\sim_A.

由觀察能力造成。

Representation Quotient

\mathcal H/\sim_{\mathrm{rep}}.

由理論表示冗餘造成。

兩者不能混在一起。

37. 原理不可知的最強形式

設所有物理可行 observer family：

\mathfrak O_{\mathrm{phys}}

與操作集合：

\mathfrak E_{\mathrm{phys}}.

如果：

\forall A\in\mathfrak O_{\mathrm{phys}},

\forall e\in\mathfrak E_{\mathrm{phys}},

都有：

P_A(o\mid H_1,e) = P_A(o\mid H_2,e),

則：

\boxed{ H_1 \sim_{\mathrm{absolute-op}} H_2. }

這是本文可定義的最強操作等價。

38. 但我們很難知道自己已經量化了「所有可能 observer」

所以現實中：

\boxed{ H_1 \sim_{\mathrm{absolute-op}} H_2 }

非常難被正面證明。

更常見的科學陳述應是：

\boxed{ \text{No known physically admissible discriminator}. }

這也是為什麼「不知道」如此重要。

39. 永久 underdetermination 的現代討論

2026 年科學哲學仍在分析：

某些 cosmological theories 是否可能因所有可取得 observables 都無法區分，而形成 permanent underdetermination。

這說明 B05 的「原理操作等價」不是純粹語言遊戲。

特別在 cosmology 中，單一宇宙、有限 horizon、早期宇宙不可重做等條件，使某些識別問題比一般實驗室科學更尖銳。

40. 物理實在論仍可以很強

B05 不要求：

既然永遠可能有等價理論，所以什麼都不要相信。

相反地：

若某結構在：

多理論；
多表示；
多觀測；
多尺度；

中反覆保持，

則可以對其採取：

\boxed{ \text{invariant-targeted realism}. }

只是不要超額承諾到操作證據無法支持的細節。

41. 對可達性宇宙論本身的自我約束

假設 B01–B04 提出：

存在另一共基底 sector。

如果該 sector 被定義成：

C_{AB}=0

而且：

\forall e, \quad P(o\mid e,B) = P(o\mid e,\neg B),

那麼 B05 要求：

\boxed{ \text{不要把 }B \text{ 放入可檢驗物理核心。} }

它可以保留成：

\boxed{ \text{metaphysical / heuristic candidate}. }

這是系列自身的防失控規則。

42. 如果 coupling 不是零，情況完全不同

若：

C_{AB}\neq0,

則理論必須尋找：

Z

使：

P(Z\mid B) \neq P(Z\mid\neg B).

此時：

B

重新進入：

\boxed{ \text{empirical physics}. }

所以 Series B 的真正分界不是：

聽起來像不像科幻。

而是：

\boxed{ \text{Does it make a discriminating difference?} }

43. 自由意志與宿命論只先放在結構類比層

如果兩套形而上學：

F

與：

D

對一個主體所有可能經驗、預測與選擇行為都給出完全相同操作結果，

則對該操作框架：

F\sim_{\mathrm{op}}D.

但這不證明兩個形而上學命題本體上相同。

因此自由意志／宿命論可以作為 B05/B06 的結構類比，

但不應在本篇被宣稱為已解問題。

44. 科學停止規則

本文提出：

Rule 1：可區分

如果：

\exists e: P(o\mid e,H_1) \neq P(o\mid e,H_2),

則：

\boxed{ \text{研究並設計區分實驗}. }

Rule 2：目前不可區分

如果尚未找到 discriminator：

\boxed{ \text{標記 unknown / underdetermined}. }

Rule 3：已證操作等價

若在指定操作理論中：

H_1\sim_{\mathrm{op}}H_2,

則：

\boxed{ \text{在預測層 quotient}. }

Rule 4：不要把 quotient 偷換成本體同一

始終保留：

\boxed{ \text{operational equivalence} \not\Rightarrow \text{proven ontic identity}. }

45. 核心命題

B05-1：本體差異非操作差異

\boxed{ \text{Ontic Difference} \not\Rightarrow \text{Operational Difference}. }

B05-2：操作等價非本體同一

\boxed{ H_1\sim_AH_2 \not\Rightarrow H_1=H_2. }

B05-3：暫時不可分非永久不可分

\boxed{ H_1\sim_{A_t}H_2 \not\Rightarrow H_1\sim_{A_{t+1}}H_2. }

B05-4：操作空洞差異可從物理預測核心 quotient

若：

\Phi_A(\Delta_{\mathrm{ont}})=0,

則該差異在 $A$ 的 prediction layer 可視為：

\boxed{ OND_A. }

B05-5：操作可刪除非本體不存在

\boxed{ \text{Operationally Dispensable} \not\Rightarrow \text{Ontologically Nonexistent}. }

B05-6：不可檢驗非無意義

\boxed{ \text{No empirical discriminator} \not\Rightarrow \text{No conceptual meaning}. }

46. 方法論限制

本文不主張：

所有 empirically equivalent theories 都代表不同本體；
所有 operation-equivalent descriptions 都只是記號差異；
無法驗證的命題一定是假的；
無法驗證的命題應全部禁止討論；
永久 underdetermination 已被證明普遍存在；
科學只能談 observable，不能談 unobservable。

本文只要求：

\boxed{ \text{本體語義、經驗語義與操作語義必須分層。} }

47. 結論

「等於不存在，又仍然可能存在」的精確版本不是：

X=\neg X.

而是：

\boxed{ X \sim_A \neg X. }

也就是：

\boxed{ \Phi_A(H_X) = \Phi_A(H_{\neg X}), }

即對觀察者 $A$ 的所有合法操作而言，兩個本體候選產生同一操作像。

因此：

\boxed{ \text{Operationally Null} \neq \text{Ontologically False}. }

如果差異在所有預測中都為零，

物理理論可以使用：

\boxed{ \mathcal R/\sim_A }

降低冗餘。

如果差異仍可能被新 observer 或新 experiment 打開，

則保留：

\boxed{ \text{latent distinction}. }

如果差異被證明在所有物理可行操作下永遠不可分，

則它可以保留在：

\boxed{ \text{metaphysical candidate layer}, }

但不應要求物理理論為它支付額外可預測複雜度。

所以真正成熟的答案不是：

存在。

也不是：

不存在。

而是：

\boxed{ \text{目前可區分到哪一層，就只承諾到哪一層。} }

這是 B05 的停止點。

下一篇 B06 將完成 Series B，正式建立：

\boxed{ \text{Unknown} \neq \text{False}, }

\boxed{ \text{Unknown} \neq \text{True}, }

以及：

\boxed{ \text{Operationally Irrelevant Now} \neq \text{Ontologically Impossible}. }

並把「不知道就先不知道」提升成可達性宇宙論的完整方法論。

參考文獻

van Fraassen, B. C. (1980). The Scientific Image. Oxford University Press.
Spekkens, R. W. (2005). Contextuality for preparations, transformations, and unsharp measurements. Physical Review A, 71, 052108. DOI: 10.1103/PhysRevA.71.052108.
Pusey, M. F. (2018). Robust preparation noncontextuality inequalities in the simplest scenario. Physical Review A, 98, 022112. DOI: 10.1103/PhysRevA.98.022112.
Pusey, M. F., del Rio, L. & Meyer, B. (2020). Contextuality without access to a tomographically complete set. Physical Review Letters, 125, 090401.
Stanford, K. (2025 archive). Underdetermination of Scientific Theory. Stanford Encyclopedia of Philosophy.
Tulodziecki, D. (2025). Underdetermination and Theoretical Virtues. Cambridge University Press.
Stanford, P. K. (2026). The limits of virtue(s): underdetermination beyond empirical equivalence. Metascience, 35, Article 6.
Read, J. & Wolf, W. (2026). Clarifying coincident general relativity. Philosophy of Science. Published online 22 May 2026.
[2026]. Is the Geometric Trinity of Gravity a Genuine Case of Underdetermination? Philosophy of Science. Cambridge University Press.
[2026]. Navigating Permanent Underdetermination in Dark Energy and Inflationary Cosmology. Philosophy of Physics.
Pearl, J. (2009). Causality (2nd ed.). Cambridge University Press.
Neo.K (2026). 可達性宇宙論 B01：世界不一定隔著距離.
Neo.K (2026). 可達性宇宙論 B02：同一宇宙，多個世界編譯器.
Neo.K (2026). 可達性宇宙論 B03：正交扇區與隔離計算狀態.
Neo.K (2026). 可達性宇宙論 B04：不是人類看不到.

下一篇接口

B06《不知道就是不知道：可達性宇宙論的停止規則與開放本體》

將完成 Series B，處理：

temporary vs principled unknowability；
operational equivalence；
metaphysical candidate management；
freedom / determinism 作為結構類比；
scientific stopping rule；
technological reopening of boundaries；
如何避免「什麼都有可能」與「看不到就不存在」兩個極端。

核心：

\boxed{ \text{Unknown} \neq \text{False} \neq \text{True}. }