← Archive
lm-003413 · 2026-09

Paper 01 — Simulation Argument 的邊界

zh-Hant · md Raw source ↗ Metadata ↗
下載 MD 檔 ⬇

Paper 01 — Simulation Argument 的邊界

條件機率、命題猜想與存在論誤讀

Series: Recursive Simulation, Transcendence, and Mathematical Non-Usurpation / 遞歸模擬、超越者與數學非僭越
Author: Neo.K
Institution: EveMissLab／一言諾科技有限公司
Date: 2026-09-04
Status: Internal Research Draft v0.1
Role: Series opening paper
Scope: Nick Bostrom’s 2003 Simulation Argument, conditional inference, observer-counting, future premises, epistemic level separation, and the boundary between formal validity and ontological claim

摘要

Nick Bostrom 於 2003 年發表的 Simulation Argument 並不是一個簡單的命題：

「我們大概率生活在電腦模擬中。」

其原始論證是一個三難結構。粗略而言，至少有一項成立：

  1. 人類類文明幾乎都在到達 posthuman stage 前滅亡；
  2. 能到達 posthuman stage 的文明幾乎都不大量執行 ancestor simulations；
  3. 我們幾乎肯定身處 simulation。

Bostrom 在 2025 年新版 FAQ 中仍明確指出：論證只要求三項至少一項成立，並不告訴我們究竟是哪一項；他本人只願意給 simulation hypothesis「substantial probability」，並刻意拒絕提供看似精確的百分比。

因此，本篇不試圖「反駁 Simulation Argument」，而是研究一個更基本的問題：

一個形式上有力的條件式論證，可以被允許推到哪裡？

本篇區分：

Conjecture≠Formal Consequence≠Empirical Support≠Future Actuality≠Ontological Truth.\boxed{ \text{Conjecture} \neq \text{Formal Consequence} \neq \text{Empirical Support} \neq \text{Future Actuality} \neq \text{Ontological Truth}. }

並提出 Epistemic Level Separation Principle, ELSP：

若模型 MM 在前提集合 A\mathcal A 下推出結論 QQ：

M,A⊢Q,M,\mathcal A\vdash Q,

則這只建立：

Q is conditionally entailed by M,A.\boxed{ Q\text{ is conditionally entailed by }M,\mathcal A. }

除非另有證據支持：

W⊨A,\mathcal W\models\mathcal A,

否則不能直接推出：

W⊨Q,\mathcal W\models Q,

其中 W\mathcal W 表示實際世界。

本篇進一步指出，Simulation Argument 的主要不確定性不在其簡單比例計算，而在模型與未來世界之間的 grounding：

  • posthuman civilization 是否出現；
  • consciousness 是否具有足夠 substrate independence；
  • ancestor simulation 是否具備可行性與實際誘因；
  • posthuman civilization 是否大量執行它；
  • observer/reference class 應如何定義；
  • 未來文明的決策空間是否仍能由今天的概念模型充分描述。

因此：

valid mathematics≠validated world-model.\boxed{ \text{valid mathematics} \neq \text{validated world-model}. }

而：

strong conditional argument≠verified ontology.\boxed{ \text{strong conditional argument} \neq \text{verified ontology}. }

本篇最終主張：Simulation Argument 應保留其真正的哲學力量，但不得因流行化、科技想像或數字巨大而被誤升格為「數學證明我們活在模擬世界」。數學可以約束一個假設世界中的推論，但不能單獨選定哪個假設世界就是現實。

1. 問題不是「Simulation Argument 對不對？」

首先必須避免另一種誤讀。

本系列並不主張：

Bostrom 2003 = bad argument.\boxed{ \text{Bostrom 2003 = bad argument}. }

更不主張：

simulation hypothesis = impossible.\boxed{ \text{simulation hypothesis = impossible}. }

真正要問的是：

這個 argument 的 epistemic jurisdiction 到哪裡？\boxed{ \text{這個 argument 的 epistemic jurisdiction 到哪裡？} }

也就是：

  • 它證明了什麼？
  • 它假設了什麼？
  • 它沒有證明什麼？
  • 哪些後續主張已經不再是原論文的 conclusion？

2. 原始三難

令：

D=文明在 posthuman stage 前幾乎都滅亡,D = \text{文明在 posthuman stage 前幾乎都滅亡}, A=posthuman civilizations 幾乎都不大量跑 ancestor simulations,A = \text{posthuman civilizations 幾乎都不大量跑 ancestor simulations}, S=我們身處 simulation.S = \text{我們身處 simulation}.

Bostrom 的核心結論可以粗略表示成：

D∨A∨Shigh\boxed{ D\lor A\lor S_{\mathrm{high}} }

其中：

ShighS_{\mathrm{high}}

表示 simulation hypothesis 具有極高 observer-relative probability。

原論文的摘要明確採取「至少一項成立」的形式，而不是直接宣告第三項已被證明。

3. 2025 FAQ 仍然沒有把第三項單獨升格

Bostrom 後來再次指出：

D∨A∨S\boxed{ D\lor A\lor S }

並不決定究竟是哪一個 disjunct 成立。

因此，一個人完全可以：

accept the Simulation Argument\boxed{ \text{accept the Simulation Argument} }

同時：

reject a high credence in the Simulation Hypothesis.\boxed{ \text{reject a high credence in the Simulation Hypothesis}. }

這是理解整個討論最重要的第一步。

4. 為什麼第三項一旦成立，數字會非常大？

令：

fPf_P

為人類類 technological civilizations 到達 posthuman stage 的比例。

令：

N‾\overline N

為一個 posthuman civilization 平均執行的 ancestor simulations 數量。

令：

H‾\overline H

為一個 civilization 在到達 posthuman stage 前的 human-type observers 數量。

則原 argument 的核心 observer-counting 結構可近似理解為：

fsim=fPN‾H‾fPN‾H‾+H‾.f_{\mathrm{sim}} = \frac{ f_P\overline N\overline H }{ f_P\overline N\overline H+\overline H }.

約去 H‾\overline H：

fsim=fPN‾fPN‾+1.\boxed{ f_{\mathrm{sim}} = \frac{ f_P\overline N }{ f_P\overline N+1 }. }

只要：

fPN‾≫1,f_P\overline N\gg1,

便有：

fsim→1.f_{\mathrm{sim}}\rightarrow1.

數學本身很簡潔。

真正困難的不是這個 fraction。

真正困難的是：

fP,N‾ 在現實中到底應該是多少？\boxed{ f_P,\overline N \text{ 在現實中到底應該是多少？} }

5. 巨大 multiplier 的誘惑

假設：

fP=10−2f_P=10^{-2}

而：

N‾=106.\overline N=10^6.

則：

fPN‾=104,f_P\overline N=10^4,

所以：

fsim≈1000010001.f_{\mathrm{sim}} \approx \frac{10000}{10001}.

非常接近：

1.1.

因此 Simulation Argument 很容易在流行敘事裡被壓縮成：

只要未來有文明能跑大量模擬，模擬人口一定遠大於原生人口，所以我們幾乎一定是模擬。

但這個敘述已偷偷把：

conditional parameters\boxed{ \text{conditional parameters} }

變成：

future facts.\boxed{ \text{future facts}. }

6. 第一個層級：Mathematical Truth

如果：

x>0x>0

且：

N→∞,N\rightarrow\infty,

那：

xNxN+1→1.\frac{xN}{xN+1}\rightarrow1.

這是普通數學。

只要前提固定，數學關係沒有爭議。

可記為：

E0=Formal / Mathematical Validity.\boxed{ E_0=\text{Formal / Mathematical Validity}. }

但：

E0E_0

沒有告訴我們：

NN

在未來世界真的會趨近巨大。

7. 第二個層級：Model Validity

現在建立模型：

MSA.M_{\mathrm{SA}}.

其中假設：

  • posthuman civilizations 可以存在；
  • conscious simulations 可行；
  • ancestor simulations 可以大量執行；
  • observer counting 適用；
  • reference class 足夠清楚。

則：

MSA⊢QSA.M_{\mathrm{SA}} \vdash Q_{\mathrm{SA}}.

這意味：

在這套模型與前提下，Simulation Argument 的 conclusion 可以成立。

這是：

E1=Model-Conditional Validity.\boxed{ E_1=\text{Model-Conditional Validity}. }

仍然不是：

world verification.\boxed{ \text{world verification}. }

8. 第三個層級：Empirical Grounding

要讓：

MSAM_{\mathrm{SA}}

描述真實世界，

需要證據支持：

W≈MSA.\mathcal W \approx M_{\mathrm{SA}}.

例如：

  • civilization survival data；
  • computational scaling；
  • theory of consciousness；
  • actual future preferences；
  • physical resource limits；
  • actual simulation practices。

問題是，最重要的變量恰好涉及：

我們尚未觀察到的 future civilizations.\boxed{ \text{我們尚未觀察到的 future civilizations}. }

因此 empirical grounding 必然不完整。

9. 第四個層級：Future Actuality

即使某項未來情境：

FF

在目前模型下很 plausible，

也不能寫成：

F=future fact.\boxed{ F=\text{future fact}. }

更合理是：

P(F∣M,Dt),P(F\mid M,D_t),

其中：

  • MM：當前模型；
  • DtD_t：時間 tt 時可用 evidence。

只要未來出現新資訊：

Dt+1,D_{t+1},

就可能：

P(F∣M,Dt+1)≠P(F∣M,Dt).P(F\mid M,D_{t+1}) \neq P(F\mid M,D_t).

10. 第五個層級：Ontological Truth

最後才是：

O=Reality itself has structure R.O= \text{Reality itself has structure }R.

例如：

我們實際上就是 ancestor simulation.\boxed{ \text{我們實際上就是 ancestor simulation}. }

這是一個 world claim。

不是單純：

formal consequence.\boxed{ \text{formal consequence}. }

所以：

Mathematical Possibility≠Physical Possibility≠Future Actuality≠Ontological Actuality.\boxed{ \text{Mathematical Possibility} \neq \text{Physical Possibility} \neq \text{Future Actuality} \neq \text{Ontological Actuality}. }

11. Epistemic Level Separation Principle

本篇正式提出：

ELSP: Epistemic Level Separation Principle.\boxed{ \text{ELSP: Epistemic Level Separation Principle}. }

若：

M,A⊢Q,M,\mathcal A\vdash Q,

則不能僅由此推出：

W⊨Q.\mathcal W\models Q.

必須另外建立：

G(M,W,A)\boxed{ G(M,\mathcal W,\mathcal A) }

即 grounding relation。

換言之：

proof inside model+model-world grounding→world-level warrant.\boxed{ \text{proof inside model} + \text{model-world grounding} \rightarrow \text{world-level warrant}. }

缺少後者：

formal validity\text{formal validity}

只能停留在 model level。

12. 模型不是世界

這個區分看似簡單，卻是很多流行理論誤讀的來源。

模型：

MM

是對世界：

W\mathcal W

的 representation。

因此：

M≠W.M\neq\mathcal W.

即使：

MM

能完美自洽，

也只表示：

there exists a coherent described structure.\boxed{ \text{there exists a coherent described structure}. }

不等於：

the actual world instantiates it.\boxed{ \text{the actual world instantiates it}. }

13. 數學證明與世界模型被推翻要分開

這裡必須非常精確。

如果在固定公理系統：

A\mathcal A

中：

A⊢T\mathcal A\vdash T

而 proof 正確，

那麼新天文觀測不會「推翻」這個 theorem。

真正可能被修正的是：

W⊨A\boxed{ \mathcal W\models\mathcal A }

或：

A 是否是描述 W 的好模型.\boxed{ \mathcal A \text{ 是否是描述 }\mathcal W\text{ 的好模型}. }

因此：

Mathematical theorem stability≠World-model stability.\boxed{ \text{Mathematical theorem stability} \neq \text{World-model stability}. }

14. Newtonian Case 作為簡單校準

Newtonian mechanics 在適用域中極為成功。

但：

Newtonian mechanics works\boxed{ \text{Newtonian mechanics works} }

從未邏輯保證：

Newtonian structure exhausts all physical reality.\boxed{ \text{Newtonian structure exhausts all physical reality}. }

後來更廣的物理理論沒有讓：

F=maF=ma

突然變成無意義。

真正發生的是：

domain restriction.\boxed{ \text{domain restriction}. }

這也是處理所有強 model 的合理態度。

15. Simulation Argument 的 Future Premise Problem

Simulation Argument 比普通現存物理模型更特殊。

它的重要 premises 部分位於：

future.\boxed{ \text{future}. }

例如：

P(posthuman civilization exists).P( \text{posthuman civilization exists} ). P(mass ancestor simulation∣posthuman).P( \text{mass ancestor simulation} \mid \text{posthuman} ).

這些不是目前可大量統計的 observed frequencies。

因此：

future extrapolation\boxed{ \text{future extrapolation} }

在 argument 中具有重要角色。

16. Future Extrapolation 不是錯，但必須標記

任何文明研究都必須做 extrapolation。

問題不是：

不能預測未來.\boxed{ \text{不能預測未來}. }

而是：

不能把預測的 model output 改名為 future fact.\boxed{ \text{不能把預測的 model output 改名為 future fact}. }

所以合理寫法：

Under assumptions A1,…,An, future F becomes plausible.\boxed{ \text{Under assumptions }A_1,\ldots,A_n, \text{ future }F\text{ becomes plausible}. }

不合理的偷換：

F is mathematically inevitable.\boxed{ F\text{ is mathematically inevitable}. }

17. 未來最麻煩的是 Transition Function 自己可能改變

普通預測常假設：

xt+1=F(xt).x_{t+1}=F(x_t).

於是：

xt+n=Fn(xt).x_{t+n}=F^n(x_t).

但對超長期文明預測，

真正問題可能是：

Ft≠Ft+1.\boxed{ F_t\neq F_{t+1}. }

文明會改變：

  • technology；
  • preferences；
  • institutions；
  • substrates；
  • reproduction；
  • cognition；
  • concepts of identity；
  • relation to computation。

因此：

future state uncertainty+future transition-law uncertainty.\boxed{ \text{future state uncertainty} + \text{future transition-law uncertainty}. }

18. 更極端：State Space 也可能改變

今天我們把 civilization 行動集合寫成：

Ωt.\Omega_t.

到了 posthuman stage：

Ωt+n\Omega_{t+n}

可能包含今天不存在的 action categories。

因此：

Ωt≠Ωt+n.\boxed{ \Omega_t\neq\Omega_{t+n}. }

這意味今天的模型可能不只預測錯 action，

甚至沒有表達真正未來 action 的 vocabulary。

19. 「超越者不可想像」不能成為單向免責牌

假設有人回答：

posthuman civilization 已經超越人類，所以你不能用今天的人類心理推論祂們。

這本身完全可能成立。

但一旦接受：

Cpost∉Mhuman\boxed{ C_{\mathrm{post}} \notin \mathcal M_{\mathrm{human}} }

就同時削弱：

P(ancestor simulation∣Cpost).P( \text{ancestor simulation} \mid C_{\mathrm{post}} ).

因為如果其 behavior 真不可由現有 model 推測，

那合理結果是：

higher uncertainty.\boxed{ \text{higher uncertainty}. }

不是：

P(mass simulation)→1.\boxed{ P(\text{mass simulation})\rightarrow1. }

20. Epistemic Symmetry Requirement

因此本篇提出：

ESR: Epistemic Symmetry Requirement.\boxed{ \text{ESR: Epistemic Symmetry Requirement}. }

不能在需要保護 hypothesis 時說：

future civilization is unknowable,\text{future civilization is unknowable},

卻在需要 probability multiplier 時說：

future civilization will predictably run enormous simulations.\text{future civilization will predictably run enormous simulations}.

如果不可知性適用，

它必須對所有相關 future-behavior claims 對稱生效。

21. Substrate Independence 仍是一項 substantive premise

Simulation Argument 的一個重要哲學前提是：

appropriate computational organization can support consciousness.\boxed{ \text{appropriate computational organization can support consciousness}. }

若：

simulation\text{simulation}

只產生 behaviorally convincing zombies，

而沒有：

subjective observer experience,\text{subjective observer experience},

則 observer count：

NsimN_{\mathrm{sim}}

不能直接增加。

所以：

computational simulation≠automatically conscious simulation.\boxed{ \text{computational simulation} \neq \text{automatically conscious simulation}. }

這不是 fraction formula 能自行證明的。

22. Consciousness Premise 的層級

可以寫：

Cs=P(consciousness∣appropriate simulation).C_s= P( \text{consciousness} \mid \text{appropriate simulation} ).

若：

Cs≈1,C_s\approx1,

Simulation Argument observer multiplier 強。

若：

Cs≈0,C_s\approx0,

則：

Nconscious simN_{\mathrm{conscious\ sim}}

大幅下降。

因此更完整：

fsim=f(fP,N‾,Cs,RC,…),f_{\mathrm{sim}} = f( f_P, \overline N, C_s, R_C, \ldots ),

其中：

RCR_C

代表 reference-class assumptions。

23. Reference Class 不是純算術問題

假設世界裡有：

  • biological humans；
  • uploads；
  • AIs；
  • reconstructed ancestors；
  • partial minds；
  • alien minds；
  • observer-moments。

那什麼叫：

observer like us?\boxed{ \text{observer like us}? }

不同 reference class：

R1,R2\mathcal R_1,\mathcal R_2

可能產生不同：

P(S∣Ri).P(S\mid\mathcal R_i).

所以：

observer counting\boxed{ \text{observer counting} }

本身具有哲學 modeling content。

24. Bland Indifference Principle 的真正角色

Bostrom 的 argument 需要某種很弱的 indifference principle：

若 simulated 與 non-simulated observers 在 relevant experience 上無法區分，

且 simulated observers 在 reference class 中壓倒性多，

則應提高自己是 simulated observer 的 credence。

其形式可粗略理解：

P(S∣E,R)≈NS,E,RNS,E,R+NB,E,R.P(S\mid E,\mathcal R) \approx \frac{ N_{S,E,\mathcal R} }{ N_{S,E,\mathcal R} + N_{B,E,\mathcal R} }.

這仍然是一個：

self-locating inference rule.\boxed{ \text{self-locating inference rule}. }

不是實驗儀器直接讀出的「simulation percentage」。

25. Probability of Hypothesis 與 Frequency of Simulated Observers

這兩個概念也常被混合。

fsimf_{\mathrm{sim}}

是 model 中 simulated observers 的比例。

而：

P(I am simulated∣E)P( \text{I am simulated} \mid E )

需要加入 self-location principle。

所以：

fsim→P(S)\boxed{ f_{\mathrm{sim}} \rightarrow P(S) }

並不是單純 identity；

它中間存在 epistemic principle。

26. 「很大的數字」沒有額外本體權威

假設：

N‾=1030.\overline N=10^{30}.

這會讓 conditional fraction 非常接近 11。

但：

103010^{30}

的巨大只會放大已接受前提的 consequence。

它不會自動提高：

P(N‾=1030 in reality).P( \overline N=10^{30} \text{ in reality} ).

所以：

Magnitude amplifies implication, not premise warrant.\boxed{ \text{Magnitude amplifies implication, not premise warrant}. }

27. 這是 Simulation Argument 最容易被大眾誤讀的地方

流行版本往往：

future computing could be huge\text{future computing could be huge}

變成：

future civilizations will run huge ancestor simulations.\text{future civilizations will run huge ancestor simulations}.

再變成：

there will be vastly more simulated observers.\text{there will be vastly more simulated observers}.

再變成：

we are almost certainly simulated.\text{we are almost certainly simulated}.

最後甚至：

science proved reality is simulation.\boxed{ \text{science proved reality is simulation}. }

這是一條典型：

Epistemic Inflation Chain.\boxed{ \text{Epistemic Inflation Chain}. }

28. Epistemic Inflation

本篇定義：

EIF:H→M→P→F→O.\boxed{ \mathsf{EIF} : H \rightarrow M \rightarrow P \rightarrow F \rightarrow O. }

其中：

  • HH：hypothesis；
  • MM：formal model；
  • PP：plausible consequence；
  • FF：treated-as-fact；
  • OO：ontological absolutization。

問題不是：

H→MH\rightarrow M

或：

M→P.M\rightarrow P.

問題是沒有新 evidence 卻把：

PP

偷偷升成：

FF

甚至：

O.O.

29. 作者主張與二手敘事必須分離

這裡需要明確保護原理論。

若媒體、影片、論壇或科技圈說：

Bostrom mathematically proved that we probably live in a simulation.

不能因此反過來把這句話當成：

Bostrom’s exact academic claim.\boxed{ \text{Bostrom's exact academic claim}. }

原始理論、作者後續 clarification 與二手 popularization：

must be separately attributed.\boxed{ \text{must be separately attributed}. }

30. 2025 FAQ 的認識論克制

Bostrom 後來明確表示：

  • argument 本身基本 sound；
  • 它只顯示三個 disjunct 至少一個成立；
  • 他不認為我們對三項任一有 very strong evidence；
  • 他給 simulation hypothesis substantial probability；
  • 他避免指定具體 number，以免產生 false precision。

這其實是一個重要校準。

因此本系列批判的主要對象不是：

作者明確做出的條件式三難.\boxed{ \text{作者明確做出的條件式三難}. }

而是：

由條件式三難到已驗證本體論的非授權跳躍.\boxed{ \text{由條件式三難到已驗證本體論的非授權跳躍}. }

31. Simulation Argument 真正強在哪裡？

把誤讀全部拿掉後，它仍然很強。

它指出一個真正不舒服的結構：

如果：

P(reach posthuman)P(\text{reach posthuman})

不是極低，

且：

P(mass ancestor simulation∣posthuman)P(\text{mass ancestor simulation}\mid\text{posthuman})

也不是極低，

且每個成功文明可以產生巨大：

N‾,\overline N,

那：

non-simulated human-like observers become a small minority.\boxed{ \text{non-simulated human-like observers become a small minority}. }

這是一個值得認真處理的 conditional tension。

32. 它真正逼迫我們重新分配 Credence

合理結果不是：

S=1.\boxed{ S=1. }

而是：

P(D)+P(A)+P(S)\boxed{ P(D)+P(A)+P(S) }

必須在某種相容方式上承擔高度 credence。

也就是：

不能同時非常自信地相信文明會普遍存活、普遍大量跑 ancestor simulation，而且我們又幾乎肯定是非模擬原生 observer。

這才是 argument 真正漂亮的地方。

33. 強 Conditional 不代表弱理論

本篇的區分不是為了把它「降格」。

相反：

A strong conditional theorem is valuable even when its antecedents remain uncertain.\boxed{ \text{A strong conditional theorem is valuable even when its antecedents remain uncertain}. }

很多科學、經濟、決策理論都依賴：

A⇒B.A\Rightarrow B.

知道：

A⇒BA\Rightarrow B

本身就能限制可能世界。

只是不能把：

AA

未經驗證地偷渡進 actuality。

34. Conjecture 的正確地位

一個 conjecture：

HH

在未完成論證與驗證前，

就是：

H.\boxed{ H. }

它可以：

  • 非常有洞察；
  • 非常 plausible；
  • 非常值得研究；
  • 非常有 prediction power。

仍然不等於：

established fact.\boxed{ \text{established fact}. }

這不是貶低 conjecture。

這是讓 epistemic label 保持正確。

35. 即使今天被大量支持，也保留 Future Revisability

對 empirical world-model：

Mt,M_t,

今天可能：

P(Mt∣Dt)≈1.P(M_t\mid D_t)\approx1.

但未來：

Dt+1D_{t+1}

可能要求：

Mt→Mt+1.M_t\rightarrow M_{t+1}.

因此：

high present confidence≠guaranteed final ontology.\boxed{ \text{high present confidence} \neq \text{guaranteed final ontology}. }

科學史大量存在：

successful model→broader replacement / restriction.\text{successful model} \rightarrow \text{broader replacement / restriction}.

36. 但這不是 Radical Skepticism

不能反過來說：

既然所有 empirical theories 未來都可能更新，所以現在什麼都不知道。

這也錯。

應該是：

fallibilism≠nihilism.\boxed{ \text{fallibilism} \neq \text{nihilism}. }

我們可以根據 evidence 給：

P(H∣D)P(H\mid D)

很高。

只是不把：

P≈1P\approx1

誤寫成：

metaphysically unrevisable certainty.\boxed{ \text{metaphysically unrevisable certainty}. }

37. Evidence Ladder

本篇給出一個簡化 ladder。

L0=Conceptual PossibilityL_0=\text{Conceptual Possibility} L1=Formal ConsistencyL_1=\text{Formal Consistency} L2=Conditional DeductionL_2=\text{Conditional Deduction} L3=Empirical PlausibilityL_3=\text{Empirical Plausibility} L4=Repeated Empirical SupportL_4=\text{Repeated Empirical Support} L5=Strong Causal ModelL_5=\text{Strong Causal Model} L6=Ontological InterpretationL_6=\text{Ontological Interpretation}

注意：

L2⇏L6.\boxed{ L_2\not\Rightarrow L_6. }

甚至：

L5⇏unrevisable metaphysical finality.\boxed{ L_5\not\Rightarrow \text{unrevisable metaphysical finality}. }

38. Simulation Argument 目前在哪裡？

最保守定位：

其核心 probability structure：

L2=strong conditional deduction.\boxed{ L_2=\text{strong conditional deduction}. }

其若干 technology assumptions：

L3=plausibility arguments.\boxed{ L_3=\text{plausibility arguments}. }

而：

我們真的身處 simulation\boxed{ \text{我們真的身處 simulation} }

目前仍不能當成：

L4/L5L_4/L_5

級 empirical conclusion。

39. 「Simulation Theory」這個稱呼本身也容易誤導

大眾有時把：

Simulation Argument\text{Simulation Argument}

稱作：

Simulation Theory.\text{Simulation Theory}.

這容易讓它看起來像：

  • General Relativity；
  • Evolutionary Theory；
  • Germ Theory

那樣有大規模 empirical structure。

但 Simulation Argument 本質上主要是一個：

philosophical probability / self-location argument.\boxed{ \text{philosophical probability / self-location argument}. }

因此最好維持名稱層級。

40. Simulation Hypothesis 與 Simulation Argument 也不是同一個東西

定義：

HS=we are simulated.H_S= \text{we are simulated}.

而：

AS=the argument establishing the trilemma.A_S= \text{the argument establishing the trilemma}.

所以：

AS sound⇏HS certainly true.\boxed{ A_S\text{ sound} \not\Rightarrow H_S\text{ certainly true}. }

這一點 Bostrom 自己後來也明確重申。

41. 本篇不是否定未來超越者

本篇也不主張：

posthuman civilizations cannot exist.\boxed{ \text{posthuman civilizations cannot exist}. }

相反：

posthuman\text{posthuman}

完全可以是 legitimate scenario variable。

但：

scenario variable≠future observed entity.\boxed{ \text{scenario variable} \neq \text{future observed entity}. }

這條界線必須保留。

42. 本篇也不是禁止數學研究未來

數學當然可以研究：

possible futures.\text{possible futures}.

例如：

P(Fi∣Aj).P(F_i\mid A_j).

甚至建立：

F={F1,F2,…,Fn}.\mathcal F= \{F_1,F_2,\ldots,F_n\}.

問題只在：

future scenario→future actuality\boxed{ \text{future scenario} \rightarrow \text{future actuality} }

需要額外 warrant。

43. 數學的真正力量

數學最強的地方恰恰是：

如果前提成立，哪些結論逃不掉？\boxed{ \text{如果前提成立，哪些結論逃不掉？} }

所以：

A∧B∧C⇒QA\land B\land C \Rightarrow Q

可以非常重要。

它讓研究者知道：

如果我拒絕 QQ，那麼至少必須重新檢查 A,B,CA,B,C 中某一項。

這就是 Simulation Argument 真正值得保留的形式力量。

44. 不應要求數學完成它不負責的工作

數學不能單獨回答：

Which physically possible future will history actualize?\boxed{ \text{Which physically possible future will history actualize?} }

也不能單獨回答：

Which coherent ontology is the ontology of this world?\boxed{ \text{Which coherent ontology is the ontology of this world?} }

這些問題需要：

  • empirical observation；
  • causal inference；
  • theory choice；
  • philosophical interpretation。

45. Mathematical Non-Usurpation 的預告

本系列最後一篇會完整提出：

Mathematical Non-Usurpation Principle.\boxed{ \text{Mathematical Non-Usurpation Principle}. }

本篇只先建立必要前置：

M⊨Q⇏W⊨Q.\boxed{ M\models Q \not\Rightarrow \mathcal W\models Q. }

以及：

formal inevitability inside a model≠historical inevitability outside it.\boxed{ \text{formal inevitability inside a model} \neq \text{historical inevitability outside it}. }

46. 對 Simulation Argument 的合理閱讀方式

最合理的閱讀是：

如果 technologically mature civilizations 可以並且實際會大量產生具有 human-type conscious experiences 的 ancestor simulations，而且相關 observer-selection principle 適用，那麼我們作為非模擬 observer 的 credence 會面臨非常強的壓力。

這是一個：

conditional philosophical result.\boxed{ \text{conditional philosophical result}. }

47. 不合理的閱讀方式

不應改寫成：

數學已經證明我們有 99.9% 機率活在 Matrix。

因為這句話把：

  • future civilization probability；
  • simulation motives；
  • consciousness；
  • reference class；
  • world-model applicability

全部隱藏了。

48. 更不合理的是直接升到第一因

從：

HSH_S

即使有一天得到很強 evidence，

仍不能直接推出：

ultimate creator exists.\boxed{ \text{ultimate creator exists}. }

因為：

simulator\text{simulator}

只是一個可能的 proximal cause。

這個問題將在 Paper 02 的 recursive transcendence 中正式處理。

49. 最終分層

本篇建議所有類似未來／宇宙論 argument 均至少標記：

H — Hypothesis

HH

M — Model

M(H)M(H)

D — Deduction

M⊢QM\vdash Q

E — Evidence

DempD_{\mathrm{emp}}

F — Future Projection

P(F∣M,Demp)P(F\mid M,D_{\mathrm{emp}})

O — Ontological Interpretation

O(F,W).O(F,\mathcal W).

不能寫：

H=M=D=E=F=O.H=M=D=E=F=O.

50. Paper 01 核心命題

本篇最終提出六個命題。

Proposition 1 — Conditionality

Simulation Argument is primarily a conditional trilemma, not a direct empirical measurement of our world’s substrate.\boxed{ \text{Simulation Argument is primarily a conditional trilemma, not a direct empirical measurement of our world's substrate}. }

Proposition 2 — Model/World Separation

M⊨Q⇏W⊨Q.\boxed{ M\models Q \not\Rightarrow \mathcal W\models Q. }

Proposition 3 — Future Premise Uncertainty

unknown future behavior cannot be silently promoted into fixed model parameters.\boxed{ \text{unknown future behavior cannot be silently promoted into fixed model parameters}. }

Proposition 4 — Epistemic Symmetry

若 posthuman agents 被宣告超出現有 cognition model，

則同一不可知性也必須限制對其 simulation behavior 的預測。

Proposition 5 — Magnitude Non-Authority

large numerical consequences amplify accepted premises; they do not validate the premises.\boxed{ \text{large numerical consequences amplify accepted premises; they do not validate the premises}. }

Proposition 6 — Ontological Non-Escalation

formal or statistical support does not by itself authorize final ontological interpretation.\boxed{ \text{formal or statistical support does not by itself authorize final ontological interpretation}. }

51. Internal Seal

Simulation Argument 值得保留，因為它建立了真正有力量的：

conditional observer-counting tension.\boxed{ \text{conditional observer-counting tension}. }

但它的正確 epistemic reading 必須是：

Conjecture→Model→Conditional Result\boxed{ \text{Conjecture} \rightarrow \text{Model} \rightarrow \text{Conditional Result} }

而不是：

Conjecture→Mathematics→Reality Proven.\boxed{ \text{Conjecture} \rightarrow \text{Mathematics} \rightarrow \text{Reality Proven}. }

因此：

Do not weaken the argument by exaggerating its conclusion.\boxed{ \text{Do not weaken the argument by exaggerating its conclusion.} }

以及：

Do not turn conditional mathematics into unearned ontology.\boxed{ \text{Do not turn conditional mathematics into unearned ontology.} }

下一篇將處理更深的一個缺口：

Paper 02 —《超越者之上的超越者：Simulation Argument 的遞歸未閉包問題》

其核心問題是：

如果 posthuman civilization 能模擬我們， 那麼誰保證 posthuman civilization 自己不是另一層世界中的有限存在？\boxed{ \text{如果 posthuman civilization 能模擬我們， 那麼誰保證 posthuman civilization 自己不是另一層世界中的有限存在？} }

也就是：

Downward Transcendence≠Ontological Terminality.\boxed{ \text{Downward Transcendence} \neq \text{Ontological Terminality}. }

Source Notes

  1. Nick Bostrom, “Are You Living in a Computer Simulation?”, The Philosophical Quarterly, 53(211), 2003, pp. 243–255.
  2. Nick Bostrom, “The Simulation Argument FAQ”, version 2.0, 2025.
  3. Bostrom’s original paper explicitly frames the conclusion as a disjunction among three propositions and develops the observer-counting fraction using the survival fraction of human-level civilizations and the expected number of ancestor simulations.
  4. In the 2025 FAQ, Bostrom states that accepting the argument does not require accepting the simulation hypothesis, says he assigns the latter a “substantial probability,” and declines to assign a precise numerical probability because this could suggest false precision.
  5. The argument relies on self-locating / observer-selection reasoning and treats substrate independence as an important preliminary assumption.