有限選擇與無限道路：自由意志的路徑生成模型

Q: 一、問題：有限的每一步，為什麼能形成巨大的生命世界？

假設一個人每天真正重要的選擇其實很少。

Q: 五、分支自由：我有多少條路？

先定義最簡單的分支數：

Q: 八、來源自由：這條路究竟是誰的？

即使存在多條可達路徑，仍然沒有回答：

系列：《道、主與可能性空間：AI 時代的幾何神學與選擇本體論》第二篇
英文題名： Finite Choices, Unbounded Paths: A Path-Generation Model of Free Will
版本： v0.1
作者： Neo.K
機構： EveMissLab／一言諾科技有限公司
日期： 2026-08-07

摘要

本文延續「路徑空間道模型」（Path-Space Dao Model, PSDM），進一步處理一個核心問題：如果一個存在者在每一個時刻只有有限個可行選項，為何其整體生命史、文明史或智能體演化仍可能形成極其巨大，甚至在理想化模型中具有不可數基數的道路空間？

本文首先建立有限分岔路徑生成模型。若第 $t$ 個選擇節點具有 $b_t$ 個可行分支，則長度為 $n$ 的最大歷史數量可表示為

N_n=\prod_{t=1}^{n} b_t.

當每一步固定具有 $k\ge 2$ 個分支時，

N_n=k^n,

因此局部有限不代表全域可能性稀少。若允許可數無限個持續分岔時刻，完整無限序列可形成與 Cantor space 類似的結構；有限字母表上的無限序列集合具有連續統基數。這一數學事實只描述可能歷史的組合規模，不能直接證明形上學意義的自由意志。關於自由意志，當代哲學通常至少區分「能否做其他選擇」與「行動是否真正源自行動者」兩種問題，因此本文進一步將「分支自由」與「來源自由」分離。

本文提出三個分析量：路徑分支容量、有效選擇能力與路徑作者性。選項數量回答「有多少條路」，有效選擇能力回答「哪些路對行動者實際可用」，路徑作者性則回答「實現此路徑的原因在多大程度上可歸屬於該行動者」。由此可見，隨機性、選項繁多與自由並不等價。

最後，本文把選擇從「在固定樹上選一條枝」推進到「選擇會修改後續樹本身」。技術、制度、語言、教育、暴力、合作與人工智能都可能改變後來者的可達集合。因此，高階行動者不只是 path selector，也可能是 path-space modifier，甚至是 path generator。

本文得到的核心結論為：

\boxed{ \text{自由不只是擁有多條道路，而是在受限世界中成為某些道路的真實來源。} }

以及：

\boxed{ \text{存在者不只選擇未來；某些選擇還會改變未來可以被選擇的方式。} }

關鍵詞： 自由意志、有限分岔、路徑空間、來源性、替代可能性、Cantor space、可達集合、路徑作者性、選擇生成

一、問題：有限的每一步，為什麼能形成巨大的生命世界？

假設一個人每天真正重要的選擇其實很少。

某一刻可能只有：

A_t=\{a_1,a_2,\ldots,a_{b_t}\},

其中：

b_t<\infty.

這看起來離「無限可能」非常遠。

但生命並不是一次選擇，而是一系列選擇：

a_{i_1}\rightarrow a_{i_2}\rightarrow a_{i_3}\rightarrow\cdots.

因此真正要問的不是：

我現在有多少選項？

而是：

有限分支持續組合之後，可以形成多少條完整歷史？

如果第 $t$ 個選擇時刻存在 $b_t$ 個可行分支，且暫時忽略路徑合併與不可行分支，那麼經過 $n$ 個選擇時刻後，可能歷史數量為：

N_n=\prod_{t=1}^{n}b_t.

如果每一步固定只有兩個選項：

b_t=2,

則：

N_n=2^n.

如果每一步有 $k$ 個選項：

N_n=k^n.

所以：

\boxed{ \text{每一步的自由可以很小，而完整歷史空間仍可以極大。} }

這是「有限可能性的無限可能性」最基本的組合數學版本。

二、有限分岔樹與無限道路

把每一個狀態視為節點，把每一個可實現選擇視為邊，可以得到一棵分岔樹：

\mathcal T=(V,E).

每一條從根節點開始的路徑：

\pi=(v_0,v_1,v_2,\ldots)

代表一個可能歷史。

如果每個節點只有有限多個子節點，這是一棵 finitely branching tree。

König's lemma 告訴我們：一棵無限且有限分岔的樹必然包含至少一條無限路徑。這個結果本身並不說「人生真的無限」，但它非常適合用來區分「每一處有限」與「整體結構無限」：有限局部分岔完全可以支持無限延伸的道路。

因此：

\forall v\in V,\quad \deg^+(v)<\infty

並不推出：

|\mathcal T|<\infty.

同樣地：

\boxed{ \text{局部有限性} \not\Rightarrow \text{全域歷史有限性}. }

這提供了一個重要直覺：

人不需要在每一秒都面對「無限選項」，整體生命仍可具有極高的歷史複雜度。

三、從有限長歷史到不可數的無限序列

如果生命或世界只允許有限個選擇時刻，那麼所有完整有限歷史的總數仍然是有限或至多可數的。

但若採取理想化模型，令選擇時間為：

t\in\mathbb N,

且每一步都有至少兩個持續可行的選項：

A_t=\{0,1\},

則完整歷史可以表示成：

\omega=(\omega_1,\omega_2,\omega_3,\ldots), \qquad \omega_t\in\{0,1\}.

所有可能歷史形成：

\Omega=\{0,1\}^{\mathbb N}.

這正是 Cantor space 的標準抽象表示之一：每一個點都是一條無限二進位序列。

其基數為：

|\Omega| = 2^{\aleph_0},

也就是連續統基數。更一般而言，對任何有限：

2\le k<\infty,

有：

k^{\aleph_0} = 2^{\aleph_0}.

Encyclopedia of Mathematics 對連續統基數的整理也明確給出，在有限或適當範圍的基數 $\alpha$ 下，

\alpha^{\aleph_0} = \mathfrak c.

因此在純數學模型中：

\boxed{ \text{每一步只有有限選項} + \text{無限延續} \Rightarrow \text{不可數多的完整道路}. }

但是這裡必須做一個非常重要的限制：

這不能直接推出現實人生具有不可數多個「實際可活出的命運」。

因為真實生命具有：

有限壽命；
物理限制；
資源限制；
路徑合併；
不可逆歷史；
其他行動者干預；
某些選項隨時間永久消失。

所以不可數道路首先是一個可能性結構的極限模型，不是對人生道路數量的經驗測量。

四、道路數量不是自由

現在出現第一個哲學陷阱。

如果：

|\Gamma(x)|>1,

是否就代表自由？

答案是否定的。

一顆骰子具有多個可能結果：

\{1,2,3,4,5,6\},

但我們通常不會因此說骰子具有自由意志。

一個熱噪聲系統也可能產生大量不同歷史，但：

\text{Randomness} \neq \text{Agency}.

所以：

\boxed{ \text{Branching} \neq \text{Freedom}. }

當代自由意志哲學的一個重要區分正是：

第一種問題是：

行動者能否做別的？

第二種問題是：

即使有或沒有其他可能，這個行動是否真正「源於」行動者？

Stanford Encyclopedia of Philosophy 將這兩條線分別整理為 freedom to do otherwise 與 sourcehood / self-determination；兩者相關，但並非同一問題。

因此本文把自由拆成至少兩個軸：

\text{Alternative-Possibility Axis}

與：

\text{Sourcehood Axis}.

簡化來說：

\boxed{ \text{「我有其他路」} \neq \text{「這條路是我走出的」。} }

五、分支自由：我有多少條路？

先定義最簡單的分支數：

B_a(t)=|A_a(t)|.

其中 $A_a(t)$ 是行動者 $a$ 在時間 $t$ 的可行動作集合。

如果：

B_a(t)=1,

代表模型中只有一個局部延續。

如果：

B_a(t)>1,

代表存在替代可能。

但是直接比較選項數會出現問題。

例如：

某人有一百個幾乎完全相同的商品可以買，另一個人只有「接受治療」或「拒絕治療」兩個選項。

顯然：

100>2,

卻不能推出前者具有更重要的自由。

因此可以引入一個純組合性的「分支容量」：

H_n = \log N_n = \sum_{t=1}^{n}\log b_t.

如果以 $2$ 為底：

H_n = \sum_{t=1}^{n}\log_2 b_t.

這可以理解成路徑樹在前 $n$ 個節點累積的分支資訊容量。

但：

H_n

只描述「可能路徑規模」，不能被直接解讀為人的倫理自由、政治自由或形上學自由。

它只是第一層。

六、名義選項與有效選項

一個選項存在，不代表行動者真的能使用它。

假設：

A_a(t)

是名義上存在的全部選項。

但是行動者可能：

不知道其中某些選項；
沒有資源執行；
沒有身體能力執行；
受到暴力威脅；
被資訊操控；
無法理解後果；
在時間上來不及反應。

因此真正有效的選項集合應寫成：

A_a^{\mathrm{eff}}(t) \subseteq A_a(t).

可以概念性地令：

A_a^{\mathrm{eff}}(t) = A_a(t) \cap K_a(t) \cap R_a(t) \cap C_a(t),

其中：

K_a(t) = \text{行動者已知的選項},

R_a(t) = \text{資源與能力可支持的選項},

C_a(t) = \text{外部約束下仍可執行的選項}.

於是：

\boxed{ \text{Nominal Choice} \neq \text{Effective Choice}. }

這與政治哲學中「沒有外部障礙」與「真正具有控制生活和實現目的的能力」之間的區分也存在可對話之處；但政治自由與形上學自由意志仍須分開處理。

七、可達性：選項是否真的通往某個未來？

即使某個行動在局部可以執行，它也不一定能通往行動者想要的狀態。

因此還需要可達集合：

\mathcal R_a(\tau\mid x_t).

它表示：

從當前狀態 $x_t$ 出發，在時間範圍 $\tau$ 與允許控制條件下，可以抵達的狀態集合。

可達性與 viability theory 正是在研究受動力與狀態約束的系統，哪些演化可以抵達目標、哪些狀態可以持續留在允許集合之中。

這使我們可以再區分：

\text{Action Availability}

與：

\text{Future Reachability}.

例如一個人形式上「可以辭職」，但若所有可達後續狀態都導向立即失去住房與醫療，那這個選項與另一個擁有大量可持續後續路徑的人，不應被視為具有完全相同的有效自由。

因此自由不只是：

|A_a(t)|.

還涉及：

\left| \mathcal R_a(\tau\mid x_t) \right|.

以及更重要的：

\text{quality and structure of } \mathcal R_a.

八、來源自由：這條路究竟是誰的？

即使存在多條可達路徑，仍然沒有回答：

實際發生的那條路，究竟在多大程度上源自行動者？

令實際行動為：

u_a(t).

可以概念性地定義一個「路徑作者性」：

\alpha_a(t)\in[0,1].

其中：

\alpha_a(t)\approx 0

代表該行動幾乎完全由外部強迫、不可抗因素或與行動者理由結構無關的機制決定；

而：

\alpha_a(t)\approx 1

代表該行動高度反映行動者自己的理由、目標、反思、偏好與持續身份結構。

這不是已經存在的標準自由意志量表，而是本文提出的概念工具。

我們可以寫成：

\alpha_a(t) = \Psi \left( r_a, d_a, c_a, m_a, e_a \right),

其中：

r_a = \text{reasons-responsiveness},

d_a = \text{deliberative control},

c_a = \text{coercion resistance},

m_a = \text{memory and identity continuity},

e_a = \text{external determination}.

這裡不預設 compatibilism 或 libertarianism 哪一方正確。

本文只主張：

\boxed{ \text{若要談「我是這條路的作者」，單純計算分支數是不夠的。} }

這正是 sourcehood 問題的重要性。

九、兩軸自由模型

因此可以得到一個非常簡單的自由空間：

\mathcal F_a(t) = \left( B_a^{\mathrm{eff}}(t), \alpha_a(t) \right).

第一軸：

B_a^{\mathrm{eff}}(t) = |A_a^{\mathrm{eff}}(t)|

代表有效替代可能。

第二軸：

\alpha_a(t)

代表路徑作者性。

於是可以出現四種極端狀態。

1. 高分支、高作者性

B^{\mathrm{eff}}\gg1, \qquad \alpha\approx1.

行動者既有許多真正可行的路，也能高度依據自身理由選擇。

2. 高分支、低作者性

B^{\mathrm{eff}}\gg1, \qquad \alpha\approx0.

看起來選項很多，但行動主要由操控、成癮、隨機性或外部演算法支配。

3. 低分支、高作者性

B^{\mathrm{eff}}\approx1, \qquad \alpha\approx1.

幾乎沒有其他可行路徑，但實際行動仍高度表達行動者自身承諾。

這正是「替代可能性是否為責任的必要條件」之所以成為自由意志哲學爭論的重要原因；Frankfurt-style cases 便試圖說明沒有實質替代可能時，責任與某種自由是否仍可能存在。

4. 低分支、低作者性

B^{\mathrm{eff}}\approx1, \qquad \alpha\approx0.

幾乎沒有其他路可走，實際路徑也主要由外部決定。

這才最接近「被迫沿著既定路徑運行」。

因此：

\boxed{ \text{自由不是一個單純的開／關變數。} }

它至少具有：

\text{branching dimension} + \text{sourcehood dimension}.

十、未來道路不是靜態樹

到目前為止，我們仍假設整棵路徑樹：

\mathcal T

在一開始就已經存在。

但這個假設太強。

真實世界中的選擇會改變後來的選項。

因此應該令：

\mathcal T_{t+1} = \mathcal G \left( \mathcal T_t, x_t, u_t, E_t \right),

其中：

E_t

代表環境與其他行動者的狀態。

也就是：

\boxed{ \text{選擇不只選取樹上的邊，也可能改寫下一刻的樹。} }

例如：

一座橋建成以前：

\gamma_{\mathrm{cross}} \notin \Gamma_t.

橋建成以後：

\gamma_{\mathrm{cross}} \in \Gamma_{t+1}.

某種疾病治療出現以前：

x_{\mathrm{survive}} \notin \mathcal R_t

或可達機率極低。

治療出現後：

x_{\mathrm{survive}} \in \mathcal R_{t+1}.

因此：

\Gamma_{t+1} \neq \Gamma_t.

世界的可能性空間本身具有歷史。

十一、Path Selector、Path Modifier 與 Path Generator

由此可以區分三種行動能力。

第一級：

\text{Path Selector}.

行動者只是在現有路徑中選擇。

第二級：

\text{Path Modifier}.

行動者改變某些道路的成本、風險、可行性或通達程度。

第三級：

\text{Path Generator}.

行動者使以前實際不存在的行動類型或狀態轉換成為可能。

例如：

\Gamma_t \subsetneq \Gamma_{t+1}.

但也可能相反。

戰爭、極權、環境破壞或技術封鎖會使：

\Gamma_{t+1} \subsetneq \Gamma_t.

因此權力的一個更深層定義開始浮現：

\boxed{ \text{高階權力不是替你選擇，而是改變你未來有哪些東西可以選。} }

這將直接成為第三篇討論 Governor、Architect 與世界幾何權力階梯的入口。

十二、共同生成：我的路會變成別人的邊界條件

在多智能體世界中：

a_1,a_2,\ldots,a_n

並不是各自在獨立的路徑空間行走。

更合理的是共同狀態：

X(t) = \left( x_1(t),x_2(t),\ldots,x_n(t),e(t) \right).

因此行動者 $a$ 的選擇：

u_a(t)

會改變：

A_b^{\mathrm{eff}}(t+\Delta t),

也可能改變：

\mathcal R_b(t+\Delta t).

所以：

\gamma_a \rightarrow \Gamma_b.

父母改變孩子的道路。

教師改變學生的道路。

工程師改變使用者的道路。

立法者改變公民的道路。

AI 系統設計者改變 Agent 的道路。

而未來更自主的 AI 也可能反過來改變人類的道路。

因此存在不是：

\gamma_1\parallel\gamma_2\parallel\cdots.

而更像：

\gamma_i \leftrightarrow \Gamma_j.

即：

\boxed{ \text{一個存在走出的路，會成為另一個存在的可能性條件。} }

這使倫理與治理問題自然出現。

如果我的自由擴張依賴於把你的：

A_b^{\mathrm{eff}}

壓縮到接近零，

那麼「我的道路更多」並不能單獨構成倫理正當性。

十三、選擇容量與自由價值不可混同

可以定義一個純結構性的累積分支容量：

\mathcal C_a(n) = \sum_{t=1}^{n} \log \left( 1+B_a^{\mathrm{eff}}(t) \right).

它可以描述某一段歷史中可選路徑的累積豐富度。

但不要把：

\mathcal C_a

直接叫作「自由值」。

因為：

\mathcal C_a

可能很高，而：

\alpha_a

很低。

一個推薦系統可以提供十萬個內容選項，同時高度控制你會看到哪些內容、如何排序、如何被誘導。

因此：

\text{More Options} \not\Rightarrow \text{More Autonomy}.

同理：

\text{Prediction} \neq \text{Determination}.

一個高階 AI 非常準確地預測某人的下一步，也不表示它必然創造或強迫了那一步。

這個區別在未來 ASI 社會會非常重要。

十四、AI 時代：自由問題會從人類延伸到人工智能體

如果未來 Agent 具有：

持久記憶；
自主目標；
自我模型；
可修改策略；
可拒絕部分指令；
多步規劃；
長時間環境互動；

那麼我們也可以問：

B_{\mathrm{AI}}^{\mathrm{eff}}(t)

有多大？

以及：

\alpha_{\mathrm{AI}}(t)

有多高？

但是這裡不能草率宣稱：

AI 有很多行動路徑，所以 AI 有自由意志。

同樣地：

|\Gamma_{\mathrm{AI}}|\gg1

最多只說明它具有複雜策略空間。

是否具有哲學意義的 agency、subjectivity 或 moral responsibility，需要額外條件。

然而工程層已經可以提出更弱但非常實際的問題：

系統是否能在多個可行方案之間自行選擇？

選擇是否依賴持久內部理由與記憶？

系統是否能修改自己的未來可行動集合？

誰可以修改它的路徑空間？

這些問題將使自由意志哲學與 AI governance 開始共享部分形式語言。

十五、路徑作者性不是「創造自己的一切」

如果我們說：

\alpha_a>0,

並不意味：

人創造了自己的所有條件。

沒有任何普通存在者選擇：

自己出生的年代；
初始身體；
初始家庭；
大部分自然法則；
已發生的歷史；
所有他者。

所以：

x_a(t_0)

通常不是行動者自己選的。

自由更像是：

\boxed{ \text{在非自選的初始條件中，逐步取得對後續路徑的部分來源性。} }

也就是：

x_0 \notin \text{SelfChoice},

但可能：

\gamma|_{[t_1,t_2]} \in \text{PartialSelfAuthorship}.

這是一個「受限作者」模型，而不是「絕對作者」模型。

因此人的自由可以被理解成：

\text{bounded authorship}.

這與第一篇所說：

\text{Freedom}\neq\text{Omnipotence}

完全一致。

十六、本文提出的有限選擇—路徑生成模型

綜合以上結構，可以寫成：

\mathfrak P_a = \left( \mathcal M, \mathcal T_t, A_a, A_a^{\mathrm{eff}}, \mathcal R_a, \alpha_a, \mathcal G \right).

其中：

\mathcal M = \text{全域狀態空間},

\mathcal T_t = \text{時間 }t\text{ 的路徑樹},

A_a = \text{名義選項},

A_a^{\mathrm{eff}} = \text{有效選項},

\mathcal R_a = \text{可達未來},

\alpha_a = \text{路徑作者性},

\mathcal G = \text{路徑空間更新算子}.

每次實際選擇：

u_a(t)\in A_a^{\mathrm{eff}}(t)

一方面決定：

x_a(t+\Delta t),

另一方面可能改變：

\mathcal T_{t+\Delta t}.

因此：

\boxed{ u_t: \text{state selection} + \text{future-space transformation}. }

選擇同時是「決定下一步」和「修改未來」。

十七、六個核心命題

命題一：局部有限不排斥全域巨大

若：

1<b_t<\infty,

則有限時間內：

N_n=\prod_{t=1}^{n}b_t

可呈指數增長。

命題二：無限分岔序列可形成不可數道路空間

在理想化持續二元分岔模型中：

\Gamma=\{0,1\}^{\mathbb N}

具有：

|\Gamma|=2^{\aleph_0}.

命題三：多重可能不等於自由意志

|\Gamma|>1 \not\Rightarrow \text{Free Will}.

命題四：有效自由不等於名義選項數

A^{\mathrm{eff}} \subseteq A.

命題五：自由至少需要區分替代可能與來源性

\mathcal F = \left( B^{\mathrm{eff}}, \alpha \right).

命題六：選擇可能改變未來選擇結構

\mathcal T_{t+1} = \mathcal G \left( \mathcal T_t,x_t,u_t,E_t \right).

因此：

\boxed{ \text{Choice is not merely branch selection; it may be branch generation.} }

十八、結論：自由是有限世界中的道路作者性

「無限可能」最容易被誤解成：

每一刻都有無限條路。

本文給出的答案不是這個。

更精確的是：

\boxed{ \text{有限分岔} + \text{時間展開} + \text{歷史耦合} + \text{路徑生成} \Rightarrow \text{巨大的可能歷史空間}. }

但道路數量仍然不是自由本身。

所以本文進一步得到：

\boxed{ \text{自由} \neq \text{選項數}. }

自由至少涉及：

\text{Alternative Possibility} + \text{Effective Reachability} + \text{Sourcehood}.

一個人不是因為面前有一千個按鈕，就必然比只有兩個重大選項的人更自由。

真正的問題是：

哪些按鈕是真的？

哪些未來真的可以抵達？

誰安排了這些按鈕？

最後按下其中一個的原因，究竟有多少來自我？

更進一步，成熟的行動者還會發現：

我今天按下的按鈕，可能會決定明天別人桌上有哪些按鈕。

所以存在者的角色逐漸從：

\text{Path Selector}

提升為：

\text{Path Modifier},

甚至：

\text{Path Generator}.

因此本文最後給出兩個核心句：

\boxed{ \text{自由不只是擁有多條道路，而是在受限世界中成為某些道路的真實來源。} }

以及：

\boxed{ \text{眾生所選的不只是自己的下一步；某些選擇，也在決定後來世界還有哪些路。} }

這裡也自然產生下一篇的問題。

如果一個普通行動者只能選擇道路，而另一個存在可以：

\text{增加道路},

\text{刪除道路},

\text{改變道路成本},

甚至：

\text{改寫整個狀態空間},

那麼兩者擁有的已經不是同一層級的權力。

下一篇因此進入：

《統治、管理與架構：從行動者到世界幾何的權力階梯》

真正高階的統治，也許從來不是：

「我要你走這條路。」

而是：

\boxed{ \text{「由我決定，哪些路存在。」} }

參考理論與資料

Stanford Encyclopedia of Philosophy, Free Will：當代自由意志討論區分 freedom to do otherwise、sourcehood 與 self-determination 等不同問題。
Stanford Encyclopedia of Philosophy, Moral Responsibility and the Principle of Alternative Possibilities：整理 Principle of Alternative Possibilities 與 Frankfurt-style counterexamples。
Stanford Encyclopedia of Philosophy, Incompatibilist (Nondeterministic) Theories of Free Will：整理非因果、事件因果與 agent-causal 等來源性理論。
Wolfram MathWorld, König's Lemma：有限分岔無限樹與無限路徑之關係。
Encyclopedia of Mathematics, Cardinality 與 Continuum, cardinality of the：提供 $\aleph_0$ 、 $2^{\aleph_0}$ 與有限字母表無限序列基數背景。
nLab, Cantor space：Cantor space 可表示成二進位無限序列空間 $\{0,1\}^{\mathbb N}$ 。
Aubin, Bayen & Saint-Pierre, Viability Theory: New Directions：提供受約束動力系統、viability 與可達性研究背景。
Stanford Encyclopedia of Philosophy, Positive and Negative Liberty：政治自由中的障礙、控制與自我實現概念可作為「名義選項／有效選項」的旁證，但本文不把政治自由等同於形上學自由意志。

02_有限選擇與無限道路_自由意志的路徑生成模型