余俊偉

一、作為邏輯觀提出的原初概念“必然地得出”

王路先生在《論“必然地得出”》一文（以下簡稱“《論》文”）中指出：“我們應(yīng)該有一個正確的邏輯觀，應(yīng)該明確究竟什么是邏輯”；要“從內(nèi)在機(jī)制出發(fā)探討”；“內(nèi)在機(jī)制就是亞里士多德所說的‘必然地得出’?！薄斑壿嬍顷P(guān)于必然的推理的科學(xué)，特別是這種推理的必然性不是由內(nèi)容決定的，而是由形式?jīng)Q定的?！?/p>

《論》文旨在澄清邏輯觀念，正本清源，從邏輯學(xué)創(chuàng)立者的著作中尋找什么是邏輯的答案，“樹立正確的邏輯觀”，呼吁倡導(dǎo)學(xué)界重視現(xiàn)代邏輯的教學(xué)與科研?！墩摗肺囊饘W(xué)界強(qiáng)烈反響，有力地推動了國內(nèi)邏輯學(xué)的現(xiàn)代化。

然而，《論》文的結(jié)論——邏輯是關(guān)于“由形式?jīng)Q定的”必然地得出的科學(xué)——比較模糊，需要進(jìn)一步澄清。

“由形式?jīng)Q定的”必然地得出這一觀念包含兩個方面：一個是手段與方法，即“由形式?jīng)Q定的”，另一個是對象，即“必然地得出”?！墩摗肺暮粲踔匾暚F(xiàn)代邏輯的教學(xué)與研究，而現(xiàn)代邏輯區(qū)別傳統(tǒng)邏輯的一個重要方面就是形式化研究手段，因此《論》文強(qiáng)調(diào)“由形式?jīng)Q定的”。在喚起學(xué)界重視現(xiàn)代邏輯教學(xué)這一背景下，這種強(qiáng)調(diào)是必要的。但形式本身并非邏輯的本質(zhì)與關(guān)鍵，“必然地得出”才更接近邏輯本質(zhì)。

形式化只是現(xiàn)代邏輯與傳統(tǒng)邏輯的一個顯性區(qū)別。這兩種邏輯形態(tài)的隱性但更為本質(zhì)的區(qū)別在于，對語句結(jié)構(gòu)的分析不同?，F(xiàn)代邏輯引入了表達(dá)普遍性的量詞，提出了一個比亞里士多德邏輯更豐富的邏輯理論體系。理論體系的一個結(jié)果就是作為推理工具——比亞里士多德邏輯表達(dá)力更強(qiáng)的演算系統(tǒng)，它是形式化的。然而，現(xiàn)代邏輯的研究內(nèi)容遠(yuǎn)不止給出推理工具。它還包括現(xiàn)代邏輯觀念的提出、發(fā)展與豐富等。這些都是非常重要的思想奠基工作。例如，弗里德里?！ぢ返戮S?！じ晏芈宀肌じダ赘瘢‵riedrich Ludwig Gottlob Frege）的《思想——一種邏輯研究》，闡述現(xiàn)代邏輯的思想與理念，并沒有使用形式化方法。但從副標(biāo)題可看出，弗雷格認(rèn)為這是一種邏輯研究。

根據(jù)哥德爾不完全性定理，由形式?jīng)Q定的必然地得出只是必然地得出的一部分。而那些不能由形式?jīng)Q定的必然地得出往往是對理性真正具有挑戰(zhàn)性的，當(dāng)然也是邏輯學(xué)家研究的重要內(nèi)容。

因此，恰當(dāng)?shù)倪壿嬘^下的必然地得出，并非都是“由形式?jīng)Q定的”。而反之，“由形式?jīng)Q定的”必然地得出，是否都在恰當(dāng)?shù)倪壿嬘^下，也要視情況而定。被視為邏輯開端的亞里士多德的三段論是由形式?jīng)Q定的，被視為現(xiàn)代邏輯開端的弗雷格的概念文字也是由形式?jīng)Q定的，更準(zhǔn)確地說是形式化的。歷史上有名的集合論的形式化、阿爾佛雷德·塔爾斯基（Alfred Tarski）初等幾何形式化、保羅·魯?shù)婪颉た柤{普（Paul Rudolf Carnap）將狹義相對論形式化是否屬于邏輯學(xué)，都有爭議。如果將集合論劃歸為邏輯的話，第一項(xiàng)工作屬于邏輯學(xué)，但是，后兩項(xiàng)工作中的形式化是將現(xiàn)代邏輯研究方法運(yùn)用于其他學(xué)科領(lǐng)域。它們揭示幾何學(xué)、物理學(xué)領(lǐng)域的一般規(guī)律。這種形式化工作所依賴的不只是邏輯。由這種形式化所決定的必然地得出是否屬于邏輯學(xué)，是個有爭議的話題。有關(guān)此主題的深入而系統(tǒng)的闡述，請參考張建軍教授的論文。因此，形式?jīng)Q定的本身通常并不能完全確定是否為邏輯。

而“必然地得出”一詞本身也模糊。一方面，它可以僅指有根據(jù)得出。弗雷格指出過該種含義。另一方面，這種根據(jù)既可以寬泛指某種具體學(xué)科領(lǐng)域里的規(guī)律，如物理學(xué)規(guī)律、經(jīng)濟(jì)學(xué)規(guī)律，也可以在較窄的意義上僅指邏輯學(xué)規(guī)律。同時還有如上指出的將邏輯方法或規(guī)律運(yùn)用于其他領(lǐng)域的情況。本文以下如無特別說明，均是在較窄的意義上使用“必然地得出”。探究此種意義的“必然地得出”正是本文的任務(wù)。

如《論》文所指出的，亞里士多德與弗雷格都遵循了一種共同的邏輯觀，可概括為“必然地得出”。對何為“必然地得出”，亞里士多德與弗雷格主要通過各自創(chuàng)建的演繹理論——分別為三段論與概念文字——予以界定，并沒有給出通常的明確定義。我們今天一般稱這種必然地得出為邏輯有效（或邏輯真）。后者是今天形式系統(tǒng)語義學(xué)的標(biāo)準(zhǔn)用語。

亞里士多德與弗雷格使用其各自的邏輯理論為推理工具，論證其哲學(xué)觀，構(gòu)建形而上學(xué)理論體系與數(shù)學(xué)的邏輯主義。他們各自發(fā)展出邏輯理論足以支撐其哲學(xué)體系，他們也就可以止步于“必然地得出”。但時至今日，哲學(xué)、數(shù)學(xué)等與邏輯密切相關(guān)的學(xué)科發(fā)展迅猛，關(guān)于必然的觀念也更為豐富。另一方面，邏輯學(xué)自身也有長足的發(fā)展，種種邏輯理論不斷涌現(xiàn)，邏輯觀念也多樣起來，甚至彼此間有沖突對立。在這種發(fā)展與沖突中，邏輯的樣貌變得模糊不清，邏輯的基礎(chǔ)地位似乎有些令人可疑?！氨厝坏氐贸觥边@一邏輯觀念遭遇了自邏輯學(xué)創(chuàng)立以來最為嚴(yán)重的挑戰(zhàn)，我們有必要重新反思邏輯學(xué)科的性質(zhì)。本文接下來首先分析這種挑戰(zhàn)的背景及其合理性，再從弗雷格的邏輯主義思想出發(fā)，回顧亞里士多德與戈特弗里德·威廉·萊布尼茨（Gottfried Wilhelm Leibniz）的邏輯觀，尋找“必然地得出”的力量之源，闡明邏輯的基礎(chǔ)地位。

二、“必然地得出”遭遇的挑戰(zhàn)

（一） 兩個挑戰(zhàn)

挑戰(zhàn)來自兩個方面。首先是在邏輯內(nèi)部，隨著非經(jīng)典邏輯興起，邏輯多元論流行，經(jīng)典邏輯的地位受到?jīng)_擊。

自1879年弗雷格發(fā)表《概念文字》、現(xiàn)代邏輯誕生，經(jīng)眾多邏輯學(xué)家的努力，區(qū)分出語法演算與語義解釋兩個層面，發(fā)展出可靠性、完全性等概念及相關(guān)的結(jié)果，一階邏輯逐漸取得了核心地位，形式化公理化方法的運(yùn)用也日趨廣泛。

出于對早在古希臘斯多葛學(xué)派就已發(fā)現(xiàn)、弗雷格重新發(fā)現(xiàn)的實(shí)質(zhì)蘊(yùn)涵不滿意，劉易斯運(yùn)用弗雷格的形式化方法建立起一組公理系統(tǒng)，試圖抓住被實(shí)質(zhì)蘊(yùn)涵舍棄的內(nèi)容。隨后對劉易斯邏輯的研究發(fā)展成兩個方向。一個方向是繼續(xù)沿著劉易斯當(dāng)初的想法，努力發(fā)展出一種可以替代實(shí)質(zhì)蘊(yùn)涵的二元聯(lián)結(jié)詞，以替代弗雷格的邏輯，由此發(fā)展出今天的相干與衍推邏輯。另一個方向則逐步偏離了其初衷。因?yàn)檠芯拷Y(jié)果表明，劉易斯的邏輯系統(tǒng)實(shí)質(zhì)上是在弗雷格邏輯基礎(chǔ)上的擴(kuò)張。沿此路線，人們發(fā)展出今天研究狹義模態(tài)詞“必然”的模態(tài)邏輯。借助可能世界語義學(xué)，由狹義模態(tài)邏輯迅速發(fā)展出一大批廣義模態(tài)邏輯，如道義邏輯、認(rèn)知邏輯、時態(tài)邏輯等等。除此外，也有質(zhì)疑經(jīng)典邏輯所遵循的邏輯規(guī)律。如在數(shù)學(xué)基礎(chǔ)研究中，有人不贊同邏輯主義，質(zhì)疑排中律，由此構(gòu)建相應(yīng)的邏輯，即直覺主義邏輯。

上述所有這些邏輯一般被統(tǒng)稱為非經(jīng)典邏輯。它們給人一種邏輯不止一個、甚至經(jīng)典邏輯并不恰當(dāng)而需要加以修正的印象。邏輯原本具有的唯一性、權(quán)威性與基礎(chǔ)性漸漸被消解。

第二個挑戰(zhàn)來自哲學(xué)陣營內(nèi)。20世紀(jì)初借助現(xiàn)代邏輯技術(shù)興起的邏輯實(shí)證主義，興盛近半個世紀(jì)，到20世紀(jì)中葉受到越來越多的批判。威拉德·范·奧曼·蒯因的《經(jīng)驗(yàn)論的兩個教條》對邏輯實(shí)證主義提出了嚴(yán)重的質(zhì)疑，批評該學(xué)派的兩個教條：分析真理與綜合真理之間的區(qū)分是涇渭分明的；有意義的陳述都可還原為指稱直接經(jīng)驗(yàn)的語詞的邏輯構(gòu)造。一般認(rèn)為，邏輯實(shí)證主義因此批評而由盛轉(zhuǎn)衰。

蒯因在文中提出了著名的整體論。他認(rèn)為，“我們關(guān)于外在世界的陳述不是個別地、而是僅僅作為一個整體來面對感覺經(jīng)驗(yàn)的法庭的?！彼扔髡f，“整個科學(xué)是一個力場，它的邊界條件就是經(jīng)驗(yàn)。在場的周圍同經(jīng)驗(yàn)的沖突引起內(nèi)部的再調(diào)整?！?“邏輯規(guī)律也不過是系統(tǒng)的另外某些陳述，場的另外某些元素?！?/p>

“在任何情況下任何陳述都可以認(rèn)為是真的，……反之，由于同樣原因，沒有任何陳述是免受修改的。有人曾經(jīng)提出把修正邏輯的排中律作為簡化量子力學(xué)的方法，這樣的一種改變和開普勒之代替托勒密，愛因斯坦之代替牛頓，或者達(dá)爾文之代替亞里士多德的那種改變在原則上有什么不同呢？”

在此之前，人們普遍認(rèn)為，邏輯學(xué)處于學(xué)科群的底部，作為其他學(xué)科的基礎(chǔ)。而按以上蒯因的說法，物理學(xué)、邏輯學(xué)中的陳述“可以被看作是在整個網(wǎng)絡(luò)內(nèi)部比較中心的位置，這意思不過是說，很少有同任何特殊的感覺材料的優(yōu)先聯(lián)系闖進(jìn)來?！庇纱?，眾學(xué)科的位置依據(jù)離經(jīng)驗(yàn)的遠(yuǎn)近而確定，邏輯學(xué)不再處于底部作為眾學(xué)科之基礎(chǔ)，而只不過是距經(jīng)驗(yàn)較遠(yuǎn)，不易受經(jīng)驗(yàn)的影響，但在必要的時候，人們也可以對排中律這樣的邏輯學(xué)規(guī)律作修正。這給人以這樣的感覺：邏輯是可修正的甚至是可錯的。邏輯的權(quán)威性進(jìn)一步被消解。

（二） 對挑戰(zhàn)的解析

1.解析邏輯多元論的挑戰(zhàn)

非經(jīng)典邏輯可分為兩類，一類是追求對自然語言聯(lián)結(jié)詞的更貼切的刻畫，最為大家熟知的如早期模態(tài)邏輯、相干邏輯以及今天依然是研究熱點(diǎn)的條件句邏輯。這類非經(jīng)典邏輯并不是對已有的邏輯規(guī)律提出質(zhì)疑，而是對現(xiàn)代邏輯的方法運(yùn)用結(jié)果不滿意。它們認(rèn)為，經(jīng)典邏輯對某些聯(lián)結(jié)詞的形式刻畫不恰當(dāng)，所得的結(jié)果嚴(yán)重偏離人們的直覺。這種意義下的非經(jīng)典邏輯本質(zhì)上是指刻畫的結(jié)果，而并非指刻畫的對象。但刻畫的對象恰恰是我們當(dāng)前所要探討的，它決定了我們要分析的必然地得出。這一類還包括邏輯在其他領(lǐng)域中運(yùn)用邏輯的結(jié)果，如認(rèn)知邏輯（對信念詞“相信”的刻畫），道義邏輯（對規(guī)范詞“應(yīng)當(dāng)”的刻畫）等。

在刻畫結(jié)果的意義上所說的非經(jīng)典邏輯，本質(zhì)上是指人們創(chuàng)制出的種種理論，屬于經(jīng)典邏輯的運(yùn)用，類似于前面提到的塔爾斯基與卡爾納普的形式化工作，不同的是，此處運(yùn)用于社會生活領(lǐng)域。人們一般不會認(rèn)為其是真正對經(jīng)典邏輯的挑戰(zhàn)與質(zhì)疑。此處不再作詳細(xì)分析。

另一類是對經(jīng)典邏輯堅(jiān)持或預(yù)設(shè)的原則提出質(zhì)疑，主要包括直覺主義邏輯、弗協(xié)調(diào)邏輯（又稱次協(xié)調(diào)邏輯或亞相容邏輯）與多值邏輯。直覺主義邏輯認(rèn)為經(jīng)典邏輯規(guī)律之一的排中律并不是普遍有效的。弗協(xié)調(diào)邏輯認(rèn)為矛盾律不是普遍有效的。多值邏輯則摒棄了二值原則。這些邏輯挑戰(zhàn)的都是規(guī)律或原則，是那些通常被認(rèn)為必須遵循的東西，也是決定我們思維特質(zhì)的東西。對這類非經(jīng)典邏輯提出的挑戰(zhàn)我們需要仔細(xì)分析。

多值邏輯是對經(jīng)典邏輯意義上的真值的精細(xì)刻畫。很多情況下，人們對一命題的真假并無確定把握，或者對許多事件在其發(fā)生前也并不確定其是否發(fā)生，因此，有人提出，這類命題的值并非真假之一，而是其他值。必須承認(rèn)，這種刻畫更真實(shí)地反映了人們對事物認(rèn)識判斷的情形或是事態(tài)本身。但是，多值邏輯在定義推理時，被認(rèn)可的推出關(guān)系依然是“保真”，只是此處“真”指多值邏輯中命題可取的多值中的一個或幾個。這一個或這幾個通常被稱為特指值；除此外其他的都是“非真”，一般稱為非特指值。因此，多值邏輯所界定的必然地得出依然遵守保真這一思想，與經(jīng)典邏輯界定的相同。只是二者在關(guān)于真（非真）的理解上有區(qū)別。

排中律的內(nèi)容是，在同一思維過程中，一個命題不能既不真又不假，即要求命題在真假之間必須擇一，不允許有中間情況。排中律也表述為，一個命題及其否定二者不能都為假，至少有一個為真。直覺主義邏輯源于數(shù)學(xué)哲學(xué)中的直覺主義學(xué)派。直覺主義認(rèn)為，數(shù)是人類心靈創(chuàng)造的，數(shù)學(xué)真理是心靈發(fā)明創(chuàng)造的，一個數(shù)學(xué)命題的真等同于其得到證明（得證），假等同于證明其否定得證（否證）。而對一個數(shù)學(xué)命題（如哥德巴赫猜想）既沒有得證，也沒有否證的情況，排中律就不再成立了。數(shù)學(xué)領(lǐng)域外也有類似的情形，有些歷史人物（如劉備）的傳說（如劉皇叔躍馬過檀溪），既未得證，也未否證。

直覺主義邏輯與經(jīng)典邏輯的分歧不僅僅在于對聯(lián)結(jié)詞的不同解釋，還有著更深的根源，包括對邏輯變項(xiàng)的解釋，進(jìn)而是對所談?wù)摰囊?guī)律所在的域的理解。據(jù)現(xiàn)代邏輯創(chuàng)始人弗雷格的觀點(diǎn)，邏輯探究真的規(guī)律，對命題變項(xiàng)的解釋也就是真值。按此，對象是明確的，域是確定的。直覺主義邏輯探求人認(rèn)識真的規(guī)律，在數(shù)學(xué)領(lǐng)域，這體現(xiàn)為不斷作出的數(shù)學(xué)證明。人類認(rèn)識不斷前進(jìn)，不斷證明新的定理。因此，盡管對象在一定程度上是明確的，但是涉及的人的認(rèn)識行為，討論的域?qū)嶋H上是變化著的。這種變化著的域體現(xiàn)了人的認(rèn)識進(jìn)行性、延展開拓性。但是，排中律本質(zhì)上是一種完備性要求，此處就是要求人的認(rèn)識完備，顯然這一要求很多情況下得不到滿足。

因此直覺主義邏輯與經(jīng)典邏輯的分歧根源在于二者對（數(shù)學(xué)）真的認(rèn)識不同。直覺主義邏輯附加更多的因素在（數(shù)學(xué)）真之中，將（數(shù)學(xué)）真等同于獲得（數(shù)學(xué)）證明。這種分歧在數(shù)學(xué)外也有。例如，關(guān)于新冠病毒起源，新冠病毒自然起源與新冠病毒并非自然起源，這二者我們現(xiàn)階段都無法確證，在將真等同于證明的前提下，新冠病毒自然起源不是真的，新冠病毒并非自然起源也不是真的。于是，按直覺主義邏輯，新冠病毒自然起源，或者新冠病毒并非自然起源，這一說法就不是真的。

我們可以說，人們先驗(yàn)地知道二者中有一個為真，但這并沒有擴(kuò)展我們的經(jīng)驗(yàn)知識。我們對對象（經(jīng)驗(yàn)世界或數(shù)）的認(rèn)知并沒有增長。

同時，我們還要看到，經(jīng)典邏輯談?wù)摰氖钦J(rèn)知對象（先驗(yàn)真），而直覺主義還要兼顧談?wù)摰诌_(dá)這種先驗(yàn)真的方式（證明）。一旦撇開先驗(yàn)真（命題）而直接談?wù)摲绞剑ㄗC明命題），僅將方式看作對象，排中律依然成立。也就是一個命題是否得證這一點(diǎn)，排中律依然成立。傳統(tǒng)邏輯也認(rèn)為，對于不下斷定和復(fù)雜問語這二種情況，排中律不適用。直覺主義邏輯所針對的情形，實(shí)際是傳統(tǒng)邏輯所說的那兩種情況的一個特例。

關(guān)于數(shù)學(xué)真，邏輯主義與直覺主義兩個流派的主張有本質(zhì)不同。在各自的主張下，也就是，將直覺主義邏輯理解成刻畫人類的認(rèn)識特征，而經(jīng)典邏輯旨在描述先驗(yàn)真的特性，那么，這兩種邏輯并不沖突，彼此都不會否定對方。二者都堅(jiān)持必然地得出，即堅(jiān)持保真，只是對真的理解有不同。

矛盾律的內(nèi)容是，在同一思維過程中，一個命題不能既真又假。人們通常認(rèn)為辯證邏輯是不承認(rèn)矛盾律的。辯證邏輯與哲學(xué)上的辯證法密切相關(guān)，它從傳統(tǒng)邏輯認(rèn)定的概念、判斷和推理這三種思維形式入手，主要使用對立統(tǒng)一方法分析這些思維形式由具體到抽象、個別到一般的運(yùn)動發(fā)展，揭示了這些思維形式本身的形成機(jī)制，得到辯證概念、辯證判斷與辯證推理。這種分析本身也是遵守矛盾律的。辯證邏輯并不否定矛盾律。

直接質(zhì)疑矛盾律，認(rèn)為其并不普遍有效的是弗協(xié)調(diào)邏輯。科學(xué)發(fā)展史上出現(xiàn)過種種困境與悖論，如早期對光的波粒二象性的困惑，微積分創(chuàng)立初期對無窮小的矛盾看法，素樸集合論中出現(xiàn)的各種悖論。有邏輯學(xué)家試圖建立一種邏輯理論以容納、處理這種矛盾現(xiàn)象。這是人們創(chuàng)立弗協(xié)調(diào)邏輯的動機(jī)。但是，不同于辯證邏輯學(xué)家通常只是非形式地闡述矛盾，這些邏輯學(xué)家建立了若干弗協(xié)調(diào)邏輯形式系統(tǒng)，在其中一命題變元與其否定可以同真。一個自然的問題是，命題變元為真的直觀解釋是什么？其否定的直觀含義是什么？更一般地，其語義學(xué)如何解釋矛盾與悖論，能否恰當(dāng)?shù)叵蛉藗兘忉尪唛g的區(qū)別。就目前能看到的信息，其語義解釋是一種純粹的代數(shù)語義，無法對應(yīng)到自然語境下的悖論與困境實(shí)例。從自身理論到在實(shí)踐中的運(yùn)用，弗協(xié)調(diào)邏輯還有很長的一段路要走。因此，筆者認(rèn)為，弗協(xié)調(diào)邏輯對經(jīng)典邏輯的挑戰(zhàn)并不成功，盡管在其系統(tǒng)中也可以定義必然地得出，但是不像直覺主義邏輯或多值邏輯，弗協(xié)調(diào)邏輯所談?wù)摰恼孢B直觀貼切的非形式解釋都沒有，導(dǎo)致這種必然地得出的含義是不清楚的。

據(jù)以上分析，筆者認(rèn)為，到目前為止，這類非經(jīng)典邏輯對經(jīng)典邏輯的挑戰(zhàn)并不成功。經(jīng)典邏輯下的必然地得出是最普遍、最一般的。以下本文主要從哲學(xué)層面嘗試論證，對經(jīng)典邏輯的挑戰(zhàn)是不可能成功的。

2.解析哲學(xué)陣營的挑戰(zhàn)

近代科學(xué)的興起、人們在理解與控制自然所取得的巨大成功，催生了人們對科學(xué)方法的崇拜與對人類理性的無限自信。經(jīng)過一定時間的積淀，投射到哲學(xué)上就開出邏輯實(shí)證主義之花。邏輯實(shí)證主義認(rèn)為，有意義的真陳述要么是分析的，要么是在經(jīng)驗(yàn)中理論上可驗(yàn)證的。它為先驗(yàn)性留下了一塊地盤，經(jīng)驗(yàn)真理并非是全部真理。而蒯因比這走得更遠(yuǎn)。蒯因否定在分析真理與綜合真理之間有根本的區(qū)別，認(rèn)為分析性概念是一個模糊不清的概念，更進(jìn)一步，自相矛盾概念同分析性概念一樣可疑。先驗(yàn)性被他完全否定，被驅(qū)逐出哲學(xué)園。邏輯也不再像從前那樣憑借先驗(yàn)真而占據(jù)優(yōu)勢，而是同經(jīng)驗(yàn)科學(xué)一樣，也要接受經(jīng)驗(yàn)法庭的拷問。邏輯規(guī)律必要時也可予以修正。

蒯因的主張非常極端，有的斷言更是難以站得住腳。希拉里·懷特哈爾·普特南（Hilary Whitehall Putnam）就質(zhì)疑其“沒有任何陳述是免受修改的”這一斷言，認(rèn)為其暗示：“對每一個陳述來說，都存在著這樣的場合，在這種場合下對它加以拒絕是合理的。但這顯而易見是假的：到底在何種場合下，拒絕‘并非每個陳述是真’，亦即接受‘所有陳述是真’，會是合理的呢？”

筆者認(rèn)為，蒯因的論證不僅是結(jié)論如普特南指出的過于“強(qiáng)”，而且論證過程也不能成立。在蒯因看來，修正邏輯的排中律猶如天文學(xué)史上開普勒理論代替了托勒密理論、物理學(xué)史上愛因斯坦理論代替牛頓理論?，F(xiàn)在試問：為什么會出現(xiàn)新舊理論更迭替代呢？按蒯因的說法就是，因?yàn)槌霈F(xiàn)了“［科學(xué)］ 場的周圍同經(jīng)驗(yàn)的沖突”，為了避免沖突而提出新理論，新理論是對科學(xué)場內(nèi)部“再調(diào)整”的結(jié)果。

我們很自然地接著追問：為什么要避免沖突呢？沖突不過是矛盾的另一種說法。他的論證隱含著，這些理論總是要避免矛盾，矛盾律總是被這些理論所承認(rèn)。人們不會接受包含矛盾的理論。使用包含矛盾的理論，無法獲得可靠的結(jié)論。一個理論要登入科學(xué)殿堂，首先要經(jīng)過矛盾律的檢驗(yàn)。蒯因的論證自身預(yù)設(shè)了矛盾律！因而，他的斷言“邏輯規(guī)律也不過是系統(tǒng)的另外某些陳述，場的另外某些元素”不能成立，因?yàn)槊苈删筒豢赡茉谒Q之為可被調(diào)整的科學(xué)場內(nèi)部。

蒯因認(rèn)為，自相矛盾這個概念“正像分析性概念本身那樣有待于闡明”。筆者認(rèn)為，蒯因的這個步驟走得太快。將分析性陳述定義為否定其便導(dǎo)致自相矛盾是否準(zhǔn)確或恰當(dāng)，這可以商榷，但是，二者的清晰程度是不一樣的。自相矛盾這個概念要比分析性這個概念更清晰明了。從語詞字面意思來看，前者指言行不一致，后者指對事理的分解辨析。前者總是可還原為A且非A，而后者類型多樣，更為復(fù)雜。

蒯因的這一觀點(diǎn)即使成立，也不能去除或減輕我們以上對其論證的質(zhì)疑。因?yàn)檎缢鶊?jiān)持的，具有經(jīng)驗(yàn)意義的單位不是語詞，甚至也不是陳述（句子），而是整個科學(xué)。即使我們不能闡明定義自相矛盾這個概念，但并不能由此就得出我們不能合法而清晰地在一個論證中使用它，當(dāng)然也不能由此就得到矛盾律成為可疑的，甚至成了可以被修正的。

邏輯可修正這種觀點(diǎn)需要詳加分析。首先，這跟“邏輯”一詞多義有關(guān)。在此種用法下，“邏輯”通常是指一種關(guān)于邏輯的觀點(diǎn)與理論，猶如科學(xué)也是可錯的說法一樣，其實(shí)質(zhì)只不過是說，在科學(xué)研究中，人們提出假說，發(fā)展科學(xué)理論，在此進(jìn)程中人們會犯錯誤，例如假設(shè)被推翻，理論不完美等。“可錯”一詞用于包含了經(jīng)驗(yàn)科學(xué)在內(nèi)的科學(xué)尚可，但明確地針對邏輯與數(shù)學(xué)就不那么恰當(dāng)。

其次，當(dāng)前邏輯研究中很大一部分是將邏輯應(yīng)用于社會生活各領(lǐng)域。這種工作通常都是借助弗雷格開創(chuàng)的將形式化與公理化相結(jié)合的現(xiàn)代邏輯研究方法，研究某個領(lǐng)域如法學(xué)（規(guī)范）、心理學(xué)（信念）中的推理，具有很強(qiáng)的社會現(xiàn)實(shí)性、經(jīng)驗(yàn)性。根據(jù)特定的領(lǐng)域與場景，人們引入一套符號建立該領(lǐng)域的推理模型，以及（通常還有）其相應(yīng)的形式系統(tǒng)。這實(shí)質(zhì)是一種（邏輯）建模工作，不過通常被稱為建立了一種邏輯。

建模過程需要考慮的因素眾多，有較強(qiáng)的場景特異性。用一個抽象的模型準(zhǔn)確地抓住這些領(lǐng)域的一般推理機(jī)制，難度更大。對某一模型與推理系統(tǒng)，學(xué)者之間觀點(diǎn)有分歧，進(jìn)而尋求替代模型，很常見。也正是由于邏輯建模工作難度大，建模前就必須深入研究所涉領(lǐng)域，充分把握該領(lǐng)域的概念體系與知識脈絡(luò)，唯其如此，方能更準(zhǔn)確地抓住核心概念，更充分地厘清概念間的依賴關(guān)系，建立適用于這個領(lǐng)域的推理模型。

蒯因所言的“簡化量子力學(xué)”只是將邏輯運(yùn)用于更為特殊的領(lǐng)域。人類由于自身認(rèn)識能力所限，對該領(lǐng)域的量子態(tài)的認(rèn)識無法做到排中律所要求的完備。這種邏輯類似于前面提到的直覺主義邏輯，實(shí)質(zhì)是對一個領(lǐng)域所作的認(rèn)識論刻畫。鑒于人們今天對量子微觀世界的認(rèn)識仍相當(dāng)有限，這種適用量子力學(xué)的邏輯（作為推理模型）也必定極不充分。它將隨著人們對這一領(lǐng)域的認(rèn)識深入而得到發(fā)展。

推進(jìn)模型的改進(jìn)事實(shí)上成了今天邏輯學(xué)研究的主流工作。可修正（或可錯，或更準(zhǔn)確地說可替代）絕大多數(shù)情況下都是針對模型與推理系統(tǒng)構(gòu)建得不完善而言的。這完全類似于運(yùn)用數(shù)學(xué)于其他領(lǐng)域建立模型。我們不能由于數(shù)學(xué)建模有瑕疵而說數(shù)學(xué)是可錯的，或者，由于在許多領(lǐng)域建立了多種數(shù)學(xué)模型而認(rèn)為數(shù)學(xué)是多元的或是可修正的。

蒯因?qū)?jīng)驗(yàn)論截然地劃分成分析性真理與綜合性真理的批判是建立在另一個明顯預(yù)設(shè)基礎(chǔ)上：分析性陳述分為兩類——本身即為邏輯地真的陳述和使用同義替換可轉(zhuǎn)換為邏輯地真的陳述。蒯因質(zhì)疑集中于第二類，因?yàn)樗蕾囃x性概念：“這里主要的困難不在第一類分析陳述，即邏輯真理上面，而在依賴于同義性概念的第二類分析陳述上面?！痹缬袑W(xué)者指出，經(jīng)驗(yàn)論的分析性概念與弗雷格的分析性概念［據(jù)弗雷格分析性真理與綜合性真理的區(qū)別標(biāo)準(zhǔn)是其證明的根據(jù)，前者僅從邏輯真和合乎邏輯的定義出發(fā)便可得證，而要證明后者（綜合性真理），還需要邏輯外其他特殊知識領(lǐng)域的真］，二者有差異。

現(xiàn)代邏輯為經(jīng)驗(yàn)論提供了有力的分析工具，但經(jīng)驗(yàn)論在將現(xiàn)代邏輯運(yùn)用于語言分析時走得太遠(yuǎn)，認(rèn)為透過語言分析可澄清所有哲學(xué)問題，阿爾弗雷德·朱爾斯·艾耶爾（Alfred Jules Ayer）的話具有代表性：“一個句子，當(dāng)且僅當(dāng)它所表達(dá)的命題或者是分析的，或者是經(jīng)驗(yàn)上可以證實(shí)的，這個句子才是字面上有意義的?！备吲e這面“分析”大旗，艾耶爾要清除哲學(xué)上那些無意義的陳述，拒斥“形而上學(xué)”。然而，在分析語言的過程中，經(jīng)驗(yàn)論改變了“分析性”這一詞的用法，將與語言相關(guān)的同義性夾帶進(jìn)來。意義屬于語言，同義性是一種語言性質(zhì)，在語言使用中生成發(fā)展，它基于人類經(jīng)驗(yàn)活動與交流，因而如果分析性真理有依賴同義性的情形，那它與綜合性真理間的區(qū)別的確不能做到?jīng)芪挤置?。但是，如果我們?jiān)持弗雷格的分析性概念，還是有望在分析性與綜合性真理間尋找到一條鮮明的界限的。在蒯因也認(rèn)同的（他說的）第一類分析性陳述就是邏輯真理這個前提下，我們通過尋找邏輯基礎(chǔ)，澄清必然地得出，找到邏輯真理（也就是分析性真理）背后的根據(jù)，將這條界限劃出來。

三、邏輯的基礎(chǔ)

在《邏輯基礎(chǔ)問題》中，吉拉·謝爾（Gila Sher）提出了有關(guān)邏輯的哲學(xué)基礎(chǔ)問題，在那里她以“邏輯的哲學(xué)基礎(chǔ)”指這樣一種“實(shí)質(zhì)性的哲學(xué)理論”，它“批判地考察和解釋邏輯的基本特征、邏輯在我們理論和實(shí)踐生活中所發(fā)揮的功用、邏輯的正確性（veridicality）——包括邏輯的和元邏輯的斷言的真假之來源、邏輯理論應(yīng)該被接受（或被拒絕或被修正）的根據(jù)、邏輯理論被心靈和世界抑制與激發(fā)的方式、邏輯與相關(guān)理論（如數(shù)學(xué)）之間的關(guān)系、邏輯規(guī)范性的來源，等等”。

本文僅涉及邏輯斷言的真假之根源。我們基本是沿著弗雷格的思想與方法，結(jié)合亞里士多德與萊布尼茨等先賢的理論，嘗試探明邏輯力量源于何處。

弗雷格在為算術(shù)尋找基礎(chǔ)時寫下的話同樣適合我們當(dāng)前的工作：

在我們嘗試推動一塊大圓石而未能成功，從而確信它是不可動搖的之后，還留下這個問題：是什么如此牢固地支撐著它？我們越深入地做這些探究，就會將一切事物歸約到越少量的初真。

弗雷格時代人們已經(jīng)認(rèn)識到，一些關(guān)于自然數(shù)的基本命題可支撐起整個數(shù)學(xué)大圓石。弗雷格嘗試?yán)^續(xù)尋找這些算術(shù)命題底下的支撐物。他認(rèn)為這個支撐物是邏輯。其觀點(diǎn)被稱為邏輯主義。我們現(xiàn)在問，邏輯大圓石底下是不是也有支撐物？如果有的話，又是什么？

對邏輯的地位及其自身的基礎(chǔ)問題，大致有如下幾種觀點(diǎn)。（1）邏輯可以作為其他學(xué)科的基礎(chǔ)，但其自身不需要基礎(chǔ)。（2）邏輯可以作為其他學(xué)科的基礎(chǔ)，而且其自身也需要有基礎(chǔ)。（3）邏輯學(xué)不能作為其他學(xué)科的基礎(chǔ)，而且在整個科學(xué)中，沒有哪個分支是基礎(chǔ)。

人們一般稱觀點(diǎn)（3）為整體論（整體主義）。其代表人物是蒯因，代表性說法就是蒯因所說的“整個科學(xué)是個力場”。而前面兩種觀點(diǎn)，大致可以被稱為基礎(chǔ)主義。關(guān)于基礎(chǔ)主義的論述參見謝爾的論文。

回顧弗雷格區(qū)別分析判斷與綜合判斷，我們發(fā)現(xiàn)，他用的標(biāo)準(zhǔn)是判斷所依據(jù)的最終根據(jù)即初真。這一標(biāo)準(zhǔn)實(shí)質(zhì)是判斷所在的學(xué)科的基礎(chǔ)，而非判斷自身的意義。因此弗雷格關(guān)于分析與綜合的理解就是一種整體論思想。不過他不是像蒯因那樣極端，將所有的學(xué)科看作一個整體，而是將一個學(xué)科看作一個整體，依據(jù)一個判斷所屬的學(xué)科而決定其是分析的或是綜合的。依據(jù)這樣一種整體論，我們依然可以在學(xué)科之間劃分不同的層級。

弗雷格認(rèn)為，“算術(shù)的基礎(chǔ)似乎比任何經(jīng)驗(yàn)科學(xué)的基礎(chǔ)更深，甚至比幾何學(xué)的基礎(chǔ)更深。算術(shù)真理支配所有可計(jì)數(shù)領(lǐng)域。這是最為廣博的領(lǐng)域；因?yàn)椴粌H現(xiàn)實(shí)的事物、可直覺的事物，而且可思考的每一事物都屬于它。因而，數(shù)的規(guī)律難道不應(yīng)與思維規(guī)律非常密切地相聯(lián)系嗎？”

由此可看出，弗雷格認(rèn)為，與經(jīng)驗(yàn)科學(xué)相比，算術(shù)本身處于更為基礎(chǔ)的地位。而從數(shù)學(xué)與邏輯之間的關(guān)系來看，弗雷格認(rèn)為后者是前者的基礎(chǔ)。弗雷格踐行的是一條基礎(chǔ)主義道路。

但對邏輯的基礎(chǔ)問題，筆者認(rèn)為弗雷格會傾向于如下觀點(diǎn)：我們不能像給數(shù)學(xué)尋找到邏輯學(xué)為其基礎(chǔ)那樣，找到某學(xué)科而將其置于邏輯學(xué)之下，為邏輯學(xué)奠基。我們可以在弗雷格探索算術(shù)基礎(chǔ)的思想中找到證據(jù)。

要探索算術(shù)的基礎(chǔ)，弗雷格認(rèn)為要“盡可能地以最大的嚴(yán)格性證明算術(shù)基本命題；因?yàn)橹挥凶钚⌒牡叵评礞溨械拿總€缺漏，我們才能確信地說這個證明依賴的初真是什么；只有知曉了這些我們才能回答我們當(dāng)初的問題”。

為徹底排除矛盾，不能停留在經(jīng)驗(yàn)上的可靠性，而要“必須追溯到比超出大多數(shù)數(shù)學(xué)家所認(rèn)為的必需程度，追溯到我們科學(xué)的普遍的邏輯基礎(chǔ)”。

但弗雷格“很快就遇到這樣一些命題：如果我們不能將出現(xiàn)在其中的概念分析成更簡單的概念或歸約為更大普遍性的事物，這些命題就無法得證”。“首先要面臨的就是數(shù)這個概念——要么得給它下定義，要么將其看作是無法定義的?！?/p>

弗雷格通過區(qū)分概念與對象，通過類這個概念給出了（屬于概念F的）數(shù)的定義。從此出發(fā)，一步步定義0、1，……等自然數(shù)、后繼及無窮數(shù)等概念。后來經(jīng)過羅素、懷特海、策梅羅、哥德爾等人的努力，人們建立起公理化的集合論。

通過以上梳理，我們發(fā)現(xiàn)，解析數(shù)學(xué)最基本的概念為“更簡單的概念或歸約為更大普遍性的事物”至關(guān)重要。在完成概念歸約后，就有可能從所歸約的結(jié)果尋找更為基本的規(guī)律原理，進(jìn)而導(dǎo)出所需要的命題的證明。數(shù)學(xué)最基本的概念就是數(shù)，這是數(shù)學(xué)研究的對象。

循此思路探索邏輯的基礎(chǔ)，首先要將邏輯最基本的概念歸約到某種更簡單或更普遍的事物。那邏輯最基本的概念是什么？根據(jù)弗雷格關(guān)于真的論述，我認(rèn)為它是真。

《思想》一文的開篇，弗雷格寫道：“‘真’這個詞為邏輯指引方向?！薄拔乙?guī)定邏輯的任務(wù)是發(fā)現(xiàn)是真的規(guī)律。”

但在經(jīng)過仔細(xì)分析后，弗雷格認(rèn)為，“‘真’一詞的內(nèi)容很可能是完全獨(dú)特的和不可定義的?！倍也痪糜衷俅沃貜?fù)：“‘真’一詞的意謂似乎是完全獨(dú)特的。”

在《邏輯》一文中，弗雷格也表達(dá)了有相同的觀點(diǎn)?！啊妗@個詞說明目的。邏輯以特殊方式研究‘真’這一謂詞，‘真’一詞表明邏輯?！薄罢娌荒芏x。……真是基始的和簡單的。”“若想通過一條定義更清楚地說明應(yīng)該把‘真’理解成什么，那是徒勞的?！?/p>

今天我們知道，根據(jù)塔爾斯基、哥德爾等人的工作，在不弱于一階算術(shù)的形式語言中，其自身真概念是不可定義的。既然真就是邏輯學(xué)研究的對象，但又無法給出真的定義，筆者認(rèn)為，根據(jù)弗雷格的思想，我們可合理地得到以下結(jié)論：邏輯可以作為其他學(xué)科的基礎(chǔ)，但其自身無法再歸約到其他學(xué)科。

在亞里士多德的著作中我們也能找到類似的結(jié)論。在《形而上學(xué)》中亞里士多德對矛盾律有如下論述：

毋庸置疑，應(yīng)由哲學(xué)家，即研究所有實(shí)體自然本性的人，來考察邏輯推理的本原……而所有本原之中最確實(shí)的本原是人們不可能弄錯的。……故這樣一種本原顯然是所有本原之中最為確實(shí)的，它到底是什么，接著我就要講到。同一種東西不可能在同一方面既依存于又不依存于同一事物（所有可能其他的限制都應(yīng)加上，以防備邏輯上的困難），它即是所有本原之中最為確實(shí)的一個?！苊黠@同一個人不可能主張同一事物同時存在又不存在；……所有進(jìn)行證明的人都把它作為一個可以追溯到的最終論斷，因?yàn)樗拘陨暇褪且磺衅渌淼谋驹?span id="syggg00" class="footnote_content" id="jz_1_35" style="display: none;"> 亞里士多德：《形而上學(xué)》10055—30，苗力田譯，載苗力田主編：《亞里士多德全集》第七卷，北京：中國人民大學(xué)出版社1993年版，第90頁。

對“最確實(shí)的本原”是否還需要給出證明呢？亞里士多德的回答是否定的：

有些人由于學(xué)養(yǎng)不足的確認(rèn)為需要對此加以證明，但是不知道對哪些應(yīng)該及對哪些不應(yīng)該尋求證明，正是學(xué)奍不足的表現(xiàn)。一般而言，不可能對萬事萬物都有著證明，不然便會步入無窮，如此以至于什么也沒有證明。 亞里士多德：《形而上學(xué)》10065—10，第91頁。

現(xiàn)代邏輯的先驅(qū)萊布尼茨對邏輯基本規(guī)律也持有類似的態(tài)度。

這種理性運(yùn)用基于兩大原則。其一為矛盾原則（Prinzip des Widerspruchs），我們根據(jù)這個原則宣布自身含有矛盾的東西是虛假的，而與虛假相對或相立矛盾的東西則是真實(shí)的。

……

真理也有兩種：理性真理與事實(shí)真理。理性真理是必然的，其對立面是不可能成立的；事實(shí)真理是偶然的，其對立面是可以成立的。如果一個真理是必然的，人們便可能通過分析而找到它的理由，即通過將它解析為更為簡單的理念和真理，最終達(dá)到原初性的基本真理。

……此外，還有一些原理和假設(shè)，一句話：還有一些不可能加以證明的、也根本無須證明的基本原則。這是一些其對立面包含著明顯矛盾的同一論斷（identische Aussagen）。

由上可清楚地看到，邏輯學(xué)的創(chuàng)立者和現(xiàn)代邏輯的先驅(qū)都是將矛盾律、同一律看作是基本的原則，不可能也無須證明 的。

因此，我們有較充分的理由認(rèn)為，不能再將矛盾律這樣的邏輯基本規(guī)律追溯到更基本的原則上，至少目前沒有這樣一門學(xué)科，可以作為邏輯學(xué)科的基 礎(chǔ)。

前兩節(jié)所指出的當(dāng)前邏輯學(xué)的境況，尤其是邏輯可錯論，加之人類求知本性，對知識的不斷追求的渴望，導(dǎo)致人們繼續(xù)追問邏輯的可靠性問題。但從學(xué)科歸約的意義上，（至少就目前能看到的，）邏輯學(xué)是不可歸約的，這是一個無解的問題，我們無法再對邏輯學(xué)規(guī)律與原理給出證明。

雖然不能將邏輯歸約為其他某學(xué)科，但筆者認(rèn)為，我們依然可以為必然地得出這一概念作些澄清，闡明邏輯學(xué)的基礎(chǔ)性。筆者認(rèn)為，可以從我們認(rèn)識事物與思考問題的方式為必然地得出的正確性尋找到一些根據(jù)。

人們直接感受到的身邊事物是繁雜多樣的，不斷流變發(fā)展的。為理解世界把握事物，就需要尋求多樣性與變化背后的相近性與確定不變性。結(jié)合人類自身生理感官視、聽、嗅、味、觸的類別，人類將對象歸類，進(jìn)而發(fā)展出抽象與概括的能力。概念化是這種能力演化發(fā)展的結(jié)果。無論是嚴(yán)肅的學(xué)術(shù)探究，還是日常生活中人際交流，只要思考交談，人們都是通過對象—概念的模式展開的：用概念概括、描述對象，以對象例示、說明概念。概念化能力發(fā)展到一定階段，人們對這種對象—概念模式進(jìn)行反思，獲得了范疇理論以及相應(yīng)的邏輯演算理論。例如亞里士多德的范疇理論，弗雷格的對象與概念二分理論，它們都是對對象—概念模式的特征與規(guī)律的深刻總結(jié)。

這種規(guī)律又植根于對象與概念都是明確可分辨的、確定的這個原則之上。一個對象與且僅與其自身同一。一個概念的明確性表現(xiàn)在，一個對象要么位于其之下，要么不位于其之下。這就是同一律、矛盾律等邏輯基本規(guī)律的要求。這背后也體現(xiàn)了人類對確定性的追求。這也是“邏輯”一詞之詞源“邏各斯”的含義，是理性精神的體現(xiàn)。

在此基礎(chǔ)上，人們發(fā)展出更形象直觀且便于操作的演算理論。例如，三段論是結(jié)合自然語言結(jié)構(gòu)，對運(yùn)用概念（謂述）獲得新知的規(guī)律性的總結(jié)，具有較強(qiáng)的實(shí)用性。而弗雷格把握了對象—概念模式的深層機(jī)制，認(rèn)識到“邏輯的基本關(guān)系是一個對象位于一個概念之下的關(guān)系”，由此出發(fā)，考察量詞與否定等其他命題聯(lián)結(jié)詞的相互作用機(jī)制，發(fā)展出概念文字，展示有（存在）與無（或是與非）這兩個最基本概念（范疇）之間的規(guī)律聯(lián)系。這種演算所呈現(xiàn)出來的，就是形式結(jié)構(gòu)。因而人們通常說，必然地得出是由形式?jīng)Q定。但事實(shí)上，這又是由更深層的對象—概念模式所決定的。

綜合起來，筆者認(rèn)為，必然地得出的力量根源于對象—概念這一模式，根源于對象—概念模式的特征。邏輯學(xué)探究這種模式的運(yùn)行機(jī)制，揭示概念最普遍、最一般也是最抽象的規(guī)律，展現(xiàn)了最一般的謂述關(guān)系——是與非（或者也可理解為有與無）的規(guī)律。我們使用這種模式思考處理各領(lǐng)域中的問題，自然就受制于該模式，遵循其規(guī)律。即便是數(shù)學(xué)也不例外。數(shù)學(xué)也只是在邏輯基礎(chǔ)上關(guān)于概念研究的進(jìn)一步具體化，討論較為具體的“有”［“有多少（對象處于其下）”］，或者也可以說較為具體的“是”（數(shù)是什么）。

對象—概念模式的性質(zhì)，有別于填充進(jìn)其中的材料的性質(zhì)。后者關(guān)乎具體概念的內(nèi)容及相應(yīng)的特征與規(guī)律，處理更具體的對象位于概念之下的情形——更為具體的怎樣的“有”或者說怎樣的“是”。這就是邏輯（及數(shù)學(xué)）外其他學(xué)科所研究的。因而邏輯與其他學(xué)科間的區(qū)別，就是僅關(guān)乎對象—概念模式（形式）與除此之外還關(guān)乎概念本身（內(nèi)容）之間的區(qū)別。根據(jù)弗雷格關(guān)于分析的定義，這也是分析判斷與綜合判斷的區(qū)別。

再次指出，雖然其他學(xué)科領(lǐng)域的規(guī)律涉及該領(lǐng)域中相關(guān)概念的內(nèi)容，但我們依然可以在考察這些概念內(nèi)容的基礎(chǔ)上，研究這部分概念間的依賴關(guān)系，獲得推理特征，運(yùn)用現(xiàn)代邏輯方法，以形式結(jié)構(gòu)展示出來，得到這個領(lǐng)域的邏輯。但是這種邏輯與前面所說的整個模式的邏輯顯然是不同層次的。從對象—概念模式視角也能看出所謂的邏輯多元論并非對經(jīng)典邏輯的否認(rèn)。

總結(jié)起來，筆者認(rèn)為，由對象—概念模式的特性所決定的必然地得出正是原初意義上的邏輯，也即經(jīng)典邏輯。這種模式?jīng)Q定了經(jīng)典邏輯是最普遍、最一般的。它也表明了經(jīng)典邏輯的基礎(chǔ)性與邏輯的一元性。由此我們也在一定程度上闡明了分析真理與綜合真理之間的區(qū)分。