你以為你知道，但你真的「知道」嗎？知識論入門

你以為你知道，但你真的「知道」嗎？

想像一個情境。早上你瞄了一眼牆上的時鐘，它顯示八點整，於是你相信現在是八點。你的相信沒錯——此刻確實是八點。問題來了：那座時鐘其實昨晚就壞了，指針卡死在八點，只是你運氣好，剛好在指針所指的那個時刻看它。

你「相信」現在是八點，這個相信也「為真」，而且你還有看時鐘這個「理由」。三個條件都滿足了。但是你願意說，剛剛那一瞬間你知道現在是八點嗎？多數人會猶豫。你只是矇對了。

這個看似無聊的小情境，其實踩在知識論（Epistemology，源自希臘文 epistēmē，「知識」）最敏感的神經上。知識論問的問題古老到不可思議，卻又貼身到無法迴避：知識是什麼？我們憑什麼說自己「知道」一件事，而不只是「猜對了」？我們又如何分辨真知與意見、可靠的信念與運氣好的瞎猜？

知識論在問什麼

知識論是哲學的核心分支之一，與形上學（Metaphysics，問「世界是什麼」）、倫理學（Ethics，問「我們該怎麼做」）並列。如果說形上學問「實在如何」，知識論就問「我們如何能認識實在」。

它關心的問題大致可以分成三組。第一組是知識的本質：知識到底由什麼構成？它和單純的相信、猜測、意見有什麼不同？第二組是知識的來源：我們的知識從哪裡來——是來自感官經驗，還是來自理性推理，抑或兩者兼有？第三組是知識的範圍與界線：有沒有什麼是我們原則上無法知道的？懷疑論（Scepticism）會不會根本是對的，我們其實什麼都不能確定？

這三組問題彼此交織。要回答任何一個，幾乎都得碰到另外兩個。我們先從最基本的那組——知識的本質——切入。

知識的經典分析：JTB

在西方哲學裡，對「知識是什麼」有一個影響極深的答案，可以一路追溯到柏拉圖（Plato）的對話錄《泰阿泰德篇》（Theaetetus）。這個答案後來被精煉成一個公式，稱為「有充分理由的真信念」（Justified True Belief，簡稱 JTB）。

它主張：某人 S 知道命題 P，若且唯若下列三個條件同時成立——

1. 真（Truth）：P 為真。你不可能「知道」一件假的事。如果你說你知道地球是平的，你其實並不知道，你只是相信了一件假的事。
2. 信（Belief）：S 相信 P。你不能知道一件你自己都不相信的事。
3. 證成（Justification）：S 有充分的理由或證據支持 P。這一條把「知識」和「碰巧猜對」區隔開來。

第三個條件是關鍵。它要回答的正是開頭那個壞掉的時鐘問題：為什麼矇對不算知道？因為矇對缺乏正當的證據支持。一個賭徒堅信下一把會開大，結果真的開大了，他事前的相信也為真，但我們不會說他「知道」會開大——他沒有好的理由，只是運氣。

這個分析優雅、直覺、好用。它統治了知識論兩千多年。直到一篇只有三頁的論文把它炸出一個洞。

蓋提爾的三頁炸彈

1963 年，美國哲學家蓋提爾（Edmund Gettier）發表了一篇標題樸實的短文〈Is Justified True Belief Knowledge?〉。他用兩個反例證明：一個人可以同時滿足真、信、證成三個條件，卻仍然不算「知道」。

看一個例子

讓我們改寫一個經典的蓋提爾式情境，叫做「史密斯與工作」。

史密斯（Smith）和瓊斯（Jones）一起應徵同一個職位。公司主管私下告訴史密斯：「錄取的會是瓊斯。」史密斯也親眼看到，瓊斯口袋裡有十枚硬幣（他剛剛數過）。於是史密斯形成一個信念：

「會錄取的那個人，口袋裡有十枚硬幣。」

這個信念有充分理由（主管的話加上他親自數過硬幣），看起來無懈可擊。

結果呢？人事最後翻盤，錄取的是史密斯自己。而巧合的是，史密斯口袋裡碰巧也剛好有十枚硬幣——他自己根本沒注意到。

現在回頭檢查：「會錄取的那個人口袋裡有十枚硬幣」這句話為真（錄取的是史密斯，他口袋確實有十枚）；史密斯相信它；他的相信也有充分理由。三個條件全數滿足。但你會說史密斯「知道」這件事嗎？

顯然不會。他的信念之所以為真，純粹是兩個巧合疊在一起：他猜錯了誰被錄取，又碰巧硬幣數目對上了。他的證據（關於瓊斯的）和讓信念為真的事實（關於他自己的）根本是兩回事。理由和真，被運氣硬接在一起。

這就是「蓋提爾問題」（Gettier Problem）：JTB 條件可以全部滿足，知識卻仍然缺席。問題的核心在於，傳統的「證成」沒辦法排除掉這種「碰巧為真」的運氣。

補洞的各種嘗試

蓋提爾之後，知識論者花了數十年想補上這個洞，發展出好幾條路線，至今沒有定論。簡單盤點幾種代表性的回應。

加上「無假前提」條件。 一種直覺的修補是：真知識不能建立在任何假的信念之上。史密斯之所以出錯，是因為他暗中依賴了一個假前提——「瓊斯會被錄取」。如果規定證成的推理鏈中不得有任何假環節，就能擋掉這類反例。但後來的哲學家又設計出不依賴明顯假前提的蓋提爾情境，這條路因此不夠徹底。

因果理論（Causal Theory）。 葛德曼（Alvin Goldman）早期主張，S 要知道 P，P 這個事實必須以恰當的方式因果地造成 S 的相信。史密斯的問題正在於：讓信念為真的事實（他自己的硬幣）和造成他相信的原因（關於瓊斯的證據）之間沒有正確的因果連結。

可靠論（Reliabilism）。 葛德曼後來轉向更有影響力的版本：一個信念算得上知識，不在於你能不能說出一套理由，而在於它是不是由一個可靠的認知歷程所產生——這個歷程在多數情況下能產出真信念。健康的視覺、可信的記憶、有效的推理都是可靠歷程；瞎猜、一廂情願則不是。可靠論把焦點從「內在的理由」轉向「歷程的客觀可靠度」，這也帶出知識論一場大爭論：證成到底是「內在主義」（Internalism，理由必須是認知者能反省取用的）還是「外在主義」（Externalism，可靠與否是客觀事實，不必認知者自己掌握）？

德性知識論（Virtue Epistemology）。 索薩（Ernest Sosa）、扎格澤布斯基（Linda Zagzebski）等人提出另一種視角：知識是認知者運用其認知德性（intellectual virtue，如細心、開放、嚴謹）而達成的成功。一個好的比喻是射箭——箭命中靶心可能只是運氣（一陣風把歪掉的箭吹正了），也可能是因為射手技術精湛。知識是「因為技術而命中」，不是「碰巧命中」。蓋提爾情境裡的史密斯，命中靶心靠的是風而不是技術。

這些路線沒有一條被公認為終極答案，但它們共同揭示了一件事：「知識」遠比「真信念」要求更多，而那個「更多」的東西出奇地難以精確界定。

知識從哪裡來：理性主義與經驗主義

回答「知識是什麼」之後，第二個大問題浮現：知識的來源是什麼？這裡有近代哲學史上最著名的一場對峙。

理性主義（Rationalism） 主張，有些重要的知識是與生俱來、或可純由理性推導而來的，不必倚賴感官經驗。笛卡兒（René Descartes）是代表。他用懷疑作為武器：感官會騙人（筷子插水裡看起來是彎的）、夢境足以亂真，甚至可能有個「惡魔」（evil demon）系統性地欺騙我。把一切可疑的都丟掉之後，他發現有一件事無法被懷疑——我正在懷疑，所以我正在思考，所以「我存在」。這就是著名的「我思故我在」（Cogito, ergo sum）。對笛卡兒而言，這個無可置疑的基礎是靠純粹理性、而非感官得到的。

經驗主義（Empiricism） 則反過來主張，心靈起初是一塊「白板」（tabula rasa，洛克 John Locke 的用語），所有知識最終都來自感官經驗。休謨（David Hume）把這條路走到最徹底，也最令人不安的地方。他追問：我們憑什麼相信「因果關係」？你看到撞球 A 撞上 B、B 隨即滾動，你說 A「導致」B 動。但你真正看到的，只是「A 動」緊接著「B 動」這個重複出現的序列。你從來沒有看到那條叫「因果必然性」的連結本身。我們對因果的信念，其實來自心理上的習慣——看多了就以為非如此不可。更尖銳的是「歸納問題」（Problem of Induction）：太陽過去每天升起，並不能在邏輯上保證它明天還會升起。我們對未來的一切預測，都建立在一個無法被經驗證明的假設上——未來會像過去。

休謨的懷疑像一根刺。康德（Immanuel Kant）正是被它「從獨斷的睡夢中驚醒」，提出綜合方案：知識確實始於經驗，但心靈不是被動接收，而是用一套先天的認知形式（時間、空間、因果等範疇）主動地組織經驗。換句話說，我們認識的世界，是經驗素材經過心靈結構加工後的產物。理性與經驗，在康德這裡握手言和。

懷疑論：我們會不會其實什麼都不知道？

第三組問題最令人坐立難安：知識的界線在哪裡？有沒有可能，我們自以為的知識其實全盤皆空？

動手試試

請你認真試著反駁下面這個情境。

你怎麼確定，此刻的你不是被泡在營養液裡的一顆「桶中之腦」（Brain in a Vat）？想像一個瘋狂科學家把你的大腦取出、養在培養桶裡，接上超級電腦，餵給它和此刻一模一樣的所有電訊號——你眼前的螢幕、手的觸感、讀到的這段文字，全是電腦模擬。在那個情境裡，你的一切經驗會和現在「真實」的經驗完全無法區分。

關鍵在於：如果兩種情境給你的內在經驗一模一樣，你要憑什麼證據判斷自己身在哪一邊？你拿不出任何能區分二者的證據——因為任何你想拿來當證據的東西（揍自己一拳、做個實驗），在模擬裡也會被一併模擬出來。

這個現代版的思想實驗，骨架正是笛卡兒的「惡魔」論證，也是電影《駭客任務》（The Matrix）的哲學原型。它的威力在於：你似乎真的無法證明自己不在桶中。而如果你無法排除這個可能，那你對外在世界的一切知識，地基是不是都鬆動了？

哲學家對懷疑論的回應五花八門。摩爾（G. E. Moore）的策略樸實得近乎挑釁：他舉起雙手說「這是一隻手，這又是一隻手」，主張「我有手」這件事比任何懷疑論的抽象前提都更確定，所以該被丟掉的是懷疑論的前提，而不是我的常識。語境論（Contextualism）者則指出，「知道」一詞的標準會隨語境浮動——日常語境下說「我知道我有手」完全成立，只有在哲學課堂這種把標準拉到極限的特殊語境裡，懷疑論才顯得有力。還有人訴諸推論到最佳解釋：「外在世界真實存在」比「我是桶中之腦」更簡單、更能解釋我經驗的融貫性，因此更值得相信——雖然這仍然不是邏輯上的證明。

懷疑論未必要你真的相信自己是桶中之腦。它更像一面鏡子，逼我們看清：我們日常掛在嘴邊的「知道」，其地基遠比想像中脆弱，而這份脆弱本身，正是知識論最值得反覆思索的地方。

重點回顧

• 知識論問三件事：知識是什麼（本質）、知識從哪裡來（來源）、我們能知道多少（範圍）。它是與形上學、倫理學並列的哲學核心分支。
• JTB 經典分析：傳統上把知識定義為「有充分理由的真信念」（Justified True Belief）——真、信、證成三條件缺一不可，「證成」用來把知識和碰巧猜對區隔開。
• 蓋提爾問題：1963 年蓋提爾用反例證明，三條件可以全部滿足，知識卻仍缺席，因為「運氣」鑽進了理由與真之間的縫隙。後續發展出可靠論、德性知識論等補救路線，至今無定論。
• 來源之爭：理性主義（笛卡兒）認為有些知識可純由理性得到，經驗主義（休謨）主張一切知識源於感官；康德提出綜合——知識始於經驗，但由心靈的先天結構主動組織。
• 懷疑論的挑戰：桶中之腦、惡魔等思想實驗顯示，我們似乎無法證明自己對外在世界的知識為真。回應包括摩爾的常識主義、語境論與最佳解釋推論。

深入探討（研究所視角）

把上面的脈絡往學術前沿推一層，有幾條值得深究的線索。

蓋提爾問題的「不可分析性」轉向。 經過數十年補洞失敗，威廉森（Timothy Williamson）在《Knowledge and Its Limits》（2000）提出激進主張：知識根本無法被分解成「信念加上其他東西」的合取式定義。他主張「知識優先」（knowledge-first）——知識是一個概念上原初（primitive）、不可再化約的心智狀態，反而是「信念」「證據」要用「知識」來理解，而不是相反。這把整個蓋提爾傳統的提問方向倒轉了過來，是當代知識論最有影響力的綱領之一。與之呼應的是「知識歸因的反運氣（anti-luck）」研究綱領，普理查德（Duncan Pritchard）等人試圖用「模態安全性」（safety：在鄰近的可能世界中，你的信念不會輕易出錯）來刻畫知識排除運氣的條件。

形式知識論（Formal Epistemology）。 當代一大分支把信念程度化：與其問「相信或不相信」，不如用 0 到 1 的「信念度」（credence）來建模，並要求它遵守機率公理。貝氏知識論（Bayesian Epistemology）由此而生——學習新證據就是依貝氏定理更新信念度。這條路把休謨的歸納問題重新框成「如何理性地更新信念」的形式問題，也直接連到統計學與機器學習。這對 Educational Omics 框架裡的學習分析很有啟發：當我們用模型估計一個學生「是否掌握某概念」，本質上就是在做一種貝氏式的信念更新，而蓋提爾與安全性的討論提醒我們，模型「碰巧猜對」與「真正可靠地知道」之間有重要差別。

社會知識論（Social Epistemology）與證言。 個人主義的知識論預設知者是孤立的笛卡兒式心靈，但我們絕大部分的知識其實來自他人的證言（testimony）——你知道地球繞日，並不是你親自觀測的。證言如何傳遞知識？這牽涉信任、權威與認知勞動分工，並延伸出「認知不正義」（epistemic injustice，弗里克 Miranda Fricker 提出）：當某些群體因身分偏見而不被當作可信的知者，這本身就是一種傷害。在生成式 AI 時代，這個維度格外尖銳——當大型語言模型成為人們獲取「知識」的主要來源，它輸出的究竟是知識還是有說服力的真信念？它沒有可靠的因果接地、會「幻覺」（hallucinate）地碰巧說對，這正是一個大規模的蓋提爾情境。

自然化知識論（Naturalized Epistemology）的跨領域連結。 蒯因（W. V. O. Quine）主張，知識論不該是一門先驗地為知識立法的「第一哲學」，而應該成為認知科學的一部分——去經驗地研究人類實際上如何從感官刺激形成信念。這把知識論和心理學、神經科學、人工智慧連成一氣。當代「擴展心靈」（extended mind）論題甚至主張，認知歷程可以延伸到大腦之外的工具（筆記本、手機、搜尋引擎），那麼「知道」是否也能分散在人與工具構成的系統裡？這對思考人機共學（Human-AI Collaboration）格外切題：當 AI 助教與學習者共同完成一項認知任務，知識的歸屬與認知德性的培養，會呈現出傳統個人主義知識論未曾預想的形態。

這些線索共同指向一個態度：知識論不是一套已封存的定論，而是一組仍在演化、且與科學和技術深度互動的活問題。從一座壞掉的時鐘，到一個會幻覺的語言模型，「我們如何知道」這個古老的提問，在每個時代都會換上新的面孔重新逼問我們。