詞條目錄與總選單
認知證成結構
目次

1. 證成與「證成」

2. 證成後退與證成結構

3. 無限論:理由與批評

3.1 無基礎批評
3.2 有限心智批評

4. 基礎論:理由與批評

4.1 基礎論理論分類
4.2 強基礎論及其批評
  4.2.1 強基礎論面臨的難題
4.3 溫和基礎論及其批評
  4.3.1 Sellar的兩難      

5. 融貫論:理由與批評

5.1 什麼是融貫?
5.2 獨立性批評
5.3 替代系統批評
5.4 融貫性與真理

6. 懷疑論

參考文獻

 

內文

1. 證成與「證成」

認知證成(epistemic justification)(以下簡稱「證成」)是當代知識論研究的主軸之一。作為專業術語,「證成」有三個不同的含義。首先,「證成」作為名詞用時,指理由或證據,特指支持主體去接受或相信某些命題的理由或證據,或支持主體信念內容的理由或證據。在這個意義下,當我們說『S擁有對P的證成』,我們說的是S的理由或證據支持P為真。同理,當我們說『S相信P是被證成地』,我們的意思是S相信P這個行為是被理由或證據所支持的。其次,「證成」作為名詞,也被用來指涉那些決定一個真信念是否為知識的性質,或者那些區分作為知識的真信念跟非知識真信念的性質。一般人會同意,知識是一種真信念,但並不是所有真信念都是知識。「證成」,在目前的含義下的作用就像一個標籤,特指那些作為知識的真信念所擁有、且不被非知識的真信念所擁有的性質,不管這個性質實際上是什麼。

   我們不能先驗地把「證成」的這兩個含義視作是對同一個對象的不同表述。雖然,有些哲學家——如證據論者(evidentialist——認為,理由或證據是作為知識的真信念所擁有、且不為非知識的真信念所有的性質,即是,作為知識的真信念都是被理由或證據(合適地)支持的真信念,而非知識的信念都是不被理由或證據(合適地)支持的真信念。對證據論者來說,「證成」這兩個含義所指涉的是同一個性質。但並不是所有人都同意理由或證據是決定真信念是否為知識的條件。例如,David Lewis1996)就認為,證據和理由既非決定真信念是否為知識的必要條件,也不是其充分條件。有不少哲學家認為,一個信念是否是知識,並不取決於內在(internal)於主體的因素,像是理由或證據,而是取決於某些外在(external)於主體的因素。例如,(有些)可靠論者(reliabilist)認為,真信念是否為知識只取決於這個信念是否是一個可靠信念生產機制所產生的結果,而與主體是否有理由或證據支持這個信念無關。對可靠論者來說,上述「證成」的兩個含義的指涉對象就會是不相同的。

  雖然如此,「證成」這兩個含義還是有三個重要的共同(通)點。首先,無論是哪一種含義,「證成」指涉對象都擁有『使為真性』(truth-conduciveness),或者說,不管那一種含義,「證成」都是用來衡量、標示『獲得真理與避免錯誤』這個認知目的(epistemic goal)被達成的程度。例如,P如果被理由或證據支持的話,會比沒有被理由或證據支持更可能為真。同理,直覺上,決定某一個真信念是否為知識的因素都只能是那些擁有使為真性的因素,如理由或證據、可靠的信念生產機制等。[1]其次,無論是理解為理由或證據還是理解為知識的必要條件,證成的核心功能都是合理化、合法化主體的信念。例如,一般人會同意,如果S的信念P是被理由或證據所支持的,則,在其他條件不變的情況下,S去相信P就是認知上合適的(epistemically appropriate)。同理,如果S的信念P是由可靠的信念生產機制所產生的,則,在其他條件不變的情況下,S去相信P也是認知上合適的。再者,無論是使為真性還是信念合理化,都是有程度可言的。而一般人會同意,支持某個命題的理由或證據是有強弱、程度可言的。例如,S1支持P的理由或證據可以有比S2支持P的理由或證據更強、S1支持P的理由或證據也可以比S1支持Q的理由或證據來得更強等。同樣的,信念生產機制的可靠性也是有程度可言的。例如,S1產生信念P的機制可以比S2產生信念P的機制來得更可靠、S1產生信念P的機制也可以比S1產生信念Q的機制來得更可靠等。

  「證成」的第三個含義,即是上述「證成」作為理由與證據與「證成」作為知識必要條件這兩個含義的三個共同(通)點。也就是說,「證成」作為名詞使用的時候,也用來指涉那些有程度可言、擁有使為真性、促進認知目的、以及合理(法)化信念的性質。在缺乏明確定義的脈絡中,這是「證成」最常被使用的含義。雖然「證成」的第三個含義並不蘊含第一或第二個含義,但這個第三個含義卻是被包含在第一以及第二個含義之中的。這解釋了為什麼雖然「證成」有三個不同的含義,但很多時候有關證成的討論卻不會流為雞同鴨講,各說各話——當大家關心的是「證成」的第三個含義所指涉的對象時,大家對知識的必要條件是什麼的分歧(如果有的話),就不是那麼重要了。就本文而言,「證成」一詞都是在第三個意義下被使用的。對於作為知識的真信念的特有性質的問題,本文將維持中立,不予討論。

  最後,讓我們指出證成的兩個區別,以釐清本文探討的對象。首先,讀者可能已經注意到,在一般的情況下,『信念P是被證成(或不被證成)』這句話是有歧義的。一方面,這句話可用來表示,主體S相信P這個動作本身是被證成的;另一方面,這句話也可以表示主體SP有證成。文獻中,一般把『S相信P的行為是被證成的』稱之為「信念證成」(doxastic justification),而把『SP擁有證成』稱之為命題證成(propositional justification)(cf., e.g., Firth 1978)。[2]信念證成蘊含命題證成:如果S相信P的行為是被證成的,則S一定有對P的證成。反過來,命題證成並不蘊含信念證成: 即便SP擁有證成,但並不表示S相信P這個動作是可被證成的,因為S可能並不相信P,或者S雖然相信P,但其信念卻不是基於SP的證成而產生。換句話說,S要對P擁有信念證成,除了需要P擁有命題證成,S的信念P還必須奠基在SP的命題證成上——最後這個條件一般稱為「奠基關係」(basing relation)。本文將只討論命題證成。本文只處理命題證成。除非特別交代,「證成」這裡特指命題證成。

  其次,談論證成時,我們可以從共時(synchronic)以及歷時的(diachronic)的面向來談(cf., e.g., Swinburne 2001, 9-11)。共時的證成指的是在某一個時間點上,S對信念P的證成,而歷時的證成則是指在一段時間內S對信念P的證成。這兩類的證成是相互獨立的:S在時間點tn的信念可以是(共時地)被證成的,即便S在時間段t0tm(且tn處在t0tm之間)是,其信念P是沒有(歷時地)被證成的。相反的,S在時間段t0tm中的信念P可以是(歷時地)被證成,即便S在時間點tntn處在t0tm之間)的信念並不是(共時地)被證成的。需指出的是,在討論證成結構的時候,我們只處理共時的證成。

   最後,如果讀者對「證成」這個術語的歷史背景有興趣的話,可以參考〈附錄1〉。

 

2. 證成後退與證成結構

證成是信念的性質。信念如何獲得證成?要回答這個問題,我們必須先理解什麼東西可以提供證成、證成如何傳遞或產生、被證成與不被證成的信念之間的差別是什麼等問題。在當代知識論討論中,這些都被歸類為證成的結構(the structrure of justification)的問題。

  早在希臘時期,哲學家就開始關心證成結構的問題。之所以如此,是因為一個非常著名的論證(型式)的提出。我們在Aristotle在《後分析篇》(Posterior Analysis I.3: 5-23)就已經看到對這個論證的討論與分析。但早期文獻之中,以Sextus Empiricus的《庇羅主義大綱》(Outlines of Pyrrhonism)對這個論證的呈現最為清晰:

 

晚近的懷疑論者提出五個引領我們擱置判斷(suspension)的論證模式Modes)。即是,第一個是基於不相容discrepancy的模式,第二個是基於無限後退的模式,第三個基於相對性,第四個基於假設hypothesis,第五個基於循環推理。⋯⋯基於無限後退的模式是這樣的:當我們引用某物作為某個被宣稱的事物的證明時,這個證明需要其他的證明,而後者有需要更其他的證明,如此類推,無窮無盡。最後的結果只能是擱置判斷,因為這個論證並沒有一個起始點starting point⋯⋯基於假設的模式則是當獨斷論者在面臨無限後退的時候,將某個事物當作起始點。但獨斷論者沒有為這個起始點提供論證,而是宣稱把它當作沒有證明的直接給定的事物。基於循環推理的模式是如此的形式:當一個用來證明正在被探究的事物的證明本身需要從被證明的探究對象處獲得檢證confirmation。在這個情況下,我們無法通過預設一者來證立另一者,所以我們對兩者都擱置判斷。Empiricus 1976, 95

 

讓我們把Empiricus這裡提到的論證稱為「後退論證」(the regress argument)。文獻中,後退論證有時也被稱為「Agrippa的論證」(Agrippa’s argument)或「Agrippa的三難」(Agrippa’s Trilemma)。[3]後退論證的重要性,在於清楚指出證成結構的問題:在所有可能的情況下,證成(的結構)都是不可能的

  就結構而言,Agrippa這裡所呈現的後退論證已經與當代知識論者討論後退論證所用的版本非常接近,只有一些細節的差異需要特別註明。首先,這個論證的對象是宣稱的證明,而當代哲學家關心的卻是信念的證成。其次,後退論證提到的後退,可以有兩種詮釋(cf., e.g., Audi 1993, 118ff.)。一方面,我們可以把這個後退理解為『辯證的後退』(a dialectical regress):當S宣稱P的時候,聽眾可以挑戰S如何知道P。如果S回答他是因為Q而知道P,聽眾可以進一步挑戰S如何知道Q。以此類推,產生辯證的後退。另一方面,我們可以把證成(證明)後退理解作『證成的後退』(a regress of justification):當S相信P的時候,我們可以問信念P是如何被證成的。如果我們發現是S的信念Q證成她的信念P 我們可以接著去問信念Q是如何被證成的。以此類推,產生證成的後退。在上述引文,後退的產生始於『當我們引用某物作為某個被宣稱的事物的證明』的時候,這似乎表示這是一個辯證的後退。但大部分當代知識論者所關心的,卻是證成的後退。(以下,除非特別標示,本文使用「後退」一詞時,一律指證成的後退。)

  最後,值得指出的是,從看待這個論證的角度來看,當代哲學家跟Agrippa的立場是對立的。Agrippa將這個論證作為支持懷疑論的論證,並試圖得出我們應該擱置判斷的結論。而當代哲學家,除了少數例外,幾乎都是懷疑論的反對者。因此,當代哲學家更傾向把Agrippa論證視作待解的難題;一個我們知道結論是錯的,但卻不知道問題出在哪裡錯的論證。

   為了表明後退論證的結構與內容,以下將重構這個論證。首先,定義「證成序列」如下:
 

證成序列 =df. i)由信念組成的序列,並且(ii)序列的成員均間接或直接地證成次序在其之前的信念。

 

借助證成序列的概念,再經過一些概念的調整後,Sextus Empiricus的後退論證可重構如下:
 

R1

必然地,對任何信念P而言,如果信念P是被證成的,則存在(至少)一個證成信念P 的證成序列J

R2

證成序列只有三種可能的形式:

1)證成序列無限後退,永不重複。

2)證成序列停在某個起始點。

3)證成序列最終會形成循環。

R3

證成序列的形式不可能是(1),因為無限後退的推論序列沒有一個起始點來證成其他的信念。

R4

證成序列的形式不可能是(2),因為序列的起始點不為其他信念所證成,因此是不被證成的。

R5

證成序列的形式不可能是(3),因為沒有信念可以給自己提供證成。

所以,

 

R6

必然地,沒有信念是被證成的。

 

  讓我們稍微評析這個論證。首先,這是一個有效論證。也就是說,如果我們接受所有前提,則我們必須接受其結論。然而,不難發現,R6是一個懷疑論的結論 。在不接受懷疑論的前提下,我們只能選擇拒絕某些前提。

  麻煩的是,這個論證的每一個前提,表面上都非常合理。首先,R2是對序列的形式結構合理的陳述,似乎沒有問題。R3R4,及R5分別點出個別形式的論證序列的問題,並且指中要害。後來對這三個論證序列形式的討論,很多時候還是縈繞在這三個前提的觀點的核心。以至於有些哲學家認為,對後退論證的討論,自Sextus Empiricus之後並沒有任何實質的進展(cf., e.g., Fogelin 1994)。這也表示,這三個前提的見解是非常合理的。

  在所有前提中,R1的理論承載是最明顯的,即是,與其他前提直觀上就非常合理不同,R1的合理性似乎比較是基於接受某些理論立場的產物。R1預設的立場之一,就是:
 

R7

必然地,本身沒有被證成的信念無法證成其他的信念。

 

證成序列的定義(ii)要求序列的成員均間接或直接地證成次序在其之前的信念。在主張推論證成必須仰賴證成序列的時候,R1已經預設R7(或類似的原則)成立。給定R7,再加上證成序列中每一個次序在前的信念都為後來的信念直接或間接的證成的設定,R1蘊含了信念在認知上的階級,即有些信念在認知有特殊的地位、比其他信念在認知上來得優先。

   R1的另一個重要預設,是:
 

R8

必然地,只有信念可以證成信念。

 

證成序列的定義(i)要求序列的組成份子是信念。在主張證成必須仰賴證成序列的時候,R1已經預設R8(或類似的原則)成立。R7R8,從表面上看,也是非常合理的。所以,基於R7R8R1,也是很合理的。

 

3. 無限論:理由與批評

雖然「無限論」(infinitism)這個名稱出現得比較晚[4],然而自希臘時期後退論證被提出的時候,哲學家就意識到這個理論立場。但兩千多年來,無限論都沒有受到重視,也很少出現嚴肅的支持者(Charles S. Pierce是最著名的例外)。直到二十世紀末Peter Klein發表了一系列的支持無限論的文章後(cf. Klein 1999; 2007; 2014),哲學家才開始比較重視這個理論。

  無限論的出發點是拒絕R3,即主張所有證成序列都是無限、不重複的序列。我們可以循此精神發展出來的證成理論稱為「基本無限論」(basic infinitism):
 

BI

必然地,信念P是被證成的,若且唯若,證成信念P的證成序列J是無限的、不重複的序列。

 

BI只表達無限論最基本的立場,還有許多地方需要補充。例如,BI並沒有明確地刻畫被證成的信念與認知主體的關係。然而,證成序列跟認知主體的關係對無限論來說特別重要,因為對無限論最大的疑慮之一,就是無限的證成序列不能為有限的認知主體所掌握(另見3.2節)。有鑑於此,Klein於是主張信念PS來說是證成的只有當證成信念P的證成序列J可被S得到(available to S)。更精確地說,Klein主張:
 

KI

必然地,S的信念P是被證成的,若且唯若,(i)證成S的信念P的無限的、不重複的證成序列,且(iiJ可被S得到。(Klein 2007, 11

 

這裡,「Q可被S得到」的意思是:在在給定S目前的認知實踐的前提下, 存在一個認知上可信的(epistemically credible)方法使得讓S去相信QKlein 2007, 13)。

        根據KIi)和KIii),一般人,當他們的信念是被證成時,就有能力去相信無限多個作為理由的信念Q。然而,這是很可疑的宣稱。那為什麼我們要接受KIKlein提出兩個理由(Klein 2014also cf. Klein 2007)。首先,無限論是唯一可以回應後退論證的理論,無論是基礎論還是融貫論都無法回應後退論證。Klein讓我們想像以下情況:假設A宣稱P0,而B質疑A的宣稱。A於是提出理由P1支持P0B進一步質疑P1A於是接著提出理由P2來支持P1⋯⋯如果A是一個基礎論者,當A後退到基礎(或起始點)Pn時,A就只能承認,自己無法給出支持Pn的理由,並且Pn也不需要任何被任何理由支持。但這時候,B似乎還是可以問,Pn作為基礎,是不是會因此更容易為真。而A,作為一個基礎論者,必須堅持認為這個問題沒有答案(如果A能給出答案,Pn就不在是基礎、起始點了)。但如果A不能回答這個問題,似乎表示Pn本身並沒有被證成的(Klein 2014, 276-277)。Klein認為,融貫論這是無法回應這個問題的。Klein接著指出,如果A是融貫論者,也會遭遇,因為融貫論者會用理由來支持自己,而這是不能接受的(Klein 2014, 278)。[5]

    

Klein的第二個理由是,無限論(即KI)是從兩個非常合理的原則推導出來的:

 

避免循環原則principle of avoiding circularity,簡稱「PAC」):對所有命題P來說,如果在時間t的時候P對認知主體S來說是證成的,則,對所有命題Q來說,如果在時間t的時候QS來說是P的直接或間接理由,則,在時間t的時候,PS來說不是Q的直接或間接理由。

避免特設原則(principle of avoiding arbitrariness,簡稱「PAA」):對所有命題P來說,如果在時間t的時候P對認知主體S來說是證成的,則,在時間t的時候,有一些支持P的理由R1可被S得到(available to S),以及在時間t的時候,有一些支持R1的理由R2可以被S得到,以此類推,無窮無盡。(Klein 2014, 279

 

  上述這兩個理由有不少有待商榷之處。一方面,顯然,在使用類似後退論證批評基礎論和融貫論的時候,Klein訴諸的是辯證的後退,而不是證成的後退。然而,給定目前的討論對象是證成的結構,使用辯證的後退顯然是不合適的。而且,辯證的後退不見得能支持無限論,至少,辯證的後退對無限論的支持可能不會比其對基礎論的支持來得更強。理由很明顯的:如果無限論是對的,在辯證的後退的時候,我們原則上就能通過不斷質問而讓宣稱者一直不斷的地提供理由,直到我們沒有時間或耐性,打住不問為止。然而真實的情況是,一般人能夠提供的理由是非常有限的。例如,能夠回應十次的質問就很不錯了。但如果我們願意花時間精力提出數百個,甚至上千個質疑的話(這是做得到的!),一般人似乎無法提出這麼多的理由回應。

  另一方面,Klein的論證成策略是一種排除論證(argument by elimination),即通過排除競爭理論而達到支持標的理論的目的。通過拒絕基礎論與融貫論,Klein宣稱無限論成立。懷疑論者會批評Klein這裡不合法地預設了懷疑論的否定,或後退論證是可以被回應的。懷疑論者會指出,即便Klein對基礎論與融貫論的批評是正確的,那也只能得出或者無限論為真,或者懷疑論為真的結論。

  撇開懷疑論不談,Klein用排除論證支持無限論的論證策略有一個很大的問題。排除論證的核心在於證否競爭理論,而不在於證立標的理論,因此,究其本身而言,排除論證只能給標的理論提供消極的支持,而不能提供積極的支持。換句話說,如果標的理論本身就很有問題,排除論證並不能合理化該理論。而這恰好就是無限論的問題:無限論本身是非常不合理的,因為無論是無限、不重複的證成序列還是這類的序列可被人們所得到,都是讓人難以接受、不合理的宣稱。得知基礎論與融貫論不成立並不能因此消除這兩個宣稱不合理之處。

  誠然,Klein也提到KIPACPAA的自然結果。然而,這個主張對解決當前的問題,幫助並不大。雖然,乍看之下PACPAA的確非常合理。但不難發現,PAC本身即是奠基在否定融貫論的立場。即是,給定PAC,則循環的序列將沒有辦法提供證成。同理,PAA是奠基在否定基礎論的立場。即是,在預設PAA的情況下,有限序列也沒有辦法提供證成。從這個角度看,Klein用這兩個原則來支持無限論就會面臨丐題(begging the question)的問題:這兩個原則已經蘊含了Klein的結論,即基礎論跟融貫論是錯誤的(無限論是正確的)。

  值得指出的是,Klein這個論證的強度也是有待商榷的。這兩個原則基本上並沒有悖離上述後退論證所提到的基礎論跟懷疑論的難題。簡單來說,R5已經描述了PAC的精神,而R6也已經提到PAA的想法。某種意義上,Klein的這兩個原則只是把基礎論跟融貫論的基本難題更精確地描述出來而已。除非Klein可以回應後退論證中R3對無限論的批評,不然僅僅提出其他理論面臨的問題對支持無限論來說,幫助並不大。無限論如果要成立的話,必須要能夠說明KIi)和KIii)如何可能。而Klein的論證卻沒法做到這一點。

        歷史上,無限論並沒有受到哲學家的重視,因為這個立場面臨一些很嚴峻的批評。作為現存最早的討論後退論證的文獻之一,Aristotle就已經對無限論提出兩個非常重要的批評(Klein and Turri 2007; also Klein 2014)。

 

3.1無基礎批評

Aristotle在《後分析篇》寫到:

 

我們的理論是,並非所有知識都是證明的(demonstrative);相反的,對於直接命題(immediate premises)的知識是獨立於證明的。(顯然,最後這一點是必然如此的,因為我們必須知道得出證明的前命題(the prior premises),而因為後退必須至於直接真理(immediate truths),這些真理必須不能被證明的(indemonstratable)。)這就是我們的理論。此外,我們主張,在科學知識之外,有一個產生源頭使得我們可以認知到那些定義(the definitions)。【按:這裡「定義」指科學的第一原則。對Aristotle來說,證成的後退止於這些第一原則】(72b5-18)

 

這段引文重要的觀點之一,就是強調所有證明都必須基於某些『真理』(另一個重要的觀點當然就是這些真理必須要是『直接的』)。換句話說,如果沒有真理作為起點,就不可能證明出知識。而無限論最大的問題之一,就是沒有『真理』可以作為基礎。類似的觀點也出現在上述Empiricus的引文中。Empiricus宣稱,無限的證成序列是不能提供證成的,因為沒有起始點的證成序列不可能提供證成。這些批評背後是一個非常合理的觀點:如果證成始於某些被證成的信念,則在沒有起始點的情況下,則證成就是不可能被產生的。

  無基礎的問題揭示無限論一個很嚴重的缺點,即無限論很難去說明證成如何發生或產生。更精確地說,接受R1的其中一個結果就是,對於每一個信念P1,如果P1是有證成的話,則為其提供證成的信念P2必定有證成,然而如果P2是有證成的,則為P2提供證成的信念P3必須是有證成的⋯⋯根據無限論,這個問題沒有其他的解答,只能一直問下去,無窮無盡。但是,直覺上,這個問題如果只能一直問下去,永無止盡,則我們始終沒有證據理由相信P1是有證成的,因為我們沒有理由相信有一個給證成序列之前的信念提供證成的信念Pn,並且Pn本身確定是被證成的。如果我們徑自宣稱這樣一個Pn存在,則我們似乎是在依賴信仰,而不是理由。

 

3.2有限心智批評

無限論要求證成序列是無限的,而證成序列的組成份子是信念。所以無限論似乎認為獲得證成信念的要求之一就是擁有無限信念。然而,人類作為有限的存在,是不可能獲得無限的信念的。換句話說,無限論似乎會得出『有限心智的人類的信念無法獲得證成』這個不合理的結論。

  無限論者一個可能回應是:這個批評預設一個證成序列必須要被認知者所掌握。但事實上,為某信念提供證成的證成序列不需要被認知主體所掌握,而只需要存在即可。即是,只要實際上的確存在一個可以為某信念提供證成的(無限)證成序列,則該信念是證成的。這個回應顯然不合理。任何被證成的信念都是相對與某一個主體被證成的,一個連認知主體都不可能意識到或掌握的證成序列,要如何能夠給主體的信念提供證成呢?

  另外一個可能的回應是:一個為某信念提供證成的(無限)證成序列並不需要為認知主體所意識到,或說,這個序列不需要出現在主體的當前意識之中。但這個回應依然有問題。有限心智批評的問題並不是某個(無限)證成序列剛好沒有出現在主體的當前意識之中,而是無限的證成序列原則上不可能為人類有限的認知能力所掌握。換句話說,所有認知主體原則上並沒有辦法意識到一個無限的證成序列。這樣的話,說主體的證成信念來自於無限的證成序列就等於說主體的證成來自於一些她原則上無法意識到的事物。而這似乎是有問題的。

 

4. 基礎論:理由與批評

基礎論回應後退論證的方式是拒絕R4,即主張所有的證成序列都不是無限長的,而是止於某些起始點的。然而,接受證成序列擁有起始點有兩種可能的立場。一是認為起始點信念本身是被證成的,二是認為起始點信念是不被證成的。第二種立場,嚴格說起來,並沒有辦法回應後退論證,因為後退論證預設了R7,即沒有被證成的信念不能提供證成。因此,一個由本身不被證成的起始點組成的信念序列,不可能是一個證成序列。有鑑於此,基礎論必須接受第一種立場。循此精神發展出來的證成理論可稱之為「基本基礎論」(basic foundationalism):
 

BF

必然地,信念P是被證成的,若且唯若,(i)證成P的證成序列J止於某些信念Q,且(iiQ是被證成的。

 

現在,讓我們把「基本信念」(basic belief)定義如下:
 

基本信念=df.i)證成序列的起始點,且(ii)本身是被證成的信念。

 

借助基本信念的概念,基本基礎論也可表述如下:
 

BF

必然地,信念P是被證成的,若且唯若,證成P的證成序列J止於某些基本信念Q

 

BF將證成的信念分成兩大類,一類是被其他信念證成的信念,一類是不被其他信念證成的證成的信念。並且,這兩類信念分屬於不同的認知階級。基本信念比所有非基本信念有更高的認知優先性,因為只有前者能給後者直接(或間接)地提供證成。

  我們有什麼好理由接受BF?歷史上,後退論證被認為是基本基礎論最主要的理論動機。例如,Aristotle在《後分析篇》中論證,後退論證證明了第一原則(the first principles)必須成立。在當代的討論中,後退論證經常被用來作為排除論證的背景,用來支持基礎論:就跟無限論者一樣,許多基礎論者主張,基礎論之所以成立是因為它是唯一可以解決後退論證的證成理論。

        近來,有哲學家主張支持標準基礎論最好的論證並不是後退論證,而是個別案例。例如,James Pryor主張,反思某些知覺信念就可以證立基本信念的存在。Pryor給了好幾個例子,以下是其中一個:

 

假設我感覺到疲憊或頭痛。我去相信我感覺到如此就會是被證成的。而且,我對此信念的證成似乎並沒有通過某些其他命題的作為媒介的。什麼命題可以是我這個信念的證成的媒介呢?(Pryor 2014, 206

 

  需指出的是,基礎論者在使用排除論證的時候,與無限論者一樣,都預設懷疑論不成立。而Pryor的案例反思也是如此。Pryor對上述案例的反思,已經預設了感覺到疲倦、頭痛等知覺信念是被證成的。

  對於BFLaurence BonJour在《經驗知識的結構》(The Structure of Empricial Knowledge)提出一個非常有名的批評[6]我們可以把它叫作「(證成的)後設批評」。BonJour寫到:

 

如果我們讓f代表那些可以區分基本經驗信念(basic empirical beliefs)與其他經驗信念的性質或特性(不管它們是什麼),則,對任何可被接受的基礎論理論來說,一個個別的經驗信念B可以被區分為基本信念,只有當以下這個證成論證的前提是被合適地證成的:

(1) B擁有性質f

(2)擁有性質f的信念有很高的機率為真(highly likely to be true)。

所以,B有很高的機率為真。(BonJour 1985, 31)

 

 

然而,如果接受上述的討論,則我們就會得出『基本信念是不可能的』的結論。這個批評最核心的設計、也是最巧妙之處,就在於將擁有對『B是被證成的』這個信念的證成變成B成為基本信念的必要條件。如此一來,成為基本信念就會導出矛盾,即是,任何基本信念B必須即不為其他信念所證成,又必須為其他信念所證成。為了能更清楚看到BonJour這個批評的內容,讓我們將BonJour後設批評的論證重構如下:
 

對所有信念B以及所有認知主體S而言:

B1

BS而言是基本信念,只有當S擁有(1)與(2)的證成:

1B擁有性質f

2)擁有性質f的信念有很高的機率為真。

 

B2

擁有對(1)與(2)的證成即是擁有對B的證成。

所以,

 

B3

BS來說是基本信念,只有當S擁有對B的證成。

 

然而,根據基本信念的定義,B3是一個矛盾句。這表示,基本信念是不可能的。

        BonJour的後設批評攻擊的是基本信念的定義特質(defining feature),特別是基本信念不被其他信念所證成的特質。從這個角度看,這個批評將會對任何類型的基礎論都有效,因為不管對那一類的基礎論來說,基本信念這個定義特質都是不變的。

 

4.1 基礎論理論分類

BF代表基礎論的『最低公約數』,任何基礎論都是奠基在BF之上的。更確切而言,文獻中主要的基礎論理論(theories of foundationalism)都是依循兩個面向的考量來發展BF的:一個面向是證成序列的起始點的證成強度。起始信念本身是否是被證成的?如果是的話,其證成的強度為何?另一個面向是關於起始點信念的證成的源頭的問題。而這個問題又取決於R8是否成立,即是否信念只能被信念所證成,或是否只有信念可以證成信念。這兩個面向出發,給定不同的立場或答案,BF可以發展出迥然不同的基礎論理論。以下讓我們用反序的方式介紹這兩個面向。

  信念是否只能被信念所證成?回答『是』的基本基礎論可被稱為「信念基礎論」(doxastic foundationalism);回答『否』的基本基礎論可被稱為「非信念基礎論」(non-doxastic foundationalism)。這個問題的答案有一個很重要的理論結果,即是,對信念基礎論來說,基本信念必須是自我證成的(self-justifying——基本信念是被證成的,而給定只有信念可以證成信念,基本信念只能被自己證成,因為被其他信念證成的就不是基本信念。換句話說,信念基礎論主張:
 

DF

必然地,信念P是被證成的,若且唯若,(i)證成P的證成序列J止於某些基本信念Q,且(iiQ是自我證成的。

 

這裡「自我證成」的定義如下:
 

S的信念P是自我證成的 =df. 必然地,如果S相信P,則P是被證成的。

 

  相反的,非信念基礎論允許基本信念被非信念的事物所證成。什麼非信念的事物可以提供證成?主流的非信念基礎論主張,基本信念是被感覺經驗(及內省)所證成的:
 

NF

必然地,信念P是被證成的,若且唯若,(i)證成P的證成序列J止於某些基本信念Q,且(iiQ為感覺經驗所證成。

 

  獨立於信念基礎論及非信念基礎論的區分外,標準基礎論還能依據基本信念的證成強度區分為三大類(BonJour 1985, 26-30)。強基礎論(strong foundationalism)認為所有基本信念都是不可錯的(infallible)。我們可以把這稱為「強證成要求」(strong justification requirement):
 

SJR

必然地,如果信念P是基本信念,則P是不可錯的。

 

「不可錯性」的定義如下:
 

S的信念是不可錯 =df. 必然地,如果S相信P,則P為真。

 

  溫和基礎論(modest foundationalism)反對基本信念的認知狀態需要為不可錯的。溫和基礎論接受所謂的「溫和證成要求」(modest justification requirement):
 

MJR

必然地,如果信念P是基本信念,則信念Q是可錯的,但(iii)信念Q的證成強度達到知識所要求的證成強度。

 

  弱基礎論(weak foundationalism)反對基本信念的證成標準需要達到知識等級。弱基礎論接受所謂的「弱基本信念證成」(weak justification requirement):

 

WJR

必然地,如果信念P是基本信念,則,不但信念Q是可錯的,(iii)信念Q的證成強度也達不到知識所要求的證成強度。

 

  雖然根據基本信念證成強度區分的基礎論理論是獨立於根據基本信念的證成源頭所區分的基礎論理論,但這兩類區分有一個非常自然的聯結。一方面,信念基礎論者通常也主張強基礎論。理由是因為,信念基礎論要求基本信念要有自我證成的性質。自我證成是一個頗難達到的高標準,對大部分命題P而言,P不會僅僅因為主體相信P而因此被證成。據此,信念基礎論者一個非常自然的做法,就是去接受強證成要求,這樣的話,就能以基本信念非常強的證成程度(不可錯)來保證基本信念擁有自我證成的性質。另一方面,溫和基礎論和弱基礎論的主張者自然也會接受非信念基礎論,因為溫和(弱)基礎論接受溫和(弱)證成要求,難以得出基本信念是自我證成的結論。

   總而言之,從『基本信念的證成強度』與『基本信念的證成來源』,基本基礎論可以發展出下述三個主要的基礎論理論:

 

強基礎論 = 信念基礎論(DF)+ 強證成要求(SJR)

溫和基礎論    = 非信念基礎論(NF)+ 溫和證成要求(MJR)

弱基礎論 = 非信念基礎論(NF)+ 弱證成要求(WJR)

 

限於篇幅,我們將介紹強基礎論及溫和基礎論這兩個在文獻中有比較大影響力的理論。

 

4.2 強基礎論及其批評

強基礎論有時也被稱作「古典基礎論」或「Cartesian基礎論」,因為(根據某個解讀)這就是Descartes在《沈思錄》(Meditations)中,為人類知識尋找確定的基礎時所發展出來的理論。[7]Descartes的理論是一種強基礎論:
 

SF

必然地,信念P是被證成的,若且唯若,(i)證成P的證成序列J止於某些基本信念Q,(iiQ是不可錯的,且(iiiQ是自我證成的。

 

  對強基礎論來說,基本信念是不可錯的。不可錯性是非常高的門檻,有什麼信念是不可錯的呢?Descartes使用懷疑的方法——只要有一絲可疑,就不接受——得到了 第一人稱當下心靈內容的信念是不可錯的結果,即是,諸如『我在思考』,『我感覺到痛』等信念,都是不可錯的。表面上看來,這是一個合理的結論:如果我們當下相信自己感覺到痛,則我們必定感覺到痛。要求基本信念必須是不可錯的有一個理論優勢,即是,可以很好地解釋為什麼基本信念是自我證成的。不可錯的信念,因為其存在必然保證其成立,所以是自我證成的。

  另外,強基礎論也要求非基礎信念必須要邏輯上被基礎信念所蘊含。即所有非基礎信念都必須要是基礎信念的邏輯結果。之所以要求如此,是因為Descartes的哲學目的是要建立一個完全穩固、不會有錯誤的知識大廈。而給定基礎信念是不可錯的,且基礎信念演繹地蘊含非基礎信念,則後者的為真性就能得到保證。但從SF的角度看,強基礎論邏輯上可以允許非基本信念並不是基礎信念的邏輯結果。

 

4.2.1 強基礎論面臨的難題

強基礎論面臨不少嚴峻的批評。首先,強基礎論要求基本信念是不可錯的,然而,作為基本信念的門檻,不可錯性一方面是太高,另一方面又太低。一方面,不可錯的信念(如果有的話)只佔人類信念非常少的一部分,而且很可能不足以證成大部分的非基本信念。更確切而言,即便我們接受第一人稱當下心靈內容的信念是不可錯的,從這些信念,我們也無法(演繹地)推導出有關外在世界的經驗信念。例如,從『我的意識中呈現了一張桌子』、『看起來我面前有一張桌子』這些第一人稱當下心靈內容的信念,我們推導不出諸如『我面前有一張桌子』這種經驗信念。而如果前者無法推導出後者,則根據強基礎論,後者就沒有被前者所證成。給定第一人稱當下心靈內容的信念與經驗信念之間的斷裂,後者不會是前者的邏輯結果。也就是說,經驗信念都將是不被證成的,所以,根據強基礎論,懷疑論是對的!此外,也有人認為不可錯的門檻太高,即便第一人稱當下心靈內容的信念都不見得能夠滿足。例如,如果主體太過敏感的話,可能會把強烈的癢誤以為是痛,進而產生『我正在感覺到痛』的(錯誤)信念。相反的,如果主體非常不敏感的話,可能會把輕微的疼痛誤以為只是騷癢而已,從而產生『我正在感覺到癢』的(錯誤)信念。

  另一方面,不可錯性作為基本信念的門檻,又顯得太低。一個信念P是不可錯的,如果S相信PP為假是不可能同時為真的。問題是,任何的必然命題都可以滿足這個條件。例如,S相信『1 + 1 = 2』且『1 + 1 = 2』為假是不可能同時為真的。也就是說,對所有的必然命題P來說,只要S相信P,則信念P就是基本信念。這個結論會讓太多的信念、太容易地被視作基本信念,甚至包括一些些直覺上不被證成的信念。首先,並不是所有必然命題的信念都是被證成的。例如,假設S通過求籤進而相信一個必然命題P,我們直覺上認為S的信念是不被證成的,但根據強基礎論,S的信念P將是基本信念,因此是被證成的。其次,即便人們對某個必然命題的信念是被證成的,人們對這個必然命題的邏輯結果也可能是不被證成的。例如,假設S對必然命題P的信念是被證成的,但S不知道QP的邏輯結果。然而,S通過求籤進而相信了Q。直覺上,SQ的信念並沒有被證成,但根據強基礎論,S的信念Q是基本信念,所以是被證成的。

 

4.3 溫和基礎論及其批評

從退論證的角度來看,強基礎論的強證成要求顯然過強。事實上,如果只是為了回應後退論證,基本信念並不需要是不可錯的,而只需要是被證成的就好了(不管這個被證成的程度有多低)。基於要求基本信念是不可錯會面臨許多的難題,有些基礎論者於是接受溫和證成要求,主張溫和基礎論:
 

MF

必然地,信念P是被證成的,若且唯若,(i)證成P的證成序列J止於某些基本信念Q。雖然(ii)信念Q是可錯的,但(iii)信念Q的證成強度達到知識所要求的證成強度,並且(ivQ為感覺經驗所證成。

 

根據MFiv),並非只有信念才能證成信念。因此,溫和基礎論也會拒絕推論論證的第一個前提,即R1。因為,對溫和基礎論來說,證成可以分成兩大類:信念提供的證成與非信念事物提供的證成,而後退論證只是針對信念提供的證成而已。換句話說,對溫和基礎論者來說,推論論證,即便成功,也只是告訴我們信念提供的證成是不可能的,而無法得出所有證成都是不可能的結論。

  什麼信念可以被算作是基本信念?給定MFiv),知覺信念似乎是一個非常合適的候選者——與感覺經驗最緊密關聯的,就是知覺信念。Pryro2000)所主張的獨斷論(dogmatism),就是這樣一種溫和基礎論:

 

知覺證成的獨斷論者認為,當你覺得從知覺的角度上P似乎成立,則你對信念P的證成是一種不預設或基於你對其他東西的證成的證成,並且你可以在論證P成立的時候引用這個證成(這個論證甚至可以是歸納的(ampliative)。(Pryor 2000, 519

 

  然而,並不是所有知覺信念都適合作為基本信念,因為,給定MFi),基本信念的證成必須完全獨立於其他的信念,而有一些知覺信念的證成是部分取決於其他信念的。例如,我走在路上,突然聽到有人喊抓賊,並且與一個手持女用提包快速奔跑的男性差身而過,基於知覺經驗,我形成了『我與一個竊賊差身而過』的知覺信念。我們可以同意這個知覺信念是被證成的,但它的證成其實部分決定於我其他的信念,例如,那些支持我去判斷這個與我差身而過的男性是竊賊的信念。Pryor於是區分兩種知覺信念,一種的內容是知覺上基本(perceptually basic)的命題,另一種是非知覺上基本的命題(Pryor 2000, 539)。所謂知覺上基本的命題P,就是那些我們似乎知覺到為P,而不通過似乎知覺到其他命題才因而似乎知覺到P的命題(ibid.)。[8]Pryor主張只有內容是知覺上基本的知覺信念才是基本信念。

        感覺經驗如何證成基本信念(內容為知覺上基本的命題的知覺信念)?對像Pryor 這樣的獨斷論者來說,作為基本信念的知覺信念的證成,並不取決於主體並沒有意識到證成這個信念的感覺經驗。相反的,獨斷論者認為,僅僅是擁有這些感覺經驗,就足以使得主體的知覺經驗是被證成的(Pryor 2000, 519)。為什麼相信感覺經驗可以證成知覺信念?Pryro認為,這個結論,只要反思一些具體的例子,就能得到:

 

對一大部分的命題,像是『這裡有一雙手』這類命題,直覺上非常自然的,我們會認為擁有使得這些命題看起來成立的經驗就會證成我們去接受這些命題為真。(Pryor 2000, 536

 

4.3.1 Sellar的兩難

溫和基礎論認為,感覺經驗可以為信念提供證成。Wilfrid Sellar在一篇影響非常深遠的論文〈經驗主義及心靈哲學〉(“Empiricism and Philosophy of Mind”)中對這一點提出了一個非常著名批評,一般稱為「Sellar的兩難」。[9]Sellar的原始論證頗為複雜艱澀,並不容易掌握,為了行文的方便,本文將(先)介紹Laurence BonJour整理的版本:

 

顯然地,證成某一基本信念的經驗必須要有相應的特性character。然而,困難之處在於去說明這些經驗的特性如何可以被理解apprehended[10],使使得從內在論的internalist角度來看,它們可以為信念提供證成。如果這些經驗特性是被理解作一個統覺的apperceptive信念(或類似信念的狀態),即我有諸如此類的經驗的信念,則那些原本被認為是基本信念的信念就喪失作為基本信念了,因為這些信念現在是被其他的信念所證成的了。如果對這些經驗特性的理解並不採取信念(或類似信念)的方式,即如果我在理解己的經驗時並不會因此在認知上意識到『這個經驗是屬於某個特別的類型的』這個命題,則進一步的、因著證成而來的問題也許就可以被迴避,然而,代價就是,這個選項讓我們很難看清這樣的理解可以為那些原本被認為是基本信念的信念提供證成。特別是,如果對經驗內容的理解並不類似於信念或者在本質上不是命題式的propositional,我們如何能有從意識到這些經驗內容推論出、或者類推論quasi-inferential transition出基本信念為真呢?BonJour 1999121-122

 

BonJour的論證可以被重構如下:
 

對於所有的信念P,認知主體S,以及經驗內容E而言:

S1

如果E可以提供(內在論式)證成給P,則SE必須要有所理解。

S2

要嘛SE的理解是(類似)信念式(或命題式)的,要嘛SE的理解是非(類似)信念式(或也非命題式)的。

S3

如果SE的理解是(類似)信念式(或命題式)的,則P不是基本信念。

S4

如果SE的理解是非(類似)信念式(或非命題式)的,則E無法為P提供證成(即,P並不為E所證成)。

所以,

 

S5

如果E可以提供(內在論式)證成給P,則要嘛P不是基本信念,要嘛P並不為E所證成。

 

這是一個有效論證。如果接受所有的前提,則必須接受其結論。然而,結論的兩個選項——無論是所有的信念P都不是基本信念,還是沒有任何信念P是為經驗E所證成的——都不是溫和基礎論者可以接受的。可能對不少讀者來說,前提S1S4都是非常合理的。但是,不難發現,BonJour這個論證預設了證成內在論(internalism),即是,這個論證對非信念基礎論的威脅是奠基在內在論成立的假設下的。如果內在論不成立,則上述就不會是一個健全的(sound)論證(例如,S1就不會成立)。

  那我們能不能通過拒絕內在論而迴避這個批評?事實上,拒絕內在論並不會因此替非信念基礎論者解套,因為,內在論並不是Sellar的兩難一個必要的預設——在把內在論內建到這個論證的時候,BonJour其實不必要地弱化(或複雜化)了Sellar原初的兩難(BonJour之所以會選擇上述的方式呈現這個兩難,部分的原因可能是因為他本身就是一個內在論者)。誠如Pryor所指出,Sellar的兩難最核心的主張是以下的預設:

 

唯一可以證成一個信念P的東西是那些肯定地再現(assertively represent)某些命題的其他狀態,而那些被再現的命題必須要能夠被用來作為支持P的論證的前提。這些命題必須與P處在某種推論的關係中:它們必須演繹地蘊含,或歸納地支持P(或類似P的命題)。(Pryor 2014, 210

 

有鑑於此,我們其實可以把BonJour的論證改成一個不預設內在論的版本:
 

對於所有的信念P,認知主體S,以及經驗內容E而言:

S2*

要嘛E是(類似)信念式(或命題式的),E是非(類似)信念式(或非命題式)的。

S3*

如果E是(類似)信念式(或命題式)的,則P不是基本信念。

S4*

如果E是非(類似)信念式(或非命題式)的,則E無法為P提供證成(即,P並不為E所證成)。

所以,

 

S5*

要嘛P不是基本信念,要嘛P並不為E所證成。

 

從論證強度的角度看,從S2*S5*論證比之從S1S5的論證只有有過之而無不及。因為,一方面,在去掉內在論的預設後,前者於是不需預設非常有爭議的S1。而另一方面,在去掉內在論的包袱後,S2*S3*,以及S4*也依序比S2S3,以及S4來得更合理。

 

5. 融貫論:理由與批評

在回應後退論證上,融貫論的出發點是拒絕R5,即主張所有證成序列都是循環序列。我們可以把循此精神發展出來的證成理論稱之為「基本融貫論」(basic coherentism):
 

BC

必然地,信念P是被證成的,若且唯若,證成P的證成序列J是一個循環的序列。

 

讓我們先引進兩個術語。首先,說「證成P的證成序列J是循環的」,意思就是說P(不可或缺地)本身就在J裡面。讓我們將之稱為「P隸屬與J」。另外,融貫論者一般會把證成的基本單位稱之為「信念系統」而不是「信念序列」。根據這兩個術語的調整,BC也可以寫作:
 

BC

必然地,信念P是被證成的,若且唯若,P隸屬證成P的循環信念系統J

 

這裡,「循環序列」可以有兩種解釋:一個循環序列中的成員的關係可以是線性的(linear)以及單向的(即反對稱的),也可以是非線性的以及非單向的(cf. BonJour 1999, 123; also Pollock and Cruz 1999, 71-72)。根據這兩種解釋,BC有線性融貫論(linear coherentism)及整體融貫論(holistic coherentism)這兩個變形:

LC

必然地,信念P是被證成的,若且唯若,(iP隸屬於某個循環的信念系統J,並且(iiJ是一個線性的、單向的系統。

HC

必然地,信念P是被證成的,若且唯若,(iiP隸屬於某個循環的信念系統J,並且(ii J是一個非線性的、非單向的系統。

 

線性融貫論(LC)最大的問題,就是惡性循環論證。對線性融貫論來說,證成P的信念系統必定是一個以P作為必要前提,進而推導出P作為結論的循環論證。就算我們不認為所有的循環論證都是惡性的,但線性融貫論所依賴的,卻明顯是一種惡性的循環論證。

        有鑑於此,文獻中主要的融貫論支持者都主張整體融貫論(HC)(以下, 「融貫論」一詞將專指整體融貫論)。事實上,融貫論者要求的不僅僅是一個非線性、非單向的信念循環系統而已,他們要求的這個系統必須要是『融貫』的。所以,讓我們把HC改寫為:
 

HC

必然地,信念P是被證成的,若且唯若,P隸屬於某個融貫的信念系統J

 

一個融貫的信念系統裡的信念會相互支持,因此不會形成單向的從PP的循環論證。然而,由於HC依然接受廣義上的循環論證,所以類似的問題是無法避免的。例如,根據HC,任何信念P的證成都部分取決於P自己,因此,對融貫論來說,證成的關係都是自反的(reflexive)(cf. Murphy 2007)。給定證成有趨真性,自反的證成關係意味著,所有P都(在某個程度上)使自己為真。但這如何可能?

      另一個對HC的批評是,根據HC,所有隸屬於融貫信念系統JP都是被證成的,且它們被證成的程度是一樣的。然而這違反直覺(Goldman and McGrath 2015, 13)。這個批評並不會威脅所有類型的融貫論。從是否允許認知階級的角度看,融貫論可以分為兩種:一種認為融貫系統的所有信念的認知地位都是相等的,另一種認為融貫系統的信念還是可以分出優先性與階級的。[11]後者允許在融貫系統裡面的信念有不一樣的證成狀態。

  我們有什麼理由去接受融貫論?與無限論類似,融貫論的主要理論動機與理論支持都來自於後退論證產生的問題。只要稍微仔細地分析,我們就不難發現融貫論本身是一個極端的理論:誠然,直覺上,我們會同意融貫性可以提供證成。例如,一個與所有資料融貫的猜想的證成程度會比一個不與所有資料融貫的猜想來得高。但融貫論主張的並不僅僅是融貫提高證成,融貫論主張融貫是證成充分且必要的條件。如果不是為了解決後退的問題,我們似乎沒有理論動機去接受融貫論的。另一方面,文獻中對融貫論最主要的理論支持,都是訴諸某些版本的排除論證:融貫論之所以成立,是因為基礎論(或無限論)不成立,或是因為融貫論是拒絕懷疑論唯一可行的進路等。

       

5.1 什麼是融貫?

顯然,從實質證成理論的角度來看,所有的融貫論理論(theories of coherentism)都需要回答『融貫(性)是什麼?』的問題。但融貫論最大的問題之一,就是在經過許多年的發展與嘗試後,一個讓人滿意的融貫性理論依然付之厥如。BonJour早期發表了許多重要的文獻,對融貫論的發展做出許多貢獻。但他後來也承認:『融貫性的確切本質的問題,大致上,還沒有被解決』(BonJour 1999125)。

  直覺上,融貫性指的是信念之間緊密的相互關聯、支持,形成有機的整體。然而問題是,我們對融貫性的概念的掌握似乎就只能停留在直覺、譬喻的層面,歷史上任何嘗試使用比較精確的條件和語言來捕抓這個概念的嘗試都沒有例外的失敗了。在這一小節,讓我們稍微回顧一些有名的嘗試,以便更具體地看到形式化融貫這個概念會遇到的困難。

         首先,一個非常直觀、自然的觀點是,邏輯的一致性是融貫信念系統的必要條件:
 

C1

如果一個信念系統是融貫的,則它必須是邏輯上一致的。

 

然而連C1這個看似無害的條件也面對許多嚴峻的問題。首先,有些哲學家認為,沒有人的信念系統是邏輯上一致的(cf., e.g., Fogelin 1994, 149ff.)。對這些哲學家來說,人們的信念系統總是不能避免會包含不一致的信念,或會導出不一致命題的信念。前言的悖論(preface paradox)很好的說明這一點:一個作者似乎可以合理地同時相信他書裏每一個宣稱都是真的以及他書裏的所有內容不會都為真。[12]事實上,C1並不能很好處理許多日常的案例。例如,假設S在做計算時犯了錯誤,因此相信『123 + 345 = 448』(這應該是相當常見的情況),但根據C1S的信念『1 + 1 = 2』就不再是被證成的了,或者說,S這個信念的證成程度會因此降低。這個結果讓人很難接受。

        William Lycan指出,融貫論者可以通過接受隔間化(compartmentalized)認知主體的信念系統來避免不一致性的問題(Lycan 1996, 10)。 所謂的隔間化,意思就是將主體的信念系統區分為數個互相獨立的子系統。Lycan認為,一致性的要求只需要在子系統內成立即可:
       

C1*

如果一個信念系統是融貫的,則它所有的子系統都必須是邏輯上一致的。

 

然而,C1*有一個明顯的問題,即幾乎所有的信念系統都可以滿足C1*:只要有發現不一致的信念,我們就把它們放到不同的子系統就行了。要提出一個不任意(ad hoc)的劃分信念系統裡的子系統的標準,是很困難的(至少Lycan並沒有提出)。

Brand Blanshard主張,一個完全融貫的(知識)系統的成員都會互相蘊含(cf. BonJour 1985, 96-97)。也許,融貫的信念系統也可以有一樣的要求:
 

C2

如果一個信念系統是融貫的,則(i)這個系統的每一個成員都蘊含其他的成員,並且(ii)也為其他的成員所蘊含。

 

C2顯然是太強了:根據C2,任何信念系統,只要它包含一對邏輯上獨立的偶然命題,就不可能是融貫的,因為獨立的偶然命題之間互不蘊含。例如,對C2來說,一個信念系統如果包含『雪是白的』以及『地球是橢圓的』這兩個偶然命題,該系統就不可能是融貫的。A. C. Ewing似乎認為融貫性只需要求 C2ii)(Olsson 2007),即是:
 

C3

如果一個信念系統是融貫的,則這個系統的每一個成員都為其他成員所蘊含。

 

然而C3還是太強:根據C3,任何信念系統,只要它包含某些通過歸納法獲得的信念,就不可能是融貫的,因為歸納論證的結論不被其前提所蘊含。例如,根據C3,如果S通過觀察一百隻百天鵝而相信『所有天鵝都是白的』,則S的信念系統就是不融貫的。

   C3需要進一步被弱化。一個可能的建議是:
 

C4

如果一個信念系統是融貫的,則這個系統的每一個成員都為其他成員所演繹地蘊含,或歸納地支持。

 

C4還是太強了。例如,假設集合A = {小明的母語是英文,小明最愛的食物是漢堡,小明是英國人}。雖然直覺上,集合A是相當融貫的,但A並不滿足C4的後件:『小明是英國人』既不是『小明的母語是英文』以及『小明最愛的食物是漢堡』的演繹推論的結果,也不是後兩者的歸納推論的結果——或者說,後者給前者提出的歸納支持是非常薄弱的。

        Keith Lehrer曾經提出用解釋(explanation)能力來刻畫信念系統融貫性(Lehrer 2000, 105)。循著這個思路,也許我們可以要求:
 

C5

如果一個信念系統是融貫的,則這個系統的成員都為其他的成員所解釋。

 

C5可以解釋為何集合A是融貫的:這個集合的任何中兩個成員都在某個程度上解釋了剩下的那個成員。

  但Lehrer也指出,用解釋性來刻畫融貫性會立刻產生一個問題:在一般的解釋裡面,被解釋的資料(data)並不需要有解釋的能力。一個解釋者可能因為成功地解釋了一些資料而獲得證成,而被解釋的資料卻不見得能夠通過解釋其他的資料而獲得證成。這似乎表示一個信念系統裡面必定會有一些沒有被證成的信念。對這個問題一個標準、自然的回應,就是去要求無論是被解釋者還是解釋者,都可以通過扮演各自的角色而獲得證成:一個解釋者通過解釋資料而被證成,一個被解釋者則通過(成功地)被解釋而獲得證成(Lehrer 2000, 102-103)。這個回應還是有問題的。首先,一般人會同意,一個猜想可以通過成功解釋了某些資料而獲得證成,只有當這些資料本身是被證成的(去解釋不被證成的資料並不能產生證成);同理,一些資料可以通過被某些猜想成功地解釋而獲得證成,只有當這些猜想本身是被證成的(被不被證成的猜想所解釋並不能帶來證成)。然而,一旦我們接受這兩點,我們就面臨一個無解的循環:
 

a

一個猜想(解釋者)被資料(被解釋者)所證成的,只有當那些資料命題本身是被證成的。

b

資料(被解釋者)使用過『被解釋』而被證成的,只有當那些猜想(解釋者)本身是被證成的。(Lycan 1996, 5


也許我們也可以用機率來理解融貫。例如,C. I. Lewis就曾主張:
 

C6

一個信念系統命是融貫的,只有當它的任一成員P的為真機率都將在給定其他成員Q的情況下提高,亦即,Pr(P|Q) > Pr(P)。(Olsson 2017; also BonJour 1985, 97

 

C6會產生一個奇怪的現象。我們知道,如果Pr(Q) = 1,則Pr(P|Q) = Pr(P)。所以,根據C6,一個信念系統,如果其成員都是機率為1的信念,則這個系統不融貫。如果機率等於1表示確定性,則C6似乎要求融貫的信念系統必須不以確定性為目標。這是一個奇怪的要求。另一個相關的問題是,根據機率理論,所有邏輯真理的機率都是1。因此,根據C6,如果S只相信邏輯真理,則S的信念系統是不融貫的。這顯然違反一般對融貫的理解。

         BonJour1985)主張的五個融貫性的條件:
 

C7

一個信念系統是融貫的,只有當它是邏輯上一致的。

C8

一個信念系統的融貫性是與該系統的信念之間的概率一致性成正比的。

C9

信念系統的融貫性會隨著它的成員之間有推論連結inferential connections而增加,並且增加的強度與這個推論連結的數目和強度成正比。

C10

信念系統的融貫性會隨著它被區隔為相對沒有推論連結的子系統而減少。

C11

信念系統的融貫性會與它包含的無法解釋的異例anomalies的數目成反比。

 

與上述的條件不同的是,BonJour這裡提出的是一個多元的融貫性性。多元的條件會比但願的融貫條件更有彈性。但這個優點也會伴隨一些缺點。特別是取捨的問題。BonJour並沒有告訴我們,當這些條件不可兼得的時候,它們彼此之間的先後次序、比重衡量為何。這是個實質的問題,因為這五個條件事實上並不是相互蘊含,因此,必然的,在某些案例中,它們會有所衝突。而且,我們在討論C1的時候也發現,C7C10之間是由內在張力的(also cf. Fogelin 1994, 149-150)。BonJour並沒有告訴我們要如何調解這兩者。

         從上面簡略的討論可以看出任何嘗試用(較為)形式、具體的原則去刻畫融貫的概念都會遭遇到不少問題。但我們要小心看待這個問題。這些問題並不見得是融貫論的致命弱點,或是促使我們放棄融貫論的理由。因為這些問題很可能只是技術的問題,可以通過進一步發展我們的形式工具而獲得改善,而且解決這些問題很可能也不全是融貫論的責任。BonJour把這點寫得很清楚:

 

在直覺的層面,融貫性說的是一個信念系統的信念如何互相配合、或相互契合,以形成一個統一的、結構緊密的整體。而顯然的,這個相互配合取決於系統裡的信念之間各種邏輯的、推論的,以及解釋的關係。然而,把這個概念的細節說清楚——特別是以一種可以對融貫性的比較提出(合理)精確衡量的方式——是非常困難的。至少,部分原因是因為這樣的一個理論需要奠基在對於許多更專門(但還是沒有被很合適地理解的)的議題的正確理論上。例如,歸納法、檢證(confirmation)、機率,解釋,以及許多在邏輯的議題(例如,那些與相關邏輯(relevant logic)相關的議題)。(BonJour 1999, 123

 

  除了缺乏一個合適的融貫性的分析外,融貫論作為一個證成理論,也面臨三個嚴重的難題,即是,獨立性批評(the isolation objection),替代系統批評(the alternative system objection),以及融貫性的使為真性的疑慮。

 

5.2 獨立性批評

根據融貫論,證成只取決於信念系統的融貫性。而融貫性是與感覺經驗無關的。也就是說,證成是一個獨立(於經驗)的現象:
 

C12

一個信念是否證成與主體擁有哪些感覺經驗無關。

 

然而,C12顯然很有問題的。一個明顯問題是,給定C12,則所有偶然的信念的證成都與感覺經驗無關。例如,『雪是白的』這個信念是否是證成的是與我是否擁有『雪是白的』的感覺經驗無關。有更甚者,連內容為感覺經驗的信念的證成都是與感覺經驗無關的。例如,『我感覺到痛』這個信念是否是證成的是跟我是否擁有『我感覺到痛』的感覺經驗無關。這顯然是非常不合理的。

  C12不合理之處,表現在它允許以下的可能性:某些內容為感覺經驗的信念可以是被證成的,即便認知主體完全沒有這個感覺經驗。例如,想像兩個認知主體S1S2S1的信念系統是融貫的、S1相信『我感覺到痛』,以及S擁有疼痛的感覺經驗;S2的信念系統跟S1的一樣融貫、S2相信『我感覺到痛』,但是S並沒有疼痛的感覺。根據融貫論,S1的信念『我感覺到痛』是被證成,因為這個信念屬於一個非常融貫的系統。然而,由於S2的系統跟S1的系統一樣融貫,S2的信念『我感覺到痛』也是被證成的,即使S2根本就沒有疼痛的感覺。

 

5.3 替代系統批評

融貫性是一個內在於信念系統的性質,與外在於系統的事物沒有關係。因此,一個虛構的、完全脫離現實的信念系統可以跟一個貼近現實、符應於真實世界的信念系統一樣融貫,甚至更為融貫。例如,《紅樓夢》可以是一個非常融貫的系統,甚至比某些人的信念系統還要融貫。如果有一個人相信《紅樓夢》裡面所有的命題,根據融貫論,我們必須說這個人的信念都是被證成的。但這嚴重個違反我們的直覺。我們覺得,這些信念,從認知的角度來看,都是不好的、不被證成的信念。

 

5.4 融貫性與真理

融貫論試圖用信念跟信念系統的融貫程度來捕抓信念獲得證成的概念。根據主流的看法,證成是一個『使為真』(truth-condutive)性質。即是,信念的證成程度越高,則越可能為真,或為真的機率越高。如果我們要用融貫性來捕抓證成的概念,我們需要能夠證明,或至少展示,融貫性是一種使為真性質,即是,越是跟信念系統融貫的信念越可能為真,或為真的機率越高。

  然而,融貫性似乎並沒有使為真性。一個信念與其所處的信念系統之間的融貫程度顯然是獨立於這個信念的使為真性的。一個信念可以與一個信念系統非常融貫,但其為真的可能性或機率還是非常低。例如,一個與《紅樓夢》融貫的信念並不會有很高的可能性或機率為真。相反的,不融貫於一個信念系統的信念還是可以有很高的可能性或機率為真。例如,一個被集權國家洗腦多年的人,因為來到較為自由的國家而通過非常可靠的手段獲得非常可能為真,或很高機率為真的信念,即便這個信念與他的信念系統的融貫性非常低。

 

6. 懷疑論

在面對後退論證的時候,除了無限論,基礎論以及融貫論之外,還有一個選項,即是,接受論證的懷疑論結論。事實上,Agrippa當初提出後退論證就是為了證成懷疑論的結論。然而,根據當代知識論的傳統,懷疑論是一個不受歡迎的立場。懷疑論並不是一個可行的選項,而是理論走上了歪路的訊號——John PollockJoseph Cruz把這一點寫得非常明白:

 

接受懷疑論的結論——我們都沒有知識——是不合乎理性的。相反地,合理的立場是去拒絕懷疑論論證的前提。換句話說,對於典型的懷疑論論證,我們應該把這個論證視為對其前提的歸謬否證reduction ad absurdum,而不應該把它視為對其結論的證明。Pollock and Cruz 1999, 7

 

這個態度充分反映在哲學家對待後退論證上。從上述的介紹,對無限論、基礎論以及融貫論的支持者來說,排除論證都被用來支持自己的重要理由之一。即是,這些理論的主張者都宣稱,自己的理論是成立的(或必須成立),因為其他競爭的理論無法回應後退論證,或是因為其他競爭理論不成立(因為它們無法解決後退論證)。但這種排除論證,已經預設了後題論證是可以被拒絕的(即預設了懷疑論不成立)。

        為什麼要拒絕懷疑論?因為懷疑路是一個違反直覺的理論。大部分人會同意,懷疑論違反直覺,而應該被拒絕——但只有在其他條件不變的情況下!上述的排除論證如果要成功,光指出懷疑論違反直覺是不夠的。我們必須要能夠證明,懷疑論是所有選項中最違反直覺的才行。反對懷疑論不能無限上綱,因為我們不想同意『因為懷疑論違反直覺,所以我們應該接受懷疑論的否定,即便懷疑論的否定比懷疑論更違反直覺』這個荒謬的結論。問題是,經過上面的介紹,我們可以發現所有的主要理論都會蘊含一些違反直覺、或不合理的主張。例如:

 

無限論主張證成序列是無限、不重複的,並且這個無限序列可以被主體所得到等;

強基礎論主張所有第一人稱當下意識內容的信念都是不可錯的,並且很可能會得出懷疑論的結論等;

溫和基礎論主張感覺經驗可以(通過神秘的方式)證成知覺信念等;

融貫論主張信念的證成可以部分的由自身提供、信念是否有證成(或是否是知識)可以完全獨立於主體的感覺經驗等。

 

懷疑論的結論是否比上述所有的宣稱都更違反直覺、更不合理?也許。但哲學家很少會明確地論證這一點。

  另外,在投訴懷疑論違反直覺時,哲學家經常忽略後退論證的懷疑論結論可以有兩種解讀:一方面,我們可以把R6——必然地,沒有信念是被證成的的——解讀為對Cartesian外在世界懷疑論的支持。另一方面,我們也可以把R6解讀為對Pyrrhonian懷疑論的支持。Cartesian懷疑論針對的是日常生活中有關外在世界的信念,並宣稱這些信念都不是知識。這是違反直覺的。但Pyrrhonian懷疑論卻不一定會得出一樣的結論。

  Pyrrhonian懷疑論是一種對哲學(以及一些其他學科)的懷疑論。對Pyrrhonian懷疑論者來說,哲學討論無法帶給我們知識,我們應該對哲學理論擱置判斷。然而,Pyrrhonian懷疑論是否也主張日常生活的信念不是知識,所以我們應該對日常生活的事物擱置判斷?文獻中對這個問題的回答分為兩派:以Jonathan Barnes1982)為代表的學者認為,Pyrrhonian懷疑論對待日常生活信念就跟對待哲學信念一樣。但以Michael Frede1987)為代表的學者則認為,Pyrrhonian懷疑論對待日常生活信念跟哲學信念是不一樣的。對於後者,Pyrrhonian懷疑論者認為我們沒有知識,主張擱置判斷,但對於前者,Pyrrhonian懷疑論者則允許我們擁有知識,不需擱置判斷。

  如果採用Frede的詮釋,我們還能直接預設後退論證的結論不成立嗎?這取決於Frede詮釋下的Pyrrhonian懷疑論是否違反直覺。如果Pyrrhonian懷疑論只否認哲學知識,而不否認日常生活的知識,我們還能說它違反直覺嗎?也許。但我們還能說Pyrrhonian懷疑論比無限論、基礎論及融貫論都違反直覺嗎?也許。但哲學家很少會明確地論證這一點。

  總而言之,在缺乏明確論證證明懷疑論(無論是Cartesian還是Pyrrhonian懷疑論)比無限論(基礎論、融貫論)更違反直覺、更不合理的情況下,去使用排除論證去支持無限論,基礎論與融貫論之中任何一者,都是不合適的。

 

附錄1

在這篇附錄,我們會就「證成」這個術語的來源及相關議題稍作介紹。「證成」成為一個標準的術語,是從 Edmund Gettier1963年的文章〈被證成的真信念是否是知識?〉(“Is Justified True Belief Knowledge?”中開始的。而因為這篇文章的重大影響力,這個術語很快就為哲學界所接受。在該文中,Gettier指出,當時主流的知識分析都認為知識需要三個類似的條件。Gettier舉了Roderick Chisholm以及A. J. Ayer的知識分析作為例子(Gettier 1963, 121):

 

Chisholm的分析:

S知道P,若且唯若,

i

S接受P

ii

S有合適的證據支持P,以及

iii

P為真。


Ayer的分析:

S知道P,若且唯若,

i

S確定P為真,

ii

S有權確定P為真[13],以及 

iii

P為真。

 

簡而言之,我們可以把ChisholmAyer的分析中的第一跟第三條件視作對知識是一種真信念的要求。在這個意義下,ChisholmAyer的分析的第二個條件所代表的,就是區分作為知識的真信念以及非知識的真信念的條件。在Gettier使用「S擁對信念P的證成」來統稱這兩個條件。顯然,「證成」這裡是上述第二個含義下被使用的。然而,在這篇文章中,「證成」似乎也在上述第一個含義下被使用:文章後面討論兩個案例時,Gettier基本上把『S擁有支持命題P的(強而有力的)證據』跟『S擁有對信念P的證成』當作可互換的條件。換句話說,「證成」這個術語在一開始被使用的時候,就已經包含了兩個含義——我們無從得知 Gettier本人是否混淆「證成」的第一和第二個含義,還是他預設了擁有證據是區分作為知識的真信念與非知識真信念的性質。但無論如何,作為一個術語,「證成」似乎是一開始就允許兩種解讀。

         不管Gettier原來引進「證成」是作何使用,哲學家很快就把「證成」理解作(擁有)理由或證據的含義。Hilary Kornblith曾指出,根據(當時的)傳統,『S的信念P是被證成的』要求S擁有對P的證成,而這又表示,S可以提供合適的論證來支持PKornblith 2001, 2)。而有不少哲學家也是基於這個對「證成」解讀而反對證成做為知識的必要條件(cf., e.g., Armstrong 1973; Lewis 1996)。

  由於『理由和證據』與『作為知識的真信念特有的性質』是不一樣的條件,Alvin Plantinga1993)於是主張用「保證」(warrant)來取代 「證成」,以指稱『作為知識的真信念特有的性質』。Plantinga的理由是,「證成」這個詞在英文中本身就是一個『義務論式』(deontological)的術語(Plantinga 1993, 4)。因此,「證成」就其字面意義而言並不是一個中立的術語;將去知識的知性條件稱為「證成」會造成一種誤解,讓人以為知識的知性條件必然可以被義務論式的概念(如,義務,責任等)所分析、刻畫或理解。[14]為了避免這個誤解,Plantinga於是建議使用更為中性的「保證」一詞。而後,「保證」這個術語也在文獻中流行起來。

 

 

 

 

[1] 這個觀點,一般被稱之為「智性主義」(intellectualism)。

[2] Earl Conee and Richard Feldman2004)將擁有信念證成的信念與擁有命題證成的信念依序稱為「證成的信念」(justified belief)與「奠基的信念」(well-grounded belief)。

[3] 之所以叫「Agrippa的論證」,因為據考究,Empiricus上述引文所提到的「晚近的懷疑論者」就是Agrippacf. Morison 2014)。有趣的是,後退論證自二十世紀中葉後已為哲學家所熟悉。但一直要到九十年代左右才有比較多的哲學家意識到Agrippa在約兩千年前已經提出這個論證,也就在那時候起,「Agrippa的論證」的名稱才開始流行起來(cf. Fogelin 1994)。

[4] Paul Moser1985)是早期使用「infinitism」這個詞的文獻之一。

[5] Klein也討論不訴諸循環論證的融貫論,這裡略過不談。

[6] BonJour在本書中主張融貫論。但他本人後來放棄融貫論的立場,改而支持基礎論。

[7] 這個解讀是有爭議的。Descartes關心知識的基礎的問題,而不是後退論證的問題cf. Feldman 2003, 52-53; also cf. Watson 2017, §2

[8] Pryor並沒有給出一個知覺上基本的命題的例子。他認為要由認知心理學家去決定。

[9] 更精確地說,Sellar所攻擊的對象並不只是溫和基礎論而已。Sellar的論證,如果成功的話,將可以拒絕任何用「感覺於料」(givenness)當作證成基礎的理論。

[10] 以下引文出現的「理解」,都是對「apprehend」(以及其變形)的翻譯,而不是對「understanding」的翻譯。

[11] Plantinga1993, 79-80)把這兩種融貫論依序稱為「純粹融貫論」(pure coherentism)與「非純粹融貫論」(impure coherentism)。

[12] BonJour1985, 240, footnote 7)有提到,但沒有處理前言悖論。

[13] 原文是:S has the right to be sure that P is true Gettier 1963, 121)。

[14] Plantinga這裡並沒要預設作為知識的真信念的特有性質必定不能被義務論式的概念所分析、刻畫或理解,雖然Plantinga本人反對義務論式的分析。這裡,Plantinga所反對的是使用不中立的術語來代表作為知識的真信念的特有性質。

 

作者資訊

李國揚
中正大學哲學系

參考書目與網路資源

Armstrong, David M. 1973. Belief, Truth and Knowledge. Cambridge: Cambridge University Press.

Audi, Robert. 1993. The Structure of Justification. Cambridge: Cambridge University Press.

Barnes, Jonathan. 1982. “The Beliefs of a Pyrrhonist.” The Cambridge Classical Journal 28: 1–29.

BonJour, Laurence. 1985. The Structure of Empirical Knowledge. Cambridge, Mass.: Harvard University Press.

———. 1999. “The Dialectic of Foundationalism and Coherentism.” In The Blackwell Guide to Epistemology, edited by John Greco and Ernest Sosa, 117–42. Malden, MA: Blackwell.

Conee, Earl, and Richard Feldman. 2004. Evidentialism: Essays in Epistemology. New York: Clarendon Press.

Descartes, Rene. 1984. The Philosophical Writings of Descartes. Translated by John Cottingham, Robert Stoothoff, and Dugald Murdoch. Vol. 2. Cambridge: Cambridge University Press.

Empiricus, Sextus. 1976. Sextus Empiricus. Translated by R. G. Bury. Cambridge, Mass.: Harvard University Press.

Feldman, Richard. 2003. Epistemology. Upper Saddle River, New Jersey: Prentice Hall.

Firth, Roderick. 1978. “Are Epistemic Concepts Reducible to Ethical Concepts?” In Values and Morals: Essays in Honor of William Frankeno, Charles Stevension, and Richard Brandt, edited by Alvin I. Goldman and Jaegwon Kim, 215–29. London: D. Reidel Publishing Company.

Fogelin, Robert J. 1994. Pyrrhonian Reflections on Knowledge and Justification. New York: Oxford University Press.

Frede, Michael. 1987. “The Skeptic’s Beliefs.” In Essays in Ancient Philosophy, 179–200. Minneapolis: University of Minnesota Press.

Gettier, Edmund. 1963. “Is Justified True Belief Knowledge?” Analysis 23: 121–23.

Goldman, Alvin I., and Matthew McGrath. 2015. Epistemology: A Contemporary Introduction. New York: Oxford University Press.

Klein, Peter. 1999. “Human Knowledge and the Infinite Regress of Reasons.” Philosophical Perspectives 13: 718–29.

———. 2007. “Human Knowledge and the Infinite Progress of Reasoning.” Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition 134 (1): 1–17.

———. 2014. “Infinitism Is the Solution to the Regress Problem.” In Contemporary Debates in Epistemology, edited by Matthias Steup, John Turri, and Ernest Sosa, 2nd ed., 274–83. Malden, MA: Wiley Blackwell.

Klein, Peter, and John Turri. 2017. “Coherentism in Epistemology.” Internet Encyclopedia of Philosophy, URL= < http://www.iep.utm.edu/inf-epis/>

Kornblith, Hilary. 2001. “Internalism and Externalism: A Brief Historical Introduction.” In Epistemology: Internalism and Externalism, edited by Hilary Kornblith, 1–9. Malden, MA: Blackwell.

Lehrer, Keith. 2000. Theory of Knowledge. Boulder, CO: Westview Press.

Lewis, David. 1996. “Elusive Knowledge.” Australasian Journal of Philosophy 74 (4): 549–67.

Lycan, William G. 1996. “Plantinga and Coherentisms.” In Warrant in Contemporary Epistemology, edited by Jonathan Kvanvig, 3–23. New York: Rowman & Littlefield.

Morison, Benjamin. 2014. “Sextus Empiricus.” The Stanford Encyclopedia of Philosophy (Spring 2014 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/spr2014/entries/sextus-empiricus/>.

Moser, Paul K. 1985. Empirical Justification. Boston: D. Reidel Publishing Company.

Murphy, Peter. 2017. “Coherentism in Epistemology.” Internet Encyclopedia of Philosophy, URL= <http://www.iep.utm.edu/coherent/>

Olsson, Erik. 2017. “Coherentist Theories of Epistemic Justification.” The Stanford Encyclopedia of Philosophy (Spring 2017 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/spr2017/entries/justep-coherence/>.

Plantinga, Alvin. 1993. Warrant: The Current Debate. Oxford: Oxford University Press.

Pollock, John L., and Joseph Cruz. 1999. Contemporary Theories of Knowledge. 2nd ed. Rowman & Littlefield.

Pryor, James. 2000. “The Skeptic and the Dogmatist.” Noûs 34 (4): 517–549.

———. 2014. “There Is Immediate Justification.” In Contemporary Debates in Epistemology, edited by Matthias Steup, John Turri, and Ernest Sosa, 2nd ed., 202–22. Malden, MA: Wiley Blackwell.

Swinburne, Richard. 2001. Epistemic Justification. Oxford: Clarendon Press.

Watson, J. Carlin. 2017. “Epistemic Justification.” Internet Encyclopedia of Philosophy,
            URL= <http://www.iep.utm.edu/epi-just/>