国产日韩欧美一区二区三区三州_亚洲少妇熟女av_久久久久亚洲av国产精品_波多野结衣网站一区二区_亚洲欧美色片在线91_国产亚洲精品精品国产优播av_日本一区二区三区波多野结衣 _久久国产av不卡

?

對(duì)蒯因真理觀的批判性考察*

2016-02-01 18:23:45陳波
外國(guó)哲學(xué) 2016年0期
關(guān)鍵詞:謂詞語(yǔ)句邏輯

陳波

分析哲學(xué)研究

對(duì)蒯因真理觀的批判性考察*

陳波**

本文對(duì)蒯因的真理觀做了批判性考察,由三節(jié)組成。第一節(jié)討論蒯因關(guān)于“真”和“真理”究竟說(shuō)了些什么,將其真理觀概括為8個(gè)論題。第二節(jié)揭示蒯因真理觀中的內(nèi)在緊張,例如,塔斯基關(guān)于真的遞歸定義與蒯因關(guān)于意義和知識(shí)的整體論是否相容?蒯因是否同時(shí)堅(jiān)持實(shí)在論的真理觀和認(rèn)知的真理觀?在觀察語(yǔ)句的主體間性和科學(xué)的客觀性之間是否存在間隙?第三節(jié)論證關(guān)于真的去引號(hào)說(shuō)明是不充分的,因?yàn)橐粋€(gè)合格的真理論至少必須回答如下問(wèn)題:真理是否需要一個(gè)實(shí)在論基礎(chǔ)?語(yǔ)言如何與世界相關(guān)聯(lián)?人類心靈如何把握真理?為什么融貫在真信念之網(wǎng)中顯得很重要?等等。

真 去引號(hào) 符合 融貫 實(shí)在 設(shè)定

傅偉勛曾提出“創(chuàng)造的詮釋學(xué)”,主張?jiān)谘芯磕澄凰枷爰业膶W(xué)說(shuō)時(shí),要依次考慮如下5個(gè)步驟或?qū)用妫海?)“實(shí)謂”:原作者實(shí)際上說(shuō)了什么?(2)“意謂”:原作者真正意謂什么?(3)“蘊(yùn)謂”:原作者可能說(shuō)什么?(4)“當(dāng)謂”:原作者本來(lái)應(yīng)該說(shuō)什么?(5)“創(chuàng)謂”:作為創(chuàng)造的詮釋家,我應(yīng)該說(shuō)什么?①Fu, C. W-H. ,“Creative Hermeneutics: A Taoist Metaphysics and Heidegger”, Journal of Chinese Philosophy 3 (2), 1976, pp.117-119.在本文中,我將遵循這種方法,對(duì)蒯因的真理觀做批判性審視。本文由三節(jié)構(gòu)成。第一節(jié)討論蒯因關(guān)于“真”或“真理”究竟說(shuō)了些什么,將其真理觀概括為8個(gè)論題。第二節(jié)揭示蒯因真理觀的某些內(nèi)在緊張,例如,在塔斯基的遞歸式真定義與蒯因關(guān)于意義和真理的整體主義之間,以及在蒯因關(guān)于真理的實(shí)在論說(shuō)明和認(rèn)知說(shuō)明之間的緊張,以及在觀察句的主體間性和科學(xué)的客觀性之間的間隙。第三節(jié)論證如下斷言:關(guān)于真的去引號(hào)說(shuō)明是不充分的,因?yàn)橐粋€(gè)合格的真理論不得不考慮如下問(wèn)題:真理是否需要一個(gè)實(shí)在論基礎(chǔ)?語(yǔ)言如何與世界相關(guān)聯(lián)?人類心智如何把握真理?融貫為什么在真信念之網(wǎng)中是重要的?等等。

一、蒯因關(guān)于“真”和“真理”究竟說(shuō)了些什么?

1990年,蒯因出版了《真之追求》一書。可以說(shuō),“真之追求”是他的全部哲學(xué)研究的出發(fā)點(diǎn)。從早年到晚年,他從未停止過(guò)對(duì)“真”和“真理”的思考:真謂詞的作用是什么?在我們說(shuō)一個(gè)語(yǔ)句為真的時(shí)候,我們的意思是什么?真是內(nèi)在于語(yǔ)言或理論還是超越于它們之上?是否存在關(guān)于世界的既真又不相容的理論?如果有,如何從中選擇出最好的?什么是邏輯真理和數(shù)學(xué)真理?等等。通過(guò)仔細(xì)研讀他的論文和著作,我把蒯因的真理觀概括為如下8個(gè)論題。

論題1:恒久句是真值承擔(dān)者

什么是真值承擔(dān)者?對(duì)這個(gè)問(wèn)題有不同的回答。不同的學(xué)者分別把“真”歸屬于觀念、信念、思想、語(yǔ)句、陳述、命題、判斷,甚至歸屬于一個(gè)特定說(shuō)話者在特定情境下的話語(yǔ)。不同的歸屬導(dǎo)致不同的本體論和認(rèn)識(shí)論的后果。

蒯因考慮了真值承擔(dān)者的四個(gè)選項(xiàng):話語(yǔ)(utterance)、命題、陳述和語(yǔ)句。他曾先把“真”看作適用于特定的說(shuō)話者在特定情景下的話語(yǔ):“最好不把語(yǔ)句而把話語(yǔ)事件看作最初為真或?yàn)榧俚臇|西?!雹賅. V. Quine, Philosophy of Logic, Prentice Hall, 1970, p.13.但一個(gè)話語(yǔ)的真對(duì)于語(yǔ)境因素過(guò)于敏感,這些因素—如誰(shuí)、何時(shí)、何地以及如何—是不穩(wěn)定的,所以最好不把話語(yǔ)看作真值承擔(dān)者。他曾經(jīng)把陳述看作真值承擔(dān)者,但后來(lái)放棄了,因?yàn)橄駣W斯汀這樣的牛津哲學(xué)家用“陳述”指謂某種言語(yǔ)行為。他強(qiáng)烈抵制“命題”概念,因?yàn)樗衙}看作某種內(nèi)涵實(shí)體,缺少個(gè)體化標(biāo)準(zhǔn)。蒯因進(jìn)而斷言:“最好不把命題而把語(yǔ)句標(biāo)記或者恒久句看作為真為假的東西。”②Ibid., p.14.對(duì)他來(lái)說(shuō),恒久句是語(yǔ)句類型—“可重復(fù)的語(yǔ)言形式”或“聲音模式”,例如“1969年7月15日馬薩塞諸塞州的波士頓下雨”,其中所有的索引因素(代詞、時(shí)態(tài)等)以及含混性和模糊性都被消除掉了。

論題2:塔斯基的真定義是普遍適用的

塔斯基使用作為對(duì)象語(yǔ)言的類演算加上形式化了的元語(yǔ)言來(lái)表述他的實(shí)質(zhì)上充分且形式上正確的真定義。③參見(jiàn)A. Tarski, Logic, Semantics, Metamathematics, 2nd edition, ed., by J. Corcoran, Hackett Publishing Company, 1983, pp.152-278。通過(guò)這種定義,他想把握住亞里士多德關(guān)于“真”和“真理”的直覺(jué):“說(shuō)是者為非,或說(shuō)非者為是,這是假的;說(shuō)是者為是,或說(shuō)非者為非,這是真的?!雹軄喞锸慷嗟?,《形而上學(xué)》(英文版),tr., by W. D. Ross,中央編譯出版社2012年版,第85頁(yè)。

蒯因是塔斯基的朋友和傾慕者。他毫無(wú)保留地接受了塔斯基的真定義,并按照自己的方式對(duì)其做了重新表述。⑤參見(jiàn)W. V. Quine, op. cit., pp.40-43;W. V. Quine, Pursuit of Truth, Harvard University Press,1990,pp.84-86。

首先,他定義了帶有初始符號(hào)的一階語(yǔ)言L,包括變?cè)獂、y、z,謂詞符號(hào)F、G、R,聯(lián)結(jié)詞┐和∧,量詞?。其他邏輯算子∨、→、→和?如常定義。

其次,他利用對(duì)象的無(wú)窮序列去定義對(duì)象語(yǔ)言的任意開公式的“滿足”。

令“X”和“Y”是對(duì)象的任意無(wú)窮序列。令“F”是一個(gè)一元謂詞,“G”是一個(gè)二元謂詞,“A”和“B”是L的任意兩個(gè)不同的開公式。令“var(i)”是L的第 i 個(gè)變?cè)癤i”是任意序列X中的第 i 個(gè)對(duì)象。于是,任意開公式的滿足可遞歸定義如下:

(1)任給i、X和一元謂詞F,X滿足跟隨var (i)的“F”,當(dāng)且僅當(dāng),F(xiàn)Xi。

(2)任給i、j、X和二元謂詞G,X滿足跟隨var (i)和var(j)的“G”,當(dāng)且僅當(dāng),GXiXj。

(3)任給i、j、X和n元謂詞(n≥3),相關(guān)語(yǔ)句的滿足可通過(guò)類似方式去定義。

(4)任給X和A,X滿足┐A,當(dāng)且僅當(dāng),X不滿足A。

(5)任給X、A和B,X滿足A∧B,當(dāng)且僅當(dāng),X滿足A并且X滿足B。

(6)任給X、A和i,X滿足A相對(duì)于var (i)的存在量化,當(dāng)且僅當(dāng),A被某個(gè)序列X′滿足,使得任給j ≠ i,Xj =X′j。

最后,蒯因把任意閉語(yǔ)句的真看作帶有0個(gè)自由變?cè)拈_語(yǔ)句的特例,按如下方式定義:

L的任意閉語(yǔ)句是真的,當(dāng)且僅當(dāng),它被所有的對(duì)象序列所滿足。

他表明,這個(gè)真定義滿足塔斯基提出的實(shí)質(zhì)上充分和形式上正確的條件。它是實(shí)質(zhì)上充分的,因?yàn)樗梢酝瞥鎏囟═模式的所有邏輯后承:

T模式: x相對(duì)于L是真的,當(dāng)且僅當(dāng)p。

這里,p是L任意語(yǔ)句在其元語(yǔ)言中的翻譯,x是這個(gè)語(yǔ)句在元語(yǔ)言中的命名或結(jié)構(gòu)描述。例如,我們可以從那個(gè)真定義推出如下等價(jià)式:

“約翰是一位教授”是真的,當(dāng)且僅當(dāng)約翰是一位教授。

“草是綠色的”是真的,當(dāng)且僅當(dāng)草是綠色的。

該定義形式上正確,因?yàn)檎姹欢x在對(duì)象語(yǔ)言、元語(yǔ)言、元元語(yǔ)言等等的分層體系中,所以從那個(gè)真定義推不出像說(shuō)謊者悖論和格雷林悖論這樣的語(yǔ)義悖論。“像所有的指稱一樣,真必須退回到(語(yǔ)言的)的分層體系。在每一個(gè)層級(jí)上,真僅僅是0元謂詞或語(yǔ)句的指稱?!雹賅. V. Quine, From Stimulus to Science, Harvard University Press, 1995, p.66.

實(shí)際上,蒯因在一階語(yǔ)言即他的“標(biāo)準(zhǔn)記法”中重新表述了他的真定義。他如何保證這個(gè)定義是普遍適用的?答案或許可以在他的如下論述中找到:“科學(xué)語(yǔ)言的基本結(jié)構(gòu)已經(jīng)在熟悉的形式中被獨(dú)立出來(lái)并且被模式化。這就是謂詞演算:量化和真值函項(xiàng)的邏輯?!雹赪. V. Quine, Confessions of a Con fi rmed Extensionalist and Other Essays, eds., by Dag fi nn F?llesdal and Douglas B. Quine, Harvard University Press, 2008, p.277.“于是,我們所面對(duì)的世界系統(tǒng)的模式,就是被當(dāng)今邏輯學(xué)家很好理解的那種結(jié)構(gòu),即量化邏輯或謂詞演算?!雹踂. V. Quine, Word and Object, The MIT Press, 1960, p.228.

蒯因還表明了如何在肖芬克爾的組合子邏輯中以及他自己的謂詞函子邏輯中定義真,并且把這兩種新定義與塔斯基的定義做了比較對(duì)照。④W. V. Quine, Selected Logic Papers, 2nd revised and enlarged edition, Harvard University Press, 1995,pp.141-145, 174; The Ways of Paradoxand Other Essays, 2nd revised and enlarged edition, Harvard University Press, 1995, pp.308-321.

論題3:真是去引號(hào)

蒯因從塔斯基的T模式和真定義中引出一個(gè)重要教訓(xùn):“把真歸屬于語(yǔ)句(例如雪是白的)就是把白歸屬于雪。把真歸屬于‘雪是白的’僅僅取消了引號(hào)并且說(shuō)雪是白的。真是去引號(hào)?!雹軼. V. Quine, Quiddities: An Intermittently Philosophical Dictionary, Harvard University Press, 1987,p.213.“把真歸屬于一個(gè)陳述等同于這個(gè)陳述本身?!雹轜. V. Quine, Quintessence-Basic Readings from the Philosophy of W. V. Quine, ed., by Roger Gibson,Harvard University Press, 2004, p.214.他的這一觀點(diǎn)被叫作“去引號(hào)主義”(disquotationalism)。他幾乎在其一生中都堅(jiān)持這個(gè)觀點(diǎn)。在《從邏輯的觀點(diǎn)看》(1953)中,蒯因說(shuō):“對(duì)我們來(lái)說(shuō),把真……歸屬于‘雪是白的’……就像把白歸屬于雪一樣清楚。”①W. V. Quine, From a Logical Point of View, 2nd edition, revised, Harper & Row, 1961, p.138.在《語(yǔ)詞和對(duì)象》(1960)中,他宣稱,說(shuō)“布魯特斯殺死愷撒”這個(gè)陳述是真的,或說(shuō)“鈉的原子重量是23”是真的,實(shí)際上等于說(shuō)布魯特斯殺死愷撒,或者說(shuō)鈉的原子重量是23。②參見(jiàn)W. V. Quine, Word and Object, p.24。在《邏輯哲學(xué)》(1970)中,他按照如下方式討論塔斯基的范式—“雪是白的”是真的,當(dāng)且僅當(dāng)雪是白的:“引號(hào)做出了在談?wù)撜Z(yǔ)詞與談?wù)撗┲g的所有區(qū)分。該引文是一個(gè)語(yǔ)句的名稱,該語(yǔ)句包含了雪的名稱即‘雪’。通過(guò)把這個(gè)語(yǔ)句稱為真的,我們把雪稱為白的。真謂詞是去引號(hào)的工具。我們可以只通過(guò)說(shuō)出單個(gè)語(yǔ)句來(lái)肯定該語(yǔ)句,無(wú)需引號(hào)或真謂詞的幫助?!雹踂. V. Quine, Philosophy of Logic, p.12.

然而,在某些情形中,引號(hào)是不易消除的,真謂詞甚至是不可或缺的。舉例來(lái)說(shuō),“真”有時(shí)被用于一個(gè)尚未被某人說(shuō)出而以某種別的方式提到的語(yǔ)句,如“約翰將要說(shuō)出的下一句話是真的”,或者“約翰將要說(shuō)出的每句話都是真的”。這些可以被看作是對(duì)尚未說(shuō)出的語(yǔ)句之真的“盲目的”或“空虛的”斷定。它們或許表明,說(shuō)話者信任相關(guān)人士將要說(shuō)出的這些語(yǔ)句。蒯因很少討論關(guān)于真的“盲目的”或“空虛的”用法,更喜歡討論一般情形。當(dāng)我們說(shuō)“湯姆是有死的”和“約翰是有死的”,我們可以將其概括為“所有人都是有死的”。但是,當(dāng)我們說(shuō)“天在下雨或不在下雨”,我們不能做出像“所有人都是有死的”那樣的概括,因?yàn)椤疤煸谙掠辍辈幌瘛皽贰被颉凹s翰”那樣是可對(duì)其做概括的論域(人)中的對(duì)象的名稱。我們只能通過(guò)上升一個(gè)層次,在該層次上確實(shí)有可對(duì)其做概括的對(duì)象即語(yǔ)句,才能說(shuō)“所有形如‘p或非p’的語(yǔ)句是真的”。類似的情形還有:“羅伯特說(shuō)的所有語(yǔ)句都是真的”,“真命題的所有邏輯后承都是真的”。這就是蒯因所謂的“語(yǔ)義上溯”。如果羅伯特所說(shuō)的語(yǔ)句在數(shù)量上是有窮的,我們就可以逐一列出他所說(shuō)的每個(gè)語(yǔ)句。于是,“羅伯特說(shuō)的所有語(yǔ)句都是真的”可以被劃歸為像“Sr1是真的∧Sr2是真的∧…∧Srn是真的”這樣的有窮長(zhǎng)合取式。因此,真謂詞仍然被看作是去引號(hào)。然而,形如“p或非p”的語(yǔ)句以及真命題的所有邏輯后承在數(shù)量上是無(wú)窮的,相關(guān)語(yǔ)句的真謂詞是不可消除的。

蒯因補(bǔ)充說(shuō):“真的去引號(hào)說(shuō)明沒(méi)有定義真謂詞—在‘定義’的嚴(yán)格意義上,因?yàn)閲?yán)格意義上的定義告訴我們?nèi)绾螐乃蟮恼Z(yǔ)境中消除被定義表達(dá)式而使用先前建立的記號(hào)。但是,在更寬泛的意義上,去引號(hào)說(shuō)明確實(shí)定義了真。它告訴我們?nèi)我徽Z(yǔ)句為真是怎么回事,在這樣做時(shí)所用的術(shù)語(yǔ)對(duì)我們來(lái)說(shuō)就像所談?wù)摰哪莻€(gè)語(yǔ)句本身一樣清晰。我們清楚地理解雪成為白的是怎么回事,我們也同樣清楚地理解‘雪是白的’這個(gè)語(yǔ)句為真是怎么回事……‘真’是透明的?!雹賅. V. Quine, Pursuit of Truth, pp.81-82.

論題4:去引號(hào)主義是符合論的殘余

蒯因不同意符合論,后者主張:一個(gè)語(yǔ)句通過(guò)與實(shí)在相符合(特別是與一個(gè)事實(shí)相符合)而有資格為真。他至少給出了如下三個(gè)理由:

(1)如果我們?cè)谡Z(yǔ)句中一個(gè)語(yǔ)詞接著一個(gè)語(yǔ)詞地尋找符合,就會(huì)發(fā)現(xiàn):為了符合的目的,我們不得不讓實(shí)在充滿了各種臆造的抽象對(duì)象。例如,復(fù)合語(yǔ)句含有像“并非”、“并且”、“或者”、“如果,那么”以及“所有”這些邏輯詞。它們與世界中的什么東西相符合或?qū)?yīng)呢?羅素和維特根斯坦都曾認(rèn)真地思考和討論過(guò)這些問(wèn)題,只不過(guò)維特根斯坦得出了否定的結(jié)論:邏輯常項(xiàng)不代表什么,沒(méi)有邏輯對(duì)象。②維特根斯坦:《邏輯哲學(xué)論》,賀紹甲譯,商務(wù)印書館2015年版,第45、58、70頁(yè)。

(2)或許我們可以讓整個(gè)語(yǔ)句符合于事實(shí):一個(gè)語(yǔ)句是真的,如果它報(bào)告了一個(gè)事實(shí)。但問(wèn)題在于,事實(shí)是為了符合的目的而由真語(yǔ)句投射出去的。也就是說(shuō),首先我們得到一個(gè)語(yǔ)句;為了說(shuō)明這個(gè)語(yǔ)句的真,我們?cè)O(shè)定與這個(gè)語(yǔ)句相對(duì)應(yīng)的事實(shí)。在這樣做時(shí),我們實(shí)際上把語(yǔ)句及其結(jié)構(gòu)移植到世界中。但是,這一策略會(huì)帶來(lái)嚴(yán)重的問(wèn)題。例如,根據(jù)符合論,“詹姆斯說(shuō)話”這個(gè)語(yǔ)句符合“詹姆斯說(shuō)話”這一事實(shí)。然而,當(dāng)詹姆斯說(shuō)話時(shí),他的舌頭在動(dòng),他穿著衣服,他是他國(guó)家的公民,他位于地球的某個(gè)地方,并且他處于宇宙空間中……所有這些情形都包括在“詹姆斯說(shuō)話”這個(gè)事實(shí)中嗎?一個(gè)“事實(shí)”的邊界在哪里?我們?nèi)绾伟选笆聦?shí)”個(gè)體化?個(gè)體化問(wèn)題牽涉到我們能否在事實(shí)之間建立區(qū)分:這個(gè)事實(shí),那個(gè)事實(shí);我們能否對(duì)事實(shí)進(jìn)行重新確認(rèn):同一個(gè)事實(shí),不同的事實(shí);我們能否對(duì)事實(shí)進(jìn)行計(jì)數(shù):一個(gè)事實(shí),兩個(gè)事實(shí),三個(gè)事實(shí)……

(3)設(shè)定事實(shí)對(duì)于真語(yǔ)句沒(méi)有任何解釋力。有人告訴我們,“鳥會(huì)飛”為真是由于鳥會(huì)飛這一事實(shí),“鳥會(huì)飛”這個(gè)真語(yǔ)句符合于鳥會(huì)飛這個(gè)事實(shí),“鳥會(huì)飛”這個(gè)語(yǔ)句是真的,當(dāng)且僅當(dāng)鳥會(huì)飛是一個(gè)事實(shí)。稍微思考一下就會(huì)發(fā)現(xiàn):“這是一個(gè)事實(shí)”這個(gè)說(shuō)法是空洞的和循環(huán)的,因?yàn)槭聦?shí)是通過(guò)真來(lái)定義的,反之亦然,所以它應(yīng)被放棄。于是,“鳥會(huì)飛是一個(gè)事實(shí)”被簡(jiǎn)縮為“鳥會(huì)飛”。我們根據(jù)鳥會(huì)飛這一事實(shí)說(shuō)明“鳥會(huì)飛”為真,現(xiàn)在變成:“鳥會(huì)飛”是真的,當(dāng)且僅當(dāng)鳥會(huì)飛。在這個(gè)意義上說(shuō),真就是去引號(hào)。

不過(guò),蒯因仍然承認(rèn),符合論含有合理因素,因?yàn)樗鼜?qiáng)調(diào)語(yǔ)句的真假取決于非語(yǔ)言的實(shí)在以及在世界中發(fā)生的事情?!罢嬷^詞在某種程度上用來(lái)通過(guò)語(yǔ)句指向?qū)嵲?;它用作提醒物:雖然提及語(yǔ)句,但實(shí)在仍然是要點(diǎn)所在。”①W. V. Quine, Philosophy of Logic, p.97.“正如符合論已經(jīng)暗示的,真謂詞是詞語(yǔ)和世界之間的中介。真的東西是語(yǔ)句,但該語(yǔ)句的真就在于世界恰如它所說(shuō)的那樣?!雹赪. V. Quine, Pursuit of Truth, p.81.他進(jìn)而說(shuō)明,這一點(diǎn)在塔斯基的 T 模式中是顯然的:“雪是白的”是真的,當(dāng)且僅當(dāng)雪是白的。把真歸屬于語(yǔ)句就是把白歸屬于雪,這就是符合。如果斷定“所有形如‘如果p則p’的語(yǔ)句都是真的”或者“任何語(yǔ)句及其否定的析取都是真的”這樣的全稱式,那么,我們直接談?wù)摰氖钦Z(yǔ)句而非世界。于是,我們需要真謂詞恢復(fù)對(duì)象化指稱的作用。這個(gè)謂詞表明,我們通過(guò)談?wù)撜Z(yǔ)句間接地談?wù)搶?shí)在。這沒(méi)有把它所謂述的語(yǔ)句與該語(yǔ)句所談?wù)摰耐庠趯?duì)象分隔起來(lái)。它在提醒,雖然在技術(shù)上上升到談?wù)撜Z(yǔ)句,但我們的眼睛卻仍然關(guān)注著世界。

據(jù)我的理解,蒯因雖然支持去引號(hào)主義,在表面上也批判符合論,但他對(duì)符合論抱持同情的理解。他明確斷定,去引號(hào)主義“是真理符合論的重要?dú)堄?。把真歸屬于語(yǔ)句就是把白歸屬于雪。把真歸屬于‘雪是白的’僅是去引號(hào)并且說(shuō)雪是白的”?!拔覀兛吹椒险撏嘶癁槿ヒ?hào)。”①W. V. Quine, Quiddities: An Intermittently Philosophical Dictionary, pp.213-214.著重號(hào)為引者所加。可以這樣說(shuō),蒯因的去引號(hào)主義實(shí)際上是符合論的某種變體。

論題5:真是內(nèi)在的

自然主義是蒯因哲學(xué)的最重要特征。對(duì)他來(lái)說(shuō),沒(méi)有“第一哲學(xué)”,沒(méi)有超越科學(xué)之上的視角可以俯瞰科學(xué),沒(méi)有在自然科學(xué)運(yùn)作標(biāo)準(zhǔn)之上或之外的知識(shí)標(biāo)準(zhǔn)。相反,“實(shí)在只有在科學(xué)自身中而非在某種先在的哲學(xué)中才能被識(shí)別和描述”②W. V. Quine, Theories and Things, Harvard University Press, 1981, p.21.。像事實(shí)、指稱、真這些東西是內(nèi)在于我們關(guān)于世界的整個(gè)理論的。

在蒯因看來(lái),我們沒(méi)有知道實(shí)際存在之物的超驗(yàn)視角或上帝之眼;我們只有根據(jù)我們關(guān)于世界的最好理論才能知道存在之物。在他那里,“科學(xué)”是一個(gè)概括性語(yǔ)詞,幾乎囊括所有東西,從常識(shí)經(jīng)過(guò)化學(xué)、物理學(xué)、心理學(xué)、社會(huì)學(xué)和歷史直到邏輯和數(shù)學(xué)。一方面,如果從我們的科學(xué)的角度看,所有東西都存在,無(wú)論是宏觀的太陽(yáng)、山川、植物和動(dòng)物,還是微觀的原子、分子和夸克。另一方面,所有這些對(duì)象都是我們的科學(xué)的設(shè)定物,在認(rèn)識(shí)論上它們與荷馬諸神類似。他認(rèn)為:“把設(shè)定稱為設(shè)定并非是屈尊俯就。設(shè)定是不可避免的,除非以其他更人為的權(quán)宜之計(jì)為代價(jià)。我們承認(rèn)其存在的任何東西從理論建構(gòu)過(guò)程的角度來(lái)看都是一種設(shè)定,同時(shí)從已被建構(gòu)的理論的角度來(lái)看都是實(shí)在的?!雹踂. V. Quine, Word and Object, p.22. 著重號(hào)為引者所加。

蒯因繼續(xù)論證說(shuō):既然語(yǔ)句描述的對(duì)象是內(nèi)在的,所以語(yǔ)句的真也是內(nèi)在的:“正是在我們回到至少當(dāng)前實(shí)際上假設(shè)承認(rèn)的理論中時(shí),我們可以并且確實(shí)合理地說(shuō)這個(gè)和那個(gè)語(yǔ)句為真。有意義地應(yīng)用‘真’的地方即是根據(jù)一個(gè)特定理論表述的或從這個(gè)理論內(nèi)部看待的語(yǔ)句,這個(gè)理論也包括其設(shè)定的實(shí)在?!雹賅. V. Quine, Word and Object, p.24.著重號(hào)為引者所加?!盁o(wú)論我們肯定什么,我們畢竟如我們現(xiàn)在看待它那樣將其肯定為在我們關(guān)于自然的整個(gè)理論內(nèi)的一個(gè)陳述;稱一個(gè)陳述為真只不過(guò)是重新肯定它……在任何事件中都沒(méi)有理論之外的真,沒(méi)有比我們宣稱或渴望的真更高程度的真,因?yàn)槲覀兂掷m(xù)地從內(nèi)部修補(bǔ)我們關(guān)于世界的系統(tǒng)。”②W. V. Quine, Confessions of a Con fi rmed Extensionalist and Other Essays, p.242.著重號(hào)為引者所加。

論題6:融貫必須是真理的固有要素

在蒯因看來(lái),我們關(guān)于世界的全部理論是由其經(jīng)驗(yàn)證據(jù)不充分決定的,它實(shí)際上是由兩部分構(gòu)成的:一是來(lái)自世界的線索,即我們?nèi)坷碚摰慕?jīng)驗(yàn)內(nèi)容;二是研究者的貢獻(xiàn),這“表示人的概念主權(quán)范圍,在這個(gè)范圍中他可以為了挽救數(shù)據(jù)而修正理論”③W. V. Quine, Word and Object, p.5.。因此,在評(píng)價(jià)假說(shuō)或理論時(shí),我們應(yīng)該不僅考慮它們與世界的關(guān)聯(lián),還要考慮其他因素,融貫就是這些因素之一。

蒯因提到了兩種相互對(duì)立的真理論,即融貫論和符合論。前者認(rèn)為,真理有資格成為真理,只是因?yàn)榘阉鼈內(nèi)w放在一起能夠成為一個(gè)邏輯上一致的系統(tǒng)。一旦如此坦率地表述,融貫論看起來(lái)是荒謬的,因?yàn)樗鼉H僅通過(guò)訴諸單個(gè)語(yǔ)句與我們知識(shí)系統(tǒng)中其他語(yǔ)句的一致而把真值(真或假)歸屬給這個(gè)語(yǔ)句,它沒(méi)有關(guān)于觀察和實(shí)驗(yàn)的明顯要求。不過(guò),蒯因承認(rèn)這兩種真理論都含有合理的因素:符合強(qiáng)調(diào)真語(yǔ)句與其所說(shuō)之物(如白雪)之間的關(guān)系,而融貫強(qiáng)調(diào)真語(yǔ)句與其他語(yǔ)句之間的關(guān)系。

首先,我們基于觀察,也就是說(shuō),基于我們直接接觸的世界,而把有些語(yǔ)句直接接受為真。其次,我們基于與觀察句的系統(tǒng)關(guān)聯(lián)而把其他語(yǔ)句看作真的。我們盡可能地找出與觀察記錄保持一致的最雅致的世界系統(tǒng),我們通過(guò)增加觀察而收縮這個(gè)系統(tǒng)。這是訴諸融貫的合理之處:真理必須相互融貫;與真語(yǔ)句相矛盾的語(yǔ)句必定是假的。根據(jù)蒯因的整體論,僅當(dāng)一些語(yǔ)句與網(wǎng)絡(luò)中的其他成員相融貫時(shí),才能把它們接納到我們的信念之網(wǎng)中。他的結(jié)論是:“真正說(shuō)來(lái),融貫和符合不是對(duì)立的真理論,而是兩個(gè)互補(bǔ)的側(cè)面。融貫這個(gè)側(cè)面通過(guò)我們的嚴(yán)格審視與如何達(dá)到真理有關(guān)。符合這個(gè)側(cè)面則與真理和它們所說(shuō)之物之間的關(guān)聯(lián)有關(guān)?!雹賅. V. Quine, Quiddities: An Intermittently Philosophical Dictionary, p.214.

論題7:假說(shuō)的評(píng)價(jià)同時(shí)受求真的考慮和實(shí)用的考慮所指導(dǎo)

因?yàn)槲覀兊睦碚撌潜唤?jīng)驗(yàn)證據(jù)不充分地決定的,可能存在關(guān)于相同主題的不同假說(shuō)。為了做出選擇而對(duì)它們進(jìn)行評(píng)價(jià),除了是否為真這個(gè)標(biāo)準(zhǔn)外,我們還必須考慮其他因素。蒯因列出了一個(gè)假說(shuō)的六個(gè)優(yōu)點(diǎn):保守性、溫和性、簡(jiǎn)單性、普遍性、可反駁性以及精確性。②參見(jiàn)W. V. Quine and J. S. Ullian, The Web of Belief, Random House, 1970, pp.66-80, 98-101。我偏向于把這六個(gè)優(yōu)點(diǎn)分成兩組:一組是關(guān)于求真的考慮,包括普遍性、可反駁性和精確性;另一組是關(guān)于實(shí)用的考慮,包括保守性和溫和性。簡(jiǎn)單性處于這兩組中間。

求真的考慮關(guān)注一個(gè)假說(shuō)的經(jīng)驗(yàn)內(nèi)容、該假說(shuō)與世界的關(guān)聯(lián)以及它的真。如蒯因所論證的,我們說(shuō)明當(dāng)前觀察的假說(shuō)越普遍,當(dāng)前的觀察碰巧符合這個(gè)假說(shuō)的機(jī)率就越小。如果有一些可想象和可觀察的事件證偽一個(gè)假說(shuō),這個(gè)假說(shuō)就是可反駁的。否則,一個(gè)不可反駁的假說(shuō)不會(huì)有關(guān)于世界的任何預(yù)測(cè),也不會(huì)被世界中的東西所確認(rèn)或所否證。如果一個(gè)基于假說(shuō)的預(yù)測(cè)由于不相干的原因恰好為真,這只是一個(gè)巧合。一個(gè)假說(shuō)越精確,給這種巧合留下的余地就越少。

實(shí)用的考慮關(guān)注選擇假說(shuō)的好處和代價(jià)。保守性意味著:在接受一個(gè)假說(shuō)時(shí),越少地拒絕所需要的在先信念,這個(gè)假說(shuō)越合理—在其他條件相同的情況下。溫和性意味著:如果一個(gè)假說(shuō)在邏輯上被另一個(gè)假說(shuō)蘊(yùn)涵而不蘊(yùn)涵另一個(gè)假說(shuō),或者,如果一個(gè)假說(shuō)所假定發(fā)生的事件與另一個(gè)假說(shuō)所假定發(fā)生的事件相比屬于更為平常和熟悉的種類,因此也更值得期待,那么,前一個(gè)假說(shuō)就比后一個(gè)假說(shuō)更溫和。這兩者告訴我們?cè)诎l(fā)現(xiàn)與一個(gè)假說(shuō)相反的證據(jù)時(shí)如何修正該假說(shuō):我們盡可能遵循最小損傷原則,盡量保持與先前接受的信念相一致,對(duì)我們的信念之網(wǎng)做出最少或最必要的修改。

簡(jiǎn)單性處于上面兩組考慮之間。蒯因指出:“……就理論與觀察語(yǔ)句保持聯(lián)系而言,在與觀察語(yǔ)句相符的理論中,簡(jiǎn)單性是我們可以要求的關(guān)于真理的最好證據(jù)。”①W. V. Quine, Word and Object, p.250. 著重號(hào)為引者所加。為什么?首先是因?yàn)槭澜缂捌浣Y(jié)構(gòu)在本體論上是簡(jiǎn)單的,其次是因?yàn)楹?jiǎn)單性對(duì)于人類來(lái)說(shuō)具有認(rèn)知的甚至是生存的價(jià)值,它能夠幫助人類從過(guò)去和當(dāng)下的經(jīng)驗(yàn)做出關(guān)于未來(lái)的正確預(yù)測(cè)。這些屬于簡(jiǎn)單性的求真方面。與此同時(shí),簡(jiǎn)單性意味著經(jīng)濟(jì)和美,有時(shí)甚至還意味著寬度、深度和效率。這些屬于簡(jiǎn)單性的實(shí)用方面。

論題8:存在經(jīng)驗(yàn)上等價(jià)但邏輯上不相容的關(guān)于世界的理論

蒯因論證了經(jīng)驗(yàn)證據(jù)對(duì)理論的不充分決定性,后者是說(shuō)“任給一個(gè)理論表述,都有另一個(gè)與之經(jīng)驗(yàn)上等價(jià)但邏輯上不相容的理論表述,不能通過(guò)謂詞的重新解釋使前者與后者邏輯上等價(jià)”②W. V. Quine, Confessions of a Con fi rmed Extensionalist and Other Essays, p.237.。在他看來(lái),兩個(gè)理論在經(jīng)驗(yàn)上等價(jià),當(dāng)且僅當(dāng)它們具有相同的經(jīng)驗(yàn)內(nèi)容,也就是說(shuō),它們蘊(yùn)涵相同的觀察斷言語(yǔ)句集,以相同的方式被經(jīng)驗(yàn)證據(jù)所證實(shí)或證偽。如果兩個(gè)理論在邏輯上不相容,那么,我們至少可以找到一對(duì)語(yǔ)句p和┐p,一個(gè)理論包含p,另一個(gè)理論包含┐p。舉例來(lái)說(shuō),如果一個(gè)理論包含語(yǔ)句“分子的質(zhì)量大于電子”,另一個(gè)理論包含語(yǔ)句“分子的質(zhì)量不大于電子”,顯然,這兩個(gè)理論就是邏輯上不相容的。

我們要問(wèn):經(jīng)驗(yàn)上等價(jià)但邏輯上不相容的理論如何可能呢?蒯因論證說(shuō),兩個(gè)理論可以蘊(yùn)涵相同的觀察斷言語(yǔ)句集,所以它們?cè)诮?jīng)驗(yàn)上是等價(jià)的。但是,它們也可以包含一些邏輯上不相容但完全理論性的、與經(jīng)驗(yàn)內(nèi)容無(wú)關(guān)的詞項(xiàng),所以我們不能說(shuō)出它們?cè)谖覀兘?jīng)驗(yàn)上的區(qū)別。他給出了一些例子。平凡的例子是,兩個(gè)理論唯一的區(qū)別是調(diào)換“電子”和“分子”③參見(jiàn)ibid.。。更為實(shí)質(zhì)性的例子是,應(yīng)用于球體表面的黎曼幾何與歐幾里得幾何。前者說(shuō)直線總是相交,后者說(shuō)有些相交有些不相交,特別是在球體上根本就沒(méi)有任何直線。④參見(jiàn)W. V. Quine, Pursuit of Truth, p.96。

蒯因指出,對(duì)于那些邏輯上不相容但經(jīng)驗(yàn)上仍然等價(jià)的理論,我們可以有兩種態(tài)度:局部的和全局的。根據(jù)局部的觀點(diǎn),一個(gè)人在特定時(shí)間持有一個(gè)理論,對(duì)此時(shí)的他來(lái)說(shuō),他正在使用的理論就是真的,其他理論則是假的。如果他轉(zhuǎn)到另一個(gè)理論中,那么后一個(gè)理論成為真的,而先前接受的理論成為假的。這種觀點(diǎn)通過(guò)蒯因的論斷“真是內(nèi)在的”而得到證成。根據(jù)全局的觀點(diǎn),因?yàn)閮蓚€(gè)理論在經(jīng)驗(yàn)上等價(jià),“我們作為堅(jiān)定的經(jīng)驗(yàn)主義者應(yīng)該把這兩個(gè)理論都看作是真的”①W. V. Quine, Pursuit of Truth, p.98.,即使它們?cè)谶壿嬌鲜遣幌嗳莸?。更精確地說(shuō),兩個(gè)經(jīng)驗(yàn)上等價(jià)但邏輯上不相容的理論都可以是真的或假的。蒯因自己說(shuō),“近些年來(lái),我在這兩種選擇之間搖擺不定”②Ibid., p.100.。

許多學(xué)者對(duì)邏輯上不相容但經(jīng)驗(yàn)上等價(jià)的理論的可能性提出嚴(yán)重質(zhì)疑。例如,通過(guò)分析幾個(gè)例子,希爾頓斷言:“由于有趣的原因邏輯上不相容的觀念原來(lái)是個(gè)障眼法?!雹跴. Hylton, Quine, New York and London: Routledge, 2007, p.191.博格斯特姆宣稱:“我認(rèn)為蒯因應(yīng)該拒絕不相容但經(jīng)驗(yàn)上等價(jià)理論的可能性?!雹躄. Bergstrom, “Quine's Truth”, Inquiry 37(4), 1994, p.433.甚至蒯因本人也認(rèn)為這種可能性不應(yīng)被認(rèn)真看待,因?yàn)槲覀優(yōu)榱吮苊獠幌嗳菘偸强梢灾匦陆忉屧~項(xiàng),例如他說(shuō),在黎曼幾何和歐幾里得幾何中,“沖突通過(guò)把黎曼術(shù)語(yǔ)中的‘直線’重新解釋為‘大圓圈’而得到消解”⑤W. V. Quine, op. cit., p.97.。

我也認(rèn)為,至少就蒯因哲學(xué)而言,經(jīng)驗(yàn)上等價(jià)理論的不相容性僅是表面的而非實(shí)在的。首先,蒯因強(qiáng)調(diào),在自然化認(rèn)識(shí)論中,“經(jīng)驗(yàn)論的兩個(gè)主要原則仍然是攻不破的,而且迄今仍然如此。一個(gè)原則是,任何科學(xué)的證據(jù)都是感官證據(jù)。另一個(gè)原則是……關(guān)于語(yǔ)詞意義的所有傳授最終都必須依賴于感官證據(jù)?!钡诙€(gè)原則的基礎(chǔ)來(lái)自皮爾士:“一個(gè)陳述的真正意義在于它為真對(duì)于可能經(jīng)驗(yàn)所造成的差異?!雹轜. V. Quine, Ontological Relativity and Other Essays, Columbia University Press, 1969, p.75, 78.著重號(hào)為引者所加。根據(jù)這一觀點(diǎn),如果兩個(gè)理論所包含的那些理論詞項(xiàng)以及相關(guān)語(yǔ)句對(duì)于可能經(jīng)驗(yàn)不造成差異,我們就可以說(shuō),它們沒(méi)有經(jīng)驗(yàn)意義,甚至是無(wú)意義的。即使它們有不同意義,我們也無(wú)法識(shí)別出這種差別。我們可以完全忽略這些邏輯上不相容的詞項(xiàng)和語(yǔ)句,或者我們可以通過(guò)重新解釋來(lái)避免表面上的不相容。其次,蒯因在討論本體論還原時(shí)說(shuō),憑借代理函數(shù),我們可以把一個(gè)理論的本體論還原為另一個(gè)理論的本體論;只要本體論的改變沒(méi)有在理論的經(jīng)驗(yàn)蘊(yùn)涵上造成差別,我們就可以自由地進(jìn)行這種還原。在這種意義上,本體論是無(wú)關(guān)緊要的。為什么我們不能用這種觀點(diǎn)看待那些邏輯上不相容但經(jīng)驗(yàn)上等價(jià)的理論呢?

二、蒯因真理觀的內(nèi)在緊張

在如上概述的蒯因真理觀中,似乎存在著內(nèi)在的緊張、沖突甚至矛盾。我將表明,有些緊張是表面上的,可以通過(guò)解釋消除;而有些緊張是真實(shí)的,應(yīng)該予以嚴(yán)肅對(duì)待。為了消解這些緊張,我們不得不改進(jìn)、修正和擴(kuò)展蒯因的真理觀。

1.塔斯基的真定義與蒯因的整體論相容嗎?

我們知道,塔斯基通過(guò)遞歸方法定義了相對(duì)于語(yǔ)言的真概念。他從定義含自由變?cè)脑娱_語(yǔ)句的滿足開始,然后定義含“并非”、“并且”、“或者”、“如果,則”、“當(dāng)且僅當(dāng)”這些聯(lián)結(jié)詞的復(fù)合開語(yǔ)句的滿足,隨后定義含“所有”和“有些”的量化開語(yǔ)句的滿足,最后定義閉語(yǔ)句的真,這是含0個(gè)自由變?cè)拈_語(yǔ)句的滿足的特殊情形。既然蒯因主張意義和知識(shí)的整體論,他可以采用塔斯基的真定義嗎?這是一個(gè)非常嚴(yán)肅的問(wèn)題。

蒯因早期以非常極端的方式表述了他的整體論:“具有經(jīng)驗(yàn)意義的單位是整個(gè)科學(xué)?!薄啊麄€(gè)科學(xué)是一個(gè)力場(chǎng),其邊界條件是經(jīng)驗(yàn)?!瓫](méi)有任何特定經(jīng)驗(yàn)與這個(gè)場(chǎng)內(nèi)的特定陳述有聯(lián)系,除非間接地通過(guò)影響這整個(gè)場(chǎng)的均衡考慮?!雹賅. V. Quine, From a Logical Point of View, p.42.著重號(hào)為引者所加。根據(jù)這種相當(dāng)極端的整體論,似乎不可能在整個(gè)科學(xué)中遞歸定義語(yǔ)句的真,至少這樣做是非常困難的,因?yàn)檫@些語(yǔ)句沒(méi)有它們自身的經(jīng)驗(yàn)內(nèi)容。

不過(guò),蒯因后來(lái)澄清了他的整體論真正意謂什么,實(shí)際上是把它溫和化了:“科學(xué)既不是非連續(xù)的也不是鐵板一塊。它是不同因素的結(jié)合體,在不同程度上松散結(jié)合……‘這個(gè)單位根本上就是整個(gè)科學(xué)’這一說(shuō)法所獲甚少,無(wú)論它以死摳條款的方式可以得到多少辯護(hù)?!雹赪. V. Quine, Confessions of a Con fi rmed Extensionalist and Other Essays, p.230.“溫和的整體論……說(shuō),一般不能指望一個(gè)科學(xué)語(yǔ)句本身蘊(yùn)涵經(jīng)驗(yàn)后承。通常需要更大一簇語(yǔ)句。”③W. V. Quine, Quintessence-Basic Readings from the Philosophy of W. V. Quine, p.62.

根據(jù)溫和整體論,蒯因有可能定義語(yǔ)句在關(guān)于世界的整體理論中為真。④對(duì)蒯因的整體論及其普遍可修正性原則的澄清,參見(jiàn)陳波:“論蒯因的邏輯哲學(xué)”,《中國(guó)高校社會(huì)科學(xué)》2014年第6期,第60—84頁(yè)。該整體理論由觀察語(yǔ)句和理論語(yǔ)句構(gòu)成。首先,他定義“這是紅色的”和“1974年2月23日16:00希斯羅有雨”這些觀察句的真。在他看來(lái),觀察句是語(yǔ)言的說(shuō)話者通過(guò)見(jiàn)證場(chǎng)合就會(huì)直接同意的場(chǎng)合句。它們是語(yǔ)言與語(yǔ)言所談?wù)摰氖澜缰g的聯(lián)結(jié),自身具有經(jīng)驗(yàn)內(nèi)容。它們既是科學(xué)證據(jù)的媒介又是語(yǔ)言學(xué)習(xí)的入口。理論語(yǔ)句通過(guò)分享觀察句的內(nèi)容而分享其經(jīng)驗(yàn)內(nèi)容。然后,他定義形如“只要這樣,就那樣”的觀察斷言句,例如“當(dāng)柳樹生長(zhǎng)在水邊時(shí),它向水面傾斜”。一個(gè)觀察斷言句由觀察句構(gòu)成,所以它可以被經(jīng)驗(yàn)證據(jù)所證偽:它是假的,當(dāng)且僅當(dāng)其前件為真而后件為假。我們的理論蘊(yùn)涵其觀察斷言句,而不是相反。一個(gè)理論所蘊(yùn)涵的觀察斷言句集為這個(gè)理論提供了經(jīng)驗(yàn)內(nèi)容。觀察斷言句把一個(gè)理論與觀察關(guān)聯(lián)起來(lái),做出解釋和預(yù)測(cè),成為這個(gè)理論的檢驗(yàn)點(diǎn)。只有一個(gè)理論所蘊(yùn)涵的觀察斷言句中至少有一個(gè)被證據(jù)所證偽,這個(gè)理論才被駁倒。我們整個(gè)科學(xué)更為抽象和一般的部分(如邏輯和數(shù)學(xué))也與科學(xué)的其他部分通過(guò)共同蘊(yùn)涵觀察斷言句而分享經(jīng)驗(yàn)內(nèi)容。蒯因指出,“雖然嚴(yán)重依賴于語(yǔ)言的談?wù)?,但是邏輯理論早已指向世界而非指向語(yǔ)言,真謂詞使其如此”①W. V. Quine, Philosophy of Logic, p.97.。因此,我們不僅可以談?wù)撚^察句和觀察斷言語(yǔ)句的真,也可以談?wù)撨壿嫽驍?shù)學(xué)語(yǔ)句的真,甚至談?wù)撐覀冴P(guān)于世界的整個(gè)理論的真。

蒯因清楚地意識(shí)到如下事實(shí),即真概念必須相對(duì)于語(yǔ)言的分層體系來(lái)定義:對(duì)象語(yǔ)言、元語(yǔ)言、元元語(yǔ)言等等。但我這里想提出一個(gè)很嚴(yán)肅的問(wèn)題:有可能為我們的科學(xué)所使用的語(yǔ)言提供這種分層體系嗎?我傾向于說(shuō)“不”,因?yàn)閷?duì)于蒯因來(lái)說(shuō),“科學(xué)”包括非常廣的范圍,它使用的語(yǔ)言幾乎就是我們?nèi)粘I钪惺褂玫淖匀徽Z(yǔ)言(外加人工符號(hào))。如果沒(méi)有關(guān)于這種語(yǔ)言的清晰層級(jí),蒯因?qū)⒉坏貌幻媾R一個(gè)更具挑戰(zhàn)性的問(wèn)題:塔斯基證明,對(duì)于特定形式算術(shù)而言,這種算術(shù)中的真概念不能通過(guò)使用這種算術(shù)提供的表達(dá)方式得到定義。我們可以把塔斯基的結(jié)論自然地?cái)U(kuò)展到我們整個(gè)理論所使用的語(yǔ)言。但我在蒯因的著述中沒(méi)有找到他對(duì)這些問(wèn)題的回答。

2.“真”到底是實(shí)在論概念還是認(rèn)知概念?

戴維森評(píng)論了兩種類型的現(xiàn)代真理觀:實(shí)在論的和認(rèn)知的。實(shí)在論的觀點(diǎn)推動(dòng)了某種形式的符合論,即把真看作由獨(dú)立于心靈的客觀實(shí)在所決定的,而認(rèn)知的觀點(diǎn)以某種方式讓真依賴于我們的信念或我們的認(rèn)知實(shí)踐或能力。他斷言,認(rèn)知觀點(diǎn)是“站不住腳的”,而實(shí)在論觀點(diǎn)是“不可理解的”。②D. Davidson,“The Structure and Content of Truth” , Journal of Philosophy LXXXVII (6), 1990, p.298.

在戴維森看來(lái),蒯因是認(rèn)知真理論的支持者之一,因?yàn)椤柏嵋蛑辽僭谀硞€(gè)時(shí)期內(nèi)堅(jiān)持認(rèn)為,真理是內(nèi)在于關(guān)于世界的理論的,所以在某種程度上依賴于我們的認(rèn)識(shí)論狀態(tài)”③Ibid., p.298.。我認(rèn)為,戴維森對(duì)蒯因的斷言是有根據(jù)的。在最后一節(jié),我將更詳細(xì)地討論蒯因關(guān)于真的內(nèi)在性的觀點(diǎn)。對(duì)于蒯因來(lái)說(shuō),如果從理論的角度看,我們當(dāng)然知道在這個(gè)理論中有些語(yǔ)句是真的,有些語(yǔ)句是假的;如果站在超越的視角上,這意味著:我們放棄了我們的理論,無(wú)法判斷該理論內(nèi)部語(yǔ)句的真值。他強(qiáng)調(diào),“真理是內(nèi)在的,沒(méi)有更高的真理。我們必須從一個(gè)理論內(nèi)部來(lái)談?wù)撜胬?,即使真理是多種多樣的”①W. V. Quine, Pursuit of Truth, pp.21-22.。

但是,在許多地方,蒯因似乎接受關(guān)于世界的實(shí)在論,以至讓“真”成為一個(gè)實(shí)在論或超越性的概念。我可以為此說(shuō)法展示三類證據(jù)。

首先,我找到蒯因關(guān)于實(shí)在論和真的許多論述。例如,“是什么使得一個(gè)完整的物理理論為真而另一個(gè)為假?我只能用無(wú)助益的實(shí)在論回答說(shuō),正是世界的本性”②W. V. Quine, Theories and Things, pp.179-180. 著重號(hào)為引者所加。?!罢鎽?yīng)該依賴于實(shí)在,他(哲學(xué)家)這樣說(shuō)是正確的,確實(shí)如此。沒(méi)有一個(gè)語(yǔ)句是真的,除非實(shí)在使之為真?!谡?wù)撘唤o定語(yǔ)句之真時(shí)只有間接性;我們最好只說(shuō)出這個(gè)語(yǔ)句,因而不是談?wù)撜Z(yǔ)言而是談?wù)撌澜?。”③W. V. Quine, Philosophy of Logic, pp.10-11. 著重號(hào)為引者所加。“真之追求仍然潛藏于我們對(duì)‘真’的使用中。我們確實(shí)應(yīng)該在當(dāng)下把牢固的科學(xué)結(jié)論接受為真理;但是,當(dāng)其中一個(gè)結(jié)論被進(jìn)一步的研究所驅(qū)逐時(shí),我們不說(shuō)它以前是真的但變成假的。我們說(shuō),令我們驚奇的是它根本不是真的。科學(xué)被看作是追求和發(fā)現(xiàn)真理而非裁定真理。這是實(shí)在論的說(shuō)法,它對(duì)于‘真’謂詞的語(yǔ)義是必不可少的?!雹躓. V. Quine, From Stimulus to Science, p.67.

其次,蒯因毫不猶豫地堅(jiān)持二值原則和排中律,他幾乎就把二值原則看作是排中律。“二值是我們關(guān)于自然的經(jīng)典理論的基本特征。它使我們對(duì)于能夠用我們的理論詞匯表達(dá)的所有陳述都設(shè)定一個(gè)真假二分,無(wú)論我們是否知道如何確定它們的真假。”⑤W. V. Quine, Theories and Things, p.36. 著重號(hào)為引者所加。他也指出,排中律可以用如下不同的方式來(lái)表述:

(1)任何閉語(yǔ)句是真的或假的;

(2)任何閉語(yǔ)句或其否定是真的;

(3)任何閉語(yǔ)句是真的或不真的。⑥W. V. Quine, Philosophy of Logic, p.83.

在達(dá)米特看來(lái),二值原則和排中律預(yù)設(shè)了關(guān)于世界的實(shí)在論:如果無(wú)論人們是否以某種方式知道一個(gè)語(yǔ)句的真或假,這個(gè)語(yǔ)句都必然為真或?yàn)榧?,那么,這個(gè)語(yǔ)句的真值只能是由實(shí)在決定的,也就是說(shuō),由世界中發(fā)生的獨(dú)立于我們的事情決定的。①參見(jiàn)M. Dummett, Truth and Other Enigmas, Harvard University Press, 1978, pp.145-165。

蒯因清楚地知道,二值原則和排中律從不同方面受到了攻擊,例如,受到來(lái)自集合論和語(yǔ)義悖論的攻擊,(在物理學(xué)中)受到量子力學(xué)海森伯格不確定性悖論原則的攻擊,受到直覺(jué)主義和達(dá)米特的證成主義的攻擊,受到未來(lái)偶然性、空名和模糊性的攻擊,受到多值邏輯、自由邏輯等等這些變異邏輯的攻擊。但是,他針對(duì)這些攻擊而頑強(qiáng)地為二值原則和排中律辯護(hù),雖然他清楚地知道他的辯護(hù)將付出什么樣的代價(jià):

我們宣稱,1903年開學(xué)日的黎明,哈佛校園的草地上有奇數(shù)片葉子,這是真的或假的。這件事是不可確定的,但是我們堅(jiān)持認(rèn)為這是一個(gè)事實(shí)。對(duì)于其他不可計(jì)數(shù)的平凡事實(shí)也是類似的。對(duì)于更為極端的不可確定的情形也是類似的,例如,我們是否可以通過(guò)時(shí)空坐標(biāo)在某個(gè)偏僻地點(diǎn)的一米以內(nèi)識(shí)別出一個(gè)氫原子。在數(shù)學(xué)方面,連續(xù)統(tǒng)假設(shè)或不可及基數(shù)的存在問(wèn)題也是類似的。如達(dá)米特所說(shuō),二值原則是實(shí)在論的標(biāo)志特征。②W. V. Quine, Theories and Things, p.32. 著重號(hào)為引者所加。

也就是說(shuō),蒯因意識(shí)到,接受二值原則幾乎等于接受某種形式的實(shí)在論。但他有時(shí)候做出讓步:“讓我們僅僅承認(rèn),排中律并不是生活的事實(shí),而是支配有效邏輯整編的規(guī)則?!雹踂. V. Quine, Quiddities: An Intermittently Philosophical Dictionary, p.57.

第三,蒯因把“真”與“有保證的可斷定性”嚴(yán)格區(qū)分開來(lái)?!罢媸且换厥?,而有保證的信念是另一回事。我們可以通過(guò)這個(gè)區(qū)分獲得二值邏輯的清晰性并且享受其簡(jiǎn)單性的甜蜜?!雹躓. V. Quine, Pursuit of Truth, p.94.但是,這個(gè)區(qū)分似乎預(yù)設(shè)了關(guān)于世界的實(shí)在論:一個(gè)語(yǔ)句的真依賴于世界中發(fā)生的事情,而不依賴于我們關(guān)于這些事情的知識(shí),“沒(méi)有一個(gè)語(yǔ)句是真的,除非實(shí)在使之為真?!雹賅. V. Quine, Philosophy of Logic, p.10.“把真和保證分離開來(lái),我們可自由地承認(rèn)有些真理是可發(fā)現(xiàn)的有些真理不是;我們可自由地承認(rèn)其他陳述是假的?!雹赪. V. Quine, Quiddities: An Intermittently Philosophical Dictionary, p.56.為什么不可發(fā)現(xiàn)的真理是真的?這里只有一個(gè)解釋:獨(dú)立于我們的實(shí)在使得它們?yōu)檎妗?/p>

于是,我們似乎看到了兩個(gè)蒯因:一個(gè)明顯斷定“真”是內(nèi)在的,所以是一個(gè)認(rèn)知概念;另一個(gè)不隱晦地認(rèn)為“真”依賴于實(shí)在或外部世界,所以是一個(gè)實(shí)在論概念:“……這個(gè)世界—一個(gè)與語(yǔ)言不同的、我們從未創(chuàng)造過(guò)的世界?!雹踂. V. Quine, Ontological Relativity and Other Essays, p.125.哪一個(gè)是真實(shí)的蒯因?

3.如何保持弗雷格所提出的“是真的”和“認(rèn)之為真”之間的區(qū)分?我們?nèi)绾螐目茖W(xué)的主體間性達(dá)到其客觀性?

弗雷格做出了一個(gè)根本性區(qū)分,其目的是要說(shuō)明思想的客觀性:“是真的與認(rèn)之為真是很不相同的,無(wú)論通過(guò)一個(gè)人、許多人還是所有人,是真的都不能還原為認(rèn)之為真。某種東西是真的,但所有人都認(rèn)之為假,這里沒(méi)有任何矛盾。我不把邏輯規(guī)律理解為認(rèn)之為真的心理學(xué)規(guī)律,而是將其理解為是真的規(guī)律?!雹蹽. Frege, The Frege Reader, ed. by Michael Beaney, Blackwell, 1997, pp.202-203.

在強(qiáng)調(diào)真的內(nèi)在性時(shí),蒯因的大概意思是:關(guān)于真的談?wù)撝挥邢鄬?duì)于我們的整個(gè)科學(xué)才有意義;一個(gè)語(yǔ)句的真是由我們關(guān)于它在其中出現(xiàn)的世界的最好理論來(lái)保證的。因此,它的“真”幾乎相當(dāng)于我們的最好理論“認(rèn)之為真”。雖然我們的最好理論長(zhǎng)久以來(lái)在經(jīng)驗(yàn)上是成功的,但它有可能是錯(cuò)誤的,蒯因難道不知道“認(rèn)之為真”與“是真的”之間的區(qū)別嗎?如果他知道,那么他如何從前者跳到后者?根據(jù)我的判斷,這個(gè)秘密或許隱藏在他的觀察句概念中:蒯因試圖用觀察句的主體間性來(lái)確保我們的科學(xué)理論的客觀性。

對(duì)蒯因來(lái)說(shuō),一個(gè)觀察句必須滿足兩個(gè)定義條件:首先,在適當(dāng)范圍內(nèi)刺激的場(chǎng)合,這個(gè)語(yǔ)句直接要求一個(gè)認(rèn)知主體同意或不同意,不需要進(jìn)一步研究,而且獨(dú)立于他當(dāng)時(shí)所從事的事情。另一個(gè)條件是主體間性:這個(gè)語(yǔ)句必須要求這個(gè)場(chǎng)合中所有語(yǔ)言上有能力的見(jiàn)證人都做出相同的決定?!按偈刮覀儥z驗(yàn)觀察句的是我們尋求觀察和理論之間的關(guān)聯(lián)……它要求一個(gè)直接的決定,正是這一要求使那種關(guān)聯(lián)成為一個(gè)檢驗(yàn)點(diǎn)。主體間性的要求使得科學(xué)成為客觀的?!雹賅. V. Quine, Pursuit of Truth, pp.4-5. 著重號(hào)為引者所加。“對(duì)觀察句的社會(huì)要求有兩個(gè)重要作用。首先,它使兒童從社會(huì)中學(xué)會(huì)使用觀察句。其次,它使科學(xué)成為客觀的或至少具有主體間性?!雹赪. V. Quine, From Stimulus to Science, pp.44-45.

為什么觀察句的主體間性如此重要?在蒯因看來(lái),這與知覺(jué)相似性有關(guān),后者是所有學(xué)習(xí)、所有習(xí)慣養(yǎng)成和所有從過(guò)去經(jīng)驗(yàn)通過(guò)歸納進(jìn)行預(yù)期的基礎(chǔ),因?yàn)槲覀儍?nèi)在地傾向于期望相似的事件具有彼此之間相似的結(jié)果。雖然我們不能分享我們的感受器或感官,我們卻分享知覺(jué)相似性的標(biāo)準(zhǔn),在我們之間有關(guān)于這個(gè)標(biāo)準(zhǔn)的先定和諧。分享或和諧是如何發(fā)生的?蒯因訴諸達(dá)爾文的自然選擇:“我們的相似性標(biāo)準(zhǔn)部分地是自然選擇的結(jié)果,部分地是在共同的環(huán)境中伴隨經(jīng)驗(yàn)的結(jié)果?!雹踂. V. Quine, Quintessence-Basic Readings from the Philosophy of W. V. Quine, p.293.“這種近似的和諧是在基因庫(kù)中先定的。”④Ibid., p.278.這相當(dāng)于說(shuō),我們分享的知覺(jué)相似性標(biāo)準(zhǔn)具有某種自然的、客觀的或?qū)嵲谡摰钠鹪矗褂^察句具有主體間性,也使我們的科學(xué)成為客觀的和經(jīng)驗(yàn)上成功的。但是,蒯因仍然沒(méi)有彌合主體間性與客觀性或“認(rèn)之為真”與“是真的”之間的巨大間隙,因?yàn)槲覀兘邮転檎娴年P(guān)于世界的最好理論仍有可能是假的,這一點(diǎn)已經(jīng)被我們的科學(xué)史反復(fù)證實(shí)過(guò)。

4.如何調(diào)和關(guān)于理論的求真考慮和實(shí)用考慮?

上一節(jié)論證過(guò),在關(guān)于理論的方法論考慮中,求真的考慮包括普遍性、可反駁性和精確性;實(shí)用的考慮包括保守性和溫和性。簡(jiǎn)單性是二者重疊之處。我認(rèn)為,求真的考慮應(yīng)該優(yōu)先于實(shí)用的考慮。在最終的分析中,求真的考慮隱藏在實(shí)用的策略中。在評(píng)價(jià)、選擇和修正假說(shuō)時(shí),我們?yōu)槭裁磻?yīng)該考慮保守性、溫和性與簡(jiǎn)單性?回答可能是這樣的:既然我們先前接受的信念是有用的并且很長(zhǎng)時(shí)間以來(lái)一直是成功的,所以,它們必定是被牢固地確立于并根植于實(shí)在世界中的;也就是說(shuō),它們至少必須在某種程度上是真實(shí)的。因此,我們必須小心謹(jǐn)慎地對(duì)待它們:如果我們不得不修正它們,我們也應(yīng)該盡可能地遵循最小損傷原則。另外,在設(shè)想、評(píng)價(jià)和修正假說(shuō)時(shí),我們之所以要堅(jiān)持溫和性和簡(jiǎn)單性,因?yàn)榇笞匀徊幌矚g奇跡:它是由自然規(guī)律或規(guī)則控制的;還因?yàn)榇笞匀痪推浣Y(jié)構(gòu)而言是簡(jiǎn)單的,以至于自然規(guī)律也是普遍的和簡(jiǎn)單的,而我們的認(rèn)知能力是有限的。事實(shí)上,求真的考慮和實(shí)用的考慮都服務(wù)于同一個(gè)目標(biāo):追求真理。

5.真理只是理想還是已經(jīng)成為某種現(xiàn)實(shí)?

美國(guó)實(shí)用主義哲學(xué)家皮爾士的真理觀可以概括為如下口號(hào):真是探究的終點(diǎn)。這里“終點(diǎn)”是含混的,介于“目的”和“最終結(jié)果”之間。這個(gè)口號(hào)告訴我們,真是由實(shí)在所限制的科學(xué)探究試圖完成的目標(biāo),或者是研究者長(zhǎng)期探究所接近的極限,或者是探究者最終達(dá)成的穩(wěn)定共識(shí)。①參見(jiàn)S. Haack, “The Pragmatist Theory of Truth”, British Journal of Philosophy of Science 27, 1976, pp.231-249。

蒯因指出,“真作為目標(biāo)仍然是這個(gè)詞已經(jīng)確立的用法,我將其默認(rèn)為關(guān)于我們持續(xù)地使我們的世界圖景適應(yīng)于我們的神經(jīng)輸入所進(jìn)行的調(diào)整的生動(dòng)隱喻”②W. V. Quine, Quintessence-Basic Readings from the Philosophy of W. V. Quine, p.286.著重號(hào)為引者所加。。作為一位眾所周知的整體論者,他認(rèn)為,我們關(guān)于世界的科學(xué)作為一個(gè)整體接受經(jīng)驗(yàn)證據(jù)的檢驗(yàn);就其經(jīng)驗(yàn)內(nèi)容而言,整體內(nèi)各部分只有量的差別而沒(méi)有種類的不同。另外,既沒(méi)有外在的優(yōu)勢(shì)地位,也沒(méi)有最高的上訴法庭,真內(nèi)在于我們關(guān)于世界的最好理論。因?yàn)槲覀兊恼麄€(gè)理論總是處于演變過(guò)程中,所以沒(méi)有最終的和絕對(duì)的真理。在這個(gè)意義上,追求真理是崇高的和無(wú)止境的事業(yè)。不過(guò),他也認(rèn)為,因?yàn)槲覀兊目茖W(xué)是有用的,我們?cè)谂c自然打交道的過(guò)程中獲得了巨大成功,所以“我們應(yīng)該而且當(dāng)下確實(shí)把牢固的科學(xué)結(jié)論接受為真”①W. V. Quine, From Stimulus to Science, p.67.。

于是,對(duì)蒯因來(lái)說(shuō),真理既是探究的理想目標(biāo),又已經(jīng)具有某種現(xiàn)實(shí)性。

三、真的去引號(hào)說(shuō)明是不充分的

蒯因斷言,“……確實(shí)沒(méi)有對(duì)去引號(hào)說(shuō)明的質(zhì)疑;無(wú)可爭(zhēng)議的是,‘雪是白的’是真的,當(dāng)且僅當(dāng)雪是白的。另外,這是一個(gè)充分的說(shuō)明;它清晰地闡明了每一個(gè)清晰語(yǔ)句的真或假”②W. V. Quine, Pursuit of Truth, p.93.著重號(hào)為引者所加。。我不同意他的說(shuō)法,下面將論證他的斷言為何不成立。

通常認(rèn)為,一個(gè)語(yǔ)句為真至少取決于如下兩點(diǎn):這個(gè)語(yǔ)句關(guān)于世界中的事物或事情究竟說(shuō)了些什么,那個(gè)或那些事物或事情是否恰如這個(gè)語(yǔ)句所說(shuō)的那樣。雖然沒(méi)有仔細(xì)考察謝爾的四篇論文③G. Sher, “On the Possibility of a Substantive Theory of Truth”, Synthese 117, 1999, pp.133-172;“In Search of a Substantive Theory of Truth”, The Journal of Philosophy 101, 2004, pp.5-36 ;“Epistemic Friction: Re fl ections on Knowledge, Truth, and Logic”, Erkenntnis 72, 2010, pp.151-176 ;“Truth as Composite Correspondence”, in T. Achourioti, H. Galinon, J. M. Fernández, et al, eds., Unifying the Philosophy of Truth, Dordrecht: Springer, 2015. 參見(jiàn) http://philosophyfaculty.ucsd.edu/faculty/gsher/。的技術(shù)性細(xì)節(jié),但我同意她的基本觀點(diǎn):完全有可能發(fā)展出一種關(guān)于真理的實(shí)質(zhì)性的、不設(shè)定事實(shí)的符合論。按照我的理解,蒯因僅僅拒絕了設(shè)定事實(shí)的符合論版本,而非實(shí)際上否定了整個(gè)符合論。實(shí)際上,他在關(guān)于真的去引號(hào)說(shuō)明的偽裝下發(fā)展出符合論的一個(gè)新版本:在本體論中,我們需要對(duì)象(個(gè)體和類)、對(duì)象的性質(zhì)和對(duì)象之間的關(guān)系;在語(yǔ)義學(xué)中,我們需要“指稱”、“滿足”和“真”等概念;當(dāng)然,我們還需要邏輯以及像集合論這樣的數(shù)學(xué)理論,等等。正如蒯因所說(shuō),把真歸屬于“雪是白的”這個(gè)語(yǔ)句恰好就是把白歸屬于雪。下面我將論證對(duì)真的全面說(shuō)明至少必須考慮四個(gè)要素:實(shí)在作為使真者(truthmaker),語(yǔ)言,認(rèn)知和融貫。

1. 作為使真者的實(shí)在:真理有實(shí)在論基礎(chǔ)嗎?

蒯因明確斷言,實(shí)在是使真者:“沒(méi)有一個(gè)語(yǔ)句是真的,除非實(shí)在使之為真?!睘榱硕x真理和邏輯真理,我們不得不利用涉及語(yǔ)詞與世界之間關(guān)系的“指稱”和“滿足”概念。他說(shuō):“邏輯學(xué)家談?wù)撜Z(yǔ)句,只是把它作為一種手段,借以沿著他不能通過(guò)施量化于對(duì)象加以清除的一個(gè)維度來(lái)達(dá)到一般性。真謂詞于是保持了他與世界的聯(lián)系,世界才是他的關(guān)切所在?!雹賅. V. Quine, Philosophy of Logic, p.35. 著重號(hào)為引者所加。

我們不得不討論一個(gè)困難且重要的問(wèn)題:為了說(shuō)明我們關(guān)于世界的整個(gè)理論的功效和真,是否有必要去設(shè)定我們的理論所描述的獨(dú)立自存的世界?如上所說(shuō),蒯因的明確回答是“否”,但有時(shí)隱含的回答是“是”。我的回答非常確定:是!在一種意義上,接受這種設(shè)定就是采取超越的觀點(diǎn),或者采取上帝的視角,俯視和遠(yuǎn)觀我們所居住的世界,超越于我們目前關(guān)于世界的整個(gè)理論的范圍之外。在另一種意義上,設(shè)定獨(dú)立自存的實(shí)在并非是如此超越;即使是超越,這種超越也并非是如此不合理。我列出如下5點(diǎn)理由。

(1)對(duì)實(shí)在的設(shè)定來(lái)自基于我們的認(rèn)知和科學(xué)發(fā)展的歸納和外推。起初,我們的祖先僅僅知道他們周圍的環(huán)境,他們?cè)谌粘I钪兴煜さ耐恋睾吞炜铡kS著我們的科學(xué)的發(fā)展,我們關(guān)于世界比我們的先輩知道得更多:宏觀世界包括太陽(yáng)系、銀河系以及河外星系等等,微觀世界包括分子、原子、原子核、電子、中微子和夸克等等。我們的世界圖景的確超出了我們祖先根據(jù)他們的知識(shí)所獲得的世界圖景。通過(guò)訴諸歸納和外推,我們猜測(cè),這個(gè)世界比當(dāng)前科學(xué)所說(shuō)的更復(fù)雜、更廣大和更豐富,有一個(gè)我們不得不繼續(xù)去探索的外部世界。這里使用的歸納和外推與我們?cè)谧匀豢茖W(xué)中使用的歸納和外推恰好屬于同一類型。

(2)對(duì)實(shí)在的設(shè)定為我們的知識(shí)和科學(xué)的未來(lái)發(fā)展留下了足夠大的空間。正如我們現(xiàn)在知道的世界遠(yuǎn)遠(yuǎn)超出過(guò)去的科學(xué)所告訴我們的世界,未來(lái)科學(xué)將告訴我們后代的世界也在規(guī)模、復(fù)雜性和豐富性上遠(yuǎn)遠(yuǎn)超出我們當(dāng)前科學(xué)所告訴我們的世界。

(3)這種超越的視角不僅是可能的,而且非常合理。如我們所知,我們可以自我反思。在這樣做時(shí),我們?cè)谀撤N意義上超越了我們自己:我們?cè)谙胂笾邪炎约褐糜谒说奈恢脕?lái)從上到下打量我們自己。在語(yǔ)言的分層體系中,包括對(duì)象語(yǔ)言、元語(yǔ)言、元元語(yǔ)言等等,幾乎處于任何層級(jí)的語(yǔ)言都可能被超越。另外,我們可以采取不同的視角:在我們的整個(gè)科學(xué)中,我們用一個(gè)子理論x超越另一個(gè)子理論y,用y超越z,用z超越w,又用y、z、w其中之一超越原來(lái)的x。于是,我們整個(gè)科學(xué)的任何子理論都可能被超越;我們當(dāng)前的整個(gè)科學(xué)也將被我們未來(lái)的整個(gè)科學(xué)所超越。①這里我從謝爾那里獲得啟迪:“我用‘超越’意味著,從外在的角度反思性地看待一個(gè)思想或者一個(gè)思想的領(lǐng)域,但在(人類)思想的范圍內(nèi)。”(G. Sher, “In Search of a Substantive Theory of Truth”, The Journal of Philosophy 101, 2004, p.25.)

(4)對(duì)實(shí)在的設(shè)定可以解釋我們固有的直觀:真理是客觀的;真理不僅取決于我們?cè)O(shè)想、知道和思考什么以及我們?nèi)绾卧O(shè)想、知道和思考,而且取決于某種獨(dú)立于我們的東西。正如亞里士多德所說(shuō):“不是因?yàn)槲覀冋娴恼J(rèn)為你是白的,你就是白的,而是因?yàn)槟闶前椎?,所以說(shuō)出這一點(diǎn)的我們獲得了真理。”②亞里士多德,《形而上學(xué)》(英文版),第202頁(yè)。著重號(hào)為引者所加。

蒯因經(jīng)常問(wèn)一個(gè)大問(wèn)題:科學(xué)為什么會(huì)如此成功?③參見(jiàn)W. V. Quine, Quintessence-Basic Readings from the Philosophy of W. V. Quine, p.289。根據(jù)我的判斷,如果我們不設(shè)定我們的科學(xué)所描述的外部世界,我們就不能對(duì)這個(gè)問(wèn)題給出合理的回答。正如普特南所言:“對(duì)實(shí)在論的肯定論證是,它是唯一不使科學(xué)的成功淪為奇跡的哲學(xué)。”④H. Putnam, Mathematics, Matter and Method, Cambridge University Press, 1975, p.73.

(5)的確,我們沒(méi)有充足的理由設(shè)定一個(gè)外部世界的存在。但是,在我們的科學(xué)中通過(guò)歸納和外推所得到的所有概括命題與對(duì)實(shí)在的設(shè)定具有相同的特征。我們也不能保證在我們的科學(xué)中所得到的概括命題都具有確定性和真理性;它們可能是假的。我們的科學(xué)是由這種概括命題構(gòu)成的,但它們是有用的。經(jīng)驗(yàn)主義者不能僅在經(jīng)驗(yàn)的基礎(chǔ)上證明一切,即使蒯因本人也承認(rèn)這一點(diǎn):“有可能最先提出來(lái)當(dāng)作自然化認(rèn)識(shí)論的一個(gè)規(guī)范的是:對(duì)觀察的預(yù)測(cè)是對(duì)一個(gè)假說(shuō)的檢驗(yàn)。我認(rèn)為這不只是一個(gè)規(guī)范:它就是該游戲的名稱。不能檢驗(yàn)所有科學(xué),科學(xué)越是軟性,檢驗(yàn)就越是稀少;但是,在被檢驗(yàn)時(shí),檢驗(yàn)就是對(duì)觀察的預(yù)測(cè)。而且,自然主義對(duì)該規(guī)范沒(méi)有特殊主張,它毋寧就是經(jīng)驗(yàn)主義的關(guān)鍵所在?!雹賅. V. Quine, Quintessence-Basic Readings from the Philosophy of W. V. Quine, p.282.橫線為引者所加。

2. 語(yǔ)言:語(yǔ)言如何與世界相關(guān)聯(lián)?

對(duì)塔斯基來(lái)說(shuō),“真”是一個(gè)語(yǔ)義概念,而“語(yǔ)義概念表達(dá)了在所討論的語(yǔ)言中所指對(duì)象(和事態(tài))與指稱這些對(duì)象的語(yǔ)言表達(dá)式之間的某種關(guān)系”②A.Tarski, Logic, Semantics, Metamathematics, pp.403-404.。

為了澄清真理的本性以及定義真,我們不得不小心對(duì)待我們的語(yǔ)言。戴維森說(shuō),根據(jù)亞里士多德對(duì)真的刻畫,“一個(gè)語(yǔ)句的真依賴于語(yǔ)句的內(nèi)在結(jié)構(gòu),也就是說(shuō),依賴于其組成要素的語(yǔ)義特征”③D. Davidson,“The Folly to Try to De fi ne Truth”, Journal of Philosophy XCIII (6), 1996, p.267.。他強(qiáng)調(diào)指出:“很清楚,塔斯基沒(méi)有定義真這個(gè)概念,即使是適用于語(yǔ)句的真。塔斯基表明對(duì)于每種規(guī)范的語(yǔ)言如何定義真謂詞,但他的定義當(dāng)然沒(méi)有告訴我們這些謂詞的共同特征。換言之,他定義了形如‘s是真L’的不同謂詞,每個(gè)謂詞都適用于一種語(yǔ)言,但他沒(méi)有定義形如對(duì)變?cè)狶‘s在L中是真的’的謂詞?!雹蹹. Davidson,“The Structure and Content of Truth”, p.285.謝爾也斷言:“對(duì)真的探求是在語(yǔ)言中進(jìn)行的:在語(yǔ)言中表述假說(shuō),在語(yǔ)言中提出和回答問(wèn)題,用語(yǔ)言中的直陳句表達(dá)假定的知識(shí)(信念)。既然語(yǔ)言是發(fā)現(xiàn)真理的主要工具,所以真理論的一個(gè)主要分支—所謂的語(yǔ)義學(xué)分支—把真作為語(yǔ)言實(shí)體的性質(zhì)來(lái)研究。”①G. Sher, “On the Possibility of a Substantive Theory of Truth”, p.134.

我先前提出并論證了一種關(guān)于語(yǔ)言和意義的新理論,即語(yǔ)言和意義的社會(huì)建構(gòu)論(簡(jiǎn)記為SCLM),主要回答兩個(gè)問(wèn)題:語(yǔ)言如何與世界相關(guān)聯(lián)?語(yǔ)言的意義來(lái)自何處?SCLM包括六個(gè)論題:(1)語(yǔ)言的首要功能是交流而不是表征,語(yǔ)言在本質(zhì)上是一種社會(huì)現(xiàn)象;(2)語(yǔ)言的意義來(lái)源于人體與外部世界的因果性互動(dòng),以及人與人的社會(huì)性互動(dòng);(3)語(yǔ)言的意義在于語(yǔ)言和世界的關(guān)聯(lián),由語(yǔ)言共同體的集體意向所確立;(4)語(yǔ)言的意義基于語(yǔ)言共同體在長(zhǎng)期交往過(guò)程中形成的約定之上;(5)語(yǔ)義知識(shí)就是經(jīng)過(guò)提煉和濃縮的經(jīng)驗(yàn)知識(shí),或者是被語(yǔ)言共同體所接受的語(yǔ)言用法;(6)語(yǔ)言和意義隨著語(yǔ)言共同體的交往實(shí)踐或快或慢地變化。SCLM 的關(guān)鍵在于用“語(yǔ)言、人(語(yǔ)言共同體)和世界”的三元關(guān)系去取代“語(yǔ)言和世界”的二元關(guān)系。②陳波:《語(yǔ)言和意義的社會(huì)建構(gòu)論》,《中國(guó)社會(huì)科學(xué)》2014年第10期,第121—142頁(yè)。

我還提出并論證了一種新的名稱理論,即社會(huì)歷史因果描述論(簡(jiǎn)記為SHCD),回答名稱到底如何指稱其對(duì)象的問(wèn)題。SHCD也包括六個(gè)斷言:(1)名稱與對(duì)象的關(guān)系始于廣義的初始命名儀式;(2)在關(guān)于名稱的因果歷史鏈條上,所傳遞的首先并且主要是關(guān)于名稱所指對(duì)象的描述性信息;(3)被一個(gè)語(yǔ)言共同體所認(rèn)可的那些描述性信息的集合構(gòu)成了名稱的意義;(4)相對(duì)于認(rèn)知者的實(shí)踐需要,在作為名稱意義的描述集合中可以排出某種優(yōu)先順序,某些描述比其他描述更占有中心地位;(5)除極少數(shù)名稱外,絕大多數(shù)名稱都有所指,但其所指不一定是物理個(gè)體,也包括抽象對(duì)象、虛構(gòu)對(duì)象和內(nèi)涵對(duì)象;(6)若考慮到說(shuō)話者的意向、特定話語(yǔ)的背景條件和相關(guān)的知識(shí)網(wǎng)絡(luò)等因素,由名稱的意義甚至是部分意義也可以確定名稱的所指。①陳波:《名稱究竟如何指稱對(duì)象?一個(gè)新的名稱理論》,《南國(guó)學(xué)術(shù)》2015年第3期,第79—91頁(yè)。

關(guān)于“真”和“真理”,我們還可以探詢更多的問(wèn)題,例如:我們?nèi)绾伟盐照胬??一個(gè)真語(yǔ)句如何進(jìn)入真信念之網(wǎng)?前者與認(rèn)知相關(guān),后者與融貫相關(guān)。這篇論文已經(jīng)很長(zhǎng)了,不得不把這些問(wèn)題留給另文和讀者。

* 本文屬于國(guó)家社科基金重點(diǎn)項(xiàng)目“描述論和直接指稱論之爭(zhēng)—回顧、批判與建構(gòu)”(項(xiàng)目號(hào)12AZX008)和“分析哲學(xué)若干基本理論問(wèn)題新探”(項(xiàng)目號(hào)12ZD072)的階段性成果。本文初稿系作者于2014年在日本東京訪學(xué)期間用英文撰寫,文中注釋均引自英文版。

** 北京大學(xué)外國(guó)哲學(xué)研究所、北京大學(xué)哲學(xué)系教授,博士生導(dǎo)師。

猜你喜歡
謂詞語(yǔ)句邏輯
刑事印證證明準(zhǔn)確達(dá)成的邏輯反思
法律方法(2022年2期)2022-10-20 06:44:24
邏輯
創(chuàng)新的邏輯
被遮蔽的邏輯謂詞
——論胡好對(duì)邏輯謂詞的誤讀
重點(diǎn):語(yǔ)句銜接
黨項(xiàng)語(yǔ)謂詞前綴的分裂式
西夏研究(2020年2期)2020-06-01 05:19:12
精彩語(yǔ)句
女人買買買的神邏輯
37°女人(2017年11期)2017-11-14 20:27:40
也談“語(yǔ)言是存在的家”——從語(yǔ)言的主詞與謂詞看存在的殊相與共相
如何搞定語(yǔ)句銜接題
阿克| 鹤壁市| 资阳市| 忻州市| 静海县| 会东县| 华容县| 二连浩特市| 当涂县| 红河县| 静海县| 遂昌县| 色达县| 阜新| 阜城县| 信阳市| 衡阳县| 武胜县| 永胜县| 澄迈县| 利川市| 鄱阳县| 徐州市| 景东| 靖远县| 游戏| 永平县| 汝南县| 宜春市| 怀远县| 白朗县| 邵东县| 诏安县| 理塘县| 阿克苏市| 青海省| 同江市| 平江县| 渝中区| 江达县| 体育|