摘要:克里斯平·賴特倡導(dǎo)將“超可斷言性”當(dāng)作真謂詞,進(jìn)而為反實(shí)在論提供“真”概念的正面解釋。他通過(guò)論證“超可斷言性”可以滿足等值模式(ES)“P是‘超可斷言的當(dāng)且僅當(dāng)P”,來(lái)推動(dòng)他所主張的“多元主義真理論”。賴特的這一嘗試并不成功,“超可斷言性”面臨諸多挑戰(zhàn),如它實(shí)質(zhì)上并不滿足等值模式(ES),又使反實(shí)在論陷入兩難境地,以及它具有可廢止性等。如果賴特?zé)o法對(duì)這些挑戰(zhàn)做出合理的回應(yīng),那么他將不能捍衛(wèi)自己的真理論立場(chǎng),同時(shí)我們也有充分的理由相信“超可斷言性”不可能成為“反實(shí)在論的真之概念”候選者。
關(guān)鍵詞:賴特;超可斷言性;真謂詞;真理論;反實(shí)在論
實(shí)在論和反實(shí)在論之間的爭(zhēng)論主要在意義理論。實(shí)在論者主張,一個(gè)命題的意義在于它的真值條件。反實(shí)在論者則認(rèn)為,一個(gè)命題的意義由它的使用決定,并且任意話語(yǔ)都存在一個(gè)模式:“P為真→P是可知的”(1)。該模式被認(rèn)為是對(duì)意義理論的約束,而且約束本身以“意義必須在使用中得以顯現(xiàn)”為前提(2)。但這一模式并沒(méi)有正面回答問(wèn)題——對(duì)反實(shí)在論者而言,“真”究竟是什么??死锼蛊健べ囂卣J(rèn)為,在上述模式先驗(yàn)地成立的任何話語(yǔ)中,可以將一個(gè)命題的“真”與該命題的“超可斷言性”等同起來(lái)。有鑒于此,反實(shí)在論所堅(jiān)持的核心觀點(diǎn)“所有真命題是可知的”便有了充分的理由,因?yàn)椤罢妗迸c“超可斷言性”等同,所以,“所有真命題就是超可斷言的”,這也就意味著它們都是可知的。賴特似乎給出了反實(shí)在論的“真之概念”的正面說(shuō)明,然而,如果反實(shí)在論者真如賴特一樣,將“超可斷言性”當(dāng)作一個(gè)真謂詞,那么它至少面臨三個(gè)方面的挑戰(zhàn):第一,“超可斷言性”不滿足真的老生常談,即“等值模式”;第二,“超可斷言性”使得反實(shí)在論陷入兩難境地;第三,“超可斷言性”具有可廢止的特征。
一、 “超可斷言性”的緣起及定義
克里斯平·賴特在《真理與客觀性》一書中,通過(guò)指出“有保證的可斷言性(warranted assertibility)”存在的問(wèn)題,提出了“超可斷言性(supperassertibility)”這一概念,并強(qiáng)調(diào)后者才能夠滿足他所捍衛(wèi)的“極小主義”真理論。
賴特認(rèn)為,任何滿足一組相對(duì)較小且直觀的、老生常談的謂詞都構(gòu)成了一個(gè)切實(shí)可行的真謂詞。[1]24就極小主義而言,這組謂詞可以進(jìn)一步簡(jiǎn)化為以下關(guān)鍵的“老生常談”:
他強(qiáng)調(diào),一旦人們認(rèn)識(shí)到“真”概念本身是一個(gè)極小概念,即對(duì)一個(gè)話語(yǔ)范圍而言,任何滿足(A)(4)和(SN)的謂詞,都將是該話語(yǔ)范圍可接受的真謂詞,那么我們就可以承認(rèn)有多種潛在的、充分的真謂詞。這種極小主義的“真”概念,開啟了賴特的“多元主義真理論”,即有許多不同的真謂詞,同時(shí)各自滿足上述最小條件,一個(gè)真謂詞適合某種話語(yǔ)(如關(guān)于數(shù)學(xué)的),而另一個(gè)真謂詞適合另一種話語(yǔ)(如關(guān)于倫理學(xué)的)。(5)
如果關(guān)于P的信息狀態(tài)是中立的,那么人們“沒(méi)有保證地?cái)嘌浴甈”并不意味著“有保證地?cái)嘌浴玃”。信息中立這一可能性有力地反駁了“真之?dāng)嘌孕岳碚摗保?)。賴特指出,該理論還面臨另外兩個(gè)困難,也正是普特南在《理性、真理和歷史》一書中所提到的:斷言性理論既不能解釋真理的穩(wěn)定性,也不能解釋真理的絕對(duì)性。[2]2與此同時(shí),賴特發(fā)現(xiàn)了普特南的問(wèn)題,并且希望避免普特南的理想化舉動(dòng)——在“理想的認(rèn)識(shí)論情況”下,從調(diào)查的角度來(lái)理解真理。(8)相反,他想要一個(gè)能被“一般斷言實(shí)例化”的斷言性概念。因此,他提出:“我們能夠問(wèn)一個(gè)普遍的、仔細(xì)的、可控的調(diào)查是否確證該陳述,或者是否一旦確證,無(wú)論將來(lái)有多少進(jìn)一步信息的累加,該陳述依舊如此?!盵1]47賴特將“超可斷言性”定義為:“另一個(gè)可以由斷言性構(gòu)造出來(lái)的屬性,它不僅是絕對(duì)的,而且因此可以認(rèn)為是不會(huì)丟失的,該屬性是被某種(原則上可通達(dá)的)信息狀態(tài)確證的屬性,然后它是持續(xù)地被確證的屬性,不管信息狀態(tài)如何被擴(kuò)大或改進(jìn)……那么,一個(gè)陳述是超可斷言性的,當(dāng)且僅當(dāng)它是或者能夠是被確證的并且某種程度上被確證的,從而它將經(jīng)得起對(duì)其世系的任意嚴(yán)密審查,經(jīng)得起對(duì)信息的任意廣泛增量或其他形式的改進(jìn)?!盵1]47-8
二、超可斷言性不滿足等值模式
賴特已經(jīng)闡明不能將“有保證的可斷言性”與“真”等同,因?yàn)榍罢邿o(wú)法滿足等值模式(ES)以及原則(CNT)。因此,他提出一個(gè)新的真謂詞候選者“超可斷言性”,并論證這一候選者能夠滿足等值模式(ES):
根據(jù)傳統(tǒng)的知識(shí)三元定義(即標(biāo)準(zhǔn)的)分析,知道P(至少)要求“確證的真信念P”。因此,如果P是可知的,那么P是真的(假設(shè)可知性的事實(shí)性),并且存在一個(gè)可能的信息基礎(chǔ)I,I提供了P某種程度上的確證。如果P某種程度的確證在改進(jìn)I的所有方法中都存在,那么P是超可斷言性的;如果P的確證不在改進(jìn)I的所有方法中存在,那么(因?yàn)楦鶕?jù)假設(shè)P為真)只能是I的某一改進(jìn)I*包含了P的誤導(dǎo)性證據(jù)。根據(jù)賴特,P為真,我們將期望I*的某個(gè)改進(jìn)I**去糾正有關(guān)P的誤導(dǎo)性證據(jù)的影響,并再次確證信念P。這種確證(或者說(shuō)在對(duì)I**進(jìn)行的仍然是后來(lái)的改進(jìn)中的確證,這種改進(jìn)糾正了中間階段的任何進(jìn)一步的誤導(dǎo)性證據(jù)的影響)現(xiàn)在應(yīng)該對(duì)信息基礎(chǔ)I**進(jìn)行改進(jìn)的任何和所有方式上都能成立。所以,如果P是可知的,那么P就是超可斷言的。[1]60
從大量的實(shí)在論和反實(shí)在論爭(zhēng)論的焦點(diǎn)來(lái)看,反實(shí)在論者是接受(L)的。語(yǔ)義反實(shí)在論者如達(dá)米特(當(dāng)然也包括賴特本人)認(rèn)為:“受有關(guān)理解的獲得和顯現(xiàn)的考慮的啟發(fā),他認(rèn)為,如果一個(gè)陳述的意義被視為由其真值條件所決定,那么真就不能夠超越我們(原則上)的認(rèn)識(shí)能力。但是這樣一來(lái),論題就是(L)……對(duì)所有可理解的內(nèi)容都是普遍性地成立的?!盵1]60
其次,考察從(K)和(L)推得(ES)為何是失敗的。通過(guò)(K)和(L)推得“P→P是超可斷言的”,即推出(ES)從右到左的條件句是容易的。(9)然而,若不借助進(jìn)一步的假設(shè),(ES)從左到右的條件句“P是超可斷言的→P”則無(wú)法推出。如果有(K)的逆命題“P是超可斷言的→P是可知的”,那么問(wèn)題便迎刃而解。然而(K)的逆命題涉及“超可斷言性”和“知識(shí)”各自所需的確證程度,并且二者的確證程度是不同的。一方面,“知道P”需要一定程度的確證,以滿足一個(gè)重要的知識(shí)閾值。因此,對(duì)“P是可知的”來(lái)說(shuō),它必須是對(duì)某個(gè)信息基礎(chǔ)而言,可能在一個(gè)足夠的程度上確證P,以滿足這一重要的知識(shí)閾值。另一方面,“超可斷言性”僅要求在給定的信息基礎(chǔ)的所有改進(jìn)方式上P有一定程度的確證就能成立,因此,P有可能是“超可斷言的”。但是,考慮一種情況X:令P是“超可斷言的”的那些改進(jìn)信息的基礎(chǔ),而在此基礎(chǔ)之上對(duì)P的確證程度都不足以滿足知識(shí)的閾值。于是,在情況X下,P將不是可知的。[4]132-3
上述證明的第(6)步,賴特注明的依據(jù)是(Lemma)。但是,經(jīng)過(guò)仔細(xì)檢查,第(6)步依據(jù)的并非(Lemma),而是“超可斷言性”的真與否定交換性原則(CTNS)(11)的一半,即(Lemma)的逆命題:“~P是超可斷言的→ ~(P是超可斷言的)”。由于(ii)的證明建立在(Lemma)的逆命題之上,而(i)的證明直接來(lái)自(K)和(L),那么賴特求助(Lemma)的意義是什么呢?即使按照賴特所說(shuō),根據(jù)(Lemma)可以證明(ii),那么剩下的唯一問(wèn)題就是,根據(jù)(ii)能否證明(ES)另一半(從左到右),即“P是超可斷言的→ P”,以確保“超可斷言性”滿足等值模式(ES)。為了實(shí)現(xiàn)這一證明,需要依靠~(A∧~B)到A→B的推導(dǎo)。這一推導(dǎo)明顯是經(jīng)典有效的,而非直覺(jué)主義有效的。(12)如果話語(yǔ)的“否定算子~”的屬性是直覺(jué)主義的,即反實(shí)在論(至少達(dá)米特式的反實(shí)在論者)秉持的是直覺(jué)主義立場(chǎng)[5]1-2,就無(wú)法像賴特所說(shuō)的那樣,從(ii)能推導(dǎo)出(ES)的另一半(從左到右)。就連賴特自己也認(rèn)為:“反實(shí)在論真謂詞的支持者會(huì)有獨(dú)立的理由采用直覺(jué)主義邏輯。”[4]134因此,賴特證明“超可斷言性”滿足等值模式(ES)的嘗試很難說(shuō)是成功的。
三、超可斷言性使反實(shí)在論陷入兩難境地
考察完“超可斷言性”是否滿足等值模式之后,需要關(guān)注前提(L):P?圮P是可知的。關(guān)注(L)的原因在于,任何接受(L)的理論,都將面臨可知性悖論(也稱為Fitch-悖論)的挑戰(zhàn)。
“可知性”是哲學(xué)史上的核心議題之一,從邏輯學(xué)的角度來(lái)看,它涉及“知道(K)”和“可能性(◇)”兩個(gè)模態(tài)算子。對(duì)(L)進(jìn)行更為詳細(xì)的形式化分析,可得到一個(gè)雙模態(tài)命題:
上述論證的結(jié)論(6)表明:要么有證據(jù)證明P,要么有證據(jù)證明~P,而不可能有中立的信息狀態(tài)。然而,這與大多數(shù)反實(shí)在論者所傾向的觀點(diǎn)相反。為了解決這一問(wèn)題,賴特建議反實(shí)在論者最好采用直覺(jué)主義邏輯,如此,就能阻止從條件句論斷(5)“~(有證據(jù)表明P)→有證據(jù)表明~P”到析取式的論斷(6)“有證據(jù)表明P∨有證據(jù)表明~P”的推導(dǎo)。但是,這又將回到上文所提到的,在采用直覺(jué)主義邏輯之后,反實(shí)在論仍會(huì)面臨一些不能接受(邏輯上推理有效)的結(jié)論。
于是,支持賴特的反實(shí)在論者將陷入兩難境地。如果反實(shí)在論者采用直覺(jué)主義邏輯,那么根據(jù)賴特,他們不能證明(ES)是(K)和(L)的邏輯后承,即不能證明“超可斷言性”滿足“等值模式”;如果反實(shí)在論者接受經(jīng)典邏輯,那么他們不僅要面臨可知性悖論,還必須要么拒絕“信息存在中立狀態(tài)”的說(shuō)法,要么拒絕(SN)或(CTN)中的一個(gè),原因在于,對(duì)真的適度認(rèn)知約束(EC)連同(SN)和(CTN),使得人們?cè)诮?jīng)典邏輯中推斷出結(jié)論“要么有證據(jù)表明P,要么有證據(jù)表明~P”,從而排除信息中立狀態(tài)的可能性。因此,支持賴特的反實(shí)在論者無(wú)論是接受經(jīng)典邏輯,還是接受直覺(jué)主義邏輯,結(jié)果都會(huì)讓他們自己不滿意。[4]138
四、超可斷言性具有可廢止性
通過(guò)前文論述能夠看到,賴特關(guān)于“超可斷言性”是真謂詞的論證存在明顯缺陷。此外,還應(yīng)該思考,除了論證的缺陷之外,“超可斷言性是真謂詞”這一說(shuō)法是否還有其他的合理性?例如,賴特認(rèn)為“超可斷言性”能夠作為真謂詞的另一個(gè)原因是它具有不可廢止性。然而這一說(shuō)法遭到了L. Kavanvig的反駁,她認(rèn)為,“超可斷言性”不能成為真謂詞的根本原因與“可廢止性”以及“對(duì)它的保證的敏感性(susceptibility of warrant to it)”有關(guān)。[2]15
在《理性、真理和歷史》中,普特南拒絕接受“真”是“有保證的可斷言性”的觀點(diǎn),從而提出“真”是“在認(rèn)識(shí)論的理想情況下‘有保證的可斷言性”。他的理由是,“有保證的可斷言性”既不穩(wěn)定(它有來(lái)有去,而真沒(méi)有),也不絕對(duì)(保證有程度,而真沒(méi)有),它無(wú)法滿足真理的這兩個(gè)要求。[8]89然而,賴特指出,這些要求只有對(duì)“一個(gè)命題在認(rèn)識(shí)論上理想的情況下是有保證的”才能被滿足,這涉及有一個(gè)“不能被任何進(jìn)一步的信息挫?。ǚ駝t就不會(huì)有穩(wěn)定性)或改進(jìn)(否則就不會(huì)有絕對(duì)性)的情況”[1]45。賴特對(duì)普特南理想化方案并不贊同,他認(rèn)為:“‘有保證的可斷言性是相對(duì)于信息狀態(tài)的斷言性。這可能會(huì)讓人覺(jué)得,類似于真理的理想化的斷言性似乎只有一個(gè)方向可以假設(shè),即我們必須將相關(guān)的信息狀態(tài)理想化。然后,對(duì)穩(wěn)定性和絕對(duì)性的追求似乎確保了皮爾式概念將是一個(gè)結(jié)果。但這是一個(gè)疏忽。與其問(wèn)一個(gè)陳述在理想的經(jīng)驗(yàn)調(diào)查的限度是否會(huì)被確證……我們還可以問(wèn),在達(dá)到任何神話的限度之前,一個(gè)日常的、仔細(xì)控制的調(diào)查是否會(huì)確證這個(gè)陳述,以及一旦被確證,無(wú)論進(jìn)一步積累多少信息,這個(gè)陳述會(huì)繼續(xù)如此?!盵1]47
賴特解釋道,有一種方法可以建立一個(gè)斷言性的類似真理的概念(a truth-like notion of asser-tibility),而不必像普特南和皮爾式那樣理想化。他希望這樣的概念可以從斷言的“一般保證(ordinary warrant)”中建立起來(lái)。“一般保證”是在“日常仔細(xì)的、控制的調(diào)查”基礎(chǔ)上發(fā)展起來(lái)的,再附加上斷論:即使面對(duì)進(jìn)一步的了解,它們?nèi)詫⒈淮_證。所以,這些“保證”仍然是對(duì)斷言有保證的,并且一個(gè)陳述的“超可斷言性”產(chǎn)生于“普通的可斷言性”。但是,這一概念作為真謂詞的基本困難在于,它既不符合“知識(shí)蘊(yùn)含真”這一顯而易見的真理,也不能處理普特南關(guān)于真理既穩(wěn)定又絕對(duì)的要求。之所以說(shuō)它不符合,是因?yàn)橛行魯≌呤钦`導(dǎo)性的擊敗者,這一點(diǎn)在“蓋蒂爾問(wèn)題”中得到了很好的探討。賴特認(rèn)識(shí)到了這一困難的某些方面,他說(shuō):“我不否認(rèn),在適當(dāng)?shù)那闆r下,一個(gè)認(rèn)知主體可能根據(jù)事實(shí)上可以被擊敗的信息知道一些事情。但是,如果他的知識(shí)主張不因有這種擊敗的信息而受到破壞,那么當(dāng)然需要的是,一旦獲得這種信息,其負(fù)面影響本身就可以被穩(wěn)定地推翻?!盵1]45
賴特通過(guò)關(guān)注“一旦獲得”這一特征,提出他的觀點(diǎn):如果d擊敗了S對(duì)p的有保證性,但S還是知道p,那么,如果S將學(xué)習(xí)d,則一定存在S可以學(xué)習(xí)的其他東西,從而穩(wěn)定地推翻d的可廢止性的影響。這是真的,但這與此例的歷時(shí)性特征無(wú)關(guān)。“S有保證的被d擊敗,而S仍然知道p,有其內(nèi)在的含義。因?yàn)槿绻鸖在有這樣一個(gè)擊敗者的情況下仍然知道p,那么一定會(huì)有某個(gè)超越者(overrider)存在,以說(shuō)明S在擊敗者的情況下是如何知道p的?!盵2]16這種情況很常見,假設(shè)你看到你的朋友湯姆從圖書館偷了一本書,由此你知道他偷了書。這個(gè)事實(shí)并不排除擊敗性信息的可能性,例如,湯姆的母親現(xiàn)在可能會(huì)告訴警察,偷書的不是湯姆,而是他的同卵雙胞胎弟弟蒂姆。但是警察不會(huì)認(rèn)真對(duì)待這個(gè)說(shuō)法,原因是,湯姆有很多前科,而且大家都很清楚,過(guò)度保護(hù)他的母親會(huì)說(shuō)出任何話,試圖幫他清除任何指控。因此,存在著可廢止性的信息(湯姆的母親告訴警察的),但這些信息并不會(huì)因?yàn)槌秸叩墓餐嬖诙茐哪愕闹R(shí)。(14)因此,即使有擊敗者的存在,認(rèn)知主體的知識(shí)主張仍舊不會(huì)受到影響。
賴特將他對(duì)“真”的解釋與普特南對(duì)“真”的解釋相比較,獲得了自己解釋的獨(dú)特性。這基于這樣一個(gè)事實(shí)——普特南“只在調(diào)查的限度內(nèi)擁有理想化的確證”,而賴特的“超可斷言性”概念則以一種平凡的方式產(chǎn)生,它只是“普通斷言性”的一種特殊情況。但就本質(zhì)而言,“普通的可斷言性或信念”背后的唯一的保證就是可廢止性的——這正是認(rèn)識(shí)論告訴我們的。賴特也指出,“一個(gè)句子的‘超可斷言性并不意味著現(xiàn)有證據(jù)的強(qiáng)度,雖然這些證據(jù)是積極的,但可能是不持久的”[1]57。賴特似乎并沒(méi)有注意到這句話會(huì)使他自己的觀點(diǎn)變得更弱:這句話僅表明“超可斷言性”所涉及的“有保證性”有程度,不同于普特南在理想化調(diào)查的極限中所產(chǎn)生的那種“有保證性”。如果說(shuō)“有保證的可斷言性”是有問(wèn)題的,理由是它不能解釋真理的絕對(duì)性和穩(wěn)定性,那么,“超可斷言性”同樣也面臨這一問(wèn)題。普特南強(qiáng)調(diào):“真應(yīng)當(dāng)是一陳述不可或缺的一種性質(zhì),而確證則是一陳述可以失去的性質(zhì)?!盵9]61因此,必須通過(guò)“理想化的認(rèn)知條件下的確證”來(lái)獲得這種不可或缺的特性。普特南希望通過(guò)理想化到這一極限,從而獲得“不可廢止的確證”,其既不能被擊敗,也不能被改進(jìn)。賴特只是不加論證地假定他的“超可斷言性”也具有同樣的優(yōu)點(diǎn),但這與事實(shí)相反。如果賴特想要“超可斷言性”是絕對(duì)的,他就必須從“不可廢止的確證”來(lái)理解它,因?yàn)橹挥羞@樣的確證才不會(huì)因?yàn)檫M(jìn)一步的學(xué)習(xí)而增強(qiáng)力量。但是,如果用“不可廢止的確證”來(lái)定義“超可斷言性”,就失去了賴特的主張,因?yàn)橘囂卣J(rèn)為它只是一種特殊的,或者可從普通辯護(hù)中建構(gòu)出來(lái)的確證。正如Kavanvig所說(shuō):若將真理與一個(gè)擁有“不可廢止的確證”(非理想化的)的東西等同起來(lái),那么真理將非常少;若有的話,那么底線即為:“超可斷言性”根本不能成為真謂詞。[2]19
五、結(jié) 語(yǔ)
實(shí)在論者和反實(shí)在論者之間的傳統(tǒng)爭(zhēng)論可以被重新塑造為:相關(guān)話語(yǔ)是否需要一個(gè)更穩(wěn)健的真謂詞。賴特本人是一位基于“超可斷言性”概念的真謂詞的擁護(hù)者,在這種情況下,“一個(gè)陳述是超可斷言性的,當(dāng)且僅當(dāng)它是或者能夠是被確證的并且某種程度上是被確證的,從而它將經(jīng)得起對(duì)其世系(pedigree)的任意嚴(yán)密審查,經(jīng)得起對(duì)信息的任意廣泛增量或其他形式的改進(jìn)”[1]48。有了這一概念,賴特認(rèn)為自己已經(jīng)找到了一個(gè)真謂詞,并且在許多爭(zhēng)論中,這個(gè)真謂詞將為反實(shí)在論者喜聞樂(lè)見,因?yàn)樗粌H滿足“真”的老生常談,而且將以一種極小的方式來(lái)滿足。但實(shí)際上,“超可斷言性”并沒(méi)有達(dá)成這樣的滿足。問(wèn)題的核心是,如果支持賴特主張的反實(shí)在論者把“超可斷言性”作為真謂詞,即接受賴特提出的等值模式(ES),將面臨諸多困境。同時(shí)也可以看到,無(wú)論是接受經(jīng)典邏輯,還是接受直覺(jué)主義方向的邏輯修正,結(jié)果都不會(huì)讓支持者感到高興。這些支持者跟賴特一樣,都將“超可斷言性”看作真理模型。雖然還有其他邏輯上的修正可能會(huì)被嘗試,并且涉及“……是超可斷言的”的相關(guān)推理原則也可能會(huì)被探索,但是這些困境(至少目前)已經(jīng)表明,有更多的理由懷疑“超可斷言性”能夠成為反實(shí)在論的適當(dāng)真理候選者。
注釋:
(1)該模式也被稱為可知性原則。
(2)主要指以邁克爾·達(dá)米特為代表的反實(shí)在論者。
(3)賴特通過(guò)(A)來(lái)構(gòu)建“斷言概念”和“‘真概念”之間的聯(lián)系。
(4)或滿足(A)的其他代名詞(ES)或(DS)。
(5)限于篇幅,本文不對(duì)賴特的“多元主義”真理論進(jìn)一步拓展。
(6)(CTN)的證明過(guò)程:根據(jù)(SN),將“~P”代入(DS)中的“P”,得:“~P”為真?圮~P。再根據(jù)(DS)的逆否命題,得:~P?圮~(“P”為真)。最后根據(jù)等值規(guī)則,(CTN)得證。
(7)這里并不主張賴特論點(diǎn)的合理性,旨在說(shuō)明他提出“超可斷言性的”的理由。
(8)普特南提出的等值模式是:(PE)“P”為真 ?圮“P”在理想的認(rèn)知條件下是有保證可斷言的。
(9)為了證明該條件句,假設(shè)P。根據(jù)(L)得:P是可知的。根據(jù)(K)和MP規(guī)則得:P是超可斷言的。最后,解除假設(shè)P,得:P→ P是超可斷言的。
(10)為了證明該條件句,假設(shè)~(P是超可斷言的)。根據(jù)(K)和MP規(guī)則得:~(P是可知的)。再根據(jù)(L)得:~P。將~P代入(L),則有:~P是可知的。將~P代入(K),再根據(jù)MP規(guī)則,得:~P是超可斷言的。最后,解除假設(shè),(Lemma)得證。
(11)根據(jù)賴特的構(gòu)造:(CTNS)“~P”是超可斷言的 ?圮 ~(“P”是超可斷言的)。
(12)因?yàn)殡p重否定消去規(guī)則在直覺(jué)主義邏輯中失效。
(13)參見Williamson T.Intuitionism Disproved?[J].Analysis,1982:203-207。
(14)例子來(lái)自:Keith Lehrer? & Thomas D. Paxson, Jr.Knowledge:Undefeated Justified True Belief[M]// George S.Pappas and Marshall Swain,eds.Essays on Knowledge and Justification. Ithaca:Cornell University Press,1978:146-154。
參考文獻(xiàn):
[1]Crispin Wright. Truth and Objectivity[M]. Cambridge:Harvard University Press,1992.
[2]Jonathan L. Kavanvig. Truth and Superassertibility[J].Philosophical Studies:An International Journal for Philosophy in the Analytic Tradition,1991,93(1):1-19.
[3]Crispin Wright. Realism Meaning and Truth[M].Oxford:Blackwell,1986.
[4]Deborah C. Smith. Superassertibility and the Equivalence Schema:A Dilemma for Wrights Antirealist.[J].Synthese,2007,157(1):129-139.
[5]Michael Dummett. Victors Error[J]. Analysis,2001,(1):1-2.
[6]Jonathan L. Kavanvig. The Knowability Paradox[M].Oxford:Oxford University Press,2006.
[7]王晶.Fitch-悖論的達(dá)米特解決方案研究[J].湖北大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版),2019,46(1):52-59.
[8]Hilary Putnam. Reason,Truth and History[M].New York:Cambridge University Press,1981.
[9]普特南.理性、真理與歷史[M].童世駿,李光程,譯.上海:上海譯文出版社,1997.
(責(zé)任編輯 吳 勇)