作者簡介：陳波书闸，北京大學(xué) 哲學(xué)系，北京 100871 陳波利凑，男浆劲，湖南常德人，北京大學(xué)哲學(xué)系教授哀澈。
人大復(fù)优平琛：《外國哲學(xué)》2018 年 06 期
原發(fā)期刊：《北京大學(xué)學(xué)報：哲學(xué)社會科學(xué)版》2018 年第 20182 期 第 72-83 頁

關(guān)鍵詞： 分析哲學(xué)/ 反心理主義/ 直接指稱論/ 本質(zhì)主義/ 家族相似/ 邏輯多元論/ analytic philosophy/ antipsychologism/ direct reference theory/ essentialism/ family resemblance/ logical pluralism/

摘要：分析哲學(xué)是一個源于弗雷格、摩爾日丹、羅素走哺、維特根斯坦和邏輯實證主義者的不連續(xù)的歷史傳統(tǒng)，其特點是：尊重科學(xué)和常識哲虾，關(guān)注語言丙躏，運用現(xiàn)代邏輯，強調(diào)精確和清晰的論證束凑，把追求知識和真理的目標(biāo)看得高于激發(fā)靈感晒旅、道德提升和精神慰藉等目標(biāo)，以及自發(fā)形成的專業(yè)分工汪诉。此外废恋，分析哲學(xué)家們不斷地相互詰難和相互批判，從而導(dǎo)致分析哲學(xué)內(nèi)部發(fā)生了多次大論戰(zhàn)扒寄。本文概述和評論了其中的八次大論戰(zhàn)：心理主義和反心理主義的論戰(zhàn)鱼鼓，數(shù)學(xué)基礎(chǔ)中三大派的論戰(zhàn)，描述論和直接指稱論的論戰(zhàn)该编，實在論和反實在論的論戰(zhàn)迄本，本質(zhì)主義和反本質(zhì)主義的論戰(zhàn)，內(nèi)在論和外在論的論戰(zhàn)课竣，關(guān)于真理和邏輯真理的論戰(zhàn)嘉赎，邏輯一元論和邏輯多元論的論戰(zhàn)置媳，最后闡釋了哲學(xué)論戰(zhàn)的意義：揭示已有理論觀點的問題和缺陷；開拓新的思維空間公条，發(fā)展新的理論觀點拇囊；防止學(xué)術(shù)領(lǐng)域里的盲從、獨斷和專制靶橱；凸顯哲學(xué)的追求智慧和真理的本性寥袭。

很難給“分析哲學(xué)”以一個總括性的且能贏得廣泛贊同的刻畫和說明。大致說來抓韩，它是一個源于弗雷格纠永、摩爾、羅素谒拴、維特根斯坦和邏輯實證主義者的不連續(xù)的歷史傳統(tǒng)尝江，其發(fā)展途中曾經(jīng)有過一些或大或小的學(xué)派，但從來沒有形成一個統(tǒng)一的分析哲學(xué)學(xué)派英上，更沒有形成一套為所有甚至是大多數(shù)分析哲學(xué)家所秉持的實質(zhì)性的哲學(xué)理論或立場炭序。把所有分析哲學(xué)家聚合起來的，毋寧是一種做哲學(xué)的方式或風(fēng)格苍日，例如惭聂，尊重科學(xué)和常識，關(guān)注語言相恃，運用現(xiàn)代邏輯辜纲，強調(diào)精確和清晰的論證，把追求知識和真理的目標(biāo)看得高于激發(fā)靈感拦耐、道德提升和精神慰藉等目標(biāo)耕腾，以及自發(fā)形成的專業(yè)分工。此外杀糯，還有一個特點：分析哲學(xué)家不斷地相互詰難和相互批判扫俺，從而導(dǎo)致從19世紀(jì)末葉到當(dāng)代，分析哲學(xué)內(nèi)部發(fā)生了多次大論戰(zhàn)固翰，分別發(fā)生在邏輯哲學(xué)狼纬、數(shù)學(xué)哲學(xué)、語言哲學(xué)骂际、形而上學(xué)疗琉、知識論、真理論歉铝、心靈哲學(xué)等領(lǐng)域之中没炒。本文從中挑選出八大論戰(zhàn)：心理主義和反心理主義的論戰(zhàn)，數(shù)學(xué)基礎(chǔ)中三大派的論戰(zhàn)，描述論和直接指稱論的論戰(zhàn)送火，實在論和反實在論的論戰(zhàn)，本質(zhì)主義和反本質(zhì)主義的論戰(zhàn)先匪，內(nèi)在論和外在論的論戰(zhàn)种吸，關(guān)于真理和邏輯真理的論戰(zhàn)，邏輯一元論和邏輯多元論的論戰(zhàn)呀非，分別對它們做簡要的歷史回顧與評論坚俗，最后闡釋了這些哲學(xué)論戰(zhàn)的意義：揭示已有理論觀點的問題和缺陷；開拓新的思維空間岸裙，發(fā)展新的理論觀點猖败；防止學(xué)術(shù)領(lǐng)域里的盲從、獨斷和專制降允；凸顯哲學(xué)的追求智慧和真理的本性恩闻。

一、心理主義和反心理主義的論戰(zhàn)

這次論戰(zhàn)于1890-1914年間發(fā)生在德語地區(qū)剧董，主要圍繞“邏輯是不是心理學(xué)的一部分”這個問題來進行幢尚。論戰(zhàn)雙方都關(guān)注如何給邏輯學(xué)“奠基”，只是對奠基于何處有不同的看法：一方試圖把邏輯學(xué)奠基于心理學(xué)翅楼，另一方要為邏輯學(xué)尋找更為客觀可靠的基礎(chǔ)尉剩。

在19世紀(jì)，受經(jīng)驗論哲學(xué)和實驗心理學(xué)發(fā)展的影響毅臊，一些心理主義者——如德國埃德曼理茎、耶路撒冷、馮特管嬉、西格沃特和克里皂林，英國密爾，或許還有美國皮爾士——認(rèn)為宠蚂，內(nèi)省是哲學(xué)研究的主要方法式撼，心理學(xué)是哲學(xué)的基礎(chǔ)學(xué)科，邏輯學(xué)求厕、倫理學(xué)等其他學(xué)科皆是心理學(xué)的應(yīng)用學(xué)科著隆，邏輯除了是心理學(xué)的一個分支外什么也不是。他們提出了支持其主張的如下五個論證①：

(1)心理學(xué)是研究所有思維規(guī)律的科學(xué)呀癣；邏輯學(xué)研究特殊的思維規(guī)律美浦；所以，邏輯學(xué)是心理學(xué)的一部分项栏。

(2)告訴我們應(yīng)該如何做的規(guī)范性學(xué)科必須建立在描述和解釋性科學(xué)之上浦辨；邏輯學(xué)是關(guān)于人類思維的規(guī)范性學(xué)科；僅有一門科學(xué)有資格構(gòu)成邏輯的描述—解釋性基礎(chǔ)：經(jīng)驗心理學(xué)沼沈；所以流酬，邏輯必定以心理學(xué)為基礎(chǔ)币厕。

(3)邏輯是關(guān)于判斷、概念和推理的理論芽腾；判斷旦装、概念和推理是人類的心理實體；所有人類的心理實體都屬于心理學(xué)范疇摊滔；因此阴绢，邏輯學(xué)是心理學(xué)的一部分。

(4)邏輯真理的檢驗標(biāo)準(zhǔn)是對自明性的感知艰躺；對自明性的感知是人類的心理經(jīng)驗呻袭；因此，邏輯是關(guān)于人類的心理經(jīng)驗的腺兴，它是心理學(xué)的一部分左电。

(5)我們不能設(shè)想別樣的邏輯『ぃ可設(shè)想性限度就是人類的心理限度券腔。邏輯是相對于人類思維的，而這種思維只能由心理學(xué)來研究拘泞，因此邏輯學(xué)隸屬于心理學(xué)纷纫。

弗雷格和胡塞爾等人對如上所述的心理主義提出了嚴(yán)厲的批判。他們認(rèn)為陪腌，邏輯與心理學(xué)截然不同辱魁，前者具有客觀性、精確性诗鸭，而后者具有主觀性染簇、模糊性，邏輯不僅不是建立在心理學(xué)的基礎(chǔ)之上强岸，還應(yīng)該摒棄所有的心理因素锻弓。更有甚者，胡塞爾等人甚至聯(lián)名呼吁蝌箍，將心理學(xué)逐出德國大學(xué)的哲學(xué)系青灼，要求取消實驗心理學(xué)的教授職位，這迫使實驗心理學(xué)之父馮特寫了一本辯護性著作——《為生存而斗爭的心理學(xué)》妓盲。

在仔細(xì)檢視之后杂拨，羅伯特·漢納把弗雷格的反心理主義論證歸結(jié)為如下四點：(1)模態(tài)降格：心理主義錯誤地把邏輯規(guī)律的必然性和嚴(yán)格的無所不適性歸約為經(jīng)驗規(guī)律的偶然的普遍性。(2)認(rèn)知相對主義：心理主義錯誤地把客觀的邏輯真理歸約為單純的(個別的悯衬、受社會制約的弹沽、或受題材限制的)信念。(3)題材偏向：心理主義錯誤地把邏輯的完全形式的或題材中立的特性歸約為心智內(nèi)容的題材偏好(個體的、受社會制約的策橘、或受題材限制的)特性炸渡。(4)激進的經(jīng)驗論：心理主義錯誤地把邏輯知識的先驗性歸約為獲得信念與證成信念的經(jīng)驗方法的后驗性。漢納接著指出：“就我所能確定的而言役纹，弗雷格和胡塞爾僅僅斷定了邏輯是絕對必然的等等偶摔，但從沒有嘗試去獨立地證明這些斷言；他們也未曾做出任何嚴(yán)肅的嘗試去把心理主義還原歸結(jié)為假命題或荒謬命題促脉。所以，即使他們完全正確地闡釋了邏輯心理主義及其后果的性質(zhì)策州，歸根結(jié)底瘸味，他們并沒有提出反駁心理主義的任何非循環(huán)論證，這等于說够挂，歸根結(jié)底旁仿，他們沒有提出任何反駁心理主義的絕對使人信服的論證∧跆牵”②我本人持有與漢納近似的立場枯冈，認(rèn)為弗雷格的反心理主義有“丐題”之嫌，因為他的論證嚴(yán)重依賴于“邏輯是客觀的办悟、普遍的尘奏、必然的和先驗的”這個關(guān)鍵性前提，但他幾乎從未給出這個前提為真的證明病蛉，甚至是較弱的證成炫加。③

為了反抗心理主義，弗雷格提出了他的研究必須遵循的三個基本原則铺然，其中第一個就是：“始終把心理的東西和邏輯的東西俗孝、主觀的東西和客觀的東西嚴(yán)格區(qū)分開來”。④他明確區(qū)分了語言表達(dá)式的含義和所指：專名的所指是個體魄健，概念詞的所指是概念赋铝，作為特殊專名的語句的所指是它所具有的真值，這些東西都是客觀的沽瘦，與主觀內(nèi)在的帶有神秘意味的“觀念”“意象”“心象”無關(guān)革骨。至于語言表達(dá)式的含義，也不是個人的其垄、私有的苛蒲、內(nèi)在的和主觀的東西，而是可公共理解和可交流的東西绿满。例如臂外，語句的含義就是語句所表達(dá)的思想即命題。弗雷格還在外部世界、內(nèi)心世界之外漏健，再設(shè)定了一個“第三域”嚎货，主要由具有如下特征的思想組成：獨立自存，不占時空蔫浆，因果惰性殖属，永恒實體。弗雷格試圖由其研究對象即思想的客觀性瓦盛、普遍性和必然性來確保邏輯規(guī)律的客觀性洗显、普遍性和必然性，由此給邏輯學(xué)“奠基”原环。

弗雷格和胡塞爾對心理主義的批判幾乎取得了壓倒性勝利挠唆。從弗雷格開始，邏輯走上了客觀化的道路嘱吗，即從對觀念的研究走向了對語言的研究玄组，從對心智領(lǐng)域的研究走向了對業(yè)已形成的客觀知識的邏輯結(jié)構(gòu)和形式的研究。不過谒麦，隨著時間的推移俄讹，人們開始對弗雷格的反心理主義論證及其立場做批評性反思，有些學(xué)者指出：弗雷格“引出邏輯學(xué)和心理學(xué)之間區(qū)別的方式绕德，在細(xì)節(jié)上是錯誤的患膛，并在其更廣的意蘊上是危險的”⑤，“弗雷格指責(zé)他那個時代的心理主義把邏輯學(xué)變成了‘心理學(xué)的洗臉盆’迁匠，他提倡一種強形式的實在論去治療這種心理主義疾病剩瓶。但情況很可能是：該藥方比該疾病本身更糟糕”。⑥近些年來城丧，隨著認(rèn)知科學(xué)和認(rèn)知邏輯的勃興延曙，人們開始重新反思先前的心理主義和反心理主義的論戰(zhàn)，甚至出現(xiàn)了某種形式的“心理主義復(fù)興”——新心理主義亡哄。⑦

二枝缔、數(shù)學(xué)基礎(chǔ)研究中三大派的論戰(zhàn)

19世紀(jì)末到20世紀(jì)初，數(shù)學(xué)基礎(chǔ)研究中出現(xiàn)了三大流派——邏輯主義蚊惯、直覺主義和形式主義——之間的論戰(zhàn)愿卸，涉及如何給邏輯和數(shù)學(xué)“奠基”，也涉及邏輯和數(shù)學(xué)的關(guān)系截型。

邏輯主義主張趴荸，數(shù)學(xué)可以還原為邏輯學(xué)。也就是說宦焦，數(shù)學(xué)概念可以通過顯定義從邏輯概念定義出來发钝，數(shù)學(xué)定理可以通過純粹的邏輯演繹法從邏輯公理推導(dǎo)出來顿涣。其代表性人物有弗雷格、羅素和蒯因等酝豪。弗雷格的邏輯主義主張算術(shù)可以還原為邏輯涛碑，即用邏輯符號定義算術(shù)符號，從邏輯公理推出算術(shù)公理孵淘。他在《算術(shù)基本規(guī)律》中給出了一個二階理論蒲障，它實質(zhì)上是由公理V和二階邏輯構(gòu)成。正當(dāng)弗雷格在這個二階理論中執(zhí)行邏輯主義方案時瘫证，羅素在其中發(fā)現(xiàn)了悖論揉阎，這個悖論最后迫使弗雷格放棄了他的邏輯主義。此后背捌，羅素和蒯因分別從不同角度發(fā)展了邏輯主義余黎，雖然他們都在某種程度上獲得成功，但也都面臨許多困境：羅素的系統(tǒng)使用了還原公理载萌、無窮公理和選擇公理，許多人認(rèn)為這些公理具有更多的數(shù)學(xué)特征巡扇；而蒯因的NF系統(tǒng)的一致性至今仍然是一個開放問題抓歼。

直覺主義的代表人物是布勞維爾有缆。他創(chuàng)造性地繼承了康德的先驗(apriori)直觀理論，把對時間的先驗直覺作為數(shù)學(xué)的基礎(chǔ)：數(shù)學(xué)是獨立于感覺經(jīng)驗的人類心靈的自由創(chuàng)造，它獨立于邏輯和語言狸眼；先驗的、原始的二·一性(two-oneness)直覺構(gòu)成了數(shù)學(xué)的基礎(chǔ)根时。這種直覺使人認(rèn)識到作為知覺單位的“一”团赏，然后通過不斷的“并置”(juxtaposition)，創(chuàng)造了自然數(shù)甸昏、有窮序數(shù)和最小的無窮序數(shù)顽分。直覺主義者持有如下基本觀點：(1)不承認(rèn)實無窮，只承認(rèn)潛無窮施蜜。他們把從潛無窮引申出來的自然數(shù)論作為其他數(shù)學(xué)理論的基礎(chǔ)卒蘸。(2)排中律不普遍有效。他們認(rèn)為翻默，排中律只對有窮域有效缸沃，對無窮論域卻是無效的，因為在后者中沒有能行的判定程序修械；他們把“真”理解為被證明為真趾牧，把“假”理解為假設(shè)為真將導(dǎo)致荒謬，這樣排中律在數(shù)學(xué)中就等于說：每一個數(shù)學(xué)命題或者是可被證明的肯污，或者假設(shè)為真將導(dǎo)致荒謬(即可被否證)翘单。而數(shù)學(xué)中有不可證明的命題吨枉，故排中律失效。(3)存在等于被構(gòu)造县恕，也就是說东羹，數(shù)學(xué)對象的存在以可構(gòu)造為前提，或者能夠具體給出數(shù)學(xué)對象忠烛，或者至少是能夠給出找到數(shù)學(xué)對象的程序或算法属提。直覺主義者把上述觀點用于改造古典數(shù)學(xué)，并建立了體現(xiàn)構(gòu)造性觀點的邏輯——直覺主義邏輯美尸。

形式主義的代表性人物有柯里冤议、魯賓遜和柯恩等人。魯賓遜說道：“我對數(shù)學(xué)基礎(chǔ)的看法师坎，主要根據(jù)以下兩點恕酸，或者說兩條原則：(i)不論從無窮總體的哪種意義來說，無窮總體是不存在的(……)胯陋。更確切地說蕊温，任何講到或意思上含有無窮總體的說法都是沒有意義的。(ii)雖然如此遏乔，我們還是應(yīng)該‘照骋迕’繼續(xù)搞數(shù)學(xué)這個行業(yè)，也就是說盟萨，應(yīng)該把無窮總體當(dāng)作真正存在的那樣來行事凉翻。”⑧形式主義者不承認(rèn)數(shù)學(xué)對象的客觀實在性捻激，把數(shù)學(xué)等同于純粹意義的符號操作制轰，認(rèn)為數(shù)學(xué)對象的存在性和數(shù)學(xué)命題的真理性就在于它們的一致性，“數(shù)學(xué)的存在即無矛盾”胞谭。數(shù)學(xué)是一門關(guān)于形式系統(tǒng)的科學(xué)垃杖，它所研究的只是一些事先毫無意義的符號系統(tǒng)，數(shù)學(xué)家的任務(wù)只是為某一符號系統(tǒng)確定作為前提的合式的符號串韭赘，并給出確定符號之間形式關(guān)系的變形規(guī)則缩滨，從給定的前提按給定的變形規(guī)則得出作為定理的符號串。因此泉瞻，數(shù)學(xué)就是符號的游戲脉漏，從事數(shù)學(xué)研究如同下棋，所驅(qū)遣的數(shù)學(xué)對象就像無實在意義的棋子袖牙，按給定的變形規(guī)則對符號進行機械的變形組合侧巨，就像按下棋規(guī)則去驅(qū)動棋子。對這種游戲的唯一要求就是它的無矛盾性(柯恩)鞭达，還要考慮到“是否方便司忱，是否富于成果”(柯里)皇忿，以及結(jié)構(gòu)上是否美(魯賓遜)等。

蒯因曾經(jīng)指出坦仍，這場爭論是中世紀(jì)關(guān)于共相爭論的延續(xù)鳍烁，邏輯主義相當(dāng)于實在論，直覺主義相當(dāng)于概念論繁扎，形式主義相當(dāng)于唯名論幔荒。⑨這場論戰(zhàn)在當(dāng)代哲學(xué)和邏輯中得到某種延續(xù)：新邏輯主義、虛構(gòu)主義(唯名論)梳玫、自然主義和結(jié)構(gòu)主義都在某種程度上繼承了數(shù)學(xué)基礎(chǔ)研究三大派的思想爹梁。例如，在20世紀(jì)80年代提澎，新邏輯主義發(fā)現(xiàn)姚垃，被弗雷格放棄的休謨原則與二階邏輯是一致的，并且從休謨原則和二階邏輯可以推出皮亞諾算術(shù)公理盼忌，這一結(jié)果被稱為弗雷格定理积糯。休謨原則是說，概念F的數(shù)和概念G的數(shù)相等當(dāng)且僅當(dāng)F和G等數(shù)谦纱。然而絮宁，很多人對休謨原則提出質(zhì)疑，包括凱撒問題和良莠不齊反駁服协。此后，新弗雷格主義者嘗試在保留公理V的前提下通過限制二階邏輯來發(fā)展新邏輯主義：首先證明公理V與受限制的二階邏輯的一致性啦粹，然后從公理V和受限制的二階邏輯推出休謨原則偿荷，最后從休謨原則與受限制的二階邏輯推出算術(shù)公理。⑩

三唠椭、描述論和直接指稱論的論戰(zhàn)

這場論戰(zhàn)主要發(fā)生在語言哲學(xué)領(lǐng)域跳纳。自從克里普克的《命名與必然性》于1972年發(fā)表以來，在關(guān)于名稱的描述論和直接指稱論之間發(fā)生了一場長達(dá)40多年的“戰(zhàn)爭”贪嫂。這場論戰(zhàn)不僅發(fā)生在語言哲學(xué)領(lǐng)域寺庄，而且影響到形而上學(xué)、知識論和心靈哲學(xué)領(lǐng)域力崇，并衍生出許多新的理論斗塘，如嚴(yán)格指示詞和因果歷史理論、因果描述論和二維語義學(xué)等亮靴。

在這場論戰(zhàn)中馍盟，長期居于統(tǒng)治地位的描述論是被攻擊的一方。傳統(tǒng)描述論的代表人物是弗雷格和羅素(其觀點有差異)茧吊，其核心觀點是：(1)名稱都有含義和所指贞岭；(2)關(guān)于名稱所指對象的一個或一簇描述給出名稱的含義八毯；(3)名稱的含義是識別名稱所指的依據(jù)、標(biāo)準(zhǔn)或途徑瞄桨；(4)名稱的所指是外部世界中的對象话速。維特根斯坦、斯特勞森和塞爾將描述論發(fā)展成簇描述論：確定名稱所指的不是單個描述芯侥，而是數(shù)目不定的許多描述的析取泊交，后者也給出名稱的意義。

直接指稱論是發(fā)動攻擊的一方筹麸，認(rèn)為名稱直接指稱對象活合，而不必以“含義”或“描述性內(nèi)容”為中介；名稱對所在語句的唯一語義貢獻(xiàn)就在于其指稱對象物赶。有些直接指稱論者還認(rèn)為白指，確定名稱所指的不是關(guān)于相關(guān)對象的一個或一組特征性描述，而是開始于對象的初始命名儀式酵紫、在語言共同體內(nèi)傳播的因果歷史鏈條告嘲，通過追溯這根因果歷史鏈條，人們能夠找到該名稱的所指奖地。直接指稱論的代表人物是克里普克橄唬、唐納蘭、卡普蘭参歹、馬庫斯仰楚、普特南，他們是直接指稱論的發(fā)明者和倡導(dǎo)者犬庇，以及后來的薩蒙和索姆斯僧界，他們是克里普克理論的追隨者、詮釋者和修補者臭挽，也是回?fù)粜屡u的捍衛(wèi)者捂襟。

對直接指稱論做出描述論回?fù)舻拇砣宋锸沁_(dá)米特、埃文斯欢峰、塞爾葬荷、普蘭廷加、劉易斯纽帖、大衛(wèi)·索沙宠漩、斯坦利等人，其中有人對直接指稱論提出了寬轄域名稱的回?fù)舭弥保疵Q相對于模態(tài)詞總是取寬轄域哄孤；有人提出了嚴(yán)格化摹狀詞的回?fù)簦赐ㄟ^給摹狀詞加上“現(xiàn)實的”或“在現(xiàn)實世界中”吹截，使相應(yīng)的摹狀詞嚴(yán)格化瘦陈，總是指稱它在現(xiàn)實世界中所適用的對象凝危，即使在其他可能世界中也固定地回指它在現(xiàn)實世界中所指稱的對象；還有人發(fā)展了某種替代性理論晨逝，如“元語言的描述論”和“因果描述論”蛾默。

在這場論戰(zhàn)的前多半個時段，直接指稱論獲得了壓倒性優(yōu)勢地位捉貌，以至有人說“描述論已經(jīng)死掉了”支鸡。但近二十年來卻出現(xiàn)了“描述論復(fù)興”，與斯托內(nèi)克趁窃、杰克森和查默斯等人的工作有關(guān)牧挣。他們發(fā)展了“二維描述論”，認(rèn)為每一個名稱都有兩個意義：第一內(nèi)涵醒陆，即一個唯一的識別屬性瀑构；第二內(nèi)涵，即例示該屬性的對象刨摩。表達(dá)該屬性的描述可以是因果描述寺晌，也可以是其他形式的描述；它們被用來確定該名稱的所指澡刹，還是其意義的一部分呻征。我本人近十年來在國際A&HCI期刊發(fā)表多篇英文論文，對克里普克的嚴(yán)格指示詞理論提出系統(tǒng)性批評罢浇，發(fā)展了一種基于我自己提出的“語言和意義的社會建構(gòu)論”的名稱理論——“社會歷史的因果描述論”陆赋，其要點是：(1)名稱與對象的關(guān)系始于廣義的初始命名儀式；(2)在關(guān)于名稱的因果歷史鏈條上嚷闭，所傳遞的首先是并且主要是關(guān)于名稱所指對象的描述性信息奏甫；(3)被一個語言共同體所認(rèn)可的那些描述性信息的集合構(gòu)成了名稱的意義；(4)相對于認(rèn)知者的實踐需要凌受，在作為名稱意義的描述集合中可以排出某種優(yōu)先序：某些描述比其他描述更占有中心地位；(5)若考慮到說話者的意向思杯、特定話語的背景條件和相關(guān)的知識網(wǎng)絡(luò)等因素胜蛉，由名稱的意義甚至是部分意義也可以確定名稱的所指；(6)除極少數(shù)名稱外色乾，絕大多數(shù)名稱都有所指誊册，但其所指不一定是物理個體，也包括抽象對象暖璧、虛構(gòu)對象和內(nèi)涵對象案怯。(11)

四、關(guān)于實在論和反實在論的論戰(zhàn)

這場論戰(zhàn)主要發(fā)生在形而上學(xué)領(lǐng)域澎办，也發(fā)生在認(rèn)識論嘲碱、語義學(xué)金砍、邏輯學(xué)、數(shù)學(xué)麦锯、倫理學(xué)等領(lǐng)域恕稠。很多西方的主流分析哲學(xué)家，例如蒯因扶欣、達(dá)米特鹅巍、戴維森、普特南料祠、大衛(wèi)·劉易斯骆捧、克里普克、麥克道威爾髓绽、范弗拉森敛苇、塞拉斯、內(nèi)格爾梧宫、菲爾德接谨、德維特、布蘭登塘匣、夏皮羅等人脓豪，都參與了論戰(zhàn)。他們所爭論的主要問題是：(1)存在問題：這個世界上究竟存在哪些對象及其屬性和關(guān)系忌卤？(2)獨立問題：這個世界上的對象及其屬性是否獨立于人的意識和心靈(信念扫夜、語言實踐、概念框架等)而存在驰徊？(3)表征問題：假如這個世界真的獨立于人的意識和心靈而存在的話笤闯，人的意識和心靈如何表征不依賴于它們而存在的事物及其狀況？或者說棍厂，我們?nèi)绾潍@得關(guān)于這個獨立存在的世界的知識颗味？

形而上學(xué)的實在論斷言：這個世界是按照它本來的樣子而存在，獨立于我們關(guān)于它如何存在的信念牺弹；這個世界的事物及其屬性和關(guān)系與我們發(fā)現(xiàn)它們是如何的能力無關(guān)浦马；我們關(guān)于這個世界的信念客觀地為真，與任何人認(rèn)為它們?yōu)檎婊驗榧俚男拍顭o關(guān)张漂。非實在論有多種不同的形式：錯誤理論晶默、非認(rèn)知主義、工具論航攒、唯名論磺陡，某些形式的還原論和取消論對存在問題給出否定的回答；而觀念論、主觀主義币他、反實在論等對獨立問題給出否定的回答：它們承認(rèn)存在某些對象及其屬性和關(guān)系坞靶，但否認(rèn)這些對象及其屬性和關(guān)系獨立于人的意識和心靈而獨立存在。具體就科學(xué)領(lǐng)域而言圆丹，實在論主張滩愁，存在一個不依賴于人的意識的物理世界，甚至那些未被觀察到的現(xiàn)象(如基本粒子和黑洞)也是實際存在的辫封；而反實在論斷言硝枉，不能把科學(xué)理論視為真理，而只能看作是有用的工具倦微，即使被證明錯誤之后也被經(jīng)常使用妻味。普特南斷言：“實在論……是唯一不把科學(xué)獲得成功訴諸奇跡的哲學(xué)⌒栏＃”(12)

在邏輯學(xué)領(lǐng)域责球，實在論和反實在論之爭主要在達(dá)米特和戴維森之間進行。按達(dá)米特的表述拓劝，實在論和反實在論的真正分歧在于：實在論者承認(rèn)二值原則雏逾，承認(rèn)排中律，接受經(jīng)典邏輯郑临，接受超越于證據(jù)的“真”概念栖博；而反實在論不承認(rèn)二值原則和排中律，不接受經(jīng)典邏輯和超越證據(jù)的“真”概念厢洞，認(rèn)為“真”概念是與證據(jù)仇让、證實、人的認(rèn)知能力等等相關(guān)的躺翻。戴維森的真值條件語義學(xué)主張：一個句子的意義就是該句子為真為假的條件丧叽，但它不再對“真”概念本身給出進一步說明，而只是簡單地斷定：任一句子必定或者是真的或者是假的公你，沒有既真又假或既不真也不假的情況發(fā)生踊淳，后者就是經(jīng)典邏輯所秉持的二值原則。按達(dá)米特分析陕靠，二值原則背后隱藏著實在論假設(shè)：是語言之外的外部世界使得述說它的狀況的任一句子或真或假迂尝，即使這種真假不被我們所知道，甚至在原則上不能被我們所知道懦傍。這樣的“真”概念是超越人們所擁有的證據(jù)和證實的，也超越于人的認(rèn)知能力之上芦劣。達(dá)米特從直覺主義邏輯出發(fā)粗俱，主張放棄二值原則：僅當(dāng)我們有能力、證據(jù)和辦法去證實某個句子為真(或為假)時虚吟，或者至少我們在原則上能夠做到這一點時寸认，我們才能夠承認(rèn)該句子為真(或為假)签财。他由此提出了一種證成主義的意義理論，其關(guān)鍵特征是分子性偏塞、徹底性和公共性(亦稱“顯示性”)唱蒸，例如它要說明：當(dāng)我們知道一門語言時我們知道什么？我們關(guān)于語言的知識體現(xiàn)在什么地方灸叼？是如何體現(xiàn)的神汹？在達(dá)米特看來，邏輯原則靠語義理論來提供證成古今，語義理論靠意義理論來提供證成屁魏，而意義理論是否成功則取決于它是否能夠令人滿意地解釋我們的語言實踐。

五捉腥、本質(zhì)主義和反本質(zhì)主義的論戰(zhàn)

本質(zhì)主義是自亞里士多德以來一種根深蒂固的哲學(xué)學(xué)說氓拼，其核心主張是：(1)事物的所有屬性區(qū)分為本質(zhì)屬性和偶有屬性；(2)模態(tài)刻畫：一個對象的本質(zhì)屬性是它必然具有的屬性抵碟，其偶有屬性是它實際具有但可能不具有的屬性桃漾。若用可能世界來刻畫，一個對象的本質(zhì)屬性是它在所有可能世界中都具有的屬性拟逮，其偶有屬性是它實際具有但在有些可能世界中沒有的屬性撬统。(3)解釋刻畫：一個對象的本質(zhì)屬性將派生出該對象的其他屬性和外顯特征，它是其他特性和特征生成的基礎(chǔ)唱歧、根據(jù)和原因宪摧，因而可以依據(jù)其本質(zhì)屬性去充分解釋和說明其非本質(zhì)特性。在整個20世紀(jì)颅崩，各種后現(xiàn)代思潮對本質(zhì)主義和理性主義做了激烈批判和攻擊几于，但這是來自分析哲學(xué)外部的批判。下面只考察分析哲學(xué)內(nèi)部對本質(zhì)主義的批評沿后。

有些分析哲學(xué)家否認(rèn)對象有所謂的“本質(zhì)屬性”沿彭。蒯因舉例說，指稱9有兩種方式：一是用“7+2”尖滚，7+2必然大于7喉刘，故可以說9本質(zhì)性地大于7；一是用“太陽系行星的數(shù)目”(當(dāng)時的共識是該數(shù)目為9)漆弄，但該數(shù)目有可能是6睦裳，因此太陽系行星的數(shù)目只是偶然地大于7廉邑。再考慮另一個例子：一位數(shù)學(xué)家必定是有理性的，但可能沒有兩條腿糙箍，故“有理性”是該數(shù)學(xué)家的本質(zhì)屬性牵祟，“有兩條腿”則是他的偶有屬性；一位自行車選手必然有兩條腿诺苹，但可能不足夠理性甚至缺乏理性，故“有兩條腿”是他的本質(zhì)屬性筝尾，“有理性”則是他的偶有屬性捡需。但該數(shù)學(xué)家恰好也是一名自行車選手，他的本質(zhì)屬性是什么呢筹淫？蒯因通過這些例子試圖表明站辉，一個對象的本質(zhì)屬性取決于指稱或描述該對象的方式；既然可以用不同方式去指稱或描述一個對象损姜，該對象就可能會有不同的“本質(zhì)屬性”饰剥，這會使本質(zhì)屬性成為完全相對和主觀的東西，從而陷于哲學(xué)泥潭摧阅。(13)后期維特根斯坦提出“家族相似”概念：一個家族的眾多成員在很多特征上或多或少的相似汰蓉，但又有或大或小的差別，很難找出一個特征作為本質(zhì)屬性為該家族的所有成員所共有棒卷。這種家族相似性也存在于各種游戲特別是語言游戲中：“我想不出比‘家族相似性’更好的表達(dá)式來刻畫這種相似關(guān)系顾孽；因為一個家族的成員之間的各種各樣的相似之處：體形、相貌比规、眼睛的顏色若厚、步姿、性情等等蜒什，也以同樣方式互相重疊和交叉测秸。——所以我要說：‘游戲’形成一個家族灾常■耄”(14)維特根斯坦進而斷言，對象之間只有家族相似钞瀑，沒有所謂的“本質(zhì)屬性”沈撞，本質(zhì)主義是錯誤的缠俺。

有些分析哲學(xué)家質(zhì)疑對本質(zhì)屬性的模態(tài)刻畫晋修。根據(jù)模態(tài)刻畫墓卦，一個對象的本質(zhì)屬性就是它的必然屬性，也就是它在所有可能世界中都具有的屬性忠怖》财基特·法恩試圖切斷“本質(zhì)”和“必然性”的這種聯(lián)系。他考慮了這樣一些屬性：“是一種元素(假如是金子的話)”“是如此這般以至使得2+3=5”“不同于埃菲爾鐵塔”“是單元集｛亞里士多德｝的元素”等贺纲，這些屬性都是亞里士多德在所有可能世界中都具有的屬性猴誊，因而都是他的必然屬性，根據(jù)模態(tài)刻畫萝毛，因而也是他的本質(zhì)屬性环揽，但這是荒謬的歉胶。他認(rèn)為粥谬，模態(tài)刻畫不能區(qū)分一個事物的同一性條件和該事物同一性的后果漏策。回到上面的例子感耙，“是一種元素(假如是金子的話)”和“是如此這般以至使得2+3=5”這兩個屬性并不能使亞里士多德成為他之所是即硼；“不同于埃菲爾鐵塔”并不是亞里士多德身份中的一個要素；盡管單元集｛亞里士多德｝必定包含亞里士多德作為唯一元素层皱，但“是單元集｛亞里士多德｝的元素”并不是亞里士多德成為亞里士多德的條件叫胖∥驮觯考慮到模態(tài)刻畫的這些反例，法恩提出了替代方案——定義刻畫：對于每一個對象凡资，都有一個與之關(guān)聯(lián)的命題D(x)作為x的“真實定義”垦藏；x的本質(zhì)屬性就是由D(x)指派給x的那些屬性掂骏。(15)

有些分析哲學(xué)家無視或質(zhì)疑本質(zhì)屬性的解釋功能级解∏诨克里普克認(rèn)為，個體的本質(zhì)就是其因果起源，例如一個人的本質(zhì)就是源自于他父母的苔可、他由之發(fā)育而成的那顆受精卵焚辅，一張桌子的本質(zhì)就是它由之制成的那些材料；自然種類的本質(zhì)就是其內(nèi)部結(jié)構(gòu)湾蔓，例如水的本質(zhì)是砌梆，金子的本質(zhì)是原子序數(shù)為79的元素桃序，老虎的本質(zhì)是其內(nèi)部的生理結(jié)構(gòu)媒熊。他還認(rèn)為芦鳍，一個或一類對象只要其本質(zhì)保持不變怜校，即使它們失掉許許多多其他特性魂贬，甚至失掉它的全部偶有特征，也仍然是該個或該類事物愈犹；反之勋颖，一個或一類事物如果失去其本質(zhì)饭玲，即使它們在其他性質(zhì)方面仍然與原事物相同茄厘，它們也不再是該個或該類事物。我們可以設(shè)想這樣一種非真實的情形：其中有這樣一種動物窑滞，它具有現(xiàn)實世界中老虎的一切外部特征：胎生的葛假、四肢著地、爬行恢氯、食肉勋磕、兇猛等，但它卻具有現(xiàn)實世界中鳥的內(nèi)在結(jié)構(gòu)赶站”创唬克里普克認(rèn)為烙博，即使在這種情況下铺根，我們還是應(yīng)該將其稱之為鳥位迂，而不該將其稱之為虎：“我們不能夠以虎的外貌特征來定義虎；因為可能存在著另一個物種蛤虐，它具備虎的所有外貌特征，但又具有與虎完全不同的內(nèi)部結(jié)構(gòu)饲常，因而這個物種不是虎種……”(16)我曾對此提出批評：這種說法“完全忽視甚至排除了事物的本質(zhì)屬性與事物的其他性質(zhì)及外顯特征的內(nèi)在聯(lián)系贝淤，認(rèn)為前者并不支配、決定离陶、派生后者。但這是完全錯誤的”(17)沉眶，因為一個對象具有人的基因沦寂，它就必定看起來就是人的樣子腻暮，而不會是狗的樣子。

六试幽、內(nèi)在論和外在論的論戰(zhàn)

1963年铺坞，埃德蒙·蓋梯爾發(fā)表了僅3頁的短文(18)，提出著名的“蓋梯爾問題”：有證成的真信念是知識嗎擒滑？該文用幾個例子表明：由于某種碰巧和運氣成分丐一，人們可能有內(nèi)在適當(dāng)?shù)淖C成卻沒有知識库车，因而知識不等于有證成的真信念凝颇。把蓋梯爾問題引入當(dāng)代認(rèn)識論中，要求重新思考真信念與知識的關(guān)系疹鳄，由此引發(fā)了內(nèi)在論和外在論的論戰(zhàn)拧略。內(nèi)在論者堅持認(rèn)為，知識要求證成瘪弓，并且證成的性質(zhì)完全由一個認(rèn)知主體的內(nèi)在狀態(tài)或理由決定垫蛆。外在論者至少否認(rèn)內(nèi)在論者的某個承諾：或者知識不要求證成，或者證成的性質(zhì)并不僅由主體的內(nèi)在因素所決定。按照外在論的后一種觀點袱饭，證成一個信念的那些事實包括一些外在事實：例如，信念是否由使得該信念為真的那些事態(tài)所引發(fā)糙捺？該信念是否反事實地依賴于使它為真的那些事態(tài)掏呼？信念是否由一個可靠的(或追蹤真理的)信念形成過程所產(chǎn)生富拗？或者缰雇，信念是否在客觀上很有可能為真？這次論戰(zhàn)重點關(guān)注如下問題：日常知識歸屬的意義扯旷，合理性的本性否副，信念的倫理學(xué)，懷疑論蛾绎，以及自然主義在認(rèn)識論中的作用。

為了理解內(nèi)在論和外在論的區(qū)別肉渴，我們有必要先區(qū)別命題證成(propositional justification)和信念證成(doxastic justification)桥爽。命題證成是證成某個信念僅僅有好理由就足夠了缕碎，而信念證成=命題證成+某種因果關(guān)系赊抖，即要求基于那些理由而持有某個信念井氢，常把這個要求稱為“建基要求”(the basing requirement)俭嘁。

內(nèi)在論者認(rèn)為，命題證成，而不是信念證成，是完全由認(rèn)知主體的內(nèi)在狀態(tài)決定的莉掂。這里喷楣，內(nèi)在狀態(tài)可以是他通過反思(例如回想或記憶)可通達(dá)的狀態(tài)，也可以指他當(dāng)下的身體狀態(tài)、大腦狀態(tài)或者心智狀態(tài)(如果心智狀態(tài)不同于大腦狀態(tài)的話)。前一種看法稱為“可通達(dá)主義”(accessibilism)袁勺，后一種觀點叫做“心智主義”(mentalism)街立。我們也可以把內(nèi)在論表述為如下觀點：除建基要求之外掠手，所有決定證成的要素都是內(nèi)在的。關(guān)于證成的外在論否認(rèn)除開建基要求之外的證成要素都是內(nèi)在的合武。從肯定的角度說，外在論強調(diào)一個信念和外部環(huán)境之間的依賴關(guān)系對于證成的重要性岂贩。例如茫经，一個人的信念“綠草叢中有一只老虎”是由“綠草叢中有一只老虎”這個事實引起的，該事實對于確定該信念的證成狀態(tài)是至關(guān)重要的萎津，即使該事實可能未被那個人意識到卸伞，甚至不能被他意識到。

支持內(nèi)在論的常常是如下三個考慮：(1)合理性：不具有好理由而持有一個信念是不合理的锉屈，對一個信念的認(rèn)知證成要求持有使該信念為真的好理由晃择，并且這些理由還必須為相應(yīng)的認(rèn)知主體意識到或所知曉。外在論者卻允許一些不為認(rèn)知主體所知悉的外在因素——如一個信念的因果起源敌卓，或某個信念形成過程的可靠性——去證成一個信念。(2)信念的倫理學(xué)：證成就是履行一個人的理智義務(wù)或責(zé)任终佛，而一個人是否忠實履行其理智責(zé)任，例如他是否讓他的信念嚴(yán)格依從于他所得到的證據(jù)雾家，完全是一件內(nèi)在的事情铃彰。(3)關(guān)于一些案例的自然判斷，此處細(xì)節(jié)從略芯咧。

支持外在論的常常是如下三類論證：(1)依據(jù)真值聯(lián)系的論證牙捉。對一個信念的認(rèn)知證成意味著該信念在客觀上很可能為真，這涉及該信念為真與相應(yīng)的證據(jù)在現(xiàn)實世界中的關(guān)聯(lián)度敬飒，而內(nèi)在論所主張的僅僅擁有好理由不能確保一個信念客觀上為真邪铲。(2)依據(jù)日常知識歸屬的論證。我們常常把知識歸屬給理智上不成熟或不精細(xì)的孩子无拗、老人霜浴，甚至動物，他們對于這些知識缺乏內(nèi)在的證成蓝纲，即不能給出為他們所知曉的好理由阴孟，自然的結(jié)論是：或者知識不需要證成，或者證成只需要一些外在條件税迷，盡管這些條件不被相關(guān)認(rèn)知主體所知曉永丝。(3)依據(jù)激進懷疑論的不合理性的論證。外在論者認(rèn)為箭养，他們能夠比內(nèi)在論者更好地解釋和說明激進懷疑論的不合理性慕嚷，此處細(xì)節(jié)從略。

內(nèi)在論和外在論的論戰(zhàn)在當(dāng)代哲學(xué)中廣受關(guān)注毕泌，是因為它們涉及關(guān)于認(rèn)識論的根本性問題：當(dāng)建構(gòu)有關(guān)信念喝检、證據(jù)、證成撼泛、知識等關(guān)鍵性認(rèn)識論概念的理論時挠说，我們想達(dá)到的目標(biāo)是什么？這些理論化工作的性質(zhì)是什么愿题？

七损俭、關(guān)于真理和邏輯真理的論戰(zhàn)

很長時期以來，圍繞有關(guān)“真”和“真理”的如下問題產(chǎn)生了很多哲學(xué)爭論潘酗，例如：什么是真值承擔(dān)者杆兵，即究竟是什么東西——語句、陳述仔夺、命題琐脏、判斷、信念、理論——為真或為假日裙？什么是語句或命題的真或假吹艇？如何定義“真”和“假”？“真”和“真理”在我們的整個知識體系中究竟發(fā)揮什么作用阅签？等等掐暮。各種主要的真理論蝎抽，如符合論政钟、融貫論、冗余論或緊縮論樟结、實用主義真理論等养交，相互之間進行了激烈交鋒。(19)

亞里士多德的如下斷言道出了符合論的精髓：“說是者為非瓢宦，或說非者為是碎连，是假的；而說是者為是驮履，或說非者為非鱼辙，是真的∶蹈洌”(20)即是說倒戏，語句的真在于語句所表述的內(nèi)容與對象在世界中的存在方式或存在狀況的符合與對應(yīng)。符合論后來演變出不同的版本恐似，例如有假定事實的本體論地位的版本：存在一類特殊的實體——“事實”杜跷，與事實相符合的語句為真，不符合的語句為假矫夷。羅素葛闷、早期維特根斯坦、奧斯汀以及絕大多數(shù)邏輯經(jīng)驗論者双藕，都是這個版本的倡導(dǎo)者和堅持者淑趾。后來也發(fā)展出不假定事實的本體論地位的符合論版本。

融貫論的基本思想是：一個命題的真不在于它與實在忧陪、事實的符合或?qū)?yīng)治笨，而在于它與它所從屬的命題系統(tǒng)中其他成員是否融貫：融貫者為真，不融貫者為假赤嚼。更明確地說旷赖，真理在于一組信念的各個元素之間的融貫關(guān)系。一個命題是真的更卒，當(dāng)且僅當(dāng)等孵，它是一個融貫的命題集合中的元素。由此可以引申出：對融貫論者來說蹂空，談?wù)撟鳛橐粋€命題系統(tǒng)的元素的單個命題的真假是有意義的俯萌，但談?wù)撍鶑膶俚恼麄€命題系統(tǒng)的真假是無意義的果录。早期融貫論者包括萊布尼茨、笛卡爾咐熙、斯賓諾莎弱恒，黑格爾和布拉德雷。20世紀(jì)棋恼，某些邏輯經(jīng)驗論者如紐拉特和亨普爾返弹，以及雷謝爾也是融貫論者。

實用主義真理論是由皮爾士爪飘、詹姆士和杜威等人提出的义起。他們認(rèn)為，一個概念的意義是由運用它所產(chǎn)生的“實驗的”或“實踐的”結(jié)果來確定的师崎；不實際造成任何經(jīng)驗差別的理論差別都不是真正的差別默终。在真理問題上，他們研究這樣的問題：若一個信念或語句為真犁罩，會在實踐中造成什么差別齐蔽？可以對實用主義的真理觀作如下概括：

冗余論最早由拉姆塞于1927年提出，后經(jīng)艾耶爾床估、斯特勞森含滴、格羅弗等人加以充實和發(fā)展。他們認(rèn)為顷窒，“p是真的”僅僅等同于p蛙吏，說“p是真的”只不過意味著斷定p、接受p鞋吉、同意p等等鸦做。“真的”和“假的”這兩個謂詞是多余的谓着，它們并沒有對p做出實質(zhì)性貢獻(xiàn)泼诱。近些年來，冗余論發(fā)展出一些新形式赊锚，如“靜默論”(quietism)治筒、“去引號理論”(disquotationism)和“緊縮論”(deflationism)，它們試圖卸掉真概念的形而上學(xué)和認(rèn)識論重負(fù)舷蒲，使其平凡化耸袜，認(rèn)為“p是真的當(dāng)且僅當(dāng)p”窮盡了真概念的一切意蘊。

真理論方面的爭論必然延伸到邏輯真理和數(shù)學(xué)真理牲平。什么是邏輯真理和數(shù)學(xué)真理堤框？它們在什么意義上為真？是什么東西、哪些因素使得它們?yōu)檎骝谧ィ總鹘y(tǒng)上启绰，哲學(xué)家們利用“理性真理”和“事實真理”或“分析命題”和“綜合命題”的區(qū)分去說明這些問題：邏輯真理和數(shù)學(xué)真理是空無經(jīng)驗內(nèi)容的分析命題，因其所包含詞語的意義或整個命題的形式結(jié)構(gòu)為真沟使，因而是普遍的委可、客觀的、先驗的和必然的腊嗡。蒯因在《經(jīng)驗論的兩個教條》等論著中着倾，闡述了一種整體主義知識觀：我們關(guān)于世界的知識總體是一個懸浮在經(jīng)驗基礎(chǔ)上的結(jié)構(gòu)，其中所有部分都與我們關(guān)于外部世界的感覺經(jīng)驗有關(guān)叽唱，各部分的差別不是經(jīng)驗內(nèi)容有無的差別屈呕，而是程度的差別：多些或少些微宝，遠(yuǎn)些或近些棺亭，直接或間接，等等蟋软。我們的知識總體中的任何部分镶摘，包括邏輯和數(shù)學(xué)，都含有經(jīng)驗內(nèi)容岳守，在原則上都是可修正的凄敢；但鑒于邏輯和數(shù)學(xué)在整個體系中的核心位置，對它們的修正必須慎之又慎：讓邏輯不受傷害總是一個合理的策略湿痢。蒯因的觀點引發(fā)熱烈的爭論涝缝，一直延續(xù)至今。

八譬重、關(guān)于邏輯一元論和邏輯多元論之間的論戰(zhàn)

這場論戰(zhàn)緊隨上一場論戰(zhàn)而來拒逮。蒯因的整體論引出了邏輯的可修正性論題，進一步引發(fā)的問題是：邏輯理論為什么要修正臀规？如何修正滩援？修正后得到的邏輯系統(tǒng)與原來的邏輯系統(tǒng)是什么關(guān)系？由于有經(jīng)典邏輯塔嬉、變異邏輯和擴充邏輯的多種邏輯系統(tǒng)同時并存玩徊，其中有些還在下述意義上相互沖突：一些系統(tǒng)包含某些定理，另外一些系統(tǒng)則拒斥這些定理谨究。由此牽扯出更具根本性的問題：邏輯有正確與錯誤之分嗎恩袱？根據(jù)什么標(biāo)準(zhǔn)去做這種區(qū)分？正確的邏輯是一種還是多種胶哲？由此形成了邏輯一元論畔塔、多元論和工具論等，其中邏輯多元論是目前較為強勢的一方。

問題1：邏輯系統(tǒng)有正確和不正確之分嗎俩檬？是否可以依據(jù)世界和心靈的某些結(jié)構(gòu)性特征以及自然語言的使用慣例萎胰，去分辨邏輯理論的正確與錯誤？

邏輯工具論者給予否定回答：不存在任何“正確的”邏輯棚辽，正確性觀念是不適當(dāng)?shù)募季埂Ｋ麄冎怀姓J(rèn)“內(nèi)部”問題，即一邏輯系統(tǒng)是否一致與可靠屈藐，而拒絕“外部問題”榔组，即一邏輯系統(tǒng)是否正確地刻畫了日常語言中的非形式論證，特別是世界和心靈的某些結(jié)構(gòu)性特征联逻。在他們看來搓扯，邏輯只是人們進行推理的工具，只有是否適用包归、方便锨推、易于操作等問題，沒有正確與否的問題公壤，談?wù)撨壿嫷恼_與否是文不對題换可。

一元論者和多元論者全都承認(rèn)有“外部問題”，也全都承認(rèn)討論一個邏輯系統(tǒng)的正確性是有意義的厦幅，但他們在下一問題上有分歧沾鳄。

問題2：是只存在一個正確的邏輯系統(tǒng)，還是存在多個同等正確的邏輯系統(tǒng)确憨？變異邏輯與經(jīng)典邏輯之間是否有沖突或競爭译荞？

一元論者的回答是：正確的邏輯是唯一的，經(jīng)典邏輯及其擴充構(gòu)成了那個正確的邏輯休弃，而其他的邏輯則與經(jīng)典邏輯及其擴充構(gòu)成競爭關(guān)系吞歼，也就是說，或者經(jīng)典邏輯是正確的玫芦，或者變異邏輯是正確的浆熔，但不能兩者都是正確的。

多元論者認(rèn)為桥帆，正確的邏輯系統(tǒng)不只一個医增，而有好多個，不同邏輯系統(tǒng)之間的競爭是表面的老虫，內(nèi)在是相容的叶骨。這是因為，人類心靈對世界的結(jié)構(gòu)性特征的把握是多視角的祈匙，對推理和論證有效性的直觀和領(lǐng)悟也是有差別的忽刽，這就為邏輯學(xué)家進行形式建構(gòu)時留下了很大的自由空間天揖，可以構(gòu)造出不同的邏輯系統(tǒng)，它們適用于處理不同領(lǐng)域的推理和論證跪帝，有不同的用途今膊；在一定方面或程度上都是正確的，但并非完全和絕對正確伞剑。主張邏輯多元論的一個理由是：它鼓勵邏輯創(chuàng)新斑唬，產(chǎn)生邏輯領(lǐng)域內(nèi)的新發(fā)現(xiàn)，導(dǎo)致新邏輯系統(tǒng)的創(chuàng)立黎泣，這些都是有價值的事情恕刘。

問題3：一個邏輯系統(tǒng)必須是普遍適用的，即適用于一切題材的推理嗎抒倚？或者一個邏輯可以是局部正確的褐着，即只適用于某個有限的話語領(lǐng)域？

一元論者假定：邏輯應(yīng)該是普遍適用的托呕，可以應(yīng)用于任何題材的推理含蓉。

多元論可區(qū)分為局部多元論和整體多元論。局部多元論者認(rèn)為镣陕，不同的邏輯系統(tǒng)可以適用于不同的話語領(lǐng)域谴餐，例如經(jīng)典邏輯也許適用于宏觀現(xiàn)象領(lǐng)域姻政，量子邏輯則適用于微觀現(xiàn)象領(lǐng)域呆抑。他們把系統(tǒng)外的有效性或邏輯真理概念相對化，也把邏輯系統(tǒng)的正確性概念相對化汁展，即相對于不同的話語領(lǐng)域鹊碍。在他們看來，一個論證不是普遍有效的食绿，而是在某個范圍內(nèi)有效的侈咕。整體多元論者則與一元論者持有同樣的假定：邏輯應(yīng)該是普遍適用的，可以應(yīng)用于任何題材器紧。但是耀销，他們或者否認(rèn)經(jīng)典邏輯學(xué)家和變異邏輯學(xué)家恰好在同樣意義上使用“有效”或“邏輯真”概念，或者否認(rèn)他們之間在關(guān)于同樣的論證或陳述上真正發(fā)生了分歧铲汪。

九熊尉、哲學(xué)論戰(zhàn)的意義

像幾乎所有的哲學(xué)論戰(zhàn)一樣，如上所述的八此大論戰(zhàn)并沒有就所爭議的問題達(dá)成共識掌腰，所爭議的那些問題并沒有被最后解決狰住，而是留待我們后人來繼續(xù)研究，并對它們的解決做出我們的貢獻(xiàn)齿梁。這就引出了一個問題：不解決爭議且造成新爭議的哲學(xué)論戰(zhàn)究竟有什么價值和意義催植？哲學(xué)家們?yōu)槭裁匆渡碛谶@樣的論戰(zhàn)中去肮蛹？這是一個嚴(yán)肅的問題，值得認(rèn)真加以回答创南。

我認(rèn)為伦忠，哲學(xué)論戰(zhàn)的價值和意義至少體現(xiàn)在以下四點：

1.揭示已有理論觀點的問題和缺陷。在某種意義上稿辙，分析哲學(xué)肇始于弗雷格的反心理主義缓苛，在后來的很長時期內(nèi)，后者占據(jù)了絕對統(tǒng)治地位邓深。隨著時間的推移未桥，這種反心理主義暴露出很多嚴(yán)重問題。首先芥备，它基于早期實驗心理學(xué)的不成熟冬耿，認(rèn)為只要一觸及心理現(xiàn)象，其研究結(jié)果就必然是私有的萌壳、個人的亦镶、主觀的和不穩(wěn)定的。但隨著研究方法的不斷改進袱瓮，心理學(xué)已經(jīng)像其他自然科學(xué)一樣缤骨，成為一門值得尊敬的嚴(yán)肅科學(xué)，其很多研究結(jié)果也可以被重復(fù)驗證尺借，具有相當(dāng)程度的客觀性绊起。其次，弗雷格在反對邏輯心理主義的過程中燎斩，所使用的不少關(guān)鍵性前提只是被假定為理所當(dāng)然的虱歪，而沒有得到嚴(yán)格的論證，其成立依據(jù)值得嚴(yán)重懷疑栅表。再次笋鄙，它把推理和論證的有效性完全與人的實際思維過程分離開來，從而使邏輯的規(guī)范性得不到合理的說明和辯護怪瓶。最后萧落，隨著認(rèn)知科學(xué)和人工智能的發(fā)展，我們必須研究人究竟是如何接受信息和處理信息洗贰，如果根據(jù)新信息和環(huán)境反饋來調(diào)整和改變自己的思考和決策找岖，這就要求我們?nèi)パ芯咳说膶嶋H認(rèn)知過程、思維過程和決策過程哆姻，從中提煉出認(rèn)知的模式宣增、程序、方法和規(guī)則等等矛缨。這樣的工作既是描述性的爹脾，又是規(guī)范性的帖旨，認(rèn)知規(guī)范從對成功或失敗的認(rèn)知實踐的反思中提取，又被新的認(rèn)知實踐所檢驗灵妨。因此解阅，當(dāng)代邏輯學(xué)家和哲學(xué)家開始重新檢討和反思過去的心理主義和反心理主義的論戰(zhàn)，甚至出現(xiàn)了某種形式的新心理主義泌霍。

2.開拓新的思維空間货抄，發(fā)展新的理論觀點。哲學(xué)家們的相互詰難和相互批判朱转，必然形成新的思維沖擊力蟹地，促使舊理論的同情者和捍衛(wèi)者去想盡辦法回應(yīng)批評，利用一切可能的資源藤为，去改進和發(fā)展自己的理論怪与；同時也促使不滿意舊理論的思想家去構(gòu)想新的可能性，提出和建構(gòu)新的理論缅疟，由此可以促進哲學(xué)的繁榮和進步分别。例如，在模態(tài)概念“必然”和“偶然”存淫、理性概念“先驗”和“后驗”耘斩、意義概念“內(nèi)涵”和“外延”之間，存在著下述論題所刻畫的密切關(guān)聯(lián)：

弗雷格論題：兩個表達(dá)式A和B有同樣的含義桅咆，當(dāng)且僅當(dāng)‘A≡B’沒有認(rèn)知意義括授。

康德論題：句子S是必然的當(dāng)且僅當(dāng)S是先驗的。

卡爾納普論題：A和B有同樣的內(nèi)涵轧邪，當(dāng)且僅當(dāng)‘A≡B’是必然的刽脖。

結(jié)合康德論題和卡爾納普論題，可以推出：

新弗雷格論題：A和B有同樣的內(nèi)涵忌愚，當(dāng)且僅當(dāng)‘A≡B’是先驗的。

由此導(dǎo)致如下的“金三角”：

但是却邓，克里普克反對名稱的描述論而建立了嚴(yán)格指示詞理論硕糊，還由此推出“先驗偶然命題”和“后驗必然命題”的存在，這直接威脅到康德論題和新弗雷格論題腊徙，破壞了原來的金三角简十。有些哲學(xué)家，如卡普蘭撬腾、斯托內(nèi)克螟蝙、埃文斯、戴維斯民傻、漢姆斯通和查默斯胰默，試圖通過一些二維處理方法來恢復(fù)這個金三角场斑，從而產(chǎn)生了二維語義學(xué)，后者的“中心思想是一個表達(dá)式的外延以兩種不同的方式依賴于世界的可能狀態(tài)：一是認(rèn)知依賴牵署，這是指表達(dá)式的外延依賴于現(xiàn)實世界的呈現(xiàn)方式漏隐；二是指虛擬依賴，這是指在現(xiàn)實世界的特征都已經(jīng)固定的情形下奴迅，表達(dá)式的外延還依賴于世界的反事實狀態(tài)青责。對應(yīng)于這兩種不同的依賴性，一個表達(dá)式就具有兩種不同的內(nèi)涵取具，這兩種內(nèi)涵以不同的方式將表達(dá)式的外延和世界的可能狀態(tài)聯(lián)系起來脖隶。在二維語義學(xué)的框架中，這兩種內(nèi)涵被看作是體現(xiàn)了一個表達(dá)式的意義或內(nèi)容的兩個不同的維度”暇检。(21)二維語義學(xué)在當(dāng)代邏輯和哲學(xué)中都有很重要的應(yīng)用浩村，但目前還不成熟，正處于發(fā)展過程中占哟。

3.防止哲學(xué)領(lǐng)域里的盲從心墅、獨斷和專制。如果說榨乎，政治或軍事領(lǐng)域的獨斷和專制還可以找出些許“理由”的話怎燥，例如為了政府機構(gòu)的高效運轉(zhuǎn)，為了保證軍隊能打勝仗蜜暑，那么铐姚，學(xué)術(shù)領(lǐng)域特別是哲學(xué)領(lǐng)域的獨斷和專制絕對是有害無益的。某些哲學(xué)“天才”人物肛捍，憑借其扎實的知識儲備隐绵，卓越的洞察力，“天不怕地不怕”的特殊人格拙毫，以及罕有其匹的創(chuàng)新能力依许，顛覆舊理論，提出新理論缀蹄，很可能把普通讀者一時“擊暈”峭跳，使其失去判斷力，成為他們的粉絲和俘虜缺前，從而導(dǎo)致造神和盲從現(xiàn)象蛀醉。只有少數(shù)冷靜者和有能力者，躲在一邊閱讀和思考衅码，對“天才”的學(xué)說提出質(zhì)疑拯刁，逐漸形成影響，普通人也慢慢從“暈咽哦危”狀態(tài)中清醒過來垛玻，開始獨立思考割捅，最后往往導(dǎo)致舊偶像的坍塌，新英雄的出現(xiàn)夭谤。有一種說法：哲學(xué)史就是一種“學(xué)術(shù)弒父棺牧、思想弒父”的歷史，后來者推翻其前輩朗儒，超越其前輩颊乘。想一想當(dāng)年維也納學(xué)派是何等風(fēng)光，“拒斥形而上學(xué)”的口號是如何響遏行云醉锄，維特根斯坦和蒯因如何在很長時期內(nèi)居于領(lǐng)袖地位乏悄，如今卻物是人非，其影響日漸式微了恳不。

4.凸顯哲學(xué)追求智慧和真理的本性檩小。哲學(xué)對智慧和真理的追求，不能由單個哲學(xué)家來完成烟勋，而要靠哲學(xué)家群體的“對話”或“論戰(zhàn)”规求，他們通過相互質(zhì)疑、批評卵惦、詰難阻肿、提醒、補正沮尿、激勵……來確保他們的探索活動始終對準(zhǔn)理性丛塌、智慧和真理這樣的目標(biāo)。有學(xué)者指出：“如果不對假定的前提進行檢驗畜疾，將它們束之高閣赴邻，社會就會陷入僵化，信仰就會變成教條啡捶，想象就會變得呆滯姥敛，智慧就會陷入貧乏。社會如果躺在無人質(zhì)疑的教條的溫床上睡大覺届慈，就有可能漸漸爛掉徒溪。要激勵想象，運用智慧金顿，防止精神生活陷入貧瘠，要使對真理的追求(或者對正義的追求鲤桥，對自我實現(xiàn)的追求)持之以恒揍拆，就必須對假設(shè)質(zhì)疑，向前提挑戰(zhàn)茶凳，至少應(yīng)做到足以推動社會前進的水平嫂拴〔ゾ荆……在這一過程中，那些提出上述惱人問題并對問題的答案抱有強烈好奇心的人筒狠，發(fā)揮著絕對的核心作用猪狈。”(22)

注釋：
①參見Kusch,Martin,Psychologism,The Stanford Encyclopedia of Philosophy(Winter 2015 Edition),Edward N.Zalta(ed.),URL=〈https://plato.stanford.edu/archives/win2015/entries/psychologism/〉.讀取日期：2017-12-30.
②Hanna,R.Rationality and Logic,Cambridge,MA:The MIT Press,2006,pp.8-9.
③參見陳波：《超越弗雷格的“第三域”神話》辩恼，《哲學(xué)研究》2012年第2期雇庙。
④Frege,G.The Frege Reader,edited by M.Beaney,Oxford:Blackwell.1997,p.90.
⑤Baker,G.P.and P.M.S.Hacker.Frege:Logical Excavations.Oxford University Press.1984:50-51.
⑥Engel,P.The Norm of Truth:An Introduction to the Philosophy of Logic,Harvester Wheatsheaf,1989,p.320.
⑦參見范丙申(Johan van Benthem)：《邏輯與推理：事實重要嗎？》灶伊，《湖北大學(xué)學(xué)報(哲學(xué)社會科學(xué)版)》2012年第3期疆前。
⑧魯賓遜：《形式主義64》，《數(shù)理哲學(xué)譯文集》聘萨，中國社會科學(xué)院哲學(xué)研究所邏輯研究室編竹椒，北京：商務(wù)印書館1988年版，第62頁米辐。
⑨參見蒯因：《從邏輯的觀點看》胸完，江天驥等譯，上海：上海人民出版社1987年版翘贮，第13-16頁赊窥。
⑩參見劉靖賢：《新邏輯主義的困境和二階分層概括》，《湖北大學(xué)學(xué)報(哲學(xué)社會科學(xué)版)》2014年第2期择膝。
(11)Chen Bo,Social Constructivism of Language and Meaning, Croatian Journal of Philosophy,vol.XV,No.43:87-113;Socio-historical Causal Descriptivism:A Hybrid and Alternative Theory of Names, Croatian Journal of Philosophy,Vol.XVI,No.46:45-67.
(12)Putnam,H.Mathematics,Matter and Method,Cambridge:Cambridge University Press,1975,p.72.
(13)Quine,W.V.O.,1960.Word and Object,Cambridge,MA:MIT Press,1960,pp.196-200.
(14)維特根斯坦：《哲學(xué)研究》誓琼，李步樓譯、陳維航校肴捉，北京：商務(wù)印書館1996年版腹侣，第48頁。
(15)參見Kit Fine,Essence and Modality,Mind,1994,115(459):659-693.
(16)克里普克：《命名與必然性》齿穗，梅文譯傲隶，上海：上海人民出版社2001年版，第133頁窃页。
(17)陳波：《專名通名理論批判》跺株，《中國社會科學(xué)》1989年第5期，第143頁脖卖。
(18)Gettier,E.1963.Is Justified True Belief Knowledge? Analysis 23:121-123.
(19)參見陳波：《語句的真乒省、真的語句和真的理論體系——“truth”的三重含義辨析》，《北京大學(xué)學(xué)報(哲學(xué)社會科學(xué)版)》2007年第1期畦木。
(20)Aristotle,The Metaphysics,translated by W.D.Ross袖扛，北京：中央編譯出版社2012年版，第85頁。
(21)蕢益民：《二維語義學(xué)及其認(rèn)知內(nèi)涵概念》蛆封，《哲學(xué)動態(tài)》2007年第3期唇礁，第52頁。
(22)麥基編：《思想家》惨篱，周穗明等譯盏筐，北京：三聯(lián)書店1987年版，第4頁砸讳。