物質主義的分層證明義務
從物理載體、實現與 Supervenience 到抽象—模態重建與萬有物理等價猜想
English Title: Layered Proof Obligations for Physicalism: From Physical Carriers, Realization, and Supervenience to Abstract–Modal Reconstruction and Universal Physical Equivalence Series: Reality–Abstraction Asymmetry and Meta-Causal Grounding SeriesPaper: 05Author: Neo.KInstitution: EveMissLab / 一言諾科技有限公司Version: v0.1Date: 2026-08-14Theoretical status: comparative ontology framework and conditional theorem hierarchy; not an argument that physicalism is false or true
摘要
本文不把「萬物皆物質」當成單一命題，而將 physicalism / materialism 拆成不同強度的累積證明義務階梯。這個階梯不是對當代哲學學派的唯一分類，而是一個上位審核接口：當一個理論從「所有認知都有物理載體」升級到「所有高階、抽象、模態與主體結構都完全由物理本體決定」，每一次升級到底新增了什麼需要證明的內容？
本文首先處理 Hempel's dilemma 所揭露的「physical 的條件問題」。若 physical 被定義成當代物理所承認的一切，physicalism 可能因當代物理不完備而過窄；若被定義成未來理想真物理最終承認的一切，physicalism 又可能因定義可無限制擴張而失去辨識力。2025 年的新工作分別以 empirical structure、theory supervenience、causal network 與 grounding 等方式重新刻畫 physicalism，顯示「何謂 physical」本身仍是活躍研究問題。
本文提出 Physical-Base Lock ：
P = ( P , R P , D P , K P , O P , χ P ) \boxed{
\mathbb P
=
(
\mathcal P,
\mathcal R_P,
D_P,
K_P,
\mathcal O_P,
\chi_P
)
} P = ( P , R P , D P , K P , O P , χ P ) 其中 χ P \chi_P χ P χ P ( x ) \chi_P(x) χ P ( x )
本文建立六階 proof-obligation ladder：
P 0 : Physical Mediation \boxed{
P0:
\text{Physical Mediation}
} P 0 : Physical Mediation P 1 : Actual Realization \boxed{
P1:
\text{Actual Realization}
} P 1 : Actual Realization P 2 : Supervenience \boxed{
P2:
\text{Supervenience}
} P 2 : Supervenience P 3 : Grounding / Reduction \boxed{
P3:
\text{Grounding / Reduction}
} P 3 : Grounding / Reduction P 4 : Abstract–Modal Reconstruction \boxed{
P4:
\text{Abstract–Modal Reconstruction}
} P 4 : Abstract–Modal Reconstruction P 5 : Universal Physical Equivalence . \boxed{
P5:
\text{Universal Physical Equivalence}.
} P 5 : Universal Physical Equivalence . P0 只主張有限智能體對抽象內容的接取需要 physical carrier；P1 進一步要求每一個實際高階 token 都有 physical realizer；P2 要求沒有 physical difference 就沒有 higher-level difference；P3 要求 metaphysical / explanatory determination；P4 要求完整處理 abstract types、multiple realization、laws、counterfactuals、unrealized candidates 與 modal structure；P5 則提出最強的 Universal Physical Equivalence Conjecture, UPEC ：
U a d m ≃ P Ω . \boxed{
\mathcal U_{\mathrm{adm}}
\simeq
\mathfrak P_\Omega.
} U adm ≃ P Ω . 本文證明 Supervenience Factorization Theorem 。令同一世界狀態 w w w
π P : W → P \pi_P:
\mathcal W
\rightarrow
\mathcal P π P : W → P 與 higher-level description：
π H : W → H . \pi_H:
\mathcal W
\rightarrow
\mathcal H. π H : W → H . 若：
π P ( w 1 ) = π P ( w 2 ) ⇒ π H ( w 1 ) = π H ( w 2 ) , \pi_P(w_1)=\pi_P(w_2)
\Rightarrow
\pi_H(w_1)=\pi_H(w_2), π P ( w 1 ) = π P ( w 2 ) ⇒ π H ( w 1 ) = π H ( w 2 ) , 則存在唯一：
f : Im ( π P ) → H f:
\operatorname{Im}(\pi_P)
\rightarrow
\mathcal H f : Im ( π P ) → H 使：
π H = f ∘ π P . \pi_H=f\circ\pi_P. π H = f ∘ π P . 但 factorization 不推出 identity、invertibility 或 grounding。
本文另證 Actual-History Modal Underdetermination Theorem 。若實際 physical history 只訪問狀態空間真子集：
H ⊊ X , H\subsetneq X, H ⊊ X , 則可構造兩個 dynamics：
D 1 , D 2 : X → X D_1,D_2:X\rightarrow X D 1 , D 2 : X → X 在全部 actual history 上完全一致，卻在 X ∖ H X\setminus H X ∖ H
complete actual history on H ⇏ unique counterfactual law on X . \boxed{
\text{complete actual history on }H
\not\Rightarrow
\text{unique counterfactual law on }X.
} complete actual history on H ⇒ unique counterfactual law on X . 所以若 strong physicalism 只把「實際發生的物理 token」視為完整底層，它不足以唯一決定 law / counterfactual structure；它必須額外把 modal / dynamical structure 納入 physical base，或證明這些結構如何由 physical base 唯一重建。
本文最終不是反駁 physicalism，而是建立一個公平原則：
P0 evidence cannot be promoted to P5 merely by repeating the slogan “everything is physical”. \boxed{
\text{P0 evidence cannot be promoted to P5 merely by repeating the slogan “everything is physical”.}
} P0 evidence cannot be promoted to P5 merely by repeating the slogan “everything is physical”. 如果未來 physicalism 真正完成 P5，本系列框架必須接受它。
關鍵詞： 物質主義、物理主義、physicalism、supervenience、grounding、reduction、multiple realization、Hempel's dilemma、抽象結構、模態、反事實、萬有物理等價猜想
1. 「萬物皆物質」至少有六種強度
日常語言中的：
一切都是物質。
可能表示：
所有認知都有物理載體；
所有實際高階事件都有物理實現；
沒有 physical difference 就沒有 higher-level difference；
高階事實完全由 physical facts ground；
abstract / modal / law-like structure 能被 physical structure 重建；
所有 admissible reality 與 physical totality 完全等價。
這六句不能互換。
2. Materialism 與 Physicalism
歷史 materialism 容易被理解成 matter-as-substance。
現代 physics 卻包含：
fields；
spacetime；
quantum states；
gauge structure；
effective degrees of freedom。
所以本文正式使用：
physicalism \boxed{
\text{physicalism}
} physicalism 作為總稱。
3. Physicality Criterion
若 physicalism 直接寫成：
x exists ⇒ x is physical , x\text{ exists}
\Rightarrow
x\text{ is physical}, x exists ⇒ x is physical , 它只是把：
existence \text{existence} existence 重新命名成：
physicality . \text{physicality}. physicality . 因此需要：
χ P ( x ) . \boxed{
\chi_P(x).
} χ P ( x ) . 4. Hempel's Dilemma
若：
χ P = χ c u r r e n t p h y s i c s , \chi_P
=
\chi_{\mathrm{current\ physics}}, χ P = χ current physics , 當代 physics 可能不完備。
若：
χ P = χ i d e a l f u t u r e p h y s i c s , \chi_P
=
\chi_{\mathrm{ideal\ future\ physics}}, χ P = χ ideal future physics , 又可能變成：
最終真理承認什麼，什麼就叫 physical。
所以 physicalism 需要避免：
future-truth relabeling . \boxed{
\text{future-truth relabeling}.
} future-truth relabeling . 5. Physical-Base Lock
本文要求：
P = ( P , R P , D P , K P , O P , χ P ) . \boxed{
\mathbb P
=
(
\mathcal P,
\mathcal R_P,
D_P,
K_P,
\mathcal O_P,
\chi_P
).
} P = ( P , R P , D P , K P , O P , χ P ) . 每一版本必須鎖定：
physical state / property domain；
relations；
dynamics；
admissibility；
observables；
physicality criterion。
6. Anti-Trivialization Constraint
禁止：
χ P ( x ) : = [ x ∈ U t o t a l ] . \chi_P(x)
:=
[x\in\mathcal U_{\mathrm{total}}]. χ P ( x ) := [ x ∈ U total ] . 若 physical base 被新證據迫使擴張，必須記：
P v → P v + 1 . \boxed{
\mathbb P_v
\rightarrow
\mathbb P_{v+1}.
} P v → P v + 1 . 7. P0 — Physical Mediation Thesis
∀ a ∈ A a c c e s s e d , ∃ τ ∈ P : Carrier ( τ , a ) . \boxed{
\forall a
\in
\mathcal A_{\mathrm{accessed}},
\quad
\exists\tau\in\mathcal P:
\operatorname{Carrier}(\tau,a).
} ∀ a ∈ A accessed , ∃ τ ∈ P : Carrier ( τ , a ) . 這只說我們接取 abstract content 時需要 physical carrier。
8. P0 不推出 Content Identity
即使：
Carrier ( τ , a ) , \operatorname{Carrier}(\tau,a), Carrier ( τ , a ) , 也不能直接推出：
τ = a . \tau=a. τ = a . Paper 02 的 multiple realization 更允許：
Carrier ( τ 1 , a ) , \operatorname{Carrier}(\tau_1,a), Carrier ( τ 1 , a ) , Carrier ( τ 2 , a ) , \operatorname{Carrier}(\tau_2,a), Carrier ( τ 2 , a ) , 而：
τ 1 ≠ τ 2 . \tau_1\neq\tau_2. τ 1 = τ 2 . 9. P1 — Actual Realization Physicalism
∀ h ∈ H a c t , ∃ p ∈ P : Realizes ( p , h ) . \boxed{
\forall h
\in
\mathcal H_{\mathrm{act}},
\quad
\exists p\in\mathcal P:
\operatorname{Realizes}(p,h).
} ∀ h ∈ H act , ∃ p ∈ P : Realizes ( p , h ) . 這是一個 actual-world ontology claim。
10. P1 仍不推出 Type Identity
可以：
Realizes ( p 1 , h ) , \operatorname{Realizes}(p_1,h), Realizes ( p 1 , h ) , Realizes ( p 2 , h ) , \operatorname{Realizes}(p_2,h), Realizes ( p 2 , h ) , 且：
p 1 ≠ p 2 . p_1\neq p_2. p 1 = p 2 . 所以：
P 1 ⇏ type identity . \boxed{
P1
\not\Rightarrow
\text{type identity}.
} P 1 ⇒ type identity . 11. P1 不處理 Unrealized Abstracts
若：
a ∈ A c a n d , a
\in
\mathcal A_{\mathrm{cand}}, a ∈ A cand , 但：
Real ( a ) = ∅ , \operatorname{Real}(a)=\varnothing, Real ( a ) = ∅ , P1 可以完全沉默。
所以：
actual realization ⇏ abstract/modal completion . \boxed{
\text{actual realization}
\not\Rightarrow
\text{abstract/modal completion}.
} actual realization ⇒ abstract/modal completion . 12. P2 — Supervenience Physicalism
令：
π P : W → P , \pi_P:
\mathcal W
\rightarrow
\mathcal P, π P : W → P , π H : W → H . \pi_H:
\mathcal W
\rightarrow
\mathcal H. π H : W → H . 定義：
π P ( w 1 ) = π P ( w 2 ) ⇒ π H ( w 1 ) = π H ( w 2 ) . \boxed{
\pi_P(w_1)=\pi_P(w_2)
\Rightarrow
\pi_H(w_1)=\pi_H(w_2).
} π P ( w 1 ) = π P ( w 2 ) ⇒ π H ( w 1 ) = π H ( w 2 ) . 即：
no H-difference without P-difference . \boxed{
\text{no H-difference without P-difference}.
} no H-difference without P-difference . 13. Supervenience Factorization Theorem
定理 1
若 P2 條件成立，則存在唯一：
f : Im ( π P ) → H f:
\operatorname{Im}(\pi_P)
\rightarrow
\mathcal H f : Im ( π P ) → H 使：
π H = f ∘ π P . \boxed{
\pi_H=f\circ\pi_P.
} π H = f ∘ π P . 證明。
對任意：
p ∈ Im ( π P ) , p\in\operatorname{Im}(\pi_P), p ∈ Im ( π P ) , 選：
w w w 使：
π P ( w ) = p . \pi_P(w)=p. π P ( w ) = p . 定義：
f ( p ) = π H ( w ) . f(p)=\pi_H(w). f ( p ) = π H ( w ) . 若 w ′ w' w ′ p p p
π H ( w ′ ) = π H ( w ) . \pi_H(w')=\pi_H(w). π H ( w ′ ) = π H ( w ) . 故 f f f
且：
f ( π P ( w ) ) = π H ( w ) . f(\pi_P(w))=\pi_H(w). f ( π P ( w )) = π H ( w ) . 唯一性由 Im ( π P ) \operatorname{Im}(\pi_P) Im ( π P )
證畢。
14. Factorization 不是 Identity
即使：
π H = f ∘ π P , \pi_H=f\circ\pi_P, π H = f ∘ π P , 沒有得到：
H = P . \mathcal H=\mathcal P. H = P . 也沒有得到 f f f
可能：
f ( p 1 ) = f ( p 2 ) = h . f(p_1)=f(p_2)=h. f ( p 1 ) = f ( p 2 ) = h . 這正是 multiple realization。
15. Supervenience 不是 Grounding
Supervenience 只給：
P -same ⇒ H -same . P\text{-same}
\Rightarrow
H\text{-same}. P -same ⇒ H -same . 它不回答：
why H = f ( P ) . \boxed{
\text{why }H=f(P).
} why H = f ( P ) . 所以：
factorization ⇏ explanatory ground . \boxed{
\text{factorization}
\not\Rightarrow
\text{explanatory ground}.
} factorization ⇒ explanatory ground . 16. Reduction 不是二值詞
2025 年 reductionism 研究重新指出，reduction 可以由強到弱包含：
explicit definability；
bilateral reducibility；
empirical confirmability；
supervenience-like relations。
因此本文不使用：
reductive / non-reductive \text{reductive / non-reductive} reductive / non-reductive 作唯一切分。
17. P3 — Grounding / Reductive Physicalism
P3 要求：
P Grounds H \boxed{
\mathcal P
\operatorname{Grounds}
\mathcal H
} P Grounds H 或存在具有明確 fidelity 的：
Red P : H ⇝ P . \boxed{
\operatorname{Red}_P:
\mathcal H
\rightsquigarrow
\mathcal P.
} Red P : H ⇝ P . 18. Grounding Proof Obligations
若主張：
P Grounds H , P\operatorname{Grounds} H, P Grounds H , 至少要回答：
ground relata 是什麼？
是否唯一？
是否 transitive？
如何容納 multiple realization？
higher-level causal efficacy 如何處理？
是否 circular？
如何獨立判定「full ground」？
19. 2025 Grounding Physicalism 壓力
近期 ground physicalism 仍在處理：
causal exclusion；
metaphysical exclusion；
deterministic / indeterministic grounding。
這說明：
physical determination \boxed{
\text{physical determination}
} physical determination 與：
physical explanation \boxed{
\text{physical explanation}
} physical explanation 不是同一件事。
20. Causal Closure 是另一軸
常見原則：
every physical effect that has a cause has a sufficient physical cause . \boxed{
\text{every physical effect that has a cause has a sufficient physical cause}.
} every physical effect that has a cause has a sufficient physical cause . 記：
C C P . \mathrm{CCP}. CCP . 但：
C C P ≠ P 2 ≠ P 3. \boxed{
\mathrm{CCP}
\neq
P2
\neq
P3.
} CCP = P 2 = P 3. causal closure、supervenience、grounding 必須分型。
21. 2025 Causal Account of the Physical
近期也有工作嘗試不靠「physics says so」定義 physical，而以 causal network criterion 定義 physical properties。
本文不採其為唯一答案。
其重要性在於：
physicality criterion itself can be a substantive theory . \boxed{
\text{physicality criterion itself can be a substantive theory}.
} physicality criterion itself can be a substantive theory . 22. P4 — Abstract–Modal Reconstruction Physicalism
P4 不只處理 actual high-level token。
還要處理：
A , M , L \boxed{
\mathcal A,
\mathcal M,
\mathcal L
} A , M , L 即：
abstract / mathematical structure；
modality / counterfactuals；
laws / dynamical structure。
23. Actual History 與 Modal Law
令：
X X X 為 physical state space。
actual history 只訪問：
H ⊆ X . \boxed{
H\subseteq X.
} H ⊆ X . 如果：
H ⊊ X , H\subsetneq X, H ⊊ X , actual history 沒有直接告訴我們所有 off-history state 的 dynamics。
24. Actual-History Modal Underdetermination Theorem
定理 2
令：
H ⊊ X . H\subsetneq X. H ⊊ X . 假設：
D 1 : X → X D_1:
X\rightarrow X D 1 : X → X 與 actual history 一致。
若存在：
x ⋆ ∈ X ∖ H x^\star\in X\setminus H x ⋆ ∈ X ∖ H 以及替代輸出：
y ⋆ ≠ D 1 ( x ⋆ ) , y^\star\neq D_1(x^\star), y ⋆ = D 1 ( x ⋆ ) , 則可構造：
D 2 : X → X D_2:
X\rightarrow X D 2 : X → X 使：
D 2 ( x ) = D 1 ( x ) ∀ x ∈ H , D_2(x)=D_1(x)
\quad
\forall x\in H, D 2 ( x ) = D 1 ( x ) ∀ x ∈ H , 但：
D 2 ( x ⋆ ) = y ⋆ . D_2(x^\star)=y^\star. D 2 ( x ⋆ ) = y ⋆ . 因此：
D 1 ≠ D 2 D_1\neq D_2 D 1 = D 2 但兩者對全部 actual history 完全一致。
證畢。
25. 定理 2 的含義
complete actual history on H ⇏ unique counterfactual law on X . \boxed{
\text{complete actual history on }H
\not\Rightarrow
\text{unique counterfactual law on }X.
} complete actual history on H ⇒ unique counterfactual law on X . 也就是：
actual physical tokens ⇏ unique modal structure . \boxed{
\text{actual physical tokens}
\not\Rightarrow
\text{unique modal structure}.
} actual physical tokens ⇒ unique modal structure . 26. 這不反駁 Physicalism
Physicalist 可以回答：
law、disposition、symmetry、modal structure 本身也是 physical structure。
完全可以。
但這表示 physical ontology 必須從：
P t o k e n \boxed{
\mathcal P_{\mathrm{token}}
} P token 擴張到：
P s t r u c t . \boxed{
\mathcal P_{\mathrm{struct}}.
} P struct . 27. Physical-Domain Expansion Problem
越強的 physicalism 越可能需要：
P t o k e n ⊊ P s t r u c t ⊆ P Ω . \boxed{
\mathcal P_{\mathrm{token}}
\subsetneq
\mathcal P_{\mathrm{struct}}
\subseteq
\mathfrak P_\Omega.
} P token ⊊ P struct ⊆ P Ω . 這不是錯。
但每一次 expansion 都需要：
definition；
mapping；
evidence；
version provenance。
28. Abstract Reconstruction Obligation
P4 至少需要：
Φ A : A a d m → P Ω \boxed{
\Phi_A:
\mathcal A_{\mathrm{adm}}
\rightarrow
\mathfrak P_\Omega
} Φ A : A adm → P Ω 與：
Ψ A : Φ A ( A a d m ) → A a d m \boxed{
\Psi_A:
\Phi_A(\mathcal A_{\mathrm{adm}})
\rightarrow
\mathcal A_{\mathrm{adm}}
} Ψ A : Φ A ( A adm ) → A adm 使：
Ψ A ∘ Φ A ≃ J A id A a d m . \boxed{
\Psi_A\circ\Phi_A
\simeq_{\mathcal J_A}
\operatorname{id}_{\mathcal A_{\mathrm{adm}}}.
} Ψ A ∘ Φ A ≃ J A id A adm . 29. Multiple-Realization Obligation
若同一：
a a a 由：
p 1 , p 2 , … p_1,p_2,\ldots p 1 , p 2 , … 實現，
physicalism 必須解釋：
what makes p i realizations of the same a . \boxed{
\text{what makes }p_i
\text{ realizations of the same }a.
} what makes p i realizations of the same a . 也就是 physical-side invariant family：
J P \mathcal J_P J P 如何對應：
J A . \mathcal J_A. J A . 30. Unrealized Candidate Obligation
若：
a ∈ A c a n d a\in\mathcal A_{\mathrm{cand}} a ∈ A cand 但：
Real a c t ( a ) = ∅ , \operatorname{Real}_{\mathrm{act}}(a)=\varnothing, Real act ( a ) = ∅ , physicalism 至少可走三條路：
Elimination ： a a a Modal Physicalism ： a a a Encoded Physicalism ： a a a
三者不可混稱。
31. Encoding 不等於 Target Realization
即使有 physical encoding：
τ a , \tau_a, τ a , 也不能推出：
τ a \tau_a τ a 就是 a a a
例如：
simulation of a star ≠ a star . \boxed{
\text{simulation of a star}
\neq
\text{a star}.
} simulation of a star = a star . 所以：
physical encoding ≠ represented-target realization . \boxed{
\text{physical encoding}
\neq
\text{represented-target realization}.
} physical encoding = represented-target realization . 32. Modal Physicalism 的額外負擔
若：
a a a 被解釋成：
Poss P ( a ) , \operatorname{Poss}_P(a), Poss P ( a ) , 需要明確定義：
Poss P . \operatorname{Poss}_P. Poss P . 而 physical possibility 通常依賴：
D P , K P , L P . D_P,
K_P,
\mathcal L_P. D P , K P , L P . 所以 modal structure 不能只靠 actual token list 得到。
33. Mathematical Structure Obligation
若 mathematical structure 也是 physical，
需要解釋：
why mathematical validity is stable across distinct physical carriers . \boxed{
\text{why mathematical validity is stable across distinct physical carriers}.
} why mathematical validity is stable across distinct physical carriers . 也就是 Paper 02 的：
∼ J \sim_{\mathcal J} ∼ J 問題。
34. Subject Obligation
若要升級到 total physicalism，
還需處理：
J 1 p \boxed{
\mathcal J_{1p}
} J 1 p 這類第一人稱 indexical / subject invariant。
所以：
abstract physicalism ⇏ complete subject physicalism . \boxed{
\text{abstract physicalism}
\not\Rightarrow
\text{complete subject physicalism}.
} abstract physicalism ⇒ complete subject physicalism . 35. P5 — Universal Physical Equivalence Conjecture
最強版本：
U P E C \boxed{
\mathrm{UPEC}
} UPEC 不是「凡存在都叫 physical」。
而是：
存在一個非循環定義的 physical total domain，與 admissible total domain 在必要不變量上雙向等價。
36. Physical Total Domain
令：
P Ω \boxed{
\mathfrak P_\Omega
} P Ω 為 strongest physical-totality candidate。
它可以包含：
state；
dynamics；
relation；
law；
modality；
realization；
subject interface；
representation invariants。
但不能直接定義：
P Ω : = U a d m . \mathfrak P_\Omega
:=
\mathcal U_{\mathrm{adm}}. P Ω := U adm . 否則 UPEC 變 tautology。
37. Weak UPEC
對任意：
u ∈ U a d m , u\in\mathcal U_{\mathrm{adm}}, u ∈ U adm , 存在 physical representation：
Φ u \Phi_u Φ u 與 reconstruction：
Ψ u \Psi_u Ψ u 使：
Ψ u ∘ Φ u ≃ J u id u . \boxed{
\Psi_u\circ\Phi_u
\simeq_{\mathcal J_u}
\operatorname{id}_u.
} Ψ u ∘ Φ u ≃ J u id u . 38. Strong UPEC
存在統一：
Φ P : U a d m → P Ω \boxed{
\Phi_P:
\mathcal U_{\mathrm{adm}}
\rightarrow
\mathfrak P_\Omega
} Φ P : U adm → P Ω 與：
Ψ P : P Ω → U a d m \boxed{
\Psi_P:
\mathfrak P_\Omega
\rightarrow
\mathcal U_{\mathrm{adm}}
} Ψ P : P Ω → U adm 使：
Ψ P ∘ Φ P ≃ J U id U a d m , \Psi_P\circ\Phi_P
\simeq_{\mathcal J_U}
\operatorname{id}_{\mathcal U_{\mathrm{adm}}}, Ψ P ∘ Φ P ≃ J U id U adm , 以及：
Φ P ∘ Ψ P ≃ J P id P Ω . \Phi_P\circ\Psi_P
\simeq_{\mathcal J_P}
\operatorname{id}_{\mathfrak P_\Omega}. Φ P ∘ Ψ P ≃ J P id P Ω . 39. UPEC 還需要 Dynamics
若：
D U D_U D U 是總域 relevant dynamics，
需：
Φ P ∘ D U ≃ D P ∘ Φ P . \boxed{
\Phi_P\circ D_U
\simeq
D_P\circ\Phi_P.
} Φ P ∘ D U ≃ D P ∘ Φ P . 所以靜態 encoding 不足以證 UPEC。
40. UPEC 還需要 Open-Extension Robustness
若：
U t ⊆ U t + 1 , \mathcal U_t
\subseteq
\mathcal U_{t+1}, U t ⊆ U t + 1 , 理想要求：
Φ P , t + 1 ∣ U t ≃ Φ P , t . \boxed{
\Phi_{P,t+1}|_{\mathcal U_t}
\simeq
\Phi_{P,t}.
} Φ P , t + 1 ∣ U t ≃ Φ P , t . 不能每出現一個新 type 就完全重寫：
χ P . \chi_P. χ P . 41. P0 到 P5 的非法跳躍
本文不主張每層永遠不能推出下一層。
而是：
evidence for P k alone does not establish P k + 1 . \boxed{
\text{evidence for }P_k
\text{ alone does not establish }P_{k+1}.
} evidence for P k alone does not establish P k + 1 . 每次 upgrade 都需要額外 argument。
42. P0 不推出 P1
對 unicorn concept 的認知可以有 physical carrier。
但不推出：
actual physical unicorn exists . \boxed{
\text{actual physical unicorn exists}.
} actual physical unicorn exists . 所以：
carrier of a concept ≠ realizer of its referent . \boxed{
\text{carrier of a concept}
\neq
\text{realizer of its referent}.
} carrier of a concept = realizer of its referent . 43. P1 不推出 P2
actual realization 只量化 actual tokens。
P2 要求跨 possible states：
P -same ⇒ H -same . \boxed{
P\text{-same}
\Rightarrow
H\text{-same}.
} P -same ⇒ H -same . 因此 P2 需要更強 modal quantification。
44. P2 不推出 P3
由定理 1：
π H = f ∘ π P \pi_H=f\circ\pi_P π H = f ∘ π P 只得到 factorization。
沒有得到：
P Grounds H . \boxed{
P\operatorname{Grounds} H.
} P Grounds H . 45. P3 不推出 P4
actual higher-level facts 即使全部由 physical facts ground，
仍不自動涵蓋：
unrealized structures；
counterfactuals；
mathematical generality；
full law space。
46. P4 不推出 P5
可能：
∀ i ∃ Φ i \forall i
\exists\Phi_i ∀ i ∃ Φ i 但：
∄ Φ ∀ i . \nexists\Phi
\forall i. ∄ Φ∀ i . 即逐 domain physicalization 不推出 unified physical totality。
47. Physicalism Evidence Vector
定義：
E P = ( E c a r r i e r , E r e a l , E s u p , E g r o u n d , E m o d a l , E u n i v ) . \boxed{
\mathbf E_P
=
(
E_{\mathrm{carrier}},
E_{\mathrm{real}},
E_{\mathrm{sup}},
E_{\mathrm{ground}},
E_{\mathrm{modal}},
E_{\mathrm{univ}}
).
} E P = ( E carrier , E real , E sup , E ground , E modal , E univ ) . 所以 physicalism 可以被報告成多維證據狀態，而不是一句：
true / false . \text{true / false}. true / false . 48. Physicalism Branches
本文階梯不是唯一學派樹。
一個 theory 可以走：
realization physicalism；
supervenience physicalism；
empirical-structure physicalism；
grounding physicalism；
causal-definition physicalism；
並在不同層停下。
這些 branch 可以重疊。
49. Empirical-Structure Physicalism
2025 年 empirical-structure physicalism 的重要性是：
它不要求高階 theory 與 physical token 做粗糙 identity。
它改用：
theory supervenience / empirical-structure refinement . \boxed{
\text{theory supervenience / empirical-structure refinement}.
} theory supervenience / empirical-structure refinement . 而且與 multiple realization 相容。
這是強而精細的 physicalist candidate。
50. Grounding Physicalism
ground physicalism 進一步要求：
full physical ground . \boxed{
\text{full physical ground}.
} full physical ground . 但 grounding 自己帶來：
exclusion；
collapse；
pluralism / monism；
determinacy；
等額外問題。
51. Causal Physicalism
如果：
χ P \chi_P χ P 由 causal network 定義，
則 abstract / mathematical / modal items 要如何被 classification，
必須由該 causal account 本身回答。
這是新的 proof burden。
52. 這個框架也能反過來測元息論
把：
P \mathcal P P 換成：
I Ω , \mathfrak I_\Omega, I Ω , 同樣可以問：
mediation；
realization；
supervenience；
grounding；
modal reconstruction；
universal equivalence。
所以本文真正提出的是：
Total Ontology Proof-Obligation Compiler . \boxed{
\text{Total Ontology Proof-Obligation Compiler}.
} Total Ontology Proof-Obligation Compiler . 53. 「Physical 比 Total 更大」是型別錯誤
若：
U t o t a l \mathcal U_{\mathrm{total}} U total 已表示所有 admissible domain，
就沒有意義再寫：
P > U t o t a l . \mathcal P
>
\mathcal U_{\mathrm{total}}. P > U total . 最強 physicalism 應主張：
P Ω ≃ U a d m . \boxed{
\mathfrak P_\Omega
\simeq
\mathcal U_{\mathrm{adm}}.
} P Ω ≃ U adm . 不是「physical 比 total 還大」。
54. 本系列前四篇並未反駁 Physicalism
前四篇只得到：
access typing asymmetry；
abstraction / realization non-invertibility；
observation–abstraction–realization loop；
frontier throughput asymmetry。
physicalism 完全可以主張這些都是 physical systems 的 higher-level organization。
這在邏輯上成立。
55. Strong Physicalism 真正需要的升級
它必須從：
all these processes have physical carriers \boxed{
\text{all these processes have physical carriers}
} all these processes have physical carriers 升級成：
all relevant higher-level invariants, modal roles, laws and realization relations are faithfully reconstructable from a locked physical base . \boxed{
\text{all relevant higher-level invariants, modal roles, laws and realization relations are faithfully reconstructable from a locked physical base}.
} all relevant higher-level invariants, modal roles, laws and realization relations are faithfully reconstructable from a locked physical base . 這是一個 reconstruction theorem obligation。
56. UPEC Falsification Conditions
F1 — Physicality Criterion Failure
無法給出非循環：
χ P . \chi_P. χ P . F2 — Reconstruction Failure
存在：
u ⋆ u^\star u ⋆ 使任何 physical representation 都損失必要 invariant。
F3 — Modal Failure
physical base 無法重建 required counterfactual structure。
F4 — Subject Failure
first-person necessary invariants 無法 physical-reconstruct。
F5 — Uniformity Failure
逐 domain physicalization 成功，但不存在統一 Φ P \Phi_P Φ P
F6 — Extension Failure
每個新 type 都迫使無限制重寫 physicality criterion。
57. UPEC 如果成功
如果未來真的證：
U P E C , \boxed{
\mathrm{UPEC},
} UPEC , 則：
abstract domain；
modal domain；
law structure；
subject structure；
都可以被視為 physical totality 的 invariant-preserving organization。
本系列必須承認：
strong physicalism wins the comparison . \boxed{
\text{strong physicalism wins the comparison}.
} strong physicalism wins the comparison . 58. UPEC 失敗也不等於 P0–P3 失敗
如果：
¬ P 5 , \neg P5, ¬ P 5 , 仍可能：
P 0 , P 1 , P 2 , P 3 P0,P1,P2,P3 P 0 , P 1 , P 2 , P 3 大量成立。
所以：
¬ P 5 ⇏ ¬ P 0. \boxed{
\neg P5
\not\Rightarrow
\neg P0.
} ¬ P 5 ⇒ ¬ P 0. 這就是分層的價值。
59. 下一篇：Emergence Operator
現在假設 physicalist 說：
P → G H \boxed{
P
\xrightarrow{G}
H
} P G H 而把這叫：
emergence . \text{emergence}. emergence . 下一篇要問：
G itself is what? \boxed{
G
\text{ itself is what?}
} G itself is what? 60. Emergence Trilemma Preview
如果：
G G G 是 physical，
要問它的 physical ground。
如果：
G G G 是 abstract law，
要問 abstract law 如何進入 physical closure。
如果：
G G G 只是我們對完整 physical history 的 description，
要問 emergence 是否還保有獨立 generative explanatory power。
這就是：
Emergence of Emergence . \boxed{
\text{Emergence of Emergence}.
} Emergence of Emergence . 結論
「萬物皆物質」要成為總體本體論，至少必須先回答：
what counts as physical? \boxed{
\text{what counts as physical?}
} what counts as physical? 再回答：
what kind of dependence is actually claimed? \boxed{
\text{what kind of dependence is actually claimed?}
} what kind of dependence is actually claimed? 本文因此建立：
P 0 → P 1 → P 2 → P 3 → P 4 → P 5 P0
\rightarrow
P1
\rightarrow
P2
\rightarrow
P3
\rightarrow
P4
\rightarrow
P5 P 0 → P 1 → P 2 → P 3 → P 4 → P 5 作為累積證明義務 ，而不是把現有學派硬排成線性歷史序列。
Supervenience Factorization Theorem 告訴我們：
π P ( w 1 ) = π P ( w 2 ) ⇒ π H ( w 1 ) = π H ( w 2 ) \pi_P(w_1)=\pi_P(w_2)
\Rightarrow
\pi_H(w_1)=\pi_H(w_2) π P ( w 1 ) = π P ( w 2 ) ⇒ π H ( w 1 ) = π H ( w 2 ) 足以得到：
π H = f ∘ π P , \boxed{
\pi_H=f\circ\pi_P,
} π H = f ∘ π P , 但：
factorization ⇏ identity ⇏ grounding . \boxed{
\text{factorization}
\not\Rightarrow
\text{identity}
\not\Rightarrow
\text{grounding}.
} factorization ⇒ identity ⇒ grounding . Actual-History Modal Underdetermination Theorem 又告訴我們：
all actual physical history \boxed{
\text{all actual physical history}
} all actual physical history 若只覆蓋：
H ⊊ X , H\subsetneq X, H ⊊ X , 仍不足以唯一決定：
off-history counterfactual dynamics . \boxed{
\text{off-history counterfactual dynamics}.
} off-history counterfactual dynamics . 所以 strongest physicalism 不能只把實際發生過的 matter-events 列完。
它還需要處理：
law + modality + structure + realization + subjectivity . \boxed{
\text{law}
+
\text{modality}
+
\text{structure}
+
\text{realization}
+
\text{subjectivity}.
} law + modality + structure + realization + subjectivity . 如果 physicalism 願意把這些全部納入一個非循環、可反駁、可跨表示的 physical totality，那完全合法。
本文因此給出其 strongest benchmark：
U P E C : U a d m ≃ P Ω . \boxed{
\mathrm{UPEC}:
\mathcal U_{\mathrm{adm}}
\simeq
\mathfrak P_\Omega.
} UPEC : U adm ≃ P Ω . 真正不允許的只有：
把 P0 的證據用「萬物皆物質」一句話偷升格成 P5 的結論。 \boxed{
\text{把 P0 的證據用「萬物皆物質」一句話偷升格成 P5 的結論。}
} 把 P0 的證據用「萬物皆物質」一句話偷升格成 P5 的結論。 本文不是 physicalism 的反駁。
它是 physicalism 的 proof-obligation compiler。
參考文獻
[1] Gyenis, B. (2025). Empirical structure physicalism and realism, Hempel's dilemma, and an optimistic meta-induction. Synthese , 206, 76. DOI: 10.1007/s11229-025-05160-x.
[2] Feldbacher-Escamilla, C. J., & Sekatskaya, M. (2025). Reductionism, Supervenience, and Carnap’s Account of Empirical Confirmability. Journal for General Philosophy of Science , 56, 345–371. DOI: 10.1007/s10838-025-09728-6.
[3] Moorfoot, W. (2025). Grounding Physicalism and the Metaphysical Exclusion Problem. Ratio , 38, 71–81. DOI: 10.1111/rati.12444.
[4] Friesacher, A. (2025). A Causal Account of the Physical. Canadian Journal of Philosophy , 55(1), 68–83. DOI: 10.1017/can.2025.10042.
[5] Gyenis, B. (2025). Physical, Empirical, and Conditional Inductive Possibility. Philosophy of Physics , 3(1), 1–22. arXiv:2503.04601.
[6] Bickle, J. (2025 edition). Multiple Realizability. Stanford Encyclopedia of Philosophy .
[7] Physicalism. (Fall 2025 edition). Stanford Encyclopedia of Philosophy .
[8] Assadian, B., & Fraser, R. (2025). The individuation of mathematical objects. Synthese , 205, 6. DOI: 10.1007/s11229-024-04814-6.
[9] Polger, T. W. (2018). Physicalism, realization, and structure. Studies in History and Philosophy of Science Part A , 68, 31–36.
[10] Neo.K. (2026). 實在域與抽象域的觀察非對稱 . Reality–Abstraction Asymmetry and Meta-Causal Grounding Series, Paper 01.
[11] Neo.K. (2026). 抽象化與實現的非互逆性 . Reality–Abstraction Asymmetry and Meta-Causal Grounding Series, Paper 02.
[12] Neo.K. (2026). 觀察—抽象—實現循環 . Reality–Abstraction Asymmetry and Meta-Causal Grounding Series, Paper 03.
[13] Neo.K. (2026). 抽象前沿—實在前沿速度不對稱 . Reality–Abstraction Asymmetry and Meta-Causal Grounding Series, Paper 04.
版本聲明
v0.1 已完成：
materialism / physicalism terminology separation；
Hempel's dilemma / condition question；
Physical-Base Lock；
Anti-Trivialization Constraint；
P0–P5 proof-obligation ladder；
Supervenience Factorization Theorem；
grounding / reduction obligations；
causal-closure branch distinction；
Abstract–Modal Reconstruction Physicalism；
Actual-History Modal Underdetermination Theorem；
physical-domain expansion problem；
multiple-realization / unrealized-candidate / modal obligations；
Universal Physical Equivalence Conjecture；
weak / strong UPEC；
extension robustness；
physicalism evidence-vector interface；
six falsification conditions；
emergence-operator handoff。
下一篇：
Paper 06 — 湧現的湧現：生成關係的本體型別與三難問題。