蓋提爾之後：知識論的進階戰場

蓋提爾的反例之後：當「為真的證成信念」還是不算知識

假設你抬頭看牆上的時鐘，它顯示三點整，於是你形成信念：「現在是三點」。剛好，現在確實是三點。你的信念為真，你也有看時鐘這個看似合理的根據——按照入門篇學過的古典定義，知識就是「經過證成的真信念」（justified true belief, JTB），那麼你似乎知道現在是三點。

但如果我告訴你，那座時鐘其實在二十四小時前就停了，恰好停在三點的位置，而你此刻看它的瞬間「碰巧」也是三點呢？

你的信念仍然為真，你仍然有看時鐘這個證成，三個條件一個不缺。可是直覺上，你不算「知道」現在是三點——你只是運氣好。這個由 Bertrand Russell 提出、後來被 Edmund Gettier 一九六三年的三頁論文系統化的難題，把整個知識論逼進一個延續至今的危機：如果 JTB 不足以構成知識，那知識到底還缺了什麼？

入門篇談的是「知識是什麼」的基本框架。這一篇，我們從這個框架「破掉」的地方開始，走進當代知識論真正交火的戰場。

蓋提爾問題的解剖：運氣如何潛入知識

Gettier 的原始反例值得仔細看，因為它的結構比「停掉的時鐘」更精巧。設想 Smith 和 Jones 一起應徵同一份工作。Smith 有很強的證據相信「Jones 會得到這份工作，而且 Jones 口袋裡有十枚硬幣」（他剛數過 Jones 的硬幣，也聽老闆暗示過）。從這個證成信念，Smith 推論出：「得到工作的人口袋裡有十枚硬幣。」

結果呢？最後是 Smith 自己得到工作，而 Smith 口袋裡——他自己沒注意到——剛好也有十枚硬幣。於是「得到工作的人口袋裡有十枚硬幣」這個信念為真，Smith 對它有證成（透過合理推論），但他顯然不算「知道」這件事。

這裡的關鍵機制是：Smith 的證成「接」到的是 Jones，而信念之所以為真卻是因為 Smith 自己。證成與真理之間的連結被運氣切斷了。 證成把你引向真理的這條因果鏈，中間插進了一段你無法掌控的巧合。

哲學家把這種運氣稱為認知運氣（epistemic luck）。蓋提爾案例的共同診斷是：知識要求真理不能只是「碰巧」與你的證成同時出現；真理必須以「非偶然」的方式與你的信念相連。問題是，要怎麼把「非偶然」這個直覺，寫成一個精確的第四條件？

過去六十年的回應大致分成兩條路線，而它們的分歧，最終追溯到一個更深的對立。

內在論與外在論：證成在你「腦袋裡」還是「世界中」？

要修補 JTB，第一個要回答的問題是：構成知識的那個「好的根據」，到底是不是你能夠透過反省「從內部」掌握的東西？

內在論（internalism） 主張：證成必須由你能接觸到的內在狀態決定——你的其他信念、你的感官經驗、你能反省到的理由。代表性的口號是「證成是可由內反省取得的（accessibility）」。如果兩個人內在心理狀態完全相同，他們的信念證成程度就必然相同，即使其中一人身處正常世界、另一人是缸中之腦（brain in a vat）。對內在論者而言，證成是一種你「盡到認知責任」的狀態：你已經根據手上能掌握的理由做出最合理的判斷。

外在論（externalism） 則反對這點。它認為，使信念成為知識的關鍵因素，可以是你「無法從內部反省到」的世界事實——例如你的認知過程是否「實際上」可靠。最有影響力的版本是 Alvin Goldman 的可靠論（reliabilism）：一個信念被證成，當且僅當它是由一個「可靠的歷程（reliable process）」產生的，亦即一個在實際世界中傾向於產生真信念的機制（健康的視覺、有效的推論、可信的記憶）。

可靠論漂亮地解掉了停掉的時鐘：看停掉的時鐘是一個「不可靠」的歷程（它大多數時候會給你錯的時間），所以即使這次碰巧為真，它也不構成知識。看正常運轉的時鐘則是可靠歷程，因此能給你知識。注意這裡的重點——你「內部」看兩座鐘的經驗一模一樣，差別完全在你接觸不到的外部事實（鐘有沒有壞）。這正是外在論的核心主張。

看一個例子：高超的溫度計直覺者

考慮一個經典的對撞案例，用來逼問內在論與外在論的差異。

設想 Norman，他擁有一種他自己完全不知道的超能力：他能可靠地、無中介地「就是知道」美國總統此刻在哪裡。某天一個念頭憑空浮現：「總統現在在紐約。」這個念頭確實由他那個可靠的超能力產生，而且為真。

• 外在論（可靠論）的判決：Norman 知道總統在紐約。因為這個信念由可靠歷程產生，可靠性就是知識所需的全部。
• 內在論的判決：Norman 不知道。因為從他自己的觀點看，這個念頭毫無根據地冒出來，他沒有任何理由相信它、也沒有理由相信自己有這種能力。一個負責任的認知者面對這樣憑空出現的信念，理應存疑。

你的直覺站哪一邊？這個案例之所以重要，是因為它把兩派的代價攤開來：外在論能解釋「動物與幼兒也有知識」（牠們的視覺可靠，即使無法反省），卻得接受 Norman 這種「盲目卻可靠」的怪異知識；內在論守住了「認知責任」的直覺，卻很難說明一個無法反省自身可靠性的系統（如人類的潛意識歷程）何以能產生知識。

這不是可以投票解決的問題，而是一組需要你權衡的理論代價。

證成的結構：無窮後退與三種出路

蓋提爾問題拆解的是「第四條件」，但內在論者還面對一個更古老的難題：證成本身要靠什麼支撐？

你相信 P，因為有理由 Q。但你憑什麼相信 Q？因為有理由 R。那 R 呢？這條「為什麼」的鎖鏈，古希臘懷疑論者 Agrippa（阿格里帕）早已指出只有三種收尾方式，史稱阿格里帕三難（Agrippa's trilemma）：

1. 無窮後退：理由的鎖鏈無限延伸下去——但有限的心靈無法掌握無限的理由鏈。
2. 循環：鎖鏈繞回自己（Q 證成 R，R 又回頭證成 Q）——但這看似乞題（begging the question）。
3. 獨斷地停下：在某個「基礎信念」處停止追問——但停在哪裡不會是任意的嗎？

當代知識論對應出三個立場：

基礎論（foundationalism） 咬下第三隻角。它主張存在一類基礎信念（basic beliefs），它們的證成不依賴其他信念——例如「我此刻有紅色的視覺經驗」「2+2=4」。這些信念是自我證成的或由經驗直接給予的，其餘所有信念則像金字塔一樣建立在它們之上。難點在於：這些基礎信念真的「確定到」不需要任何進一步支持嗎？Wilfrid Sellars 著名的「所予神話（Myth of the Given）」批評就指出：純粹的感官「所予」如果完全沒有概念內容，它根本無法作為「理由」去證成任何命題；可一旦它有概念內容，它本身就需要被證成，於是又不再是基礎了。

融貫論（coherentism） 重新詮釋第二隻角。它否認有「基礎」，主張證成不是線性的金字塔，而是一張信念之網：一個信念被證成，是因為它與整個信念系統「融貫（coherence）」——彼此一致、相互支持、解釋力強。這裡的「循環」不是惡性的小圈圈，而是整體網絡的相互支撐，類似一座拱橋的石塊彼此扣住而不墜。融貫論的著名難題是孤立反對（isolation objection）：一套內部完美融貫的信念系統（例如一個自洽的妄想或一本精緻的小說），可能與真實世界毫無接觸。融貫本身似乎無法保證真理。

無限論（infinitism），由 Peter Klein 力倡，大膽接受第一隻角。它主張理由鏈確實是無限且非重複的，但「擁有」一個理由不需要你「當下完成」整條鏈——只要在被質疑時，你總能再給出下一個尚未用過的理由即可。這是少數派立場，卻逼我們重新思考「擁有理由」到底是什麼意思。

擊敗者：知識為何如此脆弱

回到修補蓋提爾的工程。內在論陣營最有力的一條進路，是引入擊敗者（defeater） 的概念，發展成所謂無擊敗者理論（defeasibility theory）。

直覺是這樣的：在蓋提爾案例裡，總「存在某個你不知道的真相」，一旦你知道它，你的證成就會崩塌。在停掉的時鐘案例中，這個真相是「鐘壞了」；在 Smith 案例中，是「得到工作的是 Smith 而非 Jones」。這種「一旦知道就會摧毀證成」的真命題，就叫擊敗者。

於是第四條件可以這樣寫：知識是「沒有任何擊敗者的證成真信念」——也就是說，不存在任何真命題，使得當你把它加進你的證據後，你原本的證成就站不住腳。

這個理論細緻地區分了兩種擊敗者，這個區分在實作上極為重要：

• 反駁型擊敗者（rebutting defeater）：提供「P 為假」的直接證據。例如你相信「那面牆是紅的」，有人告訴你「其實它是白牆，只是被紅燈照著」——這直接攻擊信念的真理性。
• 削弱型擊敗者（undercutting defeater）：不證明 P 為假，而是切斷你「理由與信念」之間的連結。同一個紅燈案例中，「牆被紅燈照著」其實沒告訴你牆到底是不是紅的，它只是讓你「看到紅色」這個理由不再能支持「牆是紅的」這個結論。它攻擊的是證成的傳導，而非結論本身。

動手試試：找出你自己的擊敗者

挑一個你「自認知道」的日常信念，例如「我把鑰匙放在玄關的盤子裡」。現在做兩件事：

1. 找反駁型擊敗者：什麼真命題會直接證明它為假？——「我室友半小時前把鑰匙移到了書桌上。」
2. 找削弱型擊敗者：什麼真命題不證明你錯，卻會讓你「放鑰匙到盤子裡」的記憶不再可靠？——「我今天連續三次把東西放錯地方還記成放對了。」

你會發現，第二種擊敗者更隱蔽也更難防。日常生活裡讓我們「自以為知道其實不知道」的，往往不是事實本身被推翻，而是我們「取得信念的那條管道」悄悄失效了——疲勞、偏誤、不可靠的消息來源。無擊敗者理論的洞見，正是把知識定義成「能挺過所有真相檢驗」的信念，這讓它天生帶有一種對抗自我欺騙的韌性。

知識為什麼比真信念「更好」：價值難題

當代知識論還有一個看似抽象、實則直指核心的問題，最早可追溯到柏拉圖《Meno》（《美諾篇》）：知識為什麼比單純的真信念更有價值？

蘇格拉底在《美諾篇》舉了個例子：要去拉里薩（Larissa），一個「知道路」的人和一個「只是剛好有正確意見」的人，都能帶你抵達。既然結果一樣，知識多出來的那一塊到底貴在哪？

這個問題對可靠論構成尖銳挑戰，史稱沼澤難題（swamping problem）。如果知識的價值來自「它由可靠歷程產生」，可是一旦信念「已經為真」了，它是由可靠歷程還是僥倖產生，對「這一個」信念的真假還有什麼差別？真理已經到手，可靠性的價值彷彿被真理「淹沒」了，不再額外加分——就像一杯好咖啡，它的價值來自好咖啡豆，但如果你眼前這杯咖啡已經夠好喝了，豆子好不好對「這一杯」的好喝程度還有額外貢獻嗎？

對這個難題的回應，催生了當代最有活力的取向之一：德性知識論（virtue epistemology）。Ernest Sosa、Linda Zagzebski 等人主張，知識不只是一種「狀態」，而是一種成就（achievement）——是認知主體運用自身的認知德性（智識的審慎、開放、嚴謹）而「達成」的真理。

Sosa 用一個射箭的比喻說得很清楚，他區分三層評價：

• 準確（accurate）：箭射中了靶（信念為真）。
• 熟練（adroit）：射箭的動作展現了技巧（信念由能力產生）。
• 中的（apt）：箭之所以中靶，「正是因為」射手的技巧，而非一陣巧風把偏掉的箭吹了回來（信念為真，正是歸功於主體的認知能力）。

蓋提爾案例的問題，用這套語言講就一目了然：那些信念是準確的、甚至是熟練的，卻不是「中的」——它們命中真理是靠運氣，而非歸功於認知者的能力。而知識之所以比真信念更有價值，是因為「靠自己的能力命中真理」這件事，就像「靠技術射中靶心」一樣，本身就是一種值得讚許的成就，價值不會被結果「淹沒」。這正面回應了美諾的問題。

重點回顧

• 蓋提爾問題揭示了「經證成的真信念」（JTB）不足以構成知識：當證成與真理之間的連結被認知運氣切斷時，三條件齊備也不算知識。修補它需要某種「真理非偶然」的第四條件。
• 內在論 vs 外在論是修補路線的根本分歧：內在論主張證成必須可由反省取得（強調認知責任）；外在論（如可靠論）主張關鍵在於信念是否由「可靠歷程」產生，即使主體無法反省到。Norman 超能力案例把兩者的代價攤開。
• 阿格里帕三難逼出證成結構的三種出路：基礎論（停在自我證成的基礎信念，面對「所予神話」批評）、融貫論（信念之網的相互支撐，面對「孤立反對」）、無限論（接受非重複的無限理由鏈）。
• 無擊敗者理論把知識定義為「沒有任何真擊敗者」的證成真信念，並區分反駁型擊敗者（攻擊結論真假）與削弱型擊敗者（切斷理由與信念的連結）。
• 價值難題（美諾問題、沼澤難題）追問知識為何勝過真信念；德性知識論以「中的（apt）」——靠認知能力而非運氣命中真理——把知識重構為一種值得讚許的認知成就。

深入探討（研究所視角）

走到研究所層級，知識論的前沿已從「分析知識的充要條件」這個自蓋提爾以來的工程，部分轉向幾個更具顛覆性的方向，值得有志深入者留意。

其一，知識優先綱領（knowledge-first epistemology）。 Timothy Williamson 在《Knowledge and Its Limits》（2000）中發動了一場逆轉：過去半世紀大家都試圖用「更基本」的概念（信念、真理、證成）去「組裝」出知識，但這條路屢遭蓋提爾式反例擊潰。Williamson 主張，這個方向根本錯了——知識是不可被分析的、概念上最基本的（primitive）狀態，反而應該用知識去定義其他東西。他著名的論題是「知識即心靈狀態（knowledge as a mental state）」，以及「E=K」：一個人的全部證據，「就等於」他所知道的全部命題。這逆轉了傳統「先有證據、證據再撐起知識」的次序。此綱領還連帶提出反光環原則（anti-luminosity argument），論證即使是你自己的心靈狀態（如「我正感到冷」），你也未必處在能「無誤地知道自己處於其中」的位置——這對笛卡兒式內在論的「特權通達」是釜底抽薪的打擊。

其二，知識的脈絡敏感性：脈絡論與利害關係。 「知道」這個詞的真值條件，是否會隨對話脈絡浮動？脈絡論（contextualism）（Keith DeRose、David Lewis）主張，「S 知道 P」中知識所要求的證成門檻，會隨「對話者所考慮的錯誤可能性」升降——在日常脈絡你「知道」自己有手，但一旦哲學課堂引入「缸中之腦」的可能，門檻被抬高，同一句話就變成假的。這巧妙地解釋了懷疑論的弔詭力量。與之競爭的是 Jason Stanley 的利害關係不變論（interest-relative invariantism / pragmatic encroachment），主張不是「語詞脈絡」而是「主體實際承擔的利害」會改變知識門檻：賭注越大（搞錯後果越嚴重），你需要越強的證據才算「知道」。這把實踐理性「侵入」了純粹理論性的知識概念，挑戰了「知識只關乎真理、與利益無關」的古典假設。

其三，社會知識論（social epistemology）的崛起。 古典知識論的主體是一個孤立的笛卡兒式心靈，但人類絕大多數的知識來自證詞（testimony）——我們相信老師、新聞、教科書、同儕。這帶出一連串新問題：相信他人之言何時是被證成的（化約論主張須由你自己的歸納證據背書，反化約論主張證詞本身即是預設可信的基本來源）？群體（科學社群、陪審團、維基百科）能否作為知識的「主體」，其集體判斷如何聚合？以及在資訊環境惡化的當下尤為迫切的——認知不正義（epistemic injustice）（Miranda Fricker）：當一個人因其社會身分（性別、種族）而被系統性地「不被當作可信的知者」（證言不正義），或因主流概念框架缺乏描述其經驗的詞彙而無法被理解（詮釋不正義），這是一種專屬於「作為知者」這個身分的傷害。社會知識論把知識論從個體認知，擴展到了權力、信任與制度的政治場域。

這三條前沿線索共同指向一個趨勢：當代知識論正逐步擺脫「在書房裡為孤立心靈尋找充要條件」的笛卡兒典範，轉向把知識理解為一種鑲嵌於世界、能力與社群中的成就。若你想進一步探究，建議從 Williamson《Knowledge and Its Limits》、Sosa《A Virtue Epistemology》與 Fricker《Epistemic Injustice》三本分屬不同陣營的著作入手，正反對讀，最能看清這個領域今日交火的真實地形。