理型住在哪裡？第三人論證、形質論與古希臘哲學的自我否證

如果「正義」真的存在，它住在哪裡？——從一個讓柏拉圖自己頭痛的反駁談起

你已經知道蘇格拉底（Socrates）愛問問題、柏拉圖（Plato）相信有完美的理型（Forms / εἶδος, eidos）、亞里斯多德（Aristotle）把學問分了類。但入門篇沒告訴你的是：柏拉圖的理型論並不是一座完工的紀念碑，而是一棟一邊蓋一邊發現結構有裂縫的建築——而且最早、最尖銳地指出裂縫的人，正是柏拉圖自己。

讓我們從一個看似天真的問題開始。當你說「這個社會制度比那個更正義」，你究竟在拿什麼當尺？如果世界上沒有一個叫「正義本身」的東西，這句比較就像在說「這團霧比那團霧更接近一個根本不存在的形狀」，毫無意義。但如果「正義本身」真的存在，它又住在哪裡？它不在任何一個具體的法庭裡，因為任何法庭都可能犯錯；它也不在你的腦中，因為你跟我對正義的看法不同時，總有一方可能是錯的——而「錯」這個判斷本身，又預設了一個獨立於我們兩人意見的標準。

這就是進階古希臘哲學真正的戰場：不是「他們說了什麼」，而是「他們的論證能不能站得住」。本篇我們不再複述三巨頭的生平，而是拆解三組環環相扣的機制——理型論的動機與它的自我反駁、亞里斯多德如何用「形質論」（hylomorphism）回應、以及貫穿其中、常被入門課程一筆帶過的方法論轉向。

理型論不是「天上有個完美的圓」這麼簡單

入門版的理型論常被講成：現實世界的圓桌、硬幣都不完美，天上有個「完美的圓」當範本。這個比喻不算錯，但它把理型論矮化成一種天真的形上學裝飾。理型論真正要解決的是四個彼此獨立、卻被同一套理論一次處理的難題：

第一，普遍性問題（the One over Many）。 為什麼許多不同的東西可以被同一個詞稱呼？三角形、紅色、美——每一類底下有無數個別案例，柏拉圖認為它們之所以能被歸為一類，是因為它們都「分有」（μέθεξις, methexis / participation）了同一個理型。

第二，知識的可能性。 在《泰阿泰德篇》（Theaetetus）裡，柏拉圖逼問：知識若只是感官印象，那麼感官會變、會騙人，知識就不可能穩定。要有真正的知識（ἐπιστήμη, epistēmē），就必須有不變的對象。會生鏽腐爛的個別事物給不了這種穩定，理型才能。

第三，道德的客觀性。 如果「正義本身」不存在，蘇格拉底窮盡一生追問「什麼是正義」就成了追逐幻影。理型論是替蘇格拉底式的定義追問提供形上學後盾。

第四，數學的奇異地位。 幾何學證明的對象——完美的點、線、圓——從來沒有人在物理世界見過,但我們對它們的知識卻最確定。這個落差強烈暗示:知識的真正對象不在可見世界。

把這四點放在一起,你會發現理型論不是憑空的玄想,而是一個試圖「用一套機制同時解釋語言、知識、倫理、數學」的統一場論。它的野心,正是它後來承受重壓的原因。

柏拉圖親手埋下的炸彈:第三人論證

理論越統一,反駁起來越致命——因為一個漏洞會同時穿透四個應用。而最有名的漏洞,出現在柏拉圖晚期對話《巴門尼德篇》(Parmenides)裡,由老巴門尼德之口說出,史稱「第三人論證」(the Third Man Argument, TMA)。驚人的是,這是柏拉圖自己寫下來反駁自己的。

論證的骨架是這樣的(我們用「大」這個理型來演示):

1. One over Many:有許多「大的東西」(大象、高山、巨人),它們之所以都叫「大」,是因為分有了同一個理型「大本身」(the Form of Largeness)。
2. Self-Predication(自我謂述):理型「大本身」自己也是大的——畢竟它是「大」的完美範本,範本若不大,就不配當大的範本。
3. Non-Identity(非自身性):任何東西若是大的,是因為它分有了某個更高的「大」,而它本身不等於那個讓它變大的東西。

現在把三條合起來看:我們有「許多大的東西」加上「大本身」,而由第二條,「大本身」自己也是大的。於是這一整群(原本的大東西 + 大本身)又構成了新的「一群大的東西」,依第一條,它們必須分有一個更高的理型「大本身之二」才能都叫大。但「大本身之二」依第二條也是大的,於是又需要「大本身之三」……

無限後退(infinite regress)。理型不再是一個,而是無窮多個。統一場論瞬間爆炸成無限多個版本。

看一個例子:把「第三人」翻譯成你能驗證的步驟

抽象論證容易讓人滑過去,我們把它具體化。假設你主張:所有美的事物之所以美,是因為分有「美本身」。

• 第 0 層:小提琴協奏曲、晚霞、一道數學證明——這些是「美的東西」。
• 第 1 層:你說它們分有「美本身」(F₁)。
• 關鍵一問:F₁ 自己美不美?
• 若你說「不美」——那它怎麼配當美的範本?一個不美的東西如何讓別的東西變美?這違反直覺,也違反柏拉圖自己在《會飲篇》(Symposium)對「美本身」的描述(那是「美得令人目眩」的)。
• 若你說「美」——那 F₁ 就和第 0 層那些東西一樣,都是「美的東西」。於是 {第0層 + F₁} 構成新的一群美的東西,依你的原則,它們又得分有一個更高的 F₂……

你被困住了:Self-Predication 讓理型加入它本來要解釋的那一群,而 One over Many 又要求每一群都需要一個更高的理型。兩條原則一旦同時成立,後退就停不下來。

這不是文字遊戲。它揭示了一個深刻的兩難:一個「解釋者」如果和「被解釋者」屬於同一範疇,它就無法終結解釋;但如果它屬於完全不同的範疇,「分有」這個關係又變得神祕難解(一個不大的東西如何讓別的東西變大?)。柏拉圖在《巴門尼德篇》後半其實還列了更多反駁(分有到底是分有整個理型還是一部分?理型如果完全超離,我們又如何認識它?),TMA 只是其中最鋒利的一刀。

亞里斯多德的回應:別把形式放到天上去

亞里斯多德在柏拉圖學園待了二十年,他的名言被後人簡化為「吾愛吾師,吾更愛真理」。但他對理型論的批評,核心不是情感,而是經濟學式的:理型論為了解釋這個世界,複製了第二個世界(每個事物對應一個天上的理型),卻沒有真正解釋任何事——它只是把問題從「這朵花為什麼美」推到「這朵花如何分有美本身」,而「分有」本身仍是個空詞。亞里斯多德譏諷說,那不過是「詩意的隱喻」。

他的替代方案是把形式(form)從天上拉回個別事物內部,這就是形質論(hylomorphism,源自 ὕλη hylē 質料 + μορφή morphē 形式):

• 任何具體事物都是質料與形式的結合。一尊銅像,銅是質料,雕像的形狀是形式。
• 形式不漂浮在另一個世界,它就內在於這尊銅像之中。「人之為人的形式」不在天上,而在每一個具體的人身上實現。

這一步立刻拆掉了 TMA 的引信:既然形式不是一個獨立於個別事物、自身又被謂述的「東西」,Self-Predication 的前提就不成立,後退也就無從啟動。

動手試試:用四因說重新描述一張桌子

亞里斯多德更進一步,把「解釋一個事物」拆成四個面向,即著名的四因說(the Four Causes,aitia 在希臘文裡更接近「解釋」而非現代的「原因」)。拿你眼前的一張木桌來練習,試著各填一句:

現在做兩個進階觀察。

第一,柏拉圖的理型只對應到「形式因」一格。亞里斯多德的不滿在於:理型論挑出四個解釋維度裡的一個,把它孤立、神化、放到另一個世界,卻丟掉了另外三個——尤其是「目的因」。對亞里斯多德而言,理解一個自然物(一棵橡樹、一隻心臟),關鍵在於它的 telos(橡實的 telos 是長成橡樹,心臟的 telos 是輸送血液)。這種目的論(teleology)後來雖被近代機械論科學部分揚棄,卻在當代生物學的「功能」概念、乃至心靈哲學裡悄悄復活。

第二,目的因把倫理學接了上來。如果萬物都有 telos,那麼「人的 telos 是什麼」就成了倫理學的奠基問題。亞里斯多德的答案是 εὐδαιμονία(eudaimonia,常譯「幸福」,但更準確是「人之為人的圓滿實現/興盛」)——透過理性活動與德性(aretē)而達成。注意這裡的論證鏈:形上學(形質論)→ 自然哲學(目的論)→ 倫理學(eudaimonia),是一條連續的推導,而不是三個無關的學科。這正是亞里斯多德系統相對於柏拉圖的整合力所在。

兩種錯誤的讀法,以及一個常被忽略的真相

進階學習者最容易踩的兩個迷思,在這裡澄清。

迷思一:亞里斯多德「推翻」了柏拉圖。 不準確。亞里斯多德保留了柏拉圖最核心的直覺——知識的對象必須是普遍而非個別的(你研究的是「人」這個種,不是研究蘇格拉底這個人的偶然身高)。他改的是普遍者的居所:從超離的另一個世界,搬進個別事物內部。這是「就地安置」而非「拆除」。師徒之爭是同一個問題框架內的兩種解,不是兩個敵對陣營。

迷思二:柏拉圖晚年「放棄」了理型論。 也不準確。《巴門尼德篇》提出 TMA 之後,柏拉圖並沒有丟掉理型,反而在《智者篇》(Sophist)裡發展出「通種論」——探討理型彼此之間如何結合與區分(「存在」「相同」「相異」「動」「靜」這些最高理型如何交織)。換句話說,他把「一個理型 vs 許多個物」的舊問題,升級成「理型與理型之間的關係結構」的新問題。這是深化,不是撤退。

而那個常被忽略的真相是:這整場辯論的真正主角,其實是「方法」。 蘇格拉底貢獻的是 elenchus(詰問法)——透過連續提問暴露對話者信念中的矛盾;柏拉圖把它升級為辯證法(dialectic),從個別案例上升到理型的把握;亞里斯多德再進一步,發明了形式邏輯(三段論, syllogism)與分類學,讓「上升」這件事有了可檢驗的規則。古希臘哲學三百年最持久的遺產,與其說是某個結論,不如說是這套「不訴諸權威、只訴諸論證可檢驗性」的方法本身——它後來成了整個西方科學與哲學的作業系統。

重點回顧

• 理型論不是天真的「天上有完美範本」,而是一套同時解決普遍性、知識穩定性、道德客觀性、數學對象四大問題的統一理論;它的野心也使它的漏洞更致命。
• 第三人論證(TMA) 由柏拉圖自己在《巴門尼德篇》寫出:當「自我謂述」與「One over Many」同時成立,理型會陷入無限後退。關鍵在於解釋者一旦與被解釋者同範疇,解釋就無法終結。
• 亞里斯多德的形質論把形式從超離世界搬進個別事物內部,釜底抽薪地拆掉 TMA 的前提;這是「就地安置」普遍者,而非推翻柏拉圖。
• 四因說(質料、形式、動力、目的)指出理型論只佔據「形式因」一格,丟掉了動力因與目的因;目的因(telos) 更把形上學一路接到 eudaimonia 倫理學。
• 兩人之爭不是勝負,而是同一問題框架的兩種解;柏拉圖晚期以「通種論」深化、亞里斯多德以邏輯與分類學系統化。真正不朽的遺產是可檢驗論證的方法本身。

深入探討(研究所視角)

若你要把這篇推向研究所層級,有幾條值得追的線索。

一、TMA 的形式化與「兩前提診斷」。 當代分析形上學(尤其 Gregory Vlastos 1954 年的經典論文〈The Third Man Argument in the Parmenides〉)把 TMA 重構為仰賴兩條隱藏前提:Self-Predication(SP)與 Non-Identity(NI)。Vlastos 指出柏拉圖不能同時一致地持有 SP 與 NI——若放棄 SP,理型不再自我謂述,後退停止,但理型作為「完美範本」的直覺受損;若放棄 NI,則分有關係要重新定義。後續學者(如 Sandra Peterson、Constance Meinwald)爭論柏拉圖是否可用「pros heauto / pros ta alla」(就自身而言 / 就與他者關係而言)的謂述區分來解套——這牽涉到謂述究竟是一階還是有層級的問題,可與現代型別論(type theory)對照。

二、「一個與多」作為跨領域問題。 普遍者問題(problem of universals)在中世紀演化為唯實論(realism)、概念論(conceptualism)、唯名論(nominalism)三派的千年大戰(Boethius、Abelard、Ockham),並在 20 世紀以 D. M. Armstrong 的「內在共相論」(immanent universals)與 trope theory 之爭重新登場。亞里斯多德的「內在形式」正是當代內在共相論的祖型。一個好的研究題目是:Armstrong 的「a posteriori realism」與亞里斯多德的形質論在多大程度上是同一立場的現代化身?

三、目的論的當代回潮。 近代科學(培根、笛卡兒)宣稱驅逐了目的因,但生物學的「功能」語言(心臟「為了」泵血)從未消失。Larry Wright 的詞源-功能分析、以及當代「生物學目的論是否可化約為演化選擇史」的辯論(teleosemantics, Ruth Millikan),都可視為亞里斯多德 telos 的科學哲學後裔。研究進路:亞里斯多德的「自然目的論」(內在於有機體)與「設計目的論」(訴諸外在設計者)的區分,如何幫助我們釐清當代「智慧設計 vs 演化」爭論中的概念混淆?

四、方法論的譜系。 把 elenchus → dialectic → syllogism 視為「可錯性逐步形式化」的演進,可與 Karl Popper 的否證論、Imre Lakatos《證明與反駁》(以幾何學概念的反例驅動為例)對讀。一個有張力的論點:蘇格拉底的詰問法本質上是否證式的(找反例擊倒定義),這使得「西方理性傳統一開始就是教條主義」的常見指控站不住腳——古希臘哲學的核心精神,恰恰是把自己的最佳理論(理型論)拿出來公開接受最嚴厲的反駁。這種「自我否證的勇氣」,或許才是這門學問最值得當代學習者繼承的東西。