title: 第一因之前不能先偷放答案：有、無、因果與本體語言的適用域
english_title: Do Not Smuggle the Answer in Before the First Cause: Existence, Nothingness, Causality, and the Domains of Ontological Language
series: AI 辯論學習方法論系列
series_english: AI Debate Learning Methodology Series
series_id: ADLM
paper_id: ADLM-03
author: Neo.K
organization: EveMissLab
version: 0.1.0
status: Research Draft / Series Paper
date: 2026-10-05
language: zh-TW
canonical_source: UTF-8 Markdown
math_source_rule: inline math only with $...$ ; display math only with $$...$$

第一因之前不能先偷放答案

有、無、因果與本體語言的適用域

Do Not Smuggle the Answer in Before the First Cause: Existence, Nothingness, Causality, and the Domains of Ontological Language

系列： AI 辯論學習方法論系列（ADLM），Paper 03
作者： Neo.K
機構： EveMissLab
版本： v0.1.0
日期： 2026-10-05

公司： 一言諾科技有限公司

摘要

第一因、宇宙起源、終極來源與「無中生有」類問題，常被快速壓縮成幾個看似直觀的句子：

無不能生有。

有必有因。

第一因必須在時空之外。

宇宙起源於無。

第一因必然是無限存在。

然而，這些句子的真正困難往往不在於推理形式，而在於：我們是否已經證明「有、無、因、前、後、內、外、激發、未激發」這些 predicate 可以合法地作用於所討論的終極層？

本文提出：

\boxed{ \text{Observer Category} \neq \text{Ultimate Ontological Category}. }

並主張：

\boxed{ \text{A predicate valid inside a world-model need not remain valid at the boundary or ground of that world-model}. }

例如，「未激發」並不等於「無」。只要某狀態能被稱為 unexcited state，就已經預設：

\boxed{ \text{state space} + \text{distinction rule} + \text{admissible structure}. }

同樣，「時空之外」中的「外」本身通常是空間性 predicate；「時間之前」中的「之前」通常是時間性 predicate。若時空本身正是待解釋對象，則這些詞未必能不加轉譯地跨越定義域。

本文因此區分：

Absolute Nothing；
Relative Absence；
Vacuum；
Ground State；
Unexcited State；
Potential State；
Ontological Ground；
Temporal Cause；
Structural Dependence；
Grounding Relation；
First Cause；
Origin Relation。

並提出 Predicate Transfer Burden：若一個概念從觀察域 $\mathcal D_O$ 被提升到終極域 $\mathcal D_U$ ，必須提供合法 transfer witness：

\boxed{ \Gamma_P: P\vert_{\mathcal D_O} \rightsquigarrow P\vert_{\mathcal D_U}. }

沒有這個 bridge，就不能因為某個詞在日常世界中直觀、有效，就假定它是宇宙最底層的天然語言。

本文同時反對兩種對稱的過度主張：

\boxed{ F_0=\text{Absolute Nothing} }

與：

\boxed{ F_0=\text{Infinite Being} }

在沒有額外因果與本體論證前都屬於過早 closure。

本文不主張第一因不可描述，也不主張強因果不可提出。真正主張的是：

\boxed{ \text{Strong ontology requires strong predicate-transfer justification}. }

因此，適當的形上學懷疑不是拒絕討論，而是先確認：我們正在使用的語言，究竟是終極實在本身的語言，還是有限觀察者對它的投影語言？

關鍵詞： 第一因、無中生有、本體論、Absolute Nothing、Predicate Transfer、Ontological Ground、First Cause、時空外、因果、投影、形上學懷疑、AI Debate Learning

1. 問題起點：第一因問題常常太快開始

很多第一因辯論一開始就寫：

\boxed{ \text{Something cannot come from nothing}. }

或：

\boxed{ \text{Everything that begins to exist has a cause}. }

這些句子看起來很清楚。

但真正應先問：

\boxed{ \text{What do “something”, “nothing”, “begin”, and “cause” mean here?} }

如果這一步沒做，後面可能只是：

\boxed{ \text{high-confidence reasoning over low-resolution predicates}. }

2. 「無」至少不是一種東西

日常語言的：

沒有。

可能指：

\boxed{ \text{absence relative to a domain}. }

例如：

房間裡沒有貓。

寫成：

\neg\exists x\in D_{\mathrm{room}}: Cat(x).

這不是：

\boxed{ \text{Absolute Nothingness}. }

3. Relative Absence

本文定義：

\boxed{ N_R(P,D) = \neg\exists x\in D:P(x). }

這表示：

某個 domain 中沒有某種東西。

這仍然預設：

D

存在。

4. Absolute Nothing

若要討論：

\boxed{ N_A = \text{Absolute Nothing}, }

它不能只代表：

沒有物質；
沒有粒子；
沒有光；
沒有生命；
沒有空間中的 object。

因為這些都仍預設某個底層 domain。

5. Absolute Nothing 的最低要求

若真的說：

N_A,

至少應排除：

objects；
spacetime；
fields；
laws；
state space；
relations；
potential；
distinction；
admissible transition。

因此：

\boxed{ N_A }

是一個極強概念。

6. 「真空」不是絕對無

物理 vacuum：

V

通常仍位於：

\mathcal H

或其他 state space 中。

所以：

\boxed{ \text{Vacuum} \neq \text{Absolute Nothing}. }

只要能談 vacuum state，就已經有：

\boxed{ \text{state structure}. }

7. Ground State 也不是無

如果：

\lvert 0\rangle

是 ground state，

那至少已經有：

state；
ordering；
Hamiltonian or equivalent structure；
admissibility。

因此：

\boxed{ \text{Ground State} \neq \text{Nothing}. }

8. Unexcited State 也不是無

「未激發」尤其容易被語言誤導。

若：

S_0

是 unexcited state，

它至少預設：

\boxed{ \mathcal S \neq \varnothing. }

還需要某個 distinction：

Excited(S)

與：

\neg Excited(S).

所以：

\boxed{ \text{Unexcited} \Rightarrow \text{already-structured ontology}. }

9. Potential 也不是無

若說：

一切只是潛能，尚未實現。

就已經引入：

\boxed{ \text{Possibility Space}. }

若：

\Diamond X

有意義，

就需要某種 modal structure。

因此：

\boxed{ \text{Pure Potential} \neq \text{Absolute Nothing}. }

10. 有／無不是天然二分嗎？

在某個已定義存在域：

\Omega,

可以有：

P(x)\in\{0,1\}.

但真正困難是：

\boxed{ \text{What constitutes }\Omega? }

如果：

\Omega

本身就是待解釋對象，

那麼：

\boxed{ \text{existence predicate} }

是否能跨越其邊界，不能直接假設。

11. Existence Predicate

令：

E_O(x)

表示觀察者 $O$ 所使用的「存在」判定。

這個 predicate 可能建立於：

observability；
causal interaction；
persistence；
logical admissibility；
physical state membership。

所以：

\boxed{ E_O }

不必等於某個終極：

E_U.

12. Observer Category

本文定義：

\boxed{ \mathcal C_O = \{ \text{Exist}, \text{NonExist}, \text{Cause}, \text{Before}, \text{After}, \text{Inside}, \text{Outside}, \text{Actual}, \text{Potential}, \text{Excited}, \text{Unexcited} \}. }

這是觀察者目前可用 category set。

13. Ultimate Ontological Category

對假設中的終極層：

\mathcal D_U,

我們不能先假定：

\boxed{ \mathcal C_O = \mathcal C_U. }

這正是本文的核心限制。

14. Observer Category ≠ Ultimate Ontological Category

因此：

\boxed{ \text{Observer Category} \neq \text{Ultimate Ontological Category}. }

至少：

\mathcal C_O = \mathcal C_U

需要證明。

15. Predicate Transfer

若 predicate：

P

在：

\mathcal D_O

有效，

要提升到：

\mathcal D_U

需要：

\boxed{ \Gamma_P: P\vert_{\mathcal D_O} \rightsquigarrow P\vert_{\mathcal D_U}. }

本文稱為：

\boxed{ \text{Predicate Transfer Witness}. }

16. Predicate Transfer Burden

本文提出：

\boxed{ B_{PT}(P) = \text{burden required to transfer predicate }P \text{ across domains}. }

跨域越大：

B_{PT}\uparrow.

17. 日常因果 predicate

在時空內：

C_t \rightarrow E_{t+\Delta}.

這是 temporal causation。

但如果我們問：

時間本身從哪裡來？

那麼：

\boxed{ \text{temporal cause} }

可能不能直接使用。

18. Cause of Time

若時間：

T

本身是被解釋對象，

寫：

C_{t<t_0} \rightarrow T_{t_0}

可能已經偷用了：

t<t_0.

所以：

\boxed{ \text{Cause of Time} }

需要重新定義 cause。

19. Temporal Cause vs Ontological Dependence

本文區分：

\boxed{ C_T = \text{Temporal Cause} }

與：

\boxed{ D_O = \text{Ontological Dependence}. }

前者有：

t_1<t_2.

後者未必。

20. Grounding Relation

可以寫：

\boxed{ X \prec_G Y }

表示：

$X$ 在某種 ontological grounding 意義下依賴 $Y$ 。

這不同於：

Y \rightarrow_T X.

21. First Cause 可能只是名稱過早

傳統：

\boxed{ F_0 = \text{First Cause}. }

但如果我們還不知道 relation 是：

temporal cause；
grounding；
structural dependence；
logical necessity；
boundary condition；

那麼：

\boxed{ \text{First Cause} }

可能已經太具體。

22. Origin Relation

更保守地，可以先寫：

\boxed{ \mathfrak W \mathcal R F_0 }

其中：

\mathcal R=?

這只表示：

世界 $\mathfrak W$ 與某個來源／底座 $F_0$ 存在待判定關係。

23. Ultimate Ground

同樣可定義：

\boxed{ G_U = \text{Ultimate Ground candidate}. }

但：

G_U

不自動等於：

personal；
conscious；
infinite；
omnipotent；
temporal cause。

24. 「時空之外」的問題

常見說法：

第一因必須在 spacetime outside。

但：

\boxed{ Outside(x,y) }

通常本身是 spatial relation。

如果：

y=\text{space itself},

那麼：

Outside(x,\text{space})

需要額外定義。

25. Outside Spacetime 的較精確版本

真正可能想說：

\boxed{ F_0 \notin \mathcal M_{\mathrm{spacetime}} }

即：

$F_0$ 不是 spacetime manifold 中的 ordinary element。

這比：

它在時空外面。

精確得多。

26. 「時間之前」也一樣

若：

t_0

是時間 domain 的 lower boundary，

那麼：

t<t_0

可能根本未定義。

所以：

\boxed{ \text{Before Time} }

不一定是 false。

它可能是：

\boxed{ \text{ill-typed}. }

27. Ill-Typed Question

本文提出：

\boxed{ \text{False} \neq \text{Undefined} \neq \text{Ill-Typed}. }

這三者必須分開。

28. 北極類比的限制

常見類比：

問時間之前，就像問北極以北。

它可以幫助理解 ill-typed relation。

但：

\boxed{ \text{analogy} \neq \text{proof}. }

不能因類比漂亮就證明 cosmology。

29. 語言內的「外」不一定是本體上的「外」

一個世界模型：

M

說：

X\notin M.

不等於：

X\notin\Omega.

因此：

\boxed{ \text{Model Externality} \neq \text{Ontological Externality}. }

30. 第一因不能直接等於 Absolute Nothing

如果：

F_0=N_A,

那需要說明：

Absolute Nothing 如何承擔 relation？

因為若：

N_A

真的沒有：

state；
relation；
possibility；
law；

那：

\boxed{ N_A \rightarrow \mathfrak W }

本身也很難保持 ordinary causal meaning。

31. Nothing as Causal Agent 是 category problem

如果：

N_A

具備：

\text{capacity to generate},

那它已經不是純粹：

\boxed{ \text{nothing}. }

因此：

\boxed{ \text{Generative Nothing} }

可能是自我侵蝕概念。

32. 但這不證明 God

指出：

F_0\neq N_A

也不能推出：

F_0=G.

因為 hypothesis space 可能仍有：

structural ground；
law-like primitive；
modal substrate；
unknown ontology。

33. Reject Nothing ≠ Prove Infinite Being

所以：

\boxed{ \neg(F_0=N_A) \not\Rightarrow F_0=G_\infty. }

這是 ADLM-01、02 的直接延續。

34. 第一因也不能直接等於 Infinite Being

若說：

F_0

必然：

Infinite(F_0),

就需要：

\boxed{ \Gamma_{\mathrm{finite}\rightarrow\mathrm{infinite}}. }

否則只是 semantic escalation。

35. Infinite 也需要定義

「無限」可以指：

spatially infinite；
temporally infinite；
modal completeness；
power unbounded；
information unbounded；
non-finite category。

這些不能混。

36. Necessary Being 也不是自動結論

若：

Necessary(F_0)

要成立，

需要 modal argument。

不能只從：

\boxed{ F_0\text{ is a stopping point} }

推出。

37. Explanatory Stop ≠ Necessary Existence

一個模型停止於：

X

可能只是：

\boxed{ \text{current explanatory terminus}. }

而不是：

\boxed{ \text{metaphysically necessary terminus}. }

38. Stopping Point Problem

有神論可停：

\mathfrak W \rightarrow G.

自然主義可停：

\mathfrak W \rightarrow S.

兩邊都必須回答：

\boxed{ \text{Why is this stopping point privileged?} }

39. Explanatory Stop Symmetry

本文提出：

\boxed{ \text{Stopping Point Symmetry}. }

即：

不論終點叫 God、Law、Vacuum、Structure、Brute Fact，都不能只靠命名免除 explanatory burden。

40. 名字不是機制

因此：

\boxed{ \text{Name} \neq \text{Mechanism}. }

這與 ILSP-X01 的 emergence 批判同構。

41. 「有」也可能是投影

設終極 state：

X

經觀察／本體分類算子：

\Pi_O

映射成：

\Pi_O(X) \in \{ \text{Exist}, \text{NonExist}, \text{Potential}, \text{Actual} \}.

那麼：

\boxed{ \Pi_O(X) }

不一定等於：

X.

42. Ontological Projection

本文定義：

\boxed{ \Pi_O^{\mathrm{onto}} : X \rightarrow C_O(X). }

其中：

C_O(X)

是觀察者可用的本體分類。

43. Non-Injective Ontological Projection

若：

X_1\neq X_2

但：

\Pi_O^{\mathrm{onto}}(X_1) = \Pi_O^{\mathrm{onto}}(X_2),

則：

\boxed{ \text{different ultimate states can look ontologically identical to us}. }

44. Existence Category Collapse

例如：

X_1

與：

X_2

都被我們叫：

\boxed{ \text{existent}. }

但其底層存在方式可能完全不同。

所以：

\boxed{ \text{Existence Label} }

可能很粗。

45. Unexcited vs Nonexistent

若：

S_0

unexcited，

則它至少：

S_0\in\mathcal S.

若：

X

nonexistent，

則通常：

X\notin\mathcal S

或 predicate 不成立。

因此：

\boxed{ \text{Unexcited} \neq \text{Nonexistent}. }

46. Potential vs Nonexistent

同樣：

\Diamond X

與：

\neg X

可以同時成立。

所以：

\boxed{ \text{Potential} \neq \text{Actual} \neq \text{Impossible}. }

47. Possible Nothing 也會出問題

若說：

Nothing had the potential to become something。

那：

\boxed{ \text{potential} }

本身已經賦予：

N

modal structure。

所以這通常不是 strict absolute nothing。

48. Projection Hypothesis

本文不主張：

\boxed{ \text{all ontology is projection}. }

只提出較弱命題：

\boxed{ \text{our access to ontology may be projection-mediated}. }

49. Projection-Mediated Access

即：

\boxed{ W^\ast \xrightarrow{\mathcal O} O \xrightarrow{\Pi} C_O. }

因此我們研究的是：

\boxed{ \text{world through observer-accessible categories}. }

50. 這不是極端懷疑論

本文不推出：

\boxed{ \text{we know nothing}. }

而是：

\boxed{ \text{we know at the resolution justified by our access and models}. }

51. Typed Metaphysical Skepticism

本文將這種立場稱：

\boxed{ \text{Typed Metaphysical Skepticism}. }

它不是：

所有形上學都沒意義。

而是：

先檢查 predicate 是否 well-typed。

52. Typed Question

對命題：

P(F_0),

先問：

\boxed{ Type(P) \stackrel{?}{\supseteq} Type(F_0). }

如果不成立，

命題可能不是 false，而是 ill-typed。

53. Predicate-Domain Compatibility

定義：

\boxed{ C_{PD}(P,D) }

表示 predicate $P$ 是否可合法作用於 domain $D$ 。

若：

C_{PD}=0,

則：

P(x)

不應直接判真／假。

54. Metaphysical Type Error

本文定義：

\boxed{ \text{Metaphysical Type Error} }

為：

將只在局部存在域定義的 predicate，未經 bridge 直接作用於終極來源。

55. 典型 Type Error：Before the Beginning

如果：

Before(x,y)

需要 temporal order，

但：

F_0

位於 time-domain formation 問題，

則：

Before(F_0,T)

可能 ill-typed。

56. 典型 Type Error：Outside Space

如果：

\text{Outside}

需要 topology，

但 space 本身待生成，

則：

Outside(F_0,S)

需要新的非空間性 formalization。

57. 典型 Type Error：Unexcited Nothing

若：

Unexcited(x)

需要：

x\in\mathcal S,

卻又說：

x=N_A,

就可能矛盾。

58. 典型 Type Error：Infinite Cause

若：

Cause(x,y)

從日常 temporal cause 直接外推到：

F_0,

卻沒有 predicate transfer，

也屬於 type risk。

59. 強因果不是禁止

本文特別澄清：

\boxed{ \text{Strong Causal Claims Are Allowed}. }

問題不是強。

問題是：

\boxed{ \text{Whether the causal predicate has been transferred legitimately}. }

60. Strong Claim, Strong Transfer

本文提出：

\boxed{ \text{Strong Ontology} \rightarrow \text{Strong Predicate-Transfer Justification}. }

61. 因果外推可以成功

如果找到：

\Gamma_C

證明：

C_T

可推廣成更一般：

C_G,

那完全可以討論。

所以：

\boxed{ \text{skepticism} \neq \text{ban on metaphysics}. }

62. 只是不應提前 closure

若：

\Gamma_C

尚未建立，

就先寫：

\boxed{ F_0 = \text{personal infinite atemporal cause}, }

就是過早 ontology closure。

63. Closure Strength

定義：

\boxed{ S_C = \text{strength of ontological closure}. }

越多屬性被提前固定：

S_C\uparrow.

64. Evidence–Closure Matching

應滿足：

\boxed{ S_C \le S_E, }

其中：

S_E

是 evidence / causal support strength。

65. Overclosure

若：

S_C\gg S_E,

本文稱：

\boxed{ \text{Ontological Overclosure}. }

66. Underclosure

反過來：

S_C\ll S_E

只是過度保守。

不一定錯，但可能降低決策效率。

67. 第一因辯論的理想初始狀態

本文建議先寫：

\boxed{ F_0 = \text{unknown origin/ground candidate}. }

以及：

\boxed{ \mathcal R_0 = \text{unknown relation}. }

然後逐步增加屬性。

68. Incremental Ontology

流程：

\boxed{ F_0^{(0)} \rightarrow F_0^{(1)} \rightarrow F_0^{(2)} \rightarrow \cdots }

每新增一個 property：

P_i(F_0),

都需要：

E_i

或：

\Gamma_i.

69. Ontological Ledger

可保存：

candidate:
property:
evidence:
inference:
transfer_witness:
confidence:
alternatives:

這比一句：

第一因就是 X。

更適合高解析度辯論。

70. 第一因模型比較

假設：

M_1: F_0=N_A,

M_2: F_0=G_\infty,

M_3: F_0=S,

M_4: F_0=?.

真正問題不是哪一句比較直覺。

而是：

\boxed{ Q(M_i\mid E). }

71. Unknown Model 也是合法模型

M_4: F_0=?

不是逃避。

它可以表示：

\boxed{ \text{current evidence underdetermines ontology}. }

72. Unknown Is Not Nothing

這一點非常重要：

\boxed{ ? \neq N_A. }

「我們不知道」不能被偷換成「什麼都沒有」。

73. Unknown Is Not God

同樣：

\boxed{ ? \neq G. }

未知也不能被用作 God-of-the-gaps 自動填充。

74. Gap Symmetry

本文提出：

\boxed{ \text{Unknown Gap} \not\Rightarrow \text{Naturalist Answer} }

以及：

\boxed{ \text{Unknown Gap} \not\Rightarrow \text{Theist Answer}. }

75. Unknown Must Remain Open Until Bridged

所以：

\boxed{ ? }

應該被保留，

直到：

\Gamma

足以縮小候選空間。

76. 這不是「兩邊都一樣」

兩邊證據可能非常不對稱。

本文不主張：

P(M_1)=P(M_2).

只主張：

\boxed{ \text{lack of closure does not imply equal plausibility}. }

77. Proper Skepticism

適當懷疑論是：

\boxed{ \text{keep confidence proportional to evidence and type validity}. }

不是：

\boxed{ \text{all models are equally unknowable}. }

78. Relative Confidence

可以：

P(M_1\mid E) > P(M_2\mid E)

但仍：

P(M_1\mid E)<1.

這就是可更新立場。

79. Debate Should Compare Confidence, Not Just Labels

與其：

有神／無神。

更高解析度是：

\boxed{ P(M_i\mid E) }

以及：

\boxed{ \text{what evidence would move these values}. }

80. First-Cause Debate as Model Competition

真正形式：

\boxed{ \mathcal H_F = \{ M_1,M_2,\ldots,M_n \}. }

然後找：

\boxed{ E^\ast }

區分候選。

這比 binary rhetoric 更科學。

81. Predicate Audit

本文提出：

\boxed{ \text{Predicate Audit}. }

任何終極形上主張前問：

predicate 在哪個 domain 定義？
是否依賴 spacetime？
是否依賴 observer？
是否依賴 current physics？
是否有 transfer witness？
是否把 metaphor 當 literal ontology？

82. First-Cause Audit

特別針對第一因：

origin_candidate:
relation_type:
temporal_assumption:
spatial_assumption:
modal_assumption:
existence_predicate:
transfer_witness:
alternative_models:

83. Debate Failure Mode: Hidden Predicate Import

本文定義：

\boxed{ F_{\mathrm{HPI}} = \text{Hidden Predicate Import}. }

即：

沒有明講，就把局部概念屬性帶入終極模型。

84. 例：Creator

從：

\text{Cause}

偷換成：

\text{Creator}

就是可能的 Hidden Predicate Import。

因為：

\boxed{ \text{Cause} \neq \text{Intentional Creator}. }

85. 例：Creator → Person

再從：

\text{Creator}

偷換：

\text{Personal}.

也需要額外 bridge。

86. 例：Person → Classical God

再從：

\text{Personal}

跳到：

omniscient；
omnipotent；
perfectly good；

更需要獨立論證。

87. Ontological Attribute Ladder

可以寫：

F_0 \rightarrow C \rightarrow I \rightarrow P \rightarrow G.

其中：

$C$ ：cause；
$I$ ：intentional；
$P$ ：personal；
$G$ ：classical God。

每個箭頭都要：

\Gamma_i.

88. Naturalist Ladder 也一樣

例如：

F_0 \rightarrow Q \rightarrow V \rightarrow N.

其中：

$Q$ ：quantum；
$V$ ：vacuum；
$N$ ：naturalistic closure。

也不能省略 bridge。

89. 對稱方法論

本文不保護任何 side。

規則是：

\boxed{ \text{same predicate-transfer discipline for all ontologies}. }

90. No Privileged Vocabulary

不能因為詞來自：

theology；
physics；
philosophy；

就自動有 privilege。

所以：

\boxed{ \text{disciplinary prestige} \neq \text{predicate validity}. }

91. 「量子」也不是萬能解釋

寫：

quantum fluctuation。

如果沒有回答：

from what state？
under what law？
in what domain？

仍然可能只是：

\boxed{ \text{technical label}. }

92. 「神」也不是萬能解釋

同理：

God created it。

如果沒有回答：

which God-concept？
what relation？
why these properties？
what discriminating evidence？

也只是 closure label。

93. 語言遊戲與真正因果論證

因此真正辯論不應停在：

你這個詞錯了。

而應繼續：

\boxed{ \text{What causal or structural model survives after the semantic correction?} }

94. Semantic Victory Is Only Phase One

語義澄清可以：

\boxed{ \Delta_D\downarrow. }

但還要：

\Delta_C,

即 causal divergence。

這是 ADLM-05 的接口。

95. Causal Escalation

本文提出：

\boxed{ \text{Semantic Clarification} \rightarrow \text{Predicate Audit} \rightarrow \text{Causal Comparison}. }

而不是：

\text{Semantic Clarification} \rightarrow \text{Declare Victory}.

96. 對 AI 辯論的意義

AI 很容易生成：

This is a category error.

但真正高階能力是：

指出哪個 predicate ill-typed；
提供更合法 substitute；
重建對方 intended claim；
繼續比較 causal models。

97. Ontology Typing Agent

ADLM Runtime 未來可以有：

\boxed{ A_{\mathrm{type}} }

專門檢查：

predicate domain；
scope；
modal status；
category transfer。

98. Causal Reconstruction Agent

再由：

\boxed{ A_{\mathrm{causal}} }

把語言爭議重建成：

\boxed{ \text{candidate causal relations}. }

99. 第一因不應變成辯論終點

更好的輸出是：

\boxed{ F_0 = ?, \quad \mathcal R = ?, \quad \mathcal H = \{M_1,\ldots,M_n\}. }

然後列出：

E^\ast.

100. 強立場仍然可以保留

某人可以：

P(M_2\mid E)=0.95.

沒有問題。

只是要承認：

\boxed{ \text{confidence} \neq \text{domain-free certainty}. }

101. Epistemic Force vs Ontological Force

本文區分：

\boxed{ F_E = \text{epistemic force} }

與：

\boxed{ F_O = \text{ontological force}. }

你可以高度相信某 ontology，

但仍不代表 predicate transfer 已全域證明。

102. Transferability Principle

本文提出：

\boxed{ \text{The legitimacy of a metaphysical claim depends not only on its internal coherence, but on whether its predicates transfer legitimately to the target domain}. }

103. 第一原則：Nothingness Separation

\boxed{ \text{Relative Absence} \neq \text{Vacuum} \neq \text{Ground State} \neq \text{Absolute Nothing}. }

104. 第二原則：Unexcited-State Principle

\boxed{ \text{Unexcited} \Rightarrow \text{Structured State Space}. }

所以：

\boxed{ \text{Unexcited} \neq \text{Nothing}. }

105. 第三原則：Temporal-Predicate Principle

\boxed{ \text{Predicates whose semantics require time cannot be transferred to the origin of time without an explicit bridge}. }

106. 第四原則：Spatial-Predicate Principle

\boxed{ \text{Predicates whose semantics require spatial topology cannot be transferred to the ground of space without an explicit bridge}. }

107. 第五原則：Origin-Relation Principle

\boxed{ \mathfrak W \mathcal R F_0 }

應在：

\mathcal R

未知時保持 relation-neutral。

108. 第六原則：Stopping-Point Symmetry

\boxed{ \text{God, Law, Vacuum, Structure, and Brute Fact do not gain explanatory privilege merely by being chosen as stopping terms}. }

109. 第七原則：Typed Metaphysical Skepticism

\boxed{ \text{Question the type validity of predicates before using them to close ultimate ontology}. }

110. 第八原則：Strong-Claim Permission

\boxed{ \text{Strong claims are legitimate when strong causal, modal, and predicate-transfer warrants are available}. }

111. 與 ADLM-01 的接口

ADLM-01：

\boxed{ \text{Refuting Opponent} \neq \text{Establishing Own Model}. }

本篇補上：

\boxed{ \text{Rejecting “Nothing”} \neq \text{Establishing “God”}. }

以及：

\boxed{ \text{Rejecting “God”} \neq \text{Establishing “Nothing”}. }

112. 與 ADLM-02 的接口

ADLM-02：

\boxed{ \text{Claim Scope} \uparrow \Rightarrow \text{Burden} \uparrow. }

本篇進一步：

\boxed{ \text{Predicate Transfer Distance} \uparrow \Rightarrow \text{Transfer Burden} \uparrow. }

113. 與後續 ADLM-04 的接口

下一篇將處理：

\boxed{ \text{即使不同觀察者真的得到不同結果， 這是否代表真理本身只是「相對」？} }

也就是：

《相對不是答案：觀察者差異、共同常識與真理的不變量》

114. 本文不主張事項

本文不主張：

第一因不存在；
第一因存在；
有神論錯誤；
無神論錯誤；
因果概念不能外推；
時空外一定無意義；
before time 一定是錯誤問題；
所有本體論都是投影；
人類永遠無法理解 ultimate ground；
強形上學主張都不合法。

本文只主張：

\boxed{ \text{ultimate claims require explicit domain, predicate, and transfer discipline}. }

115. 結論

第一因問題最容易犯的錯，不一定是「答案選錯」。

更早的錯誤是：

\boxed{ \text{在問題還沒有被合法 typed 之前，就先把答案的語言偷放進去了。} }

說：

第一因是絕對無。

可能已經賦予「無」某種 generative role。

說：

第一因是未激發狀態。

已經預設 state space。

說：

第一因在時空之外。

可能將 spatial predicate 外推到 space 的 ground。

說：

第一因在時間之前。

可能把 temporal order 外推到 time-origin 問題。

說：

第一因必然是無限存在。

則加入了 modal 與 ontological attributes。

這些都不是一定錯。

但每一步都需要：

\boxed{ \Gamma_P. }

因此最保守而不退縮的寫法是：

\boxed{ \mathfrak W \mathcal R F_0, \quad F_0=?, \quad \mathcal R=?. }

然後逐步問：

哪些 predicates 能合法作用？
哪些只是 analogy？
哪些是 observer projection？
哪些 causal relations 有 evidence？
哪些 alternative models 尚未排除？

這不是拒絕形上學。

反而是讓形上學從：

\boxed{ \text{word competition} }

提升成：

\boxed{ \text{typed causal model competition}. }

適當的懷疑論因此不是：

我們什麼都不能知道。

而是：

\boxed{ \text{我們只在證據與語言真正允許的解析度上，說我們知道。} }

同時也保留：

\boxed{ \text{未知並不等於不存在； 不可表述也不等於虛假； 未證明也不等於真。} }

這就是 ADLM-03 的核心。

版本紀錄

v0.1.0 — 2026-10-05

建立 ADLM 系列 Paper 03；
區分 Relative Absence、Absolute Nothing、Vacuum、Ground State、Unexcited State 與 Potential；
提出 Observer Category ≠ Ultimate Ontological Category；
提出 Predicate Transfer Witness 與 Predicate Transfer Burden；
區分 Temporal Cause、Ontological Dependence 與 Grounding Relation；
提出 Origin Relation；
分析 before time、outside spacetime 與 ill-typed question；
提出 Stopping Point Symmetry；
提出 Ontological Projection 與 Non-Injective Ontological Projection；
提出 Typed Metaphysical Skepticism；
提出 Metaphysical Type Error 與 Hidden Predicate Import；
提出 Ontological Attribute Ladder 與 Predicate Audit；
建立八項核心原則；
為 ADLM-04 的相對性、不變量與共同常識建立接口。

第一因之前不能先偷放答案：有、無、因果與本體語言的適用域

第一因之前不能先偷放答案

有、無、因果與本體語言的適用域

Do Not Smuggle the Answer in Before the First Cause: Existence, Nothingness, Causality, and the Domains of Ontological Language

摘要

1. 問題起點：第一因問題常常太快開始

2. 「無」至少不是一種東西

3. Relative Absence

4. Absolute Nothing

5. Absolute Nothing 的最低要求

6. 「真空」不是絕對無

7. Ground State 也不是無

8. Unexcited State 也不是無

9. Potential 也不是無

10. 有／無不是天然二分嗎？

11. Existence Predicate

12. Observer Category

13. Ultimate Ontological Category

14. Observer Category ≠ Ultimate Ontological Category

15. Predicate Transfer

16. Predicate Transfer Burden

17. 日常因果 predicate

18. Cause of Time

19. Temporal Cause vs Ontological Dependence

20. Grounding Relation

21. First Cause 可能只是名稱過早

22. Origin Relation

23. Ultimate Ground

24. 「時空之外」的問題

25. Outside Spacetime 的較精確版本

26. 「時間之前」也一樣

27. Ill-Typed Question

28. 北極類比的限制

29. 語言內的「外」不一定是本體上的「外」

30. 第一因不能直接等於 Absolute Nothing

31. Nothing as Causal Agent 是 category problem

32. 但這不證明 God

33. Reject Nothing ≠ Prove Infinite Being

34. 第一因也不能直接等於 Infinite Being

35. Infinite 也需要定義

36. Necessary Being 也不是自動結論

37. Explanatory Stop ≠ Necessary Existence

38. Stopping Point Problem

39. Explanatory Stop Symmetry

40. 名字不是機制

41. 「有」也可能是投影

42. Ontological Projection

43. Non-Injective Ontological Projection

44. Existence Category Collapse

45. Unexcited vs Nonexistent

46. Potential vs Nonexistent

47. Possible Nothing 也會出問題

48. Projection Hypothesis

49. Projection-Mediated Access

50. 這不是極端懷疑論

51. Typed Metaphysical Skepticism

52. Typed Question

53. Predicate-Domain Compatibility

54. Metaphysical Type Error

55. 典型 Type Error：Before the Beginning

56. 典型 Type Error：Outside Space

57. 典型 Type Error：Unexcited Nothing

58. 典型 Type Error：Infinite Cause

59. 強因果不是禁止

60. Strong Claim, Strong Transfer

61. 因果外推可以成功

62. 只是不應提前 closure

63. Closure Strength

64. Evidence–Closure Matching

65. Overclosure

66. Underclosure

67. 第一因辯論的理想初始狀態

68. Incremental Ontology

69. Ontological Ledger

70. 第一因模型比較

71. Unknown Model 也是合法模型

72. Unknown Is Not Nothing

73. Unknown Is Not God

74. Gap Symmetry

75. Unknown Must Remain Open Until Bridged