元因果基礎問題

從因果 Token、因果 Type、規律模態到生成關係的最終基礎

English Title: The Meta-Causal Grounding Problem: From Causal Tokens and Causal Types to Lawhood, Modal Stability, and the Ground of Generative Relations
Series: Reality–Abstraction Asymmetry and Meta-Causal Grounding Series
Paper: 07
Author: Neo.K
Institution: EveMissLab / 一言諾科技有限公司
Version: v0.1
Date: 2026-08-14
Theoretical status: terminal foundational paper of the seven-paper series; typed meta-causal framework, conditional theorems, and comparative grounding taxonomy; no claim to have solved the metaphysics of causation or laws of nature

摘要

本文是「實在—抽象非對稱與元因果系列」的終篇。前六篇依序建立實在／抽象觀察型別非對稱、抽象—實現非互逆、觀察—抽象—實現循環、抽象／實證前沿吞吐量不對稱、物質主義分層證明義務，以及 emergence-operator typing 與 meta-emergence trilemma。本文將這些結果推到最後一層：當我們說大量具體事件具有因果關係，並進一步說這些事件「服從」某種穩定因果規律時，究竟是什麼使因果 token、因果 type 與 natural law 連接在一起？

本文首先建立四層型別：

\boxed{ \mathcal C_0 \rightarrow \mathcal C_1 \rightarrow \mathcal L \rightarrow \mathcal G. }

其中：

\mathcal C_0

是具體因果 token 層；

\mathcal C_1

是一般因果 type / causal schema 層；

\mathcal L

是 lawhood / nomic / modal stability 層；

\mathcal G

是 meta-ground 層，即「什麼使某個因果 type 具有 law-like status」的候選基礎。

本文明確拒絕把這四層壓成一句：

\text{cause} = \text{law} = \text{regularity}.

2025 年 Max Kistler 的《Metaphysics of Causation》區分 type-level causal models 與 token-level causal processes，並回顧 regularity、probability、necessitation / powers、counterfactual、intervention、process / mechanism 等不同因果理論；2026 年的因果理論綜述也再次區分 singular causation 與 general causation。這與本文的核心要求一致：token causation、type causation 與 lawhood 不應被視為同一型別。

令一個具體 token causal event：

c_i = (x_i,k_i,y_i)

表示在背景條件 $k_i$ 下，狀態／事件 $x_i$ 與結果 $y_i$ 形成某種已認可 causal connection。令 causal type：

G: X\times K \rightsquigarrow Y

描述一族 general causal relations。當：

c_i \models G

時，只表示該 token 是 $G$ 的一個 instance。這並不自動使 $G$ 成為 natural law。

本文證明「Token-to-Law Extension Non-Uniqueness Theorem」。令所有已觀察／實現 token 的 support 為：

S \subsetneq X\times K.

若 $G_1$ 與 $G_2$ 在 $S$ 上完全一致，而在某個未實現／未觀察的 admissible state 上不同，則所有 actual token data 對兩者完全無法區分：

G_1|_S = G_2|_S,

但：

G_1 \neq G_2.

因此：

\boxed{ \text{complete token agreement on actual support} \not\Rightarrow \text{unique causal type or law over the full admissible domain}. }

這是 Paper 05「actual-history modal underdetermination」在元因果層的正式重寫。

本文進一步證明「Actual-Mosaic Meta-Ground Non-Identification Proposition」。若一個 Humean law theory 與一個 governing / primitive-law theory 對全部 actual physical token facts 給出完全相同的描述，而 observation operator 僅能讀取 actual mosaic，則 actual observation alone 無法決定 law 是「世界規律的最佳摘要」還是「相對其 instances 具有獨立 governing / constraining status」。2025 年 Jaag 與 Loew 對 Humeanism 的辯護正指出：科學 modelling practice 可以被 Humean account 解釋，而不必承諾 laws 在本體上 govern；相對地，governing views 則要求某種 law–instance independence。本文因此把這場爭論視為典型的 meta-ground underdetermination，而不是一個可由單一實驗直接決定的 token-level 差異。

本文定義 Lawhood Certificate, LC。一個 causal type $G$ 若要被升級為 law-like structure，至少應明確標記：

token / empirical support；
domain / scope；
counterfactual support；
intervention or difference-making profile；
dynamical / mechanistic compatibility；
invariance / stability regime；
representation robustness；
modal strength；
exceptions / ceteris paribus structure；
law ontology / meta-ground status。

前九項仍可能屬於科學與形式證據；第十項要求理論明確回答自己採用的是哪一種 law metaphysics，而不能由前九項自動偷推。

本文提出五種主要 meta-ground candidate：

G1 — Humean Pattern / Best-System Ground：

\mathcal L = \operatorname{BestSystem} ( \mathcal M_{\mathrm{actual}} ).

lawhood 由 actual mosaic 的最佳系統化、規律性、簡潔性、強度或其改良版本構成。此路線不需要 law 作為額外 governing entity。

G2 — Primitive Governing / Constraint Ground：

\mathcal L = \mathcal L_{\mathrm{primitive}},

laws 是 primitive facts，藉由 constraining physical possibilities 或其他 governing relation 決定 admissible histories。Chen 與 Goldstein 的 Minimal Primitivism 是一個重要例子。

G3 — Powers / Necessitation Ground：

law-like stability 根植於 properties / universals / causal powers / dispositions 的 necessary connections：

\mathcal U_A \xRightarrow{N} \mathcal U_B.

此路線以 type / universal 的 modal structure 解釋 token 為何反覆表現相同 causal pattern。

G4 — Recursive Law-Structure Ground：

lawhood 由一組具 exogenous independence 的 recursive laws / structural relations支撐。Papineau 2025 提出的 recursive structures of laws with exogenous independence 提供了一個當代範例，目的是解釋 causal inference 為何可能。

G5 — Epistemic / Model-Role Deflation：

不把 lawhood 視為額外本體生成者，而把 laws 當作對世界規律、可預測性、反事實推理與模型使用的最佳認知／科學結構。這與某些 Humean 或 pragmatic approaches 可以重疊，但本文保留其作為更廣義 deflationary branch。

本文沒有宣稱五者窮盡所有可能 law metaphysics，而把它們作為一個比較 atlas。

本文接著正式定義 Meta-Causal Grounding Problem, MCGP：

給定：

\mathcal T = \{c_i\}

的 causal-token body、候選 causal type $G$ 與 lawhood claim $\operatorname{Law}(G)$ ，尋找或判定一個 meta-ground：

\Gamma_G

使理論能回答：

\boxed{ \Gamma_G \Vdash \operatorname{LawLike}(G), }

並說明：

為什麼 token instances 支持同一 type；
為什麼 $G$ 對未實現 admissible cases 有 counterfactual extension；
為什麼 $G$ 具有其聲稱的 modal force；
$G$ 是 summary、constraint、power、recursive structure 還是其他；
這個 meta-ground 自己是否 primitive、reduced、recursive 或 deflated。

本文特別強調：

\boxed{ \text{meta-causal} \neq \text{a higher-order efficient cause that literally causes causation}. }

「元因果」在本文中是一個 typed meta-level problem，研究的是 causal schema 的 lawhood / grounding / modal status，而不是假設存在一個超級事件在時間中先「造成」因果律。

本文最後提出 Meta-Causal Grounding Certificate, MCGC，作為所有總體本體論的終局審核接口。任何聲稱「世界由 $X$ 生成」的理論，都必須說明：

causal tokens 是什麼；
causal types 是什麼；
token-to-type instantiation criterion；
lawhood criterion；
counterfactual / modal extension；
dynamics；
intervention semantics；
law / causation metaphysics；
primitive / regress / deflation status；
representation robustness；
falsification / revision conditions；
open-domain extension policy。

本文的最終結論不是：

因果一定有一個更高的因果。

而是：

\boxed{ \text{causal token} \neq \text{causal type} \neq \text{lawhood} \neq \text{meta-ground}. }

以及：

\boxed{ \text{observing a stable regularity does not by itself settle what makes that regularity law-like}. }

這使「因果的因果」從容易產生 category error 的語句，轉化為一個真正可比較、可分支、可反駁的元因果基礎問題。

關鍵詞： 元因果、因果 token、因果 type、自然律、lawhood、Humeanism、governing laws、causal powers、necessitation、counterfactual、規律穩定性、grounding

1. 因果 Token 與因果 Type

先定義具體 causal token：

\boxed{ c_i = (x_i,k_i,y_i). }

其中：

$x_i$ ：cause-side event / state；
$k_i$ ：背景條件；
$y_i$ ：effect-side event / state。

若：

c_i

被某 causal criterion 接受，

我們只得到：

在這一具體 case 中， $x_i$ 對 $y_i$ 具有 causal relevance。

2. Type Causation

一般因果 claim：

$X$ causes $Y$ 。

不是單一事件。

可寫：

\boxed{ G: X\times K \rightsquigarrow Y. }

其中：

G

可以是：

statistical causal relation；
structural equation；
mechanism schema；
intervention-stable relation；
law-like transition type。

3. Token Instantiation

定義：

\boxed{ c_i \models_K G }

表示 token $c_i$ 在背景條件 $K$ 下 instantiates causal type $G$ 。

這不表示：

c_i=G.

所以：

\boxed{ \text{causal token} \neq \text{causal type}. }

4. Type 也不等於 Law

一個 type-level statement：

吸煙增加肺癌風險。

可以是 causal generalization，

但不必具有 fundamental law of physics 的地位。

所以：

\boxed{ \text{causal type} \neq \text{natural law}. }

5. 四層架構

本文正式建立：

\boxed{ \mathcal C_0 \rightarrow \mathcal C_1 \rightarrow \mathcal L \rightarrow \mathcal G. }

$\mathcal C_0$

token causal facts。

$\mathcal C_1$

general causal types。

$\mathcal L$

lawhood / nomic stability。

$\mathcal G$

meta-ground。

6. 觀察主要接觸哪一層？

Paper 01 的 observation system：

\mathbb O_t

主要取得：

\boxed{ \mathcal C_0 }

中的 event traces 與 measurement data。

我們可以再透過：

\operatorname{Abs}

建立：

\mathcal C_1.

但：

\boxed{ \mathcal L }

需要額外 generalization / modality / lawhood inference。

7. Token Corpus

定義：

\boxed{ \mathcal T_t = \{c_1,\ldots,c_n\} }

為有限時間內的 causal-token corpus。

其 support：

\boxed{ S_t \subseteq X\times K. }

8. Type Extension

候選 causal type：

G

必須在：

S_t

上與 token evidence 相容。

即：

\boxed{ G|_{S_t} \simeq \mathcal T_t. }

但：

G

通常還對：

(X\times K)\setminus S_t

做出未觀察 extension。

9. Token-to-Law Extension Non-Uniqueness Theorem

定理 1

令：

S \subsetneq X\times K.

假設存在：

G_1: X\times K \rightarrow Y

符合全部 token data。

若存在：

z^\star \in (X\times K)\setminus S

且 $Y$ 至少有兩個可選 output，

則存在：

G_2 \neq G_1

使：

\boxed{ G_2|_S = G_1|_S. }

證明。

取：

z^\star \notin S.

選：

y^\star \neq G_1(z^\star).

定義：

G_2(z) = G_1(z)

對所有：

z\neq z^\star,

而：

G_2(z^\star) = y^\star.

故兩者在全部 token support 上一致，

但作為全域 type 不同。

證畢。

10. 定理 1 的意義

所以：

\boxed{ \text{complete agreement on all actual tokens} \not\Rightarrow \text{unique general causal extension}. }

更不推出唯一 law ontology。

11. Modal Extension Gap

定義：

\boxed{ \Delta_{\mathrm{modal}} = \operatorname{Dom}(G) \setminus S_t. }

這是：

causal type 對尚未被 actual token 覆蓋的 admissible cases 所做的 extension。

law 的反事實力量主要就在這裡接受壓力。

12. Reproducibility / Stability

如果：

G

只在單一 token 成立，

很難提升成 general causal type。

因此至少需要某種：

\boxed{ \operatorname{Stable}_K(G) }

表示 relation 在一族背景變化下仍保持。

13. Counterfactual Stability

更強條件：

\boxed{ \forall z' \in \operatorname{Adm}_K, \quad G(z') }

對 relevant counterfactual cases 仍有定義／支持。

這是：

\boxed{ \text{law-like modal extension}. }

14. 但 Counterfactual 本身不是無爭議 Primitive

counterfactual semantics 可以依賴：

possible worlds；
structural equations；
interventions；
dispositions；
laws。

所以：

\boxed{ \text{counterfactual support} }

本身也需要 framework。

15. Intervention Stability

若：

G

有 causal interpretation，

可以要求：

\boxed{ \operatorname{do}(X=x) }

在合法 intervention 下系統性改變 $Y$ 。

但 intervention theory 並非適用所有 physics / causal cases。

所以它是 certificate component，

不是唯一 causation definition。

16. Mechanistic Support

另一些領域更依賴：

\boxed{ \text{process / mechanism} }

而不是 universal regularity。

所以 lawhood certificate 不能要求所有 science 都有同一形式。

17. Lawhood Certificate

本文定義：

\boxed{ \operatorname{LC}(G) }

至少包含：

Token Support；
Domain / Scope；
Counterfactual Support；
Intervention Profile；
Mechanism / Dynamics；
Invariance / Stability；
Representation Robustness；
Modal Strength；
Exception Structure；
Meta-Ground Status。

18. 前九項不決定第十項

即使：

G

具有：

完美 empirical support；
完美 prediction；
高 counterfactual stability；

也仍可以問：

\boxed{ \text{why is }G\text{ a law?} }

也就是：

\boxed{ \text{what makes lawhood true?} }

19. Humean vs Governing

這裡出現經典分歧。

Humean：

\boxed{ \text{laws depend on / supervene on the mosaic}. }

Governing：

\boxed{ \text{laws possess some independence from their instances}. }

20. Humean Pattern Ground

令：

\mathcal M_{\mathrm{actual}}

為 complete actual mosaic。

Humean 路線可概念化成：

\boxed{ \mathcal L_H = \operatorname{BestSystem} ( \mathcal M_{\mathrm{actual}} ). }

laws 是實際世界 pattern 的最佳 systematization。

21. Humean Meta-Ground

此時：

\boxed{ \Gamma_G = \mathcal M_{\mathrm{actual}} + \operatorname{SystematizationCriterion}. }

law 不需要再「推動」 token。

token mosaic 在形上學順序上先於 lawhood。

22. Governing Ground

非 Humean 可以反過來主張：

\boxed{ \mathcal L_G }

相對 actual mosaic 具有 primitive / modal independence，

並：

produces；
necessitates；
constrains；

admissible histories。

23. Governing 不一定等於時間中的 Production

Chen–Goldstein 型 minimal primitivism 特別提醒：

\boxed{ \text{governing} \neq \text{necessarily evolving future from past}. }

law 可以藉：

\boxed{ \text{constraining physical possibilities} }

治理。

因此 governing relation 也必須 typed。

24. Constraint-Law Form

令所有 logically describable histories 為：

\Omega.

law 選出 admissible histories：

\boxed{ \Omega_L = \{ \omega\in\Omega: \omega\models L \}. }

此時 governing 是：

\boxed{ \text{possibility constraint}. }

不是一個 temporal push。

25. Actual-Mosaic Meta-Ground Non-Identification Proposition

命題 2

假設 Humean theory：

T_H

與 governing theory：

T_G

對 actual mosaic：

\mathcal M

給出相同全部 token facts，

且 observation operator：

\mathcal O

只取決於：

\mathcal M.

則：

\boxed{ \mathcal O(T_H) = \mathcal O(T_G). }

因此 actual-token observation alone 不能區分兩者的 meta-ground。

證明。

依假設：

\mathcal O = F(\mathcal M).

兩 theory 具有同一 $\mathcal M$ ，

故 output 相同。

證畢。

26. 這不是說兩 theory 完全等價

它們可能對：

counterfactual lawhood；
metaphysical possibility；
governing；
explanation；

給不同答案。

所以：

\boxed{ \text{actual observational equivalence} \not\Rightarrow \text{metaphysical equivalence}. }

27. 2025 Governing Debate 的意義

近期 Humean defence 主張：

scientific modelling 的實踐並不迫使我們承諾 governing-law metaphysics。

這正表示：

\boxed{ \text{scientific use of laws} }

與：

\boxed{ \text{metaphysics of lawhood} }

可以被部分分離。

28. Nomic Normativity / Modality

lawhood 還常被期待解釋：

counterfactuals；
dispositions；
rational prediction；
nomic necessity。

所以：

\boxed{ \operatorname{Law}(G) }

不只是：

\boxed{ \operatorname{Regular}(G). }

29. G1 — Humean Pattern / Best-System Ground

第一個 meta-ground candidate：

\boxed{ \Gamma_H. }

核心：

\mathcal L \preceq \mathcal M_{\mathrm{actual}}.

優勢：

ontology lean；
fits pattern / model systematization；
avoids extra governing entities。

壓力：

modality；
counterfactual invariance；
law / accident distinction；
governing intuition。

30. G2 — Primitive Governing Ground

第二個 candidate：

\boxed{ \Gamma_P. }

核心：

\boxed{ \mathcal L \text{ is primitive}. }

或：

\mathcal L

是 fundamental constraints on physical possibility。

優勢：

modal direction clear；
law–instance independence。

壓力：

why these laws？
primitive selection；
simplicity；
epistemic access。

31. G3 — Powers / Necessitation Ground

第三個 candidate：

\boxed{ \Gamma_N. }

properties / universals / causal powers 自帶：

\boxed{ \text{dispositional / necessary connection}. }

例如：

\mathcal U_A \xRightarrow{N} \mathcal U_B.

token causal sequence 是 universal-level connection 的 instance。

32. Powers Route 回答了什麼？

它嘗試回答：

為什麼同類 token 反覆具有相似 causal behaviour？

因為它們 instantiate 相同：

\boxed{ \text{power / essence / universal}. }

33. Powers Route 又產生什麼新問題？

仍可問：

powers 為什麼有這些 manifestations？

如果回答：

\boxed{ \text{by essence}. }

essence 可能成為 primitive。

所以 meta-ground 不是消失，

而是移到：

\boxed{ \text{property essence / power structure}. }

34. G4 — Recursive Law-Structure Ground

Papineau 2025 提出：

\boxed{ \text{recursive structures of laws with exogenous independence}. }

用來解釋 causal inference techniques 為何能從 probabilistic patterns 推出 causal structure。

這是一個很有意思的 meta-causal candidate。

35. Recursive Law Structure

抽象寫成：

\boxed{ X_i = F_i ( \operatorname{Pa}(X_i), U_i ). }

其中：

U_i

具有適當 exogenous independence。

causal structure 由整個 recursive law network 給出。

36. Recursive Structure 不是終極答案

仍可問：

為什麼自然界具有這一套 recursive laws？

所以：

\boxed{ \text{causal inference ground} \neq \text{ultimate ontological ground}. }

但它可能是很好的中層 meta-causal explanation。

37. G5 — Epistemic / Model-Role Deflation

最後一個 branch：

不把 law 當額外 governing entity。

\boxed{ \mathcal L = \operatorname{ModelRole} ( \mathcal M, E, C ). }

其中：

$\mathcal M$ ：world data / mosaic；
$E$ ：epistemic goals；
$C$ ：scientific modelling constraints。

38. Deflation 的核心

它可以說：

問「什麼使 law governing？」本身就加了不必要本體。

真正需要的是：

prediction；
explanation；
counterfactual reasoning；
compression；
modelling。

39. Deflation 的代價

如果 law 只是 model-role，

那：

\boxed{ \text{law explains regularity because it governs it} }

不能再作為 literal metaphysical explanation。

它必須改成：

\boxed{ \text{law summarizes / systematizes / supports inference about regularity}. }

40. Five-Candidate Atlas

本文將：

\boxed{ \mathfrak A_G = \{ \Gamma_H, \Gamma_P, \Gamma_N, \Gamma_R, \Gamma_D \} }

作為 meta-ground atlas。

不是宣稱只有五種可能。

而是目前具有代表性的比較 chart。

41. Meta-Causal Grounding Problem

正式定義：

\boxed{ \textbf{MCGP} }

給定：

\mathcal T = \{c_i\},

candidate causal type：

G,

與：

\operatorname{Law}(G),

尋找／比較：

\boxed{ \Gamma_G }

使：

\Gamma_G \Vdash \operatorname{LawLike}(G).

42. $\Vdash$ 不是 Efficient Causation

這裡：

\Gamma_G \Vdash \operatorname{LawLike}(G)

可以表示：

constitutes；
grounds；
selects；
explains；
licenses；

視 ontology 而定。

不能一律讀成：

\boxed{ \Gamma_G \text{ temporally causes }G. }

43. 元因果的正確定義

所以本文定義：

\boxed{ \textbf{meta-causal} }

為：

對 causal types、lawhood、modal stability 與 causal-schema validity 的上位 grounding / constitutive / explanatory problem。

不是：

一個更高事件在時間中造成因果律。

44. 為什麼這個定義重要？

如果把「因果的因果」理解成：

C_2 \rightarrow C_1,

無限找更大的 cause，

會立刻犯：

\boxed{ \text{type error}. }

lawhood relation 未必是一個 event token。

45. Causal Token / Type / Law / Ground 分離

因此核心：

\boxed{ c_i \neq G \neq L \neq \Gamma_G. }

即使四者可以有 dependence relation，

也不是同一 object type。

46. Causal-Type Stability Problem

給定：

c_1,\ldots,c_n \models G,

真正需要問：

為什麼未來／未實現的 admissible tokens 也應預期 instantiate $G$ ？

這就是：

\boxed{ \text{induction + modality + lawhood} }

的交界。

47. Humean 回答

Humean 可以說：

不需要一個額外 producer；lawhood 由完整 mosaic 的 best-system role 決定。

所以：

\boxed{ \text{token stability} }

不是被 law「造成」，

而是 law 的 truth supervenes on the stable mosaic。

48. Governing 回答

governing theory 說：

law 相對 token 具有更 fundamental modal role。

所以：

\boxed{ \text{token histories are constrained by law}. }

49. Powers 回答

powers theory 說：

token instantiate properties whose powers dispose them toward characteristic manifestations。

所以：

\boxed{ \text{type stability is grounded in powers}. }

50. Recursive-Law 回答

recursive-law theory 說：

causal architecture 本身由 law network 與 exogenous independence 給出。

所以：

\boxed{ \text{causal inference is licensed by recursive law structure}. }

51. Deflationary 回答

deflationary theory 說：

問「是什麼讓 pattern 真正 govern？」可能不是 science 必須回答的問題。

law 的工作是：

\boxed{ \text{systematization / modelling / counterfactual guidance}. }

52. 同一 Token World 可以支援不同 Meta-Ground

這就是：

\boxed{ \text{Meta-Ground Underdetermination}. }

actual causal token corpus：

\mathcal T

可能同時被多種：

\Gamma_G

解釋。

53. Meta-Ground Selection Criteria

如果 observation 不能直接決定，

可以比較：

\boxed{ \mathbf S_G = ( S_{\mathrm{emp}}, S_{\mathrm{modal}}, S_{\mathrm{simp}}, S_{\mathrm{unif}}, S_{\mathrm{counter}}, S_{\mathrm{interv}}, S_{\mathrm{ext}} ). }

其中：

empirical adequacy；
modal adequacy；
simplicity；
unification；
counterfactual adequacy；
intervention adequacy；
extension robustness。

54. Selection Criteria 也不是 Absolute Truth

就算：

\Gamma_1

在：

\mathbf S_G

上勝出，

首先得到：

\boxed{ \text{best current meta-ground candidate}. }

不能直接推出：

\boxed{ \Gamma_1 = \text{absolute ontology}. }

55. Representation Robustness

一個 meta-ground 最好在不同 causal formalisms 中有穩定 counterpart：

structural equations；
mechanisms；
process theory；
counterfactual models；
dynamical systems。

若只在單一表示中存在，

可能是 formal artefact。

56. Lawhood Representation Invariance

令：

M_1,M_2

是同一 causal domain 的兩種 faithful representation。

若：

G_1 \leftrightarrow G_2

保持：

\mathcal J_L,

lawhood evidence 增強。

但：

\boxed{ \text{representation invariance} \not\Rightarrow \text{unique meta-ground}. }

57. Lawhood 與 Counterfactuals

2026 年仍有工作爭論 pragmatic Humeanism 是否足以解釋 laws 的 counterfactual invariance。

這本身顯示：

\boxed{ \text{counterfactual stability} }

正是 lawhood 的核心壓力點之一。

58. Lawhood 與 Normativity

2025 年 nomic normativity 研究還問：

laws 如何對 rational expectation / action 具有規範力量？

這再次顯示：

\boxed{ \text{lawhood} }

承擔的工作多於：

\boxed{ \text{observed regularity}. }

59. Lawhood 與 Simplicity

Chen 2025 對 physical laws 的 simplicity 研究指出，

不同 law metaphysics 都需要說明：

\boxed{ \text{why simple laws deserve special epistemic status}. }

所以：

\boxed{ \text{simplicity} }

也是 meta-ground comparison 的一個接口。

60. Meta-Law 問題

如果我們說：

所有 physical laws 又服從某個 meta-law：

\Lambda.

那：

\boxed{ \Lambda }

本身進入新的 lawhood problem。

61. Meta-Law Regress

若：

L_1 \leftarrow L_2 \leftarrow L_3 \leftarrow\cdots,

其中：

L_{n+1}

解釋：

L_n,

就回到 Paper 06：

\boxed{ \text{Primitive} \vee \text{Regress} \vee \text{Deflation}. }

62. Meta-Causal Closure

因此任何 meta-ground 最後都需標記：

\boxed{ \operatorname{ClosureStatus} ( \Gamma_G ) }

為：

primitive；
reduced；
recursively grounded；
open；
deflated。

63. Primitive Law 不是失敗答案

若 theory 說：

\boxed{ L \text{ is primitive}. }

這可以是一個清楚且一致的 ontology。

本文只要求：

不要把 primitive 說成「已由更深機制推導」。

64. Humean Reduction 也不是免費答案

若 law 完全 supervenes on mosaic，

還需要回答：

best-system criteria；
counterfactuals；
modality；
law / accident；
epistemic access。

所以：

\boxed{ \text{reduction} \neq \text{no proof obligations}. }

65. Powers 也不是免費答案

若 laws ground in powers，

仍需回答：

power identity；
manifestation condition；
composition；
masking / finks；
why these essences？

所以：

\boxed{ \text{powers} }

只是把 meta-ground 移到 property ontology。

66. Recursive Laws 也不是免費答案

若 causal law network 解釋 inference，

仍需要：

network ontology；
exogenous independence；
law selection；
meta-law status。

67. Deflation 也有代價

若 law 只是 model-role，

則：

\boxed{ \text{metaphysical governing explanation} }

被放棄。

這可能完全沒問題，

但理論必須明說。

68. Meta-Causal Grounding Certificate

本文提出：

\boxed{ \operatorname{MCGC} }

至少包含十二項。

69. MCGC-1 — Token Ontology

明確定義：

\boxed{ \mathcal C_0. }

事件、事實、狀態、process 哪個是 causal relata？

70. MCGC-2 — Type Ontology

明確定義：

\boxed{ \mathcal C_1. }

type 是：

variable relation；
universal；
mechanism class；
structural equation；
disposition class？

71. MCGC-3 — Instantiation Criterion

給：

\boxed{ c \models G. }

什麼使 token 算 type 的 instance？

72. MCGC-4 — Lawhood Criterion

給：

\boxed{ \operatorname{Law}(G). }

什麼區分：

\text{law}

與：

\text{accidental regularity}?

73. MCGC-5 — Modal Extension

定義：

\boxed{ \operatorname{CfStable}(G). }

如何處理未實現 cases？

74. MCGC-6 — Dynamics

給出：

\boxed{ D. }

不要只用 static relation 假裝完整因果生成。

75. MCGC-7 — Intervention Semantics

若使用：

\operatorname{do}

或 manipulation，

要說明 admissible intervention。

76. MCGC-8 — Law Metaphysics

明確標記：

\boxed{ \Gamma_G }

是：

Humean；
primitive；
powers；
recursive；
deflationary；
other。

77. MCGC-9 — Closure Status

標記：

\boxed{ \text{primitive / regress / reduced / open / deflated}. }

78. MCGC-10 — Representation Robustness

不同 causal formalisms 下，

必要 structure 是否保持？

79. MCGC-11 — Falsification

哪些 observation / countermodel 會讓：

\Gamma_G

失敗或降級？

80. MCGC-12 — Open-Domain Policy

新 state type、新 physics、新 causal formalism 出現後，

theory 如何延伸？

不能靠：

\boxed{ \text{anything new is automatically already included}. }

81. Meta-Causal Grounding Score 不宜單一化

可以用：

\boxed{ \mathbf E_{MC} = ( E_{\mathrm{token}}, E_{\mathrm{type}}, E_{\mathrm{law}}, E_{\mathrm{modal}}, E_{\mathrm{causal}}, E_{\mathrm{ground}}, E_{\mathrm{robust}}, E_{\mathrm{ext}} ). }

不要直接壓成一個：

0.93.

82. No-Go 1 — Token/Type Collapse

若把：

c_i

直接當成：

G,

則 single event 被偷升級成 general law。

不合法。

83. No-Go 2 — Type/Law Collapse

若：

G

只是 general correlation / causal type，

直接叫 fundamental law，

缺少 lawhood certificate。

84. No-Go 3 — Regularity/Ground Collapse

若 stable regularity：

R

直接推出：

\Gamma_G,

則 meta-ground 被偷渡。

85. No-Go 4 — Actual/Counterfactual Collapse

若只用 actual history：

S

宣稱唯一 full law，

違反定理 1 的 extension underdetermination，

除非另有 uniqueness constraints。

86. No-Go 5 — Governing-by-Verb

若只寫：

laws govern。

但沒有說 governing 是：

production；
constraint；
necessitation；
disposition；

則未完成 typing。

87. No-Go 6 — Humean-by-Compression

若某 model 很簡潔，

不能只靠簡潔直接證明：

\boxed{ \text{Humean metaphysics is true}. }

simplicity 是 evidence / criterion，

不是 automatic ontology identity。

88. No-Go 7 — Power-by-Label

若只是把：

law

改稱：

power，

卻沒有 manifestation / modal structure，

沒有增加 explanatory content。

89. No-Go 8 — Meta-Law Infinite Naming

若：

L_2,L_3,\ldots

只是不斷替上一層換名字，

沒有新的 constraints，

不構成 explanatory progress。

90. 可證偽／修正條件

F1 — Unique Extension

若某 domain 中 token corpus 加上明確 structural axioms 能唯一決定 full causal type，

Token-to-Law underdetermination 在該 domain 消失。

F2 — Meta-Ground Empirical Split

若兩種 law metaphysics 導出不同可觀測結果，

Actual-Mosaic Non-Identification 只在未分裂 regime 成立。

F3 — Governing Elimination

若所有 governing-language 的科學角色都可由 Humean / model role 完整重建，

primitive governing 的必要性下降。

F4 — Deflation Failure

若 robust empirical / intervention evidence 需要 irreducible modal / causal structure 才能解釋，

純 deflationary theory 受壓。

F5 — Power Reduction

若 powers / dispositions 可完全還原為其他 non-modal physical structure，

powers branch 的 fundamentality 下降。

91. 這篇如何回到「眼見不為真」

Paper 01 告訴我們：

\mathcal O \neq \operatorname{id}.

Paper 07 再補：

即使 observation 完全忠實捕捉全部 actual causal tokens，

仍然有：

\boxed{ \text{token facts} \neq \text{lawhood facts} }

的可能。

92. 所以「看到因果」其實至少有兩層

第一層：

\boxed{ \text{observe causal traces / interventions / mechanisms}. }

第二層：

\boxed{ \text{infer a stable causal type / law}. }

第三層才是：

\boxed{ \text{decide what grounds lawhood}. }

93. 這就是認識論與本體論的接口

所以：

\boxed{ \text{epistemic evidence} \rightarrow \text{causal type} \rightarrow \text{law ontology}. }

每一箭頭都有 proof obligation。

94. Physicalism 的終局回答可能是什麼？

最強 physicalism 可以說：

\boxed{ \Gamma_G \in \mathfrak P_\Omega. }

即：

lawhood / powers / modal structure / constraints 全部都是 physical-totality 的結構。

這完全合法。

但仍需完成：

\boxed{ \operatorname{MCGC}. }

95. 元息論的終局回答可能是什麼？

元息論可以說：

\boxed{ \Gamma_G \in \mathfrak I_\Omega. }

lawhood 是元息關係中的 invariant / constraint / transition structure。

也完全合法。

但同樣需要：

\boxed{ \operatorname{MCGC}. }

96. Idealism 的終局回答

idealism 可以說：

\Gamma_G

是：

rational structure；
mental law；
experiential necessity。

同樣要做：

\operatorname{MCGC}.

97. Structural Realism 的終局回答

structural realist 可以說：

\boxed{ \Gamma_G = \text{fundamental relational structure}. }

仍需回答：

why this structure；
modal status；
token instantiation；
representation invariance。

98. 這就是上位理論真正的公平性

我們不預設：

\boxed{ \text{元息勝} }

也不預設：

\boxed{ \text{physicalism 勝}. }

而是：

\boxed{ \text{同一證明義務制度下比較不同 total ontologies}. }

99. 七篇系列的完整鏈條

\boxed{ P01: \text{Observation Typing} }

\downarrow

\boxed{ P02: \text{Abstraction–Realization Non-Invertibility} }

\downarrow

\boxed{ P03: \text{Observation–Abstraction–Realization Loop} }

\downarrow

\boxed{ P04: \text{Frontier Throughput Asymmetry} }

\downarrow

\boxed{ P05: \text{Physicalism Proof Obligations} }

\downarrow

\boxed{ P06: \text{Emergence-Operator Typing} }

\downarrow

\boxed{ P07: \text{Meta-Causal Grounding}. }

100. 系列真正得到的母原則

第一：

\boxed{ \text{Access} \neq \text{Identity}. }

第二：

\boxed{ \text{Abstraction} \neq \text{Inverse Realization}. }

第三：

\boxed{ \text{Knowledge} \text{ can reconfigure observation and intervention}. }

第四：

\boxed{ \text{generation / validation / realization rates} \text{ can be asymmetric}. }

第五：

\boxed{ \text{ontology slogans must be decomposed into proof obligations}. }

第六：

\boxed{ \text{emergence is not one relation}. }

第七：

\boxed{ \text{causal token} \neq \text{causal type} \neq \text{lawhood} \neq \text{meta-ground}. }

101. 最後回答：「因果的因果到底是什麼？」

本文的答案不是一個名詞。

而是：

\boxed{ \text{這個問題必須先被型別化。} }

如果你問的是：

是什麼在時間中造成 causal event？

那是：

\boxed{ \text{first-order causation}. }

如果你問的是：

為什麼大量 causal tokens 共享同一 general type？

那是：

\boxed{ \text{type-instantiation / lawhood problem}. }

如果你問的是：

為什麼這個 law 對未實現 cases 仍有 modal force？

那是：

\boxed{ \text{natural-modality problem}. }

如果你問的是：

lawhood 本身由什麼構成／ground？

那才是：

\boxed{ \textbf{Meta-Causal Grounding Problem}. }

結論

「因果的因果」如果被理解成：

一定還有另一個事件去造成因果。

那很可能犯 category error。

因果 token 是事件層：

c_i.

因果 type 是一般化層：

G.

lawhood 是模態／規律地位：

\operatorname{Law}(G).

meta-ground 則是：

\Gamma_G.

所以真正結構是：

\boxed{ c_i \models G, }

\boxed{ \operatorname{LC}(G) \Rightarrow \operatorname{LawLike}(G), }

以及：

\boxed{ \Gamma_G \Vdash \operatorname{LawLike}(G). }

但 actual tokens 無法一般地唯一決定 full causal extension：

\boxed{ G_1|_S=G_2|_S \not\Rightarrow G_1=G_2. }

而就算 full law-like pattern 已經確定，

仍然可以存在：

Humean pattern ground；
primitive governing ground；
powers / necessitation ground；
recursive-law ground；
epistemic / model-role deflation；

等不同 meta-ground candidate。

因此：

\boxed{ \text{observed regularity} \not\Rightarrow \text{unique law metaphysics}. }

這不是要說真相永遠不可知。

而是要精確標記：

哪一步是觀察？哪一步是抽象？哪一步是一般化？哪一步加入模態？哪一步才是在做本體論？

這正是整個系列真正想處理的問題。

最後，我們因此不把：

\boxed{ \text{causation} }

本身當成最後一個免分析 primitive word。

任何 total ontology 若說：

世界就是這樣生成的。

都必須進一步回答：

\boxed{ \text{What is the type of the generative relation?} }

以及：

\boxed{ \text{What gives that relation its law-like, modal, and explanatory status?} }

這就是本文的：

\boxed{ \textbf{Meta-Causal Grounding Problem}. }

而七篇系列到這裡正式閉合：

\boxed{ \text{Observation} \rightarrow \text{Abstraction} \rightarrow \text{Realization} \rightarrow \text{Frontier} \rightarrow \text{Ontology} \rightarrow \text{Emergence} \rightarrow \text{Meta-Causality}. }

參考文獻

[1] Kistler, M. (2025). Metaphysics of Causation. Cambridge Elements in Metaphysics. Cambridge University Press. DOI: 10.1017/9781009260800.

[2] Papineau, D. (2025). Causal inference and the metaphysics of causation. Synthese, 206, 204. DOI: 10.1007/s11229-025-05268-0.

[3] Jaag, S., & Loew, C. (2025). Humeanism, Modality, and the Governing Conception of Natural Laws. Australasian Journal of Philosophy. DOI: 10.1080/00048402.2025.2521041.

[4] Loew, C., Jaag, S., & Hicks, M. T. (2025). The normative force of natural laws: Humean and non-Humean accounts of nomic normativity. Philosophical Studies, 182, 2191–2213. DOI: 10.1007/s11098-025-02344-6.

[5] Lange, M. (2026). Can Pragmatic Humeanism Account for the Counterfactual Invariance of Natural Laws? The British Journal for the Philosophy of Science, 77(1). DOI: 10.1086/723621.

[6] Chen, E. K. (2025). The simplicity of physical laws. Noûs. DOI: 10.1111/nous.12542.

[7] Chen, E. K., & Goldstein, S. (2022). Governing Without a Fundamental Direction of Time: Minimal Primitivism About Laws of Nature. In Y. Ben-Menahem (Ed.), Rethinking the Concept of Law of Nature, 21–64. Springer.

[8] Ghins, M. (2024). Scientific Realism and Laws of Nature: A Metaphysics of Causal Powers. Synthese Library 483. Springer.

[9] Hicks, M. T. (2022). The laws of modality. Philosophical Studies. DOI: 10.1007/s11098-022-01789-3.

[10] Schurz, G. (2026). Theories of Causality in Analytic Philosophy. Kölner Zeitschrift für Soziologie und Sozialpsychologie. DOI: 10.1007/s11577-026-01070-z.

[11] Lewis, D. (1973). Causation. The Journal of Philosophy, 70, 556–567.

[12] Armstrong, D. M. (1983). What Is a Law of Nature? Cambridge University Press.

[13] Woodward, J. (2003). Making Things Happen: A Theory of Causal Explanation. Oxford University Press.

[14] Pearl, J. (2000). Causality: Models, Reasoning, and Inference. Cambridge University Press.

[15] Neo.K. (2026). 實在域與抽象域的觀察非對稱. Reality–Abstraction Asymmetry and Meta-Causal Grounding Series, Paper 01.

[16] Neo.K. (2026). 抽象化與實現的非互逆性. Reality–Abstraction Asymmetry and Meta-Causal Grounding Series, Paper 02.

[17] Neo.K. (2026). 觀察—抽象—實現循環. Reality–Abstraction Asymmetry and Meta-Causal Grounding Series, Paper 03.

[18] Neo.K. (2026). 抽象前沿—實在前沿速度不對稱. Reality–Abstraction Asymmetry and Meta-Causal Grounding Series, Paper 04.

[19] Neo.K. (2026). 物質主義的分層證明義務. Reality–Abstraction Asymmetry and Meta-Causal Grounding Series, Paper 05.

[20] Neo.K. (2026). 湧現的湧現. Reality–Abstraction Asymmetry and Meta-Causal Grounding Series, Paper 06.

版本聲明

v0.1 已完成：

causal token / causal type / lawhood / meta-ground four-layer typing；
token-instantiation relation；
Token-to-Law Extension Non-Uniqueness Theorem；
modal-extension gap；
Lawhood Certificate；
Humean / governing distinction；
Actual-Mosaic Meta-Ground Non-Identification Proposition；
primitive governing / constraint-law typing；
powers / necessitation branch；
recursive-law branch；
epistemic / model-role deflation branch；
Meta-Causal Grounding Problem；
meta-causal category-error guardrail；
meta-ground selection vector；
representation-robust lawhood；
meta-law regress interface；
Meta-Causal Grounding Certificate；
eight no-go conditions；
five falsification / revision conditions；
seven-paper series closure.

Reality–Abstraction Asymmetry and Meta-Causal Grounding Series v0.1 is complete.

元因果基礎問題

元因果基礎問題

從因果 Token、因果 Type、規律模態到生成關係的最終基礎

摘要

1. 因果 Token 與因果 Type

2. Type Causation

3. Token Instantiation

4. Type 也不等於 Law

5. 四層架構

C0\mathcal C_0C0​

C1\mathcal C_1C1​

L\mathcal LL

G\mathcal GG

6. 觀察主要接觸哪一層？

7. Token Corpus

8. Type Extension

9. Token-to-Law Extension Non-Uniqueness Theorem

10. 定理 1 的意義

11. Modal Extension Gap

12. Reproducibility / Stability

13. Counterfactual Stability

14. 但 Counterfactual 本身不是無爭議 Primitive

15. Intervention Stability

16. Mechanistic Support

17. Lawhood Certificate

18. 前九項不決定第十項

19. Humean vs Governing

20. Humean Pattern Ground

21. Humean Meta-Ground

22. Governing Ground

23. Governing 不一定等於時間中的 Production

24. Constraint-Law Form

25. Actual-Mosaic Meta-Ground Non-Identification Proposition

26. 這不是說兩 theory 完全等價

27. 2025 Governing Debate 的意義

28. Nomic Normativity / Modality

29. G1 — Humean Pattern / Best-System Ground

30. G2 — Primitive Governing Ground

31. G3 — Powers / Necessitation Ground

32. Powers Route 回答了什麼？

33. Powers Route 又產生什麼新問題？

34. G4 — Recursive Law-Structure Ground

35. Recursive Law Structure

36. Recursive Structure 不是終極答案

37. G5 — Epistemic / Model-Role Deflation

38. Deflation 的核心

39. Deflation 的代價

40. Five-Candidate Atlas

41. Meta-Causal Grounding Problem

42. ⊩\Vdash⊩ 不是 Efficient Causation

43. 元因果的正確定義

44. 為什麼這個定義重要？

45. Causal Token / Type / Law / Ground 分離

46. Causal-Type Stability Problem

47. Humean 回答

48. Governing 回答

49. Powers 回答

50. Recursive-Law 回答

51. Deflationary 回答

52. 同一 Token World 可以支援不同 Meta-Ground

53. Meta-Ground Selection Criteria

54. Selection Criteria 也不是 Absolute Truth

55. Representation Robustness

56. Lawhood Representation Invariance

57. Lawhood 與 Counterfactuals

58. Lawhood 與 Normativity

59. Lawhood 與 Simplicity

60. Meta-Law 問題

61. Meta-Law Regress

62. Meta-Causal Closure

63. Primitive Law 不是失敗答案

64. Humean Reduction 也不是免費答案

65. Powers 也不是免費答案

66. Recursive Laws 也不是免費答案

67. Deflation 也有代價

68. Meta-Causal Grounding Certificate

69. MCGC-1 — Token Ontology

70. MCGC-2 — Type Ontology

71. MCGC-3 — Instantiation Criterion

72. MCGC-4 — Lawhood Criterion

$\mathcal C_0$

$\mathcal C_1$

$\mathcal L$

$\mathcal G$

42. $\Vdash$ 不是 Efficient Causation