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

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

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

---

## 摘要

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

$$
\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**：當材料連續與歷史連續分叉時，哪個後繼者具有較強身份主張？

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

$$
X_t=(M_t,S_t,F_t,H_t)
$$

其中 $M_t$ 為材料構成， $S_t$ 為結構／組織， $F_t$ 為功能與角色， $H_t$ 為歷史—因果連續。數值同一性另以：

$$
N(X_t,X_{t'})\in\{0,1,?\}
$$

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

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

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

並把研究問題改寫為：

$$
\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 曾乘坐的船，老舊木料逐步被移除並換上新木料，這艘船因而成為哲學家爭論「變化之後是否仍是同一個東西」的經典案例。

抽象為：

$$
X_0\rightarrow X_1\rightarrow X_2\rightarrow\cdots\rightarrow X_n.
$$

若每次只替換少量木板：

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

但最後：

$$
M_0\cap M_n=\varnothing,
$$

則問題是：

$$
\boxed{
X_0=X_n\ ?
}
$$

---

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

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

於是有：

### Replacement Ship： $R$

它保留：

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

但：

$$
M_R\cap M_0=\varnothing.
$$

### Reassembled Ship： $A$

它保留：

$$
M_A=M_0.
$$

但中間曾：

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

於是：

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

與：

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

開始互相競爭。

---

# 三、這兩題邏輯上不同

第一題問的是：

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

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

第二題問的是：

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

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

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

---

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

即使兩艘船：

$$
A,B
$$

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

$$
A\neq B.
$$

所以：

$$
\boxed{
QualitativeIdentity
\neq
NumericalIdentity
}
$$

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

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

---

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

令：

$$
M(X_t)
$$

表示 $X$ 在時間 $t$ 的材料集合。

若最強材料論要求：

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

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

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

因此至少有：

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

---

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

可以定義：

$$
C_M(X,Y)=
\frac{|M_X\cap M_Y|}{|M_X\cup M_Y|}.
$$

但若規定：

$$
C_M>\theta_M
\Rightarrow
N=1,
$$

立即遇到：

> 為什麼 $\theta_M$ 是 0.5、0.8 或 0.99？

門檻沒有天然來源。

更麻煩的是漸進替換。

---

# 七、Sorites 壓力

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

$$
C_M(X_t,X_{t+1})\approx0.99.
$$

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

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

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

$$
X_0=X_n.
$$

可是 $n$ 足夠大後：

$$
M_0\cap M_n=\varnothing.
$$

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

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

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

---

# 八、結構同一性也不夠

令：

$$
S(X_t)
$$

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

即使：

$$
S_A=S_B,
$$

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

$$
A\neq B.
$$

所以：

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

---

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

令：

$$
F(X_t)
$$

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

不同對象可以同時：

$$
F_A=F_B.
$$

因此：

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

---

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

令：

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

表示：

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

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

$$
X_0\rightarrow X_1\rightarrow\cdots\rightarrow R.
$$

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

因此：

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

---

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

原木板的歷史是：

$$
M_0
\rightarrow
\text{removed}
\rightarrow
\text{stored}
\rightarrow
A.
$$

這條路徑很真實。

但它到底是：

> 「船」的歷史，

還是：

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

因此至少要分：

$$
H_M=\text{Material Lineage}
$$

與：

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

Replacement 在 $H_O$ 上較強，Reassembly 在 $H_M$ 上較強。

---

# 十二、悖論真正來自 criterion conflict

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

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

但兩者同時存在時：

$$
R\neq A.
$$

若又同時說：

$$
R=X_0
$$

及：

$$
A=X_0,
$$

則由 identity transitivity：

$$
R=A,
$$

矛盾。

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

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

---

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

如果：

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

可以解釋為：

- continuity 高；
- similarity 高；
- connectedness 高。

但不能直接寫：

> X 有 80% 是 Y。

因此：

$$
\boxed{
GradedContinuity
\neq
GradedNumericalIdentity
}
$$

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

---

# 十四、四層最小框架

本文暫時定義：

$$
\boxed{
\mathcal X_t=(M_t,S_t,F_t,H_t)
}
$$

並另設：

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

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

---

# 十五、Evidence Vector

定義：

$$
\boxed{
\mathbf E(X,Y)=
(E_M,E_S,E_F,E_H)
}
$$

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

但：

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

禁止直接寫：

$$
N=w_ME_M+w_SE_S+w_FE_F+w_HE_H.
$$

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

---

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

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

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

因此第一篇只主張：

$$
\boxed{
HistoricalCausalContinuity
}
$$

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

---

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

同一船塢：

$$
Location_t\simeq Location_{t+1}
$$

不保證同一物。

同一名稱：

$$
Label_A=Label_B
$$

更不能推出：

$$
A=B.
$$

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

$$
\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),
$$

那兩個 distinct object 會得到同分。

因此：

$$
\boxed{
StateSimilarity
}
$$

不能單獨處理 uniqueness。

---

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

即使：

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

仍可能：

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

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

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

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

這種真正 branch 的 causal lineage。

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


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

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

例如：

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

可以寫成：

$$
\boxed{
Criterion_K(X_t,X_{t'})
}
$$

其中 $K$ 是 sortal／kind。

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

---

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

如果把一切都降成：

$$
Atoms,
$$

會失去：

- ship；
- organism；
- organization；
- person；

各自的 persistence condition。

因此：

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

---

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

禁止：

$$
E_M=1\Rightarrow N=1.
$$

禁止：

$$
E_S=1\Rightarrow N=1.
$$

禁止：

$$
E_F=1\Rightarrow N=1.
$$

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

$$
E_H=1\Rightarrow N=1.
$$

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

---

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

所以第一篇的成果不是：

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

而是：

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

其最小形式：

$$
\mathcal E=
\{
C_M,
C_S,
C_F,
C_H
\}.
$$

後面還可能增加：

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

但第一篇不提前展開。

---

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

第一：

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

第二：

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

第三：

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

Plutarch 版本主要壓第一題。

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

---

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

忒修斯常被問成：

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

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

那麼：

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

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

因此後續研究應從：

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

轉向：

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

---

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

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

而是：

$$
X_t
\xrightarrow{\Phi_t}
X_{t+1},
$$

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

$$
X_t,
$$

而是：

$$
\boxed{
\Phi_t
}
$$

及其跨時間生成鏈。

下一篇才會正式研究：

$$
\boxed{
IdentityAsGeneration?
}
$$

---

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

即使我們接受：

$$
X_t\rightarrow X_{t+1},
$$

仍要問：

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

這才會進入：

$$
\boxed{
CausalContinuityBackbone
}
$$

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

---

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

例如：

$$
X
\rightarrow
Pause
\rightarrow
X'
$$

和：

$$
X
\rightarrow
Destroy,
$$

再由描述：

$$
Description(X)
\rightarrow
X'
$$

是不是同一種關係？

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

---

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

如果現在就宣布：

> 歷史因果連續就是 identity，

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

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

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

---

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

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

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

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

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

---

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

目前我們只能穩健地說：

$$
\boxed{
SameMatter
}
$$

不是普通 persistence 的必要條件。

同樣：

$$
\boxed{
SameStructure
}
$$

與：

$$
\boxed{
SameFunction
}
$$

也不是 numerical identity 的充分條件。

而：

$$
\boxed{
HistoricalContinuity
}
$$

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

---

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

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

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

而是顯示：

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

---

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

更精確的順序應該是：

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

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

$$
X_0=R
$$

還是：

$$
X_0=A.
$$

---

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

本文不是說：

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

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

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

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

---

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

### Q1

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

### Q2

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

### Q3

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

### Q4

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

### Q5

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

這五題剛好對應後六篇。

---

# 三十七、可修正條件

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

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

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

因此第一篇的框架是：

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

而不是：

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

---

# 三十八、結論

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

但真正困難的是：

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

的關係。

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

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

和普通 persistence judgment 可以分離。

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

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

與：

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

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

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

$$
\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 與多重後繼者