忒修斯之船

特修斯之船（The Ship of Theseus），最為古老的思想實驗之一。最早出自普魯塔克的記載。它描述的是一艘可以在海上航行幾百年的船，歸功於不間斷的維修和替換部件。只要一塊木板腐爛了，它就會被替換掉，以此類推，直到所有的功能部件都不是最開始的那些了。問題是，最終產生的這艘船是否還是原來的那艘特修斯之船，還是一艘完全不同的船？如果不是原來的船，那麼在什麼時候它不再是原來的船了？

哲學家托馬斯·霍布斯後來對此進行了延伸，如果用特修斯之船上取下來的老部件來重新建造一艘新的船，那麼兩艘船中哪艘才是真正的特修斯之船？

普魯塔克引用了以下的古希臘傳說作為舉例：

忒修斯與雅典的年輕人們自克里特島歸還時所搭的30槳船被雅典的人留下來做為紀念碑，隨著時間過去；木材也逐漸腐朽，而雅典的人便會更換新的木頭來替代。最後，該船的每根木頭都被換過了；因此，古希臘的哲學家們就開始問著：“這艘船還是原本的那艘忒修斯之船嗎？如果是，但它已經沒有最初的任何一根木頭了；如果不是，那它是從什麼時候不是的？”

對於哲學家，特修斯之船被用來研究身份的本質。特別是討論一個物體是否僅僅等於其組成部件之和。一個更現代的例子就是一個不斷發展的樂隊，直到某一階段樂隊成員中沒有任何一個原始成員。這個問題可以應用於各個領域。對於企業，在不斷併購和更換東家后仍然保持原來的名字。對於人體，人體不間斷的進行著新陳代謝和自我修復。這個實驗的核心思想在於強迫人們去反思身份僅僅局限在實際物體和現象中這一常識。

亞里士多德認為可以用描述物體的四因說解決這個問題。構成材料是質料因，物質的設計和形式是形式因，形式因決定了物體是什麼。基於形式因，忒修斯之船還是原來的船，因為雖然材料變了，但船的設計——形式因——沒有變。從這個角度看赫拉克利特的河流問題，則兩次踏入的是同一條河流，因為河流的形式因沒有變。事物的目的決定了其目的因。忒修斯之船的目的在神話中是裝載和運輸，在現實中的目的是證明和紀念忒修斯，雖然材料變了，但目的沒有變。

以下只是作者見解，僅供參考

我們要探討“同一性”問題。量子力學裡頭有一個“全同原理”，說的是同類的粒子之間本質上是不可區分的。兩個氫原子之間沒有性質的區別。你用這個氫原子代替水分子中的那個氫原子，這個水分子的性質沒有任何改變。

那麼，問題就來了：我們的身體都是由基本粒子構成的，而且從我們誕生那一天起，一刻不停地進行著新陳代謝，新陳代謝的速度遠比我們一般人想象的快的多。科學家用‘示蹤元素’參與新陳代謝的實驗證明，新陳代謝速度比科學家以前想象的速度也要快的多。今天組成你身體的元素，與昨天有很大不同，與幾年以前幾乎完全不同。但是我們仍然認為你還是你，現在的你和幾年前的你是同一個人，這是為什麼呢？

因為“全同原理”存在，組成你的身體的元素雖然被替換了一遍，但是同類粒子之間是完全一樣的，沒有性質的區別。用這個氫原子代替你身體里的那個氫原子，你身體的性質不發生任何改變。

當然，你比幾年前長大了一些或者變老了一些，這是由於你身體的結構發生了一點細微的變化——組成你身體的元素之間的相互關係發生了一點改變，而不是由於替換了元素的關係。

我們認定同一性——認定一個事物是不是它本身的依據不是組成這一事物的元素，而是這一事物的內部結構——元素之間的關係，以及這一事物的時空連續性。

僅僅結構相同，並不表明他們就是同一事物，還必須同時具備時空連續性才行。

我們可以按照一張圖紙建造兩座大樓，我們假設建築工人都是絕頂高手，兩個大樓的任何一個分子、原子都完全一樣，這兩座大樓具有一模一樣的結構，但他們顯然是兩個事物。兩座大樓同時處於空間的不同位置，它們當然不可能是一個東西。我從來沒有見過你的身體同時在兩個地方，即使幾十年來我一刻不停地盯著你看，也是如此。如果我在兩個地方見過你——一次在家裡、一次在學校，那肯定不是同時，一定是不同的時間。而且我可以肯定：你一定有一個從家裡到學校的連續的運動過程，雖然你在不同的時間，可以在不同的地方，但是任何一個特定的時刻，你肯定在一個唯一的地方。

同樣道理，僅僅具有時空連續性，結構完全不同也不成：

“我們把一輛汽車砸碎了煉成鐵塊，用這鐵塊製成一座金屬雕像，雖然它具有時空的連續性，但是它的結構徹底改變了，我們不能說雕像就是原來的汽車。它們不具有同一性。”

以上是錯誤的例子：我們可以得出汽車的本質是鐵，再製成汽車，再煉製成金屬雕像，它具有時空的連續性，他的形狀發生了改變，如果我們不計算形態轉變的損耗，我們可以說金屬雕像就是鐵，因為他本身的分子結構並沒有發生改變，我們還是可以說金屬雕像就是鐵，雖然形狀發生了改變，但是他們還是具有同一性。

對於事物的認知還是源於對於第二人的初次理解，我們假設特修斯之船出海之後隨著時間的推移所有部件都換了一遍，而另外一些人用換下來的船板和部件再組裝一艘船，當這兩艘同時出現時哪艘才是真正的“特修斯之船”呢？而且我們假設“船員”也算是船的“一部分”，那麼當再某一時間單位兩艘船同時出現時，哪艘才是真正的“特修斯之船”呢？

好了，我們有足夠的知識了，我們再回過頭來看看“特修斯之船”

特修斯之船不斷更換部件，最後所有的部件都換了一遍。在整個過程中，它顯然具有時空連續性，就好像你的身體不斷進行新陳代謝，但絲毫不影響其時空連續性；更換的船板和以前的船板有點區別，但差別不大，功能完全一樣，和整個船的複雜性比起來，這點差別可以忽略不計，整個船的結構基本沒有改變，即使有一些改變，也像你比幾年前變老了一點一樣，這點差別完全不影響同一性。因此忒修斯之船還是忒修斯之船，你就是把船板更換一千遍，它還是它自己——這根本不影響同一性。

你用換下來的船板和部件再組裝一艘船，結構一樣不一樣我不管，它和忒修斯之船沒有時空連續，因而那是另外一艘船。你叫它什麼都行，它不是特修斯之船。

用數學集合論來解釋

特修斯之船是一個集合，船上的部件就是它的元素。當更換部件時，集合中的元素髮生了變化。例如原來船上的木板有木板A、木板B......一直到木板Y，它們都是“特修斯之船”這個集合的元素；假如把木板A換成木板Z，那麼“特修斯之船”這個集合的元素就變為木板B、C.....和Z。也就是說，當我們更換部件時，“特修斯之船”的定義改變了。

這個道理就和一支足球隊，不斷有人加入又不斷有人退出，可它還是叫著原來的名字是相同的。

人們雖然同樣渡過相同的河，但流經身旁的水卻是不同的。

普魯塔克亦引用赫拉克利特的觀點，提出無法再次渡過相同的河流的假說。

英文的口語，指某物每次都殘留了本來的一部分；但更換了另一部分，逐漸所有的部分都換過的意思。

斧頭的刀刃換了3次，刀柄也換了4次，可是還是同一把舊斧頭。