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