# 可達性宇宙論（B06）
## 不知道就是不知道
### 可達性宇宙論的停止規則、重啟條件與開放本體

**作者：Neo.K**  
**機構：EveMissLab／一言諾科技有限公司**  
**系列：Series B——可達性宇宙論：共址實在、正交扇區與觀察者邊界**  
**版本：v0.1**  
**日期：2026-08-31**  
**理論定位：科學認識論 × 宇宙論 × 操作理論 × 觀察者理論 × 開放本體論**

---

## 摘要

Series B 前五篇逐步將「世界」「隔離」「可見性」「存在」從人類直觀中拆解。B01 建立世界分離與空間分離的非同一性；B02 區分共享 source、seed、renderer、effective dynamics 與真正分岔歷史；B03 將狀態正交、動力隔離、superselection、decoherence、弱耦合與操作不可達性分離；B04 將觀察者寫成帶有 coupling、measurement、calibration、representation、inference 與 action 的完整接口；B05 則建立：

$$
X\sim_A\neg X
$$

作為「本體不同、操作等價」的嚴格形式。

Series B 的最後問題不是再提出一個新的宇宙模型，而是回答：

$$
\boxed{
\text{當證據不足時，科學應該如何正確地停下來？}
}
$$

本文核心命題為：

$$
\boxed{
\text{Unknown}
\neq
\text{False},
}
$$

$$
\boxed{
\text{Unknown}
\neq
\text{True},
}
$$

以及：

$$
\boxed{
\text{Operationally Irrelevant Now}
\neq
\text{Ontologically Impossible}.
}
$$

本文特別區分「本體真值」與「認識狀態」。若命題 $H$ 在傳統語義中具有真值：

$$
\tau(H)\in\{0,1\},
$$

觀察者 $A$ 在時間 $t$ 對它的認識狀態則可為：

$$
\kappa_{A,t}(H)
\in
\{
\text{supported},
\text{disfavored},
\text{unresolved},
\text{deferred},
\text{operationally\_quotiented}
\}.
$$

因此：

$$
\kappa_{A,t}(H)=\text{unresolved}
$$

並不代表：

$$
\tau(H)=\frac12
$$

或世界同時真與假；它只表示現有證據尚不足以合理選邊。

本文進一步定義「區分器集合」：

$$
\mathfrak D_{A,t}(H_1,H_2)
=
\left\{
e\in\mathcal E_{A,t}:
D
\left[
P(o\mid e,H_1),
P(o\mid e,H_2)
\right]
>
\delta_{A,t}
\right\},
$$

其中 $\delta_{A,t}$ 為指定觀察者在當前能力下的可辨識閾值。此集合提供完整研究分流：

- 若 $\mathfrak D_{A,t}\neq\varnothing$ 且有可行實驗，則進入 active discrimination；
- 若理論上有區分器但目前不可實現，則標記 capability-deferred；
- 若尚不知道是否存在區分器，則標記 unresolved；
- 若在指定操作理論中已證明 $\mathfrak D_{A,t}=\varnothing$，則在 prediction layer quotient；
- 若對所有物理可行 observer 與 experiment 均證明不存在區分器，才接近 principled operational equivalence。

本文以 cosmological underdetermination 作為強鄰居。Manchak 對 observationally indistinguishable spacetimes 的結果顯示，即使固定廣義相對論，局部／可觀測資料仍可能無法決定完整 global spacetime structure；相關結果本身亦持續受到「physical reasonableness」條件的哲學爭論。2025–2026 年的 cosmology 文獻更直接討論 inflation、dark matter、dark energy 的 microphysical nature 是否面臨 permanent underdetermination。這顯示「不知道」有時不是研究者不夠聰明，而可能來自單一宇宙、causal horizon、energy scale 與可觀測結構的限制。

本文同時拒絕兩個極端。第一個是「封閉式否定」：

$$
\text{unobserved}
\Rightarrow
\text{nonexistent}.
$$

第二個是「可能性膨脹」：

$$
\text{not ruled out}
\Rightarrow
\text{physically admissible as if supported}.
$$

前者把目前可達性誤作本體邊界；後者則把缺乏反證誤作正證據。本文提出中間原則：

$$
\boxed{
\text{Not Ruled Out}
\neq
\text{Supported}.
}
$$

此外，「absence of evidence」也不總是沒有證據價值。若某假說 $H$ 在已完成、已校準且具有高 detection power 的實驗 $e$ 中強烈預測可見訊號，而實際得到 null result，則：

$$
P(\varnothing\mid H,e)
\ll
P(\varnothing\mid\neg H,e)
$$

可以成為真正的 evidence of absence。真正需要的是已知 detector power，而不是一句「沒看到」。

本文最後提出「可達性宇宙論科學狀態機」：

$$
\boxed{
\text{ACTIVE}
\rightarrow
\text{UNRESOLVED}
\rightarrow
\text{DEFERRED}
\rightarrow
\text{QUOTIENTED}
\rightarrow
\text{META-OPEN}.
}
$$

並允許任何非終局狀態在新 sensor、新 AI、新能量尺度、新 coupling、新理論預測或 calibration 改進出現後重新進入 ACTIVE。

Series B 因此最終不是一套「平行宇宙是真的」理論，而是一套處理未知世界、未知扇區與觀察者邊界的方法論。它允許開放本體，但要求所有物理承諾隨可區分證據調整。

**關鍵詞：** unknown、scientific stopping rule、underdetermination、operational equivalence、observational indistinguishability、open ontology、epistemic status、cosmology、observer-relative accessibility

---

# 1. Series B 最後不是回答「有沒有另一個世界」

Series B 若最後只留下：

> 也許有別的世界。

那麼整個系列其實沒有完成。

真正需要的是一套規則，回答：

1. 什麼時候一個世界候選可以進入物理研究？
2. 什麼時候只能標記未知？
3. 什麼時候應暫停資源投入？
4. 什麼時候應把候選 quotient？
5. 什麼條件出現後應重新打開研究？

因此 B06 的主題是：

$$
\boxed{
\text{epistemic state management}.
}
$$

---

# 2. 真值與知識狀態必須分開

假設命題：

$$
H
$$

本身具有傳統本體真值：

$$
\boxed{
\tau(H)\in\{0,1\}.
}
$$

這表示在 classical semantic picture 中：

$$
H
$$

要麼真，要麼假。

但 observer $A$ 不一定知道：

$$
\tau(H).
$$

所以定義：

$$
\boxed{
\kappa_{A,t}(H)
}
$$

作為 observer $A$ 在時間 $t$ 的認識狀態。

---

# 3. Unknown 不是第三個本體真值

如果：

$$
\kappa_{A,t}(H)
=
\text{unresolved},
$$

這不是：

$$
\tau(H)=\frac12.
$$

也不是：

$$
H\wedge\neg H.
$$

而只是：

$$
\boxed{
\text{evidence available to }A
\text{ does not yet warrant commitment}.
}
$$

因此：

$$
\boxed{
\text{Epistemic Uncertainty}
\neq
\text{Ontic Indeterminacy}.
}
$$

除非另有物理理論證明本體本身具有非 classical truth structure。

---

# 4. 最低限度的認識狀態集合

本文定義：

$$
\kappa_{A,t}(H)
\in
\mathcal K,
$$

其中：

$$
\mathcal K
=
\{
S,
D,
U,
F,
Q,
M
\}.
$$

分別代表：

- $S$：Supported；
- $D$：Disfavored；
- $U$：Unresolved；
- $F$：Capability-Deferred；
- $Q$：Operationally Quotiented；
- $M$：Meta-Open。

這些是研究狀態，不是宇宙額外增加的六種真值。

---

# 5. 認識狀態可以轉移

$$
\kappa_{A,t}(H)
$$

可以隨時間改變。

例如：

$$
U\rightarrow S,
$$

$$
U\rightarrow D,
$$

$$
F\rightarrow S,
$$

$$
Q\rightarrow U
$$

都可能在新證據或 observer capability 出現後成立。

所以：

$$
\boxed{
\text{epistemic status is stateful and revisable}.
}
$$

---

# 6. 區分器集合

對：

$$
H_1,H_2,
$$

觀察者 $A$ 在時間 $t$ 可執行實驗：

$$
\mathcal E_{A,t}.
$$

定義：

$$
\boxed{
\mathfrak D_{A,t}(H_1,H_2)
=
\left\{
e\in\mathcal E_{A,t}:
D
\left[
P(o\mid e,H_1),
P(o\mid e,H_2)
\right]
>
\delta_{A,t}
\right\}.
}
$$

 $D$ 是 outcome distribution distance，而 $\delta_{A,t}$ 是可辨識閾值。

---

# 7. 區分器存在就繼續研究

若：

$$
\mathfrak D_{A,t}(H_1,H_2)\neq\varnothing
$$

且有實際可執行的：

$$
e^\star,
$$

研究狀態應是：

$$
\boxed{
\text{ACTIVE}.
}
$$

下一步是：

$$
\boxed{
\text{perform the discriminating test}.
}
$$

---

# 8. 理論上可測、目前做不到

若區分器：

$$
e^\star
$$

需要更高能量、更高解析度、更長基線、更低噪聲或尚不存在的 detector，則：

$$
\boxed{
\kappa=F
=
\text{Capability-Deferred}.
}
$$

這不是 False。

研究任務會變成：

$$
\boxed{
\text{build the discriminator}.
}
$$

---

# 9. 不知道有沒有區分器

若既沒有已知：

$$
e^\star,
$$

也沒有證明：

$$
\mathfrak D=\varnothing,
$$

則只能標記：

$$
\boxed{
\kappa=U
=
\text{Unresolved}.
}
$$

這是「不知道就是不知道」最核心的情況。

---

# 10. 當前操作域確實沒有區分器

若已建立：

$$
\mathfrak D_{A,t}(H_1,H_2)
=
\varnothing,
$$

則：

$$
H_1\sim_{A,t}H_2.
$$

prediction layer 可以使用：

$$
\boxed{
[H]_{A,t}.
}
$$

但：

$$
\boxed{
\text{operational quotient}
\neq
\text{ontic verdict}.
}
$$

---

# 11. Meta-Open

如果候選 $H$：

- 無可區分預測；
- 無物理 bridge；
- 無 coupling proposal；
- 無已知 instrument path；
- 無可計算識別收益；

則可以標記：

$$
\boxed{
\kappa=M
=
\text{Meta-Open}.
}
$$

它仍可被哲學、數學、神學或思想實驗討論，但不應偽裝成與可測物理理論相同的證據狀態。

---

# 12. 沒被排除不等於被支持

錯誤推理：

$$
\neg(\text{refuted})
\Rightarrow
\text{supported}.
$$

不成立。

因此：

$$
\boxed{
\text{Not Ruled Out}
\neq
\text{Supported}.
}
$$

---

# 13. 沒看到也不總是毫無證據價值

若 $H$ 強烈預測某實驗：

$$
e
$$

應看到 signal，而真正得到 null result：

$$
D=0,
$$

若：

$$
P(D=0\mid H,e)
\ll
P(D=0\mid\neg H,e),
$$

則 non-detection 會降低 $H$ 的支持度。

因此「absence of evidence」的證據力取決於：

$$
\boxed{
\text{detection power}.
}
$$

---

# 14. Silence 何時變成 evidence of absence？

真正需要問：

$$
\boxed{
\text{如果 }H\text{ 為真，我們本來應該看到什麼？}
}
$$

若 detector 明顯沒有能力看到預測訊號，沒有看到幾乎沒有排除力。

若 detector 已具有高 sensitivity，null result 才能構成強反證。

---

# 15. 未知可以被畫成 parameter space

對參數：

$$
\theta,
$$

實驗可以形成：

$$
\Theta_{\mathrm{allowed}}
$$

以及：

$$
\Theta_{\mathrm{excluded}}.
$$

但：

$$
\boxed{
\theta\in\Theta_{\mathrm{allowed}}
\not\Rightarrow
\theta=\theta^\star.
}
$$

未排除仍只是未排除。

---

# 16. Expected Information Gain

對實驗：

$$
e,
$$

定義：

$$
IG(e)
=
H(\mathcal H\mid D)
-
\mathbb E_z
H(\mathcal H\mid D,z,e).
$$

若考慮成本：

$$
C(e),
$$

可建立粗略研究價值：

$$
\boxed{
V(e)
=
IG(e)
-
\lambda C(e).
}
$$

如果 $V(e)$ 高，優先實驗。

---

# 17. 低研究價值不等於命題為假

如果：

$$
\max_eV(e)
$$

很低，

合理決策可以是：

$$
\boxed{
\text{DEFER}.
}
$$

但不能寫成：

$$
\boxed{
\text{REFUTE}.
}
$$

資源決策與真值判斷必須分開。

---

# 18. 停止是條件式停止

本文的 STOP 代表：

> 在目前 observer architecture、theory、resources 與 discriminators 下，繼續投入不會顯著增加可區分資訊。

因此：

$$
\boxed{
\text{STOP}_{A,t}
\neq
\text{STOP}_{\mathrm{forever}}.
}
$$

---

# 19. 重啟條件

若出現：

1. 新 sensor；
2. 新 energy regime；
3. 新 AI inference；
4. 新 coupling prediction；
5. 新 mathematical theorem；
6. 新 indirect proxy；
7. calibration 改進；
8. 原本 equivalence 被打破；

則：

$$
\boxed{
\text{REOPEN}.
}
$$

---

# 20. 可達性科學狀態機

本文定義：

$$
\boxed{
\text{ACTIVE}
\leftrightarrow
\text{UNRESOLVED}
\leftrightarrow
\text{DEFERRED}
\leftrightarrow
\text{QUOTIENTED}
\leftrightarrow
\text{META-OPEN}.
}
$$

它不是單向老化流程，而是可重新進入 ACTIVE 的狀態機。

---

# 21. 暫時未知

若：

$$
\exists e^\star
$$

原理可區分，但：

$$
e^\star\notin\mathcal E_{A,t},
$$

則：

$$
\boxed{
\text{temporary / capability-limited unknown}.
}
$$

---

# 22. 觀察者相對未知

若：

$$
H_1\sim_AH_2
$$

但：

$$
H_1\not\sim_BH_2,
$$

則只是：

$$
\boxed{
\text{unknown-to-}A.
}
$$

不是：

$$
\boxed{
\text{absolutely unknowable}.
}
$$

---

# 23. 原理操作等價

若對所有物理可行 observer 與 experiment：

$$
\forall A\in\mathfrak O_{\mathrm{phys}},
$$

$$
\forall e\in\mathfrak E_{\mathrm{phys}},
$$

候選結果都相同，才接近：

$$
\boxed{
H_1
\sim_{\mathrm{absolute-op}}
H_2.
}
$$

此時 prediction physics 應優先處理：

$$
[H]_{\mathrm{op}}.
$$

---

# 24. 但「絕對不可區分」本身非常難證明

要宣稱：

$$
H_1\sim_{\mathrm{absolute-op}}H_2
$$

需要知道所有物理可能 observer 與 experiment。

因此現實中更安全的語言通常是：

$$
\boxed{
\text{No known admissible discriminator}.
}
$$

---

# 25. Manchak：宇宙學中的觀測不可分辨

在 general relativity 內，Manchak 對 cosmological spacetimes 的工作顯示，觀察者可取得的資料可能與具有不同 global structure 的另一 spacetime 相容。

因此：

$$
\boxed{
\text{local observational completeness}
\not\Rightarrow
\text{global geometric identification}.
}
$$

---

# 26. 不可知結果本身也要接受物理合理性檢查

後續研究對某些 observationally indistinguishable spacetime construction 是否滿足合理的：

$$
\boxed{
\text{physical reasonableness}
}
$$

提出批評。

因此：

$$
\boxed{
\text{epistemic limit theorem}
}
$$

本身也不能免於 candidate-domain audit。

---

# 27. Cosmology 的特殊可達性限制

宇宙學存在：

- 單一 observable universe；
- causal horizon；
- 無法重做宇宙初始條件；
- 極高早期宇宙能量；
- global structure 超出 past light cone；
- cosmic variance。

所以：

$$
\boxed{
\text{cosmological unknown}
}
$$

可能具有結構性來源，而不只是暫時缺乏資料。


# 28. 2025–2026 的 permanent underdetermination 討論

近期 philosophy of cosmology 直接指出：

inflation、dark matter、dark energy 雖然在現象層有高度成功的模型，

其：

$$
\boxed{
\text{microphysical nature}
}
$$

仍可能面臨非常強的 underdetermination。

2026 年研究更直接以：

$$
\boxed{
\text{Navigating Permanent Underdetermination}
}
$$

為題處理 dark energy 與 inflation。

這說明：

> 科學非常成功

與：

> 所有深層本體已被唯一識別

不是同一件事。

---

# 29. Effective success 可以和深層未知共存

可能：

$$
C_{\mathrm{pred}}
\approx
1
$$

但：

$$
C_{\mathrm{micro-ontic}}
\ll
1.
$$

也就是：

> 我們非常會預測，但還不知道底層微觀來源究竟是什麼。

所以：

$$
\boxed{
\text{Predictive Success}
\not\Rightarrow
\text{Ontic Closure}.
}
$$

---

# 30. 第一個極端：封閉式否定

錯誤規則：

$$
\text{currently unobservable}
\Rightarrow
\text{nonexistent}.
$$

這把：

$$
\mathfrak A_{A,t}
$$

誤當：

$$
\mathcal R.
$$

因此：

$$
\boxed{
\text{observer boundary}
\neq
\text{reality boundary}.
}
$$

---

# 31. 第二個極端：可能性膨脹

另一個錯誤規則：

$$
\text{not ruled out}
\Rightarrow
\text{physically supported}.
$$

這把：

$$
\boxed{
\text{possibility space}
}
$$

錯當成：

$$
\boxed{
\text{evidence space}.
}
$$

因此：

$$
\boxed{
\text{Possible}
\neq
\text{Probable}
\neq
\text{Supported}.
}
$$

---

# 32. 開放本體不等於無限相信

本文採取：

$$
\boxed{
\text{Open Ontology}.
}
$$

其含義是：

> 不把目前 observer boundary 偷換成實在邊界。

但同時要求：

$$
\boxed{
\text{Evidence-Proportional Commitment}.
}
$$

即：

> 本體承諾強度不能超過可區分證據。

---

# 33. 開放本體三條規則

第一：

$$
\boxed{
\text{Unknown}
\not\Rightarrow
\text{Impossible}.
}
$$

第二：

$$
\boxed{
\text{Unknown}
\not\Rightarrow
\text{Real}.
}
$$

第三：

$$
\boxed{
\text{Update when accessibility changes}.
}
$$

---

# 34. 自由意志／決定論只作結構類比

Series B 最後可以使用自由意志與決定論作為結構類比，但不能宣稱解決該哲學爭論。

首先：

$$
\boxed{
\text{Determinism}
\neq
\text{Predictability}.
}
$$

一個 deterministic system：

$$
S_{t+1}
=
T(S_t)
$$

仍可能因：

- initial-state uncertainty；
- chaos；
- computational irreducibility；
- observer limitation；

而不可預測。

---

# 35. 本體決定性可以與認識開放性共存

完全可以：

$$
\boxed{
\text{Ontically Determinate}
+
\text{Epistemically Open}.
}
$$

即世界下一狀態實際唯一，但 observer 不知道是哪一個。

因此：

$$
\boxed{
\text{I do not know the future}
\not\Rightarrow
\text{future is ontically undetermined}.
}
$$

---

# 36. 不決定論也不自動產生自由意志

若：

$$
P(S_{t+1}\mid S_t)
$$

具有 stochastic transition，

也不自動推出：

$$
\boxed{
\text{agency or free will}.
}
$$

randomness 與 agency 不是同一概念。

所以 B06 只保留：

$$
\boxed{
\text{ontic structure}
\neq
\text{observer knowledge}.
}
$$

---

# 37. 形而上問題可以保持開放而不污染物理預測

如果自由意志模型：

$$
F
$$

與決定論模型：

$$
D
$$

在某操作域完全等價：

$$
F\sim_{\mathrm{op}}D,
$$

物理 prediction layer 可以對：

$$
[F]_{\mathrm{op}}
$$

工作，

而哲學仍可繼續討論：

$$
F
$$

與：

$$
D.
$$

這就是 B05 的雙層架構。

---

# 38. Series B 科學停止規則

本文最終給出六步程序。

## Step 1：明確 observer

$$
A
=
(C,M,K,D,I,U).
$$

## Step 2：明確 candidate difference

$$
H_1\neq H_2.
$$

## Step 3：尋找 discriminator

$$
\mathfrak D_{A,t}(H_1,H_2).
$$

## Step 4：分類未知型態

暫時、observer-relative、deferred 或 principled。

## Step 5：選擇研究動作

TEST / BUILD / DEFER / QUOTIENT / META-OPEN。

## Step 6：定義 reopening trigger

新 sensor、新 theory、新 AI、新 coupling、新 scale、新 evidence。

---

# 39. 最小決策表

若：

$$
\exists e^\star
$$

且可做：

$$
\boxed{
\text{TEST}.
}
$$

若：

$$
\exists e^\star
$$

但目前做不到：

$$
\boxed{
\text{BUILD / DEFER}.
}
$$

若不知道是否有：

$$
e^\star:
$$

$$
\boxed{
\text{UNRESOLVED}.
}
$$

若已證在當前操作域沒有：

$$
e^\star:
$$

$$
\boxed{
\text{QUOTIENT}.
}
$$

若長期沒有物理 bridge：

$$
\boxed{
\text{META-OPEN}.
}
$$

---

# 40. 停止規則不是「證偽不了就沒價值」

一個暫時不可測的理論仍可能：

- 指導新 instrument；
- 統一其他理論；
- 導出可測子結果；
- 提供新的數學結構；
- 產生未來 discriminator。

因此停止規則判斷的是：

$$
\boxed{
\text{current empirical actionability}.
}
$$

不是整體思想價值。

---

# 41. 理論可以從 META-OPEN 回來

若某 metaphysical candidate：

$$
H
$$

後來導出：

$$
Z
$$

並且：

$$
P(Z\mid H)
\neq
P(Z\mid\neg H),
$$

則：

$$
\boxed{
M
\rightarrow
\text{ACTIVE}.
}
$$

這是開放本體的重要意義。

---

# 42. Series B 六篇壓縮

## B01

$$
\boxed{
\text{World Separation}
\not\Rightarrow
\text{Spatial Separation}.
}
$$

## B02

$$
\boxed{
\text{Different Appearance}
\neq
\text{Different Effective Physics}
\neq
\text{Different History}.
}
$$

## B03

$$
\boxed{
\text{Orthogonality}
\neq
\text{Isolation}
\neq
\text{Independence}
\neq
\text{Inaccessibility}.
}
$$

## B04

$$
\boxed{
\text{Invisible-to-Human}
\not\Rightarrow
\text{Invisible-to-All}.
}
$$

## B05

$$
\boxed{
\text{Operationally Null}
\neq
\text{Ontologically False}.
}
$$

## B06

$$
\boxed{
\text{Unknown}
\neq
\text{False}
\neq
\text{True-as-Known}.
}
$$

---

# 43. Series B 的正向模型

可達性宇宙論最終可寫成：

$$
\boxed{
\mathfrak U
=
(
\mathcal R,
\{\mathfrak S_i\},
C,
\mathfrak O
).
}
$$

其中：

- $\mathcal R$：候選底層實在；
- $\mathfrak S_i$：有效 sector；
- $C$：sector coupling structure；
- $\mathfrak O$：observer family。

對任意：

$$
A\in\mathfrak O,
$$

有：

$$
O_A:
\mathcal R
\rightarrow
\mathcal Y_A.
$$

若：

$$
O_A(x_1)
$$

與：

$$
O_A(x_2)
$$

在所有合法操作下不可分，

則：

$$
x_1\sim_Ax_2.
$$

所以 observer 真正能研究的是：

$$
\boxed{
\mathcal R/\sim_A.
}
$$

---

# 44. 可達性宇宙論不是相對主義

若：

$$
O_A\neq O_B,
$$

不代表：

> 每個 observer 都有自己的真理。

底層：

$$
\mathcal R
$$

仍可以 observer-independent。

不同的是：

$$
\boxed{
\text{access relation}.
}
$$

因此本文立場是：

$$
\boxed{
\text{Ontic Realism}
+
\text{Epistemic Relativity of Access}.
}
$$

不是 truth relativism。

---

# 45. 同一實在可以有多個不完整投影

$$
\mathcal R
\xrightarrow{O_A}
Y_A,
$$

$$
\mathcal R
\xrightarrow{O_B}
Y_B,
$$

$$
\mathcal R
\xrightarrow{O_C}
Y_C.
$$

不同 observer 的輸出可能不同，

卻仍受同一候選實在約束。

所以：

$$
\boxed{
\text{multiple epistemic projections}
\not\Rightarrow
\text{multiple truths}.
}
$$

---

# 46. AI 時代的重要性

未來 AI 可以：

- 建構大量候選 ontology；
- 搜索新的 sensor channel；
- 做跨模態 fusion；
- 自動設計 discriminator；
- 掃描大 parameter space；
- 找出人類未想到的 alternatives。

因此：

$$
\boxed{
\mathfrak D_{AI}
}
$$

可能比當代人類更大。

但如果：

$$
\mathfrak D_{\mathrm{phys}}
=
\varnothing,
$$

再強的 AI 也不能從不存在的 empirical difference 中創造本體證明。

---

# 47. AI 能做的是逼近可達性邊界

AI 最重要的角色不是：

> 宣告世界真相。

而是：

$$
\boxed{
\text{search for missing discriminators}.
}
$$

持續問：

- 還有哪些 sensor？
- 還有哪些 indirect signature？
- 還有哪些 experiment？
- 還有哪些 competing model？
- 還有哪些 hidden confounder？
- 哪些 equality 只是 resolution limit？

這能系統性推進：

$$
\boxed{
\text{unknown frontier}.
}
$$

---

# 48. 核心命題

## B06-1：未知非假

$$
\boxed{
\kappa_{A,t}(H)=U
\not\Rightarrow
\tau(H)=0.
}
$$

## B06-2：未知非已知為真

$$
\boxed{
\kappa_{A,t}(H)=U
\not\Rightarrow
\tau(H)=1\text{ as established}.
}
$$

## B06-3：目前無效非本體不可能

$$
\boxed{
\text{Operationally Irrelevant Now}
\not\Rightarrow
\text{Ontologically Impossible}.
}
$$

## B06-4：未排除非支持

$$
\boxed{
\text{Not Ruled Out}
\not\Rightarrow
\text{Supported}.
}
$$

## B06-5：Null result 可以有證據力

若：

$$
P(\varnothing\mid H,e)
\ll
P(\varnothing\mid\neg H,e),
$$

則 non-detection 可以構成反對 $H$ 的證據。

## B06-6：停止是條件狀態

$$
\boxed{
\text{STOP}_{A,t}
\neq
\text{STOP}_{\mathrm{forever}}.
}
$$

---

# 49. Series B 最終停止規則

最終可以壓成三句。

第一句：

$$
\boxed{
\text{能區分，就研究差異。}
}
$$

第二句：

$$
\boxed{
\text{目前不能區分，就標記未知。}
}
$$

第三句：

$$
\boxed{
\text{原理上操作等價，就在預測層取等價類。}
}
$$

但始終保留：

$$
\boxed{
\text{prediction quotient}
\neq
\text{ontic proof}.
}
$$

---

# 50. 結論：不知道就是不知道

「不知道」不是理論失敗。

真正的失敗是：

> 明明不知道，卻硬把未知改寫成真或假。

可達性宇宙論拒絕：

$$
\boxed{
\text{看不到}
\Rightarrow
\text{不存在}
}
$$

也拒絕：

$$
\boxed{
\text{沒被排除}
\Rightarrow
\text{存在}.
}
$$

取而代之的是：

$$
\boxed{
\text{Unknown}
}
$$

作為一個可追蹤、可分類、可重新開啟的正式研究狀態。

世界可能：

$$
\tau(H)=1,
$$

但我們仍：

$$
\kappa_{A,t}(H)=U.
$$

也可能：

$$
\tau(H)=0,
$$

而我們仍不知道。

因此：

$$
\boxed{
\text{epistemic humility}
}
$$

不是放棄真理，

而是拒絕在沒有區分資訊時冒充已取得真理。

Series B 最後得到：

$$
\boxed{
\text{Existence}
\neq
\text{Accessibility}
\neq
\text{Observability}
\neq
\text{Identifiability}
\neq
\text{Knowledge}.
}
$$

真正的科學工作，就是持續尋找能讓這些層次逐步接近的：

$$
\boxed{
\text{couplings},
\quad
\text{sensors},
\quad
\text{models},
\quad
\text{experiments},
\quad
\text{discriminators}.
}
$$

如果找不到，就把邊界標清楚。

如果未來找到了，就重新打開。

這就是：

$$
\boxed{
\text{Open Ontology}
+
\text{Evidence-Proportional Commitment}
+
\text{Reopenable Scientific Boundaries}.
}
$$

至此，**可達性宇宙論 Series B：B01–B06 完成。**

---

# 參考文獻

1. van Fraassen, B. C. (1980). *The Scientific Image*. Oxford University Press.
2. Popper, K. R. (1959). *The Logic of Scientific Discovery*. Hutchinson.
3. Stanford, K. (2023 revision; Summer 2025 archive). *Underdetermination of Scientific Theory*. Stanford Encyclopedia of Philosophy.
4. Smeenk, C. & Ellis, G. (current 2026 edition). *Philosophy of Cosmology*. Stanford Encyclopedia of Philosophy.
5. Manchak, J. B. (2009). Can we know the global structure of spacetime? *Studies in History and Philosophy of Modern Physics*, 40(1), 53–56. DOI: 10.1016/j.shpsb.2008.07.004.
6. Butterfield, J. (2014). On under-determination in cosmology. *Studies in History and Philosophy of Modern Physics*, 46, 57–69.
7. Cinti, E. & Fano, V. (2021). Careful with those scissors, Eugene! Against the observational indistinguishability of spacetimes. *Studies in History and Philosophy of Science*, 89, 103–113. DOI: 10.1016/j.shpsa.2021.07.007.
8. Ferreira, P. G., Wolf, W. J. & Read, J. (2025). The Spectre of Underdetermination in Modern Cosmology. *Philosophy of Physics*, 3(1), Article 11.
9. Wolf, W. J. & Read, J. (2026). Navigating Permanent Underdetermination in Dark Energy and Inflationary Cosmology. *Philosophy of Physics*, 4(1), Article 3. DOI: 10.31389/pop.269.
10. North, J. (2026). Paving the Way for a Middle Way on Theoretical Equivalence. *Philosophy of Physics*, 4(1), Article 5. DOI: 10.31389/pop.292.
11. Spekkens, R. W. (2005). Contextuality for preparations, transformations, and unsharp measurements. *Physical Review A*, 71, 052108. DOI: 10.1103/PhysRevA.71.052108.
12. Pearl, J. (2009). *Causality* (2nd ed.). Cambridge University Press.
13. Cover, T. M. & Thomas, J. A. (2006). *Elements of Information Theory* (2nd ed.). Wiley.
14. Neo.K (2026). *可達性宇宙論 B01：世界不一定隔著距離*.
15. Neo.K (2026). *可達性宇宙論 B02：同一宇宙，多個世界編譯器*.
16. Neo.K (2026). *可達性宇宙論 B03：正交扇區與隔離計算狀態*.
17. Neo.K (2026). *可達性宇宙論 B04：不是人類看不到*.
18. Neo.K (2026). *可達性宇宙論 B05：存在、不可見與操作等價*.

---

# Series B Closure

Series B 的最終方法論可壓縮為：

$$
\boxed{
\mathcal R
\xrightarrow{O_A}
\mathcal R/\sim_A
\xrightarrow{\text{discrimination}}
\text{epistemic state}
\xrightarrow{\text{new access}}
\text{refined quotient}.
}
$$

並以：

$$
\boxed{
\text{Unknown}
\neq
\text{False},
}
$$

$$
\boxed{
\text{Unknown}
\neq
\text{True},
}
$$

$$
\boxed{
\text{Operationally Irrelevant Now}
\neq
\text{Ontologically Impossible}
}
$$

作為系列最終停止規則。
