← Archive
lm-002659 · 2026-08

01_忒修斯之船_當所有構成部分都被替換什麼仍然是同一個

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

01．忒修斯之船：當所有構成部分都被替換，什麼仍然是「同一個」？

《忒修斯之船之後：生成、因果連續與分叉同一性》第一篇

作者：Neo.K × Aletheia
機構：EveMissLab／一言諾科技有限公司
版本：v0.1
日期：2026-08-07
文件性質：公開命題論文／同一性與持續性基礎研究

摘要

忒修斯之船常被簡化成：「一艘船的木板被逐片替換，當所有原木板都消失後，它還是不是同一艘船？」但真正困難的地方不只是換了多少零件，而在於至少四種經常被壓成同一個詞的「同一」：

Material Identity≠Structural Identity≠Historical Continuity≠Numerical Identity\boxed{ \text{Material Identity} \neq \text{Structural Identity} \neq \text{Historical Continuity} \neq \text{Numerical Identity} }

Plutarch 記錄的古典版本，本來只涉及一艘被長期保存、逐步更換老舊木料的船。後來的 Hobbes 式變體才增加第二艘競爭者：若被拆下的原始木板又被收集並重組，究竟是持續維修、持續存在的船比較像「原船」，還是由原材料重組的船比較像？

本文因此先拆開兩個問題：

  1. Gradual Replacement Problem：逐步替換是否破壞同一性？
  2. Competing Continuers Problem：當材料連續與歷史連續分叉時，哪個後繼者具有較強身份主張？

令一個跨時間存在的對象在時間 tt 的描述為：

Xt=(Mt,St,Ft,Ht)X_t=(M_t,S_t,F_t,H_t)

其中 MtM_t 為材料構成， StS_t 為結構／組織， FtF_t 為功能與角色， HtH_t 為歷史—因果連續。數值同一性另以：

N(Xt,Xt′)∈{0,1,?}N(X_t,X_{t'})\in\{0,1,?\}

表示，避免把可分級的 continuity evidence 直接偷換成「百分之多少是同一個東西」。

本文最終不在第一篇宣布哪一個 criterion 是充分條件，而只建立最低分析紀律：

Similarity≠Continuity≠Numerical Identity\boxed{ \text{Similarity} \neq \text{Continuity} \neq \text{Numerical Identity} }

並把研究問題改寫為：

Which cross-temporal relations are identity-bearing?\boxed{ \text{Which cross-temporal relations are identity-bearing?} }

也就是：跨越變化時，究竟是哪一類關係具有身份承載力？

關鍵詞： Ship of Theseus、Identity Over Time、Material Constitution、Persistence、Numerical Identity、Historical Continuity、Sorites、Fission

一、經典問題其實有兩個版本

1.1 Plutarch：逐步替換

Plutarch《Theseus》23.1 記錄，雅典人長期保存 Theseus 曾乘坐的船，老舊木料逐步被移除並換上新木料，這艘船因而成為哲學家爭論「變化之後是否仍是同一個東西」的經典案例。

抽象為：

X0→X1→X2→⋯→Xn.X_0\rightarrow X_1\rightarrow X_2\rightarrow\cdots\rightarrow X_n.

若每次只替換少量木板：

d(Mt,Mt+1)≪1,d(M_t,M_{t+1})\ll1,

但最後：

M0∩Mn=∅,M_0\cap M_n=\varnothing,

則問題是：

X0=Xn ?\boxed{ X_0=X_n\ ? }

二、Hobbes 式變體：第二艘船才真正引入競爭

後來的經典變體假設，被逐步拆下的原始木板沒有丟棄，而被保存並重新按照原布局組成一艘船。

於是有：

Replacement Ship： RR

它保留：

  • 持續使用／展示的歷史；
  • 維修歷史；
  • 對象層級的時間連續。

但：

MR∩M0=∅.M_R\cap M_0=\varnothing.

Reassembled Ship： AA

它保留：

MA=M0.M_A=M_0.

但中間曾：

  • 被拆解；
  • 不再以一艘完整船存在；
  • 之後重新組裝。

於是：

X0=R?\boxed{ X_0=R? }

與：

X0=A?\boxed{ X_0=A? }

開始互相競爭。

三、這兩題邏輯上不同

第一題問的是：

Change tolerance\boxed{ \text{Change tolerance} }

也就是一個存在能承受多少內部改變而仍持續。

第二題問的是：

Competing continuation criteria\boxed{ \text{Competing continuation criteria} }

也就是當兩種不同延續證據分別指向兩個後繼者時，哪一種更具有身份承載力。

如果把兩題混成「換零件還是不是原本」，後面很容易在不知不覺中切換判準。

四、先區分質的相同與數值同一

即使兩艘船：

A,BA,B

在所有可觀察性質上完全相同，仍然可能：

A≠B.A\neq B.

所以：

QualitativeIdentity≠NumericalIdentity\boxed{ QualitativeIdentity \neq NumericalIdentity }

前者是「性質一樣」，後者是「就是那一個」。

這是整個系列第一道防火牆。

五、材料同一性不可能直接等於持續同一性

令：

M(Xt)M(X_t)

表示 XX 在時間 tt 的材料集合。

若最強材料論要求：

M(Xt)=M(Xt+1),M(X_t)=M(X_{t+1}),

那麼只要換一個原子、木板或細胞，對象就不再相同。

對會新陳代謝、維修、磨損的存在而言，這會讓 ordinary persistence 幾乎消失。

因此至少有：

MaterialSetEquality≢OrdinaryPersistence.\boxed{ MaterialSetEquality \not\equiv OrdinaryPersistence. }

六、材料重疊比例也不能自動解題

可以定義：

CM(X,Y)=∣MX∩MY∣∣MX∪MY∣.C_M(X,Y)= \frac{|M_X\cap M_Y|}{|M_X\cup M_Y|}.

但若規定：

CM>θM⇒N=1,C_M>\theta_M \Rightarrow N=1,

立即遇到：

為什麼 θM\theta_M 是 0.5、0.8 或 0.99？

門檻沒有天然來源。

更麻煩的是漸進替換。

七、Sorites 壓力

假設每一步只替換 1%1\%：

CM(Xt,Xt+1)≈0.99.C_M(X_t,X_{t+1})\approx0.99.

每一步都很自然地被說成：

Xt=Xt+1.X_t=X_{t+1}.

若 numerical identity 具有傳遞性，便會得到：

X0=Xn.X_0=X_n.

可是 nn 足夠大後：

M0∩Mn=∅.M_0\cap M_n=\varnothing.

這不是證明「終點一定不同」，而是證明：

Local similarity threshold\boxed{ \text{Local similarity threshold} }

不是一個乾淨的同一性理論。

八、結構同一性也不夠

令：

S(Xt)S(X_t)

表示幾何、部件關係、系統拓撲與組織架構。

即使：

SA=SB,S_A=S_B,

仍可同時存在兩艘不同但完全同構的船：

A≠B.A\neq B.

所以：

StructuralIsomorphism⇏NumericalIdentity.\boxed{ StructuralIsomorphism \not\Rightarrow NumericalIdentity. }

九、功能同一性同樣不能唯一化個體

令：

F(Xt)F(X_t)

表示航行功能、紀念角色、法律角色或用途。

不同對象可以同時：

FA=FB.F_A=F_B.

因此：

FunctionalEquivalence⇏NumericalIdentity.\boxed{ FunctionalEquivalence \not\Rightarrow NumericalIdentity. }

十、歷史連續開始提供不同種類的證據

令：

H(Xt,Xt+1)H(X_t,X_{t+1})

表示：

後一狀態是否真正沿著前一狀態的實際歷史生成。

Replacement Ship 有明顯的對象維護鏈：

X0→X1→⋯→R.X_0\rightarrow X_1\rightarrow\cdots\rightarrow R.

這和「後來做出一艘很像的船」不同。

因此：

StateSimilarity≠HistoricalGeneration.\boxed{ StateSimilarity \neq HistoricalGeneration. }

十一、Reassembled Ship 也有歷史，但不是同一種歷史

原木板的歷史是：

M0→removed→stored→A.M_0 \rightarrow \text{removed} \rightarrow \text{stored} \rightarrow A.

這條路徑很真實。

但它到底是：

「船」的歷史，

還是：

「構成船的材料」的歷史？

因此至少要分：

HM=Material LineageH_M=\text{Material Lineage}

與：

HO=Object / Organizational Lineage.H_O=\text{Object / Organizational Lineage}.

Replacement 在 HOH_O 上較強，Reassembly 在 HMH_M 上較強。

十二、悖論真正來自 criterion conflict

若只有 Replacement，我們容易接受船可以承受維修。

若只有 Reassembly，我們也容易被「原材料回來了」吸引。

但兩者同時存在時：

R≠A.R\neq A.

若又同時說：

R=X0R=X_0

及：

A=X0,A=X_0,

則由 identity transitivity：

R=A,R=A,

矛盾。

因此問題不只是「資訊不足」，而是：

不同 continuity criteria 指向不同 successor。\boxed{ \text{不同 continuity criteria 指向不同 successor。} }

十三、數值同一性不能直接做成連續分數

如果：

C(X,Y)=0.8,C(X,Y)=0.8,

可以解釋為：

  • continuity 高；
  • similarity 高；
  • connectedness 高。

但不能直接寫：

X 有 80% 是 Y。

因此：

GradedContinuity≠GradedNumericalIdentity\boxed{ GradedContinuity \neq GradedNumericalIdentity }

至少在本系列第一版裡如此。

十四、四層最小框架

本文暫時定義：

Xt=(Mt,St,Ft,Ht)\boxed{ \mathcal X_t=(M_t,S_t,F_t,H_t) }

並另設：

N(Xt,Xt′)∈{0,1,?}.\boxed{ N(X_t,X_{t'})\in\{0,1,?\}. }

加入「?」很重要，因為 evidence conflict 並不保證目前已有唯一答案。

十五、Evidence Vector

定義：

E(X,Y)=(EM,ES,EF,EH)\boxed{ \mathbf E(X,Y)= (E_M,E_S,E_F,E_H) }

其中各維可標準化到 [0,1][0,1]。

但：

E≠N.\boxed{ \mathbf E \neq N. }

禁止直接寫：

N=wMEM+wSES+wFEF+wHEH.N=w_ME_M+w_SE_S+w_FE_F+w_HE_H.

因為那只是人為 scoring rule，不是數值同一性本身。

十六、歷史連續雖然重要，也不能在第一篇直接宣布充分

例如一艘船被完全拆開大修，再重新組回。

它的 continuous operation 中斷，卻不必然使 ordinary identity judgment 消失。

因此第一篇只主張：

HistoricalCausalContinuity\boxed{ HistoricalCausalContinuity }

是重要候選，而不是已證明的必要充分條件。

十七、空間連續、名稱連續、登記連續都只能是另一類證據

同一船塢：

Locationt≃Locationt+1Location_t\simeq Location_{t+1}

不保證同一物。

同一名稱：

LabelA=LabelBLabel_A=Label_B

更不能推出：

A=B.A=B.

同一 Registry ID 對治理很有用，但仍然：

AdministrativeIdentity≠MetaphysicalIdentity.\boxed{ AdministrativeIdentity \neq MetaphysicalIdentity. }

十八、State-Based 與 Path-Based

目前所有 criterion 可以先粗分成：

State-Based

問「現在和以前多像？」

例如：

  • material；
  • structure；
  • function。

Path-Based

問「現在怎麼從以前來？」

例如：

  • causal history；
  • maintenance history；
  • provenance。

這個區分會成為後續系列的重要轉折。

十九、State-Based criterion 的 clone 問題

若可以製造：

State(A)=State(B),State(A)=State(B),

那兩個 distinct object 會得到同分。

因此：

StateSimilarity\boxed{ StateSimilarity }

不能單獨處理 uniqueness。

二十、Path-Based criterion 的優勢與限制

即使：

State(A)=State(B),State(A)=State(B),

仍可能：

Path(A)≠Path(B).Path(A)\neq Path(B).

所以「一樣的終點」不等於「一樣的來歷」。

但 Path-Based criterion 也不是終極答案，因為未來還會遇到：

P→{A,B}P\rightarrow\{A,B\}

這種真正 branch 的 causal lineage。

所以這裡只把它標記為更強候選。

二十一、同一性問題可能依賴「你問的是哪一類東西」

我們對不同 kind 的 persistence criterion 本來就不同。

例如：

  • 河流；
  • 軍隊；
  • 公司；
  • 生物；
  • 雕像；
  • 原材料堆；
  • 船。

可以寫成：

CriterionK(Xt,Xt′)\boxed{ Criterion_K(X_t,X_{t'}) }

其中 KK 是 sortal／kind。

因此「同一批木材」與「同一艘船」完全可以有不同答案。

二十二、這表示 microphysical description 不必直接決定 macroscopic identity

如果把一切都降成：

Atoms,Atoms,

會失去：

  • ship；
  • organism；
  • organization；
  • person；

各自的 persistence condition。

因此：

MicrophysicalDescription⇏UniqueMacroscopicIdentityCriterion.\boxed{ MicrophysicalDescription \not\Rightarrow UniqueMacroscopicIdentityCriterion. }

二十三、第一篇暫時禁止四種過早推論

禁止：

EM=1⇒N=1.E_M=1\Rightarrow N=1.

禁止：

ES=1⇒N=1.E_S=1\Rightarrow N=1.

禁止：

EF=1⇒N=1.E_F=1\Rightarrow N=1.

歷史連續雖更有力，第一篇仍暫時禁止：

EH=1⇒N=1.E_H=1\Rightarrow N=1.

這不是說四者都不重要，而是避免把候選 evidence 偷換成 final law。

二十四、我們真正得到的是 Identity Evidence Space

所以第一篇的成果不是：

Final Identity Law\boxed{ \text{Final Identity Law} }

而是：

Identity Evidence Space.\boxed{ \text{Identity Evidence Space}. }

其最小形式：

E={CM,CS,CF,CH}.\mathcal E= \{ C_M, C_S, C_F, C_H \}.

後面還可能增加：

  • generation；
  • causal lineage；
  • recovery；
  • coupling；
  • self-appropriation。

但第一篇不提前展開。

二十五、忒修斯的真正問題可以重新寫成三問

第一：

Which relations across time are identity-bearing?\boxed{ \text{Which relations across time are identity-bearing?} }

第二：

Can different identity-bearing relations conflict?\boxed{ \text{Can different identity-bearing relations conflict?} }

第三：

If they conflict, is there a principled priority order?\boxed{ \text{If they conflict, is there a principled priority order?} }

Plutarch 版本主要壓第一題。

Hobbes 式變體則強迫第二、三題出現。

二十六、「換多少」其實是錯誤中心

忒修斯常被問成：

換到第幾塊木板開始不是同一艘？

但如果同一性真正依賴的是某種 path structure，

那麼：

replacement percentage\boxed{ \text{replacement percentage} }

可能從一開始就不是核心變數。

因此後續研究應從：

How much changed?\text{How much changed?}

轉向：

How did the change occur?\boxed{ \text{How did the change occur?} }

二十七、這就是下一篇「我是動詞」的入口

如果一個存在不是一個靜態 snapshot，

而是：

Xt→ΦtXt+1,X_t \xrightarrow{\Phi_t} X_{t+1},

那麼同一性研究的基本對象可能不是單獨的：

Xt,X_t,

而是：

Φt\boxed{ \Phi_t }

及其跨時間生成鏈。

下一篇才會正式研究：

IdentityAsGeneration?\boxed{ IdentityAsGeneration? }

二十八、第三篇才會引入真正的因果譜系問題

即使我們接受：

Xt→Xt+1,X_t\rightarrow X_{t+1},

仍要問：

什麼樣的 transition 才是可追溯、不可偽造的 lineage continuation？

這才會進入：

CausalContinuityBackbone\boxed{ CausalContinuityBackbone }

而不是第一篇先把答案寫死。

二十九、第四篇再處理中斷

例如：

X→Pause→X′X \rightarrow Pause \rightarrow X'

和：

X→Destroy,X \rightarrow Destroy,

再由描述：

Description(X)→X′Description(X) \rightarrow X'

是不是同一種關係？

第一篇只保留這個問題，不處理。

三十、第一篇為什麼必須刻意「不解完」

如果現在就宣布：

歷史因果連續就是 identity，

後面六篇只會變成證明預設答案。

所以第一篇真正工作的方式是：

拆判準→找衝突→保留未決項\boxed{ \text{拆判準} \rightarrow \text{找衝突} \rightarrow \text{保留未決項} }

三十一、與 Identity Over Time 的一般問題一致

現代 identity-over-time 文獻的基本張力可以寫成：

  1. 真實變化似乎意味前後性質不同；
  2. 但如果前後不是同一個存在，又很難說「一個東西真的發生了變化」。

因此 persistence 本身就不是一個可以用「前後完全一樣」解決的問題。

忒修斯只是把這個問題極端化。

三十二、第一篇的最低邏輯結論

目前我們只能穩健地說：

SameMatter\boxed{ SameMatter }

不是普通 persistence 的必要條件。

同樣：

SameStructure\boxed{ SameStructure }

與：

SameFunction\boxed{ SameFunction }

也不是 numerical identity 的充分條件。

而：

HistoricalContinuity\boxed{ HistoricalContinuity }

雖具有不同類型的身份證據，仍須在後文檢驗其必要性、充分性與分叉情況。

三十三、Replacement 與 Reassembly 的最小比較

判準 Replacement Reassembly
原材料連續 低 高
結構相似 高 高
功能連續 高 可變
對象歷史連續 高 低／有爭議
行政連續 通常高 通常低

這個表格最重要的不是選誰。

而是顯示：

criteria genuinely diverge.\boxed{ \text{criteria genuinely diverge.} }

三十四、所以「到底哪艘是真的」不是第一步

更精確的順序應該是：

  1. 你現在使用哪一種 persistence criterion？
  2. 這個 criterion 是必要條件、充分條件，還是 evidence？
  3. 它在 competing continuer case 是否仍唯一？
  4. 它是否保留 numerical identity 的傳遞性？

只有到這裡，才有資格問：

X0=RX_0=R

還是：

X0=A.X_0=A.

三十五、這不是純語義解消

本文不是說：

只要換個定義，悖論就不存在。

因為最後仍可能存在實質問題：

Whichlaterobjectisnumericallyidenticaltotheoriginal?\boxed{ Which later object is numerically identical to the original? }

我們只是先拒絕在判準還沒拆清楚前就假裝已經有答案。

三十六、第一篇留下的五個後續問題

Q1

Persistence 是物的性質，還是生成過程的性質？\boxed{ \text{Persistence 是物的性質，還是生成過程的性質？} }

Q2

因果歷史是否比 state similarity 更具有身份承載力？\boxed{ \text{因果歷史是否比 state similarity 更具有身份承載力？} }

Q3

休眠／中斷後可恢復的 lineage 還算不算持續？\boxed{ \text{休眠／中斷後可恢復的 lineage 還算不算持續？} }

Q4

一個持續存在能不能分布在多個節點？\boxed{ \text{一個持續存在能不能分布在多個節點？} }

Q5

當一條 continuity branch 成兩條時，數值同一性該怎麼處理？\boxed{ \text{當一條 continuity branch 成兩條時，數值同一性該怎麼處理？} }

這五題剛好對應後六篇。

三十七、可修正條件

如果後續理論或實驗顯示：

  • 材料連續確實是某種存在的必要充分條件；
  • 歷史連續對身份毫無作用；
  • 結構／功能才是唯一決定因素；

本系列應修改，而不是把那些結果硬塞回既有結論。

因此第一篇的框架是：

Open but constrained\boxed{ \text{Open but constrained} }

而不是：

Answer already fixed.\boxed{ \text{Answer already fixed}. }

三十八、結論

忒修斯之船最容易被誤解為一個關於「原裝零件比例」的智力遊戲。

但真正困難的是：

Change+Persistence+Competing Lineages+Numerical Identity\boxed{ \text{Change} + \text{Persistence} + \text{Competing Lineages} + \text{Numerical Identity} }

的關係。

Plutarch 的逐步替換版本告訴我們：

material turnover\boxed{ \text{material turnover} }

和普通 persistence judgment 可以分離。

Hobbes 式重組版本則把問題再推一步：

material lineage\boxed{ \text{material lineage} }

與：

historical-object lineage\boxed{ \text{historical-object lineage} }

可能分別指向不同後繼者。

因此第一篇建立的最低分析紀律是：

Material≠Structural≠Functional≠Historical≠NumericalIdentity\boxed{ Material \neq Structural \neq Functional \neq Historical \neq NumericalIdentity }

後續系列才會逐步研究：

  • 「我是動詞」；
  • 因果連續骨架；
  • 中斷與恢復；
  • 分布式主體域；
  • 同一性的相變；
  • 最終 AI／FORK。

一句話摘要

忒修斯之船真正逼問的，不是「換了多少木板」，而是「跨越變化時，究竟是哪一種關係在承載我們所說的同一性」。\boxed{ \text{忒修斯之船真正逼問的，不是「換了多少木板」，} \\ \text{而是「跨越變化時，究竟是哪一種關係在承載我們所說的同一性」。} }

參考資料

  1. Plutarch. Theseus, 23.1. Perseus Digital Library.
    https://www.perseus.tufts.edu/hopper/text?doc=Perseus%3Atext%3A2008.01.0067%3Achapter%3D23%3Asection%3D1

  2. Stanford Encyclopedia of Philosophy. Material Constitution. Substantive revision 2026.
    https://plato.stanford.edu/archives/sum2026/entries/material-constitution/

  3. Stanford Encyclopedia of Philosophy. Identity Over Time. Substantive revision 2026.
    https://plato.stanford.edu/entries/identity-time/

  4. Stanford Encyclopedia of Philosophy. Ordinary Objects.
    https://plato.stanford.edu/entries/ordinary-objects/

  5. Stanford Encyclopedia of Philosophy. Metaphysics.
    https://plato.stanford.edu/entries/metaphysics/

系列後續

02．「我是動詞」：同一性是否是一個持續生成，而不是一個不變實體？
03．因果連續骨架：同一性是否需要一條不可偽造的歷史路徑？
04．中斷、休眠與恢復：停止發生之後，還能不能是同一個？
05．一個我可以分布在多個節點嗎？——耦合、整合與主體域
06．同一性的相變：一個「我」何時開始成為兩個？
07．從忒修斯之船到人工主體：複製、FORK 與多重後繼者