那艘船還是不是原來的那艘？走進形上學的根本問題

那艘船還是不是原來的那艘？

傳說中，雅典人為了紀念英雄忒修斯（Theseus），把他凱旋歸來時乘坐的木船保存在港口。歲月流逝，木板逐漸腐朽，人們便一塊塊換上新木板。終於有一天，最後一塊原始木板也被替換掉。問題來了：眼前這艘由全新木板組成的船，還是不是「忒修斯之船」？

更刁鑽的版本由近代哲學家霍布斯（Thomas Hobbes）補上：如果有人偷偷把換下來的舊木板全部蒐集起來，重新拼裝成一艘船，那麼——現在有兩艘船，哪一艘才是真正的忒修斯之船？

這個問題看似只是文字遊戲，卻直指一個我們每天都在依賴、卻很少停下來追問的概念：一個東西「持續存在」並「保持是它自己」，到底是什麼意思？這正是形上學（Metaphysics）要處理的問題。它不問「這艘船值多少錢」（那是經濟學），也不問「這艘船怎麼造的」（那是工程學），而是問：存在意味著什麼？什麼東西真正地實在？事物如何在時間中保持同一？

形上學在問什麼

「形上學」這個名字本身就有故事。它源於亞里斯多德（Aristotle）著作的編排順序——編者把一批討論「存在本身」的文稿，放在《物理學》（Physics）之後，於是稱為 ta meta ta physika，字面意思是「物理學之後的那些（書）」。久而久之，這個編目代號變成了一門學問的名稱，泛指對「超越具體物理現象、探討存在根本性質」的研究。

亞里斯多德自己給這門學問另一個名字：「第一哲學」（first philosophy），因為它研究的是「作為存在的存在」（being qua being）——不是研究某種特定的存在物（像生物學研究生物、天文學研究天體），而是研究「所有存在物之所以為存在」的那個最普遍的層面。

形上學傳統上分為幾個彼此交織的核心問題：

• 存在與本體論（Ontology）：什麼東西存在？存在有幾種方式？椅子存在，數字「7」也存在嗎？正義、空集合、可能性，它們算「存在」嗎？
• 實在的根本結構：終極實在由什麼構成？是物質、心靈、抽象結構，還是某種更基本的東西？
• 同一與持存（Identity and Persistence）：一個東西如何在改變中保持是它自己？忒修斯之船就是這個問題的經典場景。
• 時間的本性：過去、現在、未來真實存在嗎？還是只有「現在」是真的？
• 可能與必然（Modality）：除了實際發生的事，「本來可能發生但沒發生」的事，有沒有某種實在性？

這些問題的共同特徵是：它們無法靠單純的觀察或實驗一勞永逸地解決，卻又是其他所有學問暗中預設的地基。物理學家談「粒子存在」，歷史學家談「事件發生過」，數學家談「數存在」——他們都在用形上學的概念，只是通常不自覺。

共相之爭：抽象的東西真的存在嗎？

讓我們從一個古老而尖銳的爭論進入：共相問題（the problem of universals）。

看看這三顆蘋果：它們都是紅的。「紅」這個性質，似乎被三顆蘋果「共同擁有」。那麼，除了這三個具體的（particular）紅東西之外，是否還存在一個抽象的「紅性」（redness）本身？

• 實在論（Realism）：以柏拉圖（Plato）為極端代表。他主張共相（universals）——像「紅」「圓」「正義」——是真實存在的抽象實體，存在於一個超越時空的「理型世界」（the world of Forms）。具體的紅蘋果之所以是紅的，是因為它「分有」（participates in）了「紅」這個理型。對柏拉圖來說，理型比可感的個物更實在，因為理型永恆不變，而個物會生滅。
• 唯名論（Nominalism）：以中世紀的奧坎（William of Ockham）為代表。他認為，真實存在的只有一個個具體的個物，「紅」不過是我們貼在一群相似事物上的名稱（name, nomen）。世界上沒有飄浮著的「紅性」，只有一顆顆各自為紅的蘋果，加上我們語言的歸類習慣。奧坎以「如無必要，勿增實體」（即奧坎剃刀）著稱——既然用個物加語言就能解釋現象，何必額外設定一個抽象世界？
• 概念論（Conceptualism）：折衷立場。共相既不在天上的理型世界，也不只是空洞的名稱，而是存在於我們心智中的概念。蘋果是紅的是客觀事實，但「紅性」這個共相是心靈抽取相似性後形成的概念。

這場爭論為什麼重要？因為它決定了你的世界裡「有什麼」。如果你是柏拉圖主義者，數學物件（數、集合、幾何圖形）就是真實存在的抽象實體，數學家是在「發現」而非「發明」定理——這正是許多當代數學家的直覺。如果你是唯名論者，你會努力把這些抽象物「消解」掉，避免讓本體論變得臃腫。今天分析哲學中關於「抽象物存在嗎」的爭論，仍是這場兩千多年論戰的延續。

改變中的同一：回到忒修斯之船

帶著本體論的視角，我們回到開頭的船。忒修斯之船之所以困難，是因為它讓兩種對「同一性」的直覺正面相撞：

• 質料連續性（material continuity）的直覺：一個東西是它自己，靠的是它由同樣的材料構成。按這個標準，用舊木板重組的那艘船才是真正的忒修斯之船。
• 形式／時空連續性（formal / spatiotemporal continuity）的直覺：一個東西是它自己，靠的是它的結構與歷史路徑沒有中斷。按這個標準，一直停在港口、被逐步維修的那艘船才是真正的忒修斯之船——就像你的身體幾乎每個細胞都換過了，但你依然是你。

這裡有一個關鍵的概念區分，是化解許多形上學困惑的利器：數值同一（numerical identity）vs. 質的同一（qualitative identity）。

兩顆從同一條生產線下來的乒乓球，在「質」上完全相同（同樣大小、顏色、材質），但它們是「兩個」球，不是「一個」——這叫質的同一而非數值同一。而「今早的你」和「此刻的你」雖然在「質」上有些差異（你吃過早餐了），卻是「同一個人」——這是數值同一。忒修斯之船的麻煩在於：我們想追問的是「數值同一」（是不是同一艘船），但我們手上的判準（材料、結構）卻彼此衝突。

哲學家對此有不同回應。一派採取四維論（four-dimensionalism / perdurantism）：他們認為物體不只在空間中延展，也在時間中延展——一個物體是由一連串「時間部分」（temporal parts）組成的「時空蟲」（spacetime worm）。就像一條香腸由一片片切片組成，「忒修斯之船」其實是一條跨越數十年的時空香腸。如此一來，「維修船」和「重組船」只是這條時空蟲在不同階段、不同分支上的切片，問題就從「哪艘是真的」轉化為「我們關心的是哪一段時空切片」。

另一派則認為這根本是個語言或約定問題：「同一艘船」的標準本來就不是自然界刻好的，而取決於我們為什麼在意這個問題。如果你在意的是「歷史紀念意義」，維修船勝出；如果你在意的是「原始物質遺存」，重組船勝出。沒有一個脫離脈絡的「絕對正確答案」——這個立場呼應了唯名論的精神。

看一個例子：你還是十年前的你嗎？

把船換成人，問題立刻變得切身。

從生物學上說，你身上絕大多數細胞都經歷了汰換，十年前構成你的原子，今天大半已經離開你的身體。從心理上說，你的記憶、信念、偏好、價值觀也都改變了。那麼，「十年前的你」和「現在的你」憑什麼是「同一個人」？

哲學家洛克（John Locke）給出一個影響深遠的答案：人格同一（personal identity）的關鍵不是身體的延續，而是意識與記憶的連續。讓你成為「同一個人」的，是你能用第一人稱記憶把過去的經驗串成一條連貫的意識河流。按洛克的標準，一個失憶到完全不記得過去的人，在某種意義上「不再是」過去那個人格。

但記憶說也有破綻。哲學家里德（Thomas Reid）提出著名的「勇敢軍官」反例：一個老將軍記得自己中年立功，中年立功時記得自己童年偷果園被打，但年老時已完全不記得童年那件事。按「記憶連續」，老將軍=中年軍官、中年軍官=童年小孩，但老將軍卻≠童年小孩——這違反了同一性應有的「遞移律」（若 A=B 且 B=C，則 A=C）。

這些難題沒有公認的標準答案，但它們示範了形上學的工作方式：用精巧的思想實驗，逼出我們概念裡隱藏的矛盾，再嘗試修補。

時間是真實的嗎？

形上學另一個令人暈眩的戰場是時間的本性。

直覺上，我們覺得「現在」特別真實，過去已經消逝、未來尚未到來。但二十世紀初，哲學家麥塔加特（J. M. E. McTaggart）提出一個著名論證，質疑時間的真實性。他區分了描述時間的兩種方式：

• A 序列（A-series）：用「過去／現在／未來」來描述事件。這套描述預設了一個流動的「現在」，事件從未來「變成」現在、再「變成」過去。
• B 序列（B-series）：用「早於／晚於／同時」來描述事件。在這套描述裡，「1945 年早於 1969 年」是個永恆為真的事實，不涉及任何流動。

由此衍生出兩大陣營：

• A 理論（presentism / 現在論等）：時間的流動是真實的，「現在」具有特殊的本體地位，只有現在存在；過去不再存在，未來尚未存在。這最符合日常經驗——我們確實感到時間在「流逝」。
• B 理論（eternalism / 永恆論、又稱「塊狀宇宙」block universe）：過去、現在、未來「同等地」真實存在，「現在」只是說話者所在的時間座標，沒有客觀的特殊地位，就像「這裡」之於空間沒有客觀的特殊地位一樣。時間的「流動」是一種主觀錯覺。

值得注意的是，當代物理學（尤其狹義相對論）對 B 理論相當友善。相對論顯示「同時性」並非絕對——對不同運動狀態的觀察者，「同一時刻」發生的事件並不一致。這意味著沒有一個全宇宙共享的、客觀的「現在」，這對需要絕對「現在」的 A 理論構成嚴峻挑戰。許多物理學家因此傾向把宇宙看成一個四維的「塊狀宇宙」，時間只是其中一個維度。

但 B 理論也讓許多人不安：如果未來「已經」和過去一樣真實地存在於塊狀宇宙裡，那我們的自由選擇還有意義嗎？這正是形上學迷人之處——一個關於時間的抽象立場，會牽動我們對自由、道德與生命意義的整套理解。

動手試試：辨認你生活中的形上學預設

形上學不只在書齋裡。試著替下面幾個日常句子，找出它背後預設了哪個形上學立場（答案不只一種，重點是練習「看出預設」）：

1. 「我終於把舊家具修好了，它跟新的一樣！」——你說的「它」預設了家具在更換零件後仍是「同一件」。你採用的是質料連續還是形式連續的同一觀？
2. 「別擔心，未來還沒發生，一切都還沒定。」——這句安慰預設了 A 理論（未來尚不存在），如果 B 理論為真，這句話該怎麼修正？
3. 「這首歌真好聽。」——「這首歌」是抽象物還是具體物？你在 KTV 唱的版本和原唱版本，是「同一首歌」嗎？這裡用的是數值同一還是質的同一？
4. 「2 加 2 等於 4 是宇宙誕生前就成立的真理。」——這句話偷偷站在了實在論（數學物件抽象地存在且永恆）那一邊。唯名論者會怎麼反駁？

做完這個練習你會發現：我們的語言裡到處埋著形上學承諾（metaphysical commitments）。釐清它們，常常是化解日常爭論的第一步。

重點回顧

• 形上學研究「作為存在的存在」：它追問存在的根本性質、實在的終極結構、同一與持存、時間與可能性，是其他學科暗中預設卻很少明說的地基。
• 共相之爭定義你的本體論版圖：實在論（柏拉圖）認為抽象共相真實存在；唯名論（奧坎）認為只有個物存在、共相只是名稱；這場爭論延續至今，直接影響我們如何看待數學物件等抽象物。
• 數值同一 vs. 質的同一是化解困惑的關鍵工具：忒修斯之船與人格同一的難題，都源於「保持是同一個東西」的不同判準（質料連續 vs. 形式連續）彼此衝突。
• 時間的本性尚無定論：A 理論認為時間流動真實、只有現在存在；B 理論（塊狀宇宙）認為過去現在未來同等實在、流動是錯覺，且更貼合相對論。
• 形上學立場牽動更廣的世界觀：對時間、同一、存在的抽象選擇，會延伸影響我們對自由、道德與生命意義的理解。

深入探討（研究所視角）

對有意深入的學生，以下幾條線索可作為進階探索與跨領域連結的入口。

一、本體論承諾的形式判準（Quine）。 二十世紀分析哲學家蒯因（W. V. O. Quine）為「什麼存在」提供了一個著名判準：「存在就是成為一個受約束變元的值」（To be is to be the value of a bound variable）。他主張，要看一套理論承諾了哪些東西存在，就把它翻譯成一階邏輯，看它的存在量詞 ∃x 必須涵蓋哪些對象。這把「本體論」從直覺爭吵變成可分析的形式問題，並催生了「本體論承諾」（ontological commitment）與「本體論節約」（ontological parsimony）的當代研究綱領。延伸閱讀其〈論何物存在〉（On What There Is, 1948）。

二、模態形上學與可能世界（Kripke, Lewis）。 「必然」與「可能」如何有真值條件？克里普克（Saul Kripke）以「可能世界語意學」（possible-worlds semantics）為模態邏輯提供形式基礎，並在《命名與必然性》（Naming and Necessity）中區分「先驗／後驗」與「必然／偶然」——主張存在「後驗必然真理」（如「水即 H₂O」）。大衛・路易斯（David Lewis）則提出極端的「模態實在論」（modal realism）：所有可能世界都和我們的世界一樣具體地真實存在，只是與我們時空隔絕。這個立場本體論代價驚人，卻在邏輯上極為融貫，是檢驗「本體論節約 vs. 理論統一性」的絕佳案例。

三、持存理論的精緻化（endurantism vs. perdurantism）。 前文提到的四維論可進一步區分：持續論（endurantism）主張物體「整個地」存在於它所在的每一刻（同一個你完整地存在於每個當下）；綿延論（perdurantism）主張物體由時間部分組成（每個當下只有你的一個時間切片）；還有階段論（stage theory）等變體。這場爭論與時間哲學（A/B 理論）緊密交織：B 理論的塊狀宇宙天然親近四維論。

四、與物理學的接面。 形上學在當代並非與科學脫節，而是與基礎物理深度對話。相對論挑戰絕對「現在」（衝擊 A 理論）；量子力學的測量問題逼問「實在在被觀測前是否確定」（衝擊樸素實在論）；關於「物理定律是描述規律（Humean 規律論）還是支配自然的必然力量（反 Humean）」的爭論，則是當代「自然律形上學」的核心。研究「科學的形上學基礎」（metaphysics of science）已成為一個活躍的跨領域領域。

五、後設形上學（metametaphysics）的批判轉向。 一個值得警惕的視角是：當卡納普（Rudolf Carnap）等邏輯實證論者質疑「形上學爭論是否只是語言框架的選擇、根本沒有事實對錯」時，他們開啟了「後設形上學」的反思——我們究竟在爭論「世界本身」，還是只在爭論「描述世界的語言」？這條批判線索（從卡納普到當代的本體論反實在論）提醒學習者：研究形上學，既要勇於追問實在的根本結構，也要時時自省「這個問題本身是否良構（well-formed）」。

從忒修斯之船到塊狀宇宙，形上學最終訓練的不是某個標準答案，而是一種能力：辨認出我們對「存在」「同一」「時間」的隱藏假設，並有勇氣把它們攤在陽光下重新檢視。