# 可達性宇宙論（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$ 的操作科學中，等價類內部的差異目前不具有可區分經驗內容。

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

1. **暫時不可分辨（transient indistinguishability）**：目前技術與資料不足，但存在原理可行的區分觀測；
2. **能力相對不可分辨（observer-relative indistinguishability）**：對 $A$ 不可分，但對某 $B$ 可分；
3. **原理操作等價（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？

若差異：

1. 對已知 observer family 不可分；
2. 對理論允許操作不產生任何不同；
3. 不改變 counterfactual trace；
4. 不改變 intervention result；
5. 沒有額外 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}.
}
$$

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

---

# 參考文獻

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