前言：尋找寫作靈感？中文期刊網(wǎng)用心挑選的形式邏輯學(xué)的反思，希望能為您的閱讀和創(chuàng)作帶來靈感，歡迎大家閱讀并分享。

作者：孫顯元 單位：中國科學(xué)技術(shù)大學(xué)人文與社會科學(xué)學(xué)院

形式邏輯不管思維內(nèi)容，只管思維形式，這是學(xué)術(shù)界的一個共識。這個共識預(yù)設(shè)了一個前提:思維形式是可以脫離思維內(nèi)容而獨立的外在形式。這個預(yù)設(shè)是建立在內(nèi)容與形式二元對立基礎(chǔ)上的，并不符合事實，因而是沒有根據(jù)的。我們必須超越這種二元對立，代之以內(nèi)容與形式的統(tǒng)一。應(yīng)該肯定，一切邏輯學(xué)，包括形式邏輯在內(nèi)，都是既研究思維形式同時又研究思維內(nèi)容的思維科學(xué)。

思維內(nèi)容與形式不可分離

思維是存在的反映。同存在一樣，思維也是一種既有內(nèi)容又有形式的統(tǒng)一體。內(nèi)容之所以成為內(nèi)容，是因為它規(guī)定著自己的形式;形式之所以成為形式，也是因為它表現(xiàn)著自己的內(nèi)容。這說明，內(nèi)容與形式必然是相互滲透和轉(zhuǎn)化的，正如黑格爾所說:“內(nèi)容非他，即形式之轉(zhuǎn)化為內(nèi)容;形式非他，即內(nèi)容之轉(zhuǎn)化為形式。”①因此，只要斷定邏輯學(xué)是研究思維形式的，就同樣斷定了它也是研究思維內(nèi)容的，否則，邏輯學(xué)研究的思維形式就成為無內(nèi)容的形式，因而也就失去了作為形式的意義及其存在的根據(jù)。進一步說，一門科學(xué)，如果它不具有自己特有的科學(xué)內(nèi)容，它同樣失去了作為一門科學(xué)的根據(jù)，邏輯學(xué)也不能例外。

可是，為什么我們又把形式邏輯稱為形式科學(xué)呢?應(yīng)該指出，在特定語境下，認為邏輯學(xué)不研究思維內(nèi)容，也不能說是錯的，否則，學(xué)術(shù)界為什么一直把它看作正確的觀點并長期加以堅持?其實，我們通常說的邏輯學(xué)所不研究的思維內(nèi)容，是指具體科學(xué)所研究的經(jīng)驗內(nèi)容。按照黑格爾的說法，它是指可感知的內(nèi)容。在這種意義上，不僅邏輯學(xué)，哲學(xué)也是不研究思維的經(jīng)驗內(nèi)容的。這就是哲學(xué)和邏輯學(xué)同具體科學(xué)的區(qū)別。黑格爾說:“進一步就內(nèi)容與形式在科學(xué)范圍內(nèi)的關(guān)系而論，我們首先須記住哲學(xué)與別的科學(xué)的區(qū)別。后者的有限性，即在于，在科學(xué)里，思維只是一種單純形式的活動，其內(nèi)容是作為一種給予的〔材料〕從外界取來的，而且科學(xué)內(nèi)容之被認識，并不是經(jīng)過作為它所根據(jù)的思想從內(nèi)部自動地予以規(guī)定的，因而形式與內(nèi)容并不充分地互相滲透。反之，在哲學(xué)里并沒有這種分離，因此哲學(xué)可以稱為無限的認識。當然，哲學(xué)思維也常被認作是單純的形式活動，特別是邏輯，其職務(wù)顯然只在于研究思想本身，所以邏輯的無內(nèi)容性可算得是一件公認的事實。如果我們所謂內(nèi)容只是指可以捉摸的，感官可以感知的而言，那么我們必須立即承認一般的哲學(xué)，特別是邏輯，是沒有內(nèi)容的，這就是說，沒有感官可以知覺的那種內(nèi)容。”①在黑格爾那里，邏輯學(xué)就是哲學(xué)，它們都是研究思維自身的運動，它的內(nèi)容不是通過感官的感知得來的，因而不具有這種可感知的經(jīng)驗內(nèi)容。

在這種意義上說，邏輯學(xué)是不研究思維內(nèi)容的，即不研究由感官感知得來的經(jīng)驗內(nèi)容。但是，它所研究的思維單純形式的活動，其本身是有內(nèi)容的，也屬于思維的一種內(nèi)容。所以，在哲學(xué)和邏輯學(xué)中，思維的內(nèi)容與形式又是統(tǒng)一的，并不存在無內(nèi)容的形式，也不存在無形式的內(nèi)容。科學(xué)和藝術(shù)也具有這種統(tǒng)一的普遍性:“只有內(nèi)容與形式都表明為徹底統(tǒng)一的，才是真正的藝術(shù)品。”②藝術(shù)的內(nèi)容與形式，屬于形象思維范疇，由美學(xué)研究。邏輯學(xué)本身是有科學(xué)思想內(nèi)容的。邏輯學(xué)的發(fā)展，不只是思維形式的發(fā)展，它同樣是邏輯思想的發(fā)展。許多邏輯史的著作被稱為“邏輯思想史”，就是一個明證。這里的“邏輯思想”，作為邏輯學(xué)的內(nèi)容，到底是什么，學(xué)者們可能有不同的理解，但它的存在已經(jīng)表明，邏輯學(xué)發(fā)展史是思維的內(nèi)容與形式統(tǒng)一的認識史。“這就不啻承認，思想不可被認作與內(nèi)容不相干的抽象的空的形式，而且，在藝術(shù)里以及在一切別的領(lǐng)域里，內(nèi)容的真理性和扎實性，主要基于內(nèi)容證明其自身與形式的同一方面。”③自然科學(xué)和社會科學(xué)所研究的經(jīng)驗內(nèi)容，都是通過實踐活動從外部世界得來的，不可能從思維自我運動中產(chǎn)生。所謂思維的自我運動，即思維“單純的形式活動”。在這種意義上，思維內(nèi)容與思維形式存在一定程度的分離，“并不充分地互相滲透”。這種情況主要發(fā)生在不同思維層次之間，就是說，一個層次的思維內(nèi)容與另一個層次的思維形式之間，是可以分離的。但在同一層次中，如在具體科學(xué)中，則是不可分離的。思維形式對思維內(nèi)容發(fā)揮著重大的能動作用，即用自己的特有形式，如概念、命題、原理、定律等，來表達經(jīng)驗內(nèi)容，使這些內(nèi)容得到抽象和概括，并把它們組織到自己的形式模式中去，揭示這些內(nèi)容的必然聯(lián)系，并表述為科學(xué)規(guī)律。

特別值得注意的是，在討論思維內(nèi)容和形式時，必然涉及思維和語言之間的關(guān)系。無論是思維內(nèi)容，還是思維形式，都是與語言分不開的。我們經(jīng)常也把語言稱為思維的形式，而這里所說的“思維”，其本身又是內(nèi)容與形式的統(tǒng)一，說明了思維內(nèi)容與形式之間關(guān)系的復(fù)雜性和多層次性。當我們說語言是思維的物質(zhì)外殼時，這實際上是指語言是作為內(nèi)容和形式統(tǒng)一體的思維的載體。如果沒有語言，一切思想的表達都是不可能的。索緒爾說:“思想離開了詞的表達，只是一團沒有定形的、模糊不清的渾然之物。”④這又產(chǎn)生了另一種內(nèi)容與形式的關(guān)系，即思維內(nèi)容與語詞形式的關(guān)系問題。在文學(xué)中，朱光潛把這種關(guān)系概括為“意”與“文”的關(guān)系。朱光潛說:“在為思想所憑借時，語文便雜在思想里，便是‘意’的一部分，是在內(nèi)的，與‘意’的其余部分同時進行，所以，我們不能把語文看成在外在后的‘形式’，用來‘表現(xiàn)’在內(nèi)在先的特別叫做‘內(nèi)容’的思想。‘意內(nèi)言外’和‘意在言先’的說法絕對不能成立。”⑤形式是表現(xiàn)內(nèi)容的，只有在相應(yīng)的形式中，內(nèi)容才得以顯現(xiàn)。這表明，內(nèi)容與形式不僅是同時成就的，而且也是相隨而變的。如果更動了文字，就同時更動了思想情感，說明了思想活動和語言活動的一致性。對于思想來說，語言是表達形式，在這種表達式中，既包括了思維的內(nèi)容，同時也包括了思維的形式。所以，思維內(nèi)容與思維形式統(tǒng)一于語言之中。“語言的形式就是情感和思想的形式，語言的實質(zhì)也就是情感和思想的實質(zhì)。情感、思想和語言是平行的，一致的。”①如果說，語言是思維的居所，那么，這就意味著語言不僅是思維內(nèi)容的居所，同時也是思維形式的居所。語言是思維內(nèi)容和思維形式統(tǒng)一的載體。一切科學(xué)，包括形式邏輯在內(nèi)，只要運用語言來表達，它所表達的就不僅是思維形式，同時也表達了思維內(nèi)容。如果邏輯學(xué)是研究思維形式的話，那么，它必定同時要研究相應(yīng)的思維內(nèi)容，因而也就是研究思維內(nèi)容和思維形式的統(tǒng)一。#p#分頁標題#e#

語詞符號的意義

我們在研究思維時，習慣于先把思維的內(nèi)容和形式分離開來，并對它們分別地加以抽象規(guī)定，說明什么是內(nèi)容、什么是形式，由此認為內(nèi)容和形式是事物內(nèi)外的兩種規(guī)定:內(nèi)容是事物內(nèi)在的規(guī)定性，是各種內(nèi)部要素的總和;形式是事物外部的表現(xiàn)以及這些表現(xiàn)之間的聯(lián)系或結(jié)構(gòu)。這種分析，自然是必要的，作為認識的一個階段，也是合理的。但它也提供了一種可能性，即把思維形式看作與內(nèi)容不相關(guān)的外在形式，從而使形式脫離了內(nèi)容，成為獨立的部分，其結(jié)果必然要否定內(nèi)容，否定內(nèi)容與形式的統(tǒng)一。別林斯基說:“如果形式是內(nèi)容的表現(xiàn)，它必和內(nèi)容緊密聯(lián)系著，你要想把它從內(nèi)容中分出來，那就意味著消滅內(nèi)容，反過來也一樣，你要把內(nèi)容從形式中分出來，那就意味著消滅形式。”②所以，單用分析方法是不夠的，還必須同時把分析與綜合結(jié)合起來。

思維以語詞為載體。如果運用分析方法，把言語的思維分解成它的組成部分:思維和詞語，這種方法雖然也看到它們之間的相互聯(lián)系和相互作用，但不再把它們看作一個整體，這就必然使言語思維的原先特性消失。維果斯基把這種分析的方法稱為“元素分析法”，并認為是不可取的方法，他指出:“把言語的思維分解成它的組成部分:思維和詞語，并且互不聯(lián)系地孤立地對它們分別進行研究，會使心理學(xué)在同樣的死胡同里曲折前進。在分析過程中，言語思維的原先特性已經(jīng)消失。研究者們一無所獲，唯有發(fā)現(xiàn)兩種元素的機械的相互影響，期望以純粹的投機方式來重新構(gòu)建業(yè)已消失的整體特性。”③因此，他不主張“元素分析法”，而主張“單位分析法”。這種方法就是整體分析法，分析的結(jié)果則是保留了整體的所有基本特性。

思維與語詞是不同的兩種事物，但是它們又是不可分離的。沒有語詞的思維是一片模糊，沒有詞義的言語是空洞的聲音。思維是對存在的概括反映，它的表達形式是語詞的詞音，即聽覺形象;語詞的內(nèi)容就是語義，即語詞所負載的信息。所以，語詞同樣是形式和內(nèi)容兩個方面的統(tǒng)一，它們是無法割裂的。語義的概括同樣不能不用語詞來表達，因而語義是詞的不可分割的部分。因此，詞義既是思維又是言語。根據(jù)這種分析，維果斯基把語義看作言語思維單位。思維的“單位分析法”，就是語義分析法。他說:“在探究言語思維的本質(zhì)過程中，所應(yīng)遵循的方式便是語義分析(semanticanaly-sis)———研究這個單位的發(fā)展、功能和結(jié)構(gòu)，它包含了思維和言語的相互關(guān)聯(lián)。”④從思維與語言的發(fā)生史來考察，思維在最初發(fā)生時，語言并沒有同步地發(fā)生。這不是說思維沒有物質(zhì)載體，只是表明，思維的最初載體并不是語言，而是動作。這時，思維與動作還沒有分離，而存在于動作中。但是，思維是心理和觀念形態(tài)，不具有被感知的特征，沒有物質(zhì)性的載體，它既不能表達也不能實現(xiàn)。后來，產(chǎn)生肢體語言，使思想得以開始交流。為了適應(yīng)思維發(fā)展的需要，進一步產(chǎn)生了有聲語言，使每一種聲音都能傳遞某種信息，而且表達某種意義。語言的產(chǎn)生和發(fā)展反過來進一步推動了思維的發(fā)展，要求將思維的內(nèi)容保留下來。經(jīng)過長期的實踐，出現(xiàn)了書寫語言，即文字。文字的產(chǎn)生，是人類文明發(fā)展的重要里程碑，對思維的進一步發(fā)展起到了關(guān)鍵作用。這時，思維找到了固定的載體，語言不僅成為思維的居所，而且也成為人類的家園。為了克服自然語言的模糊性、歧義性，在自然語言的基礎(chǔ)上又產(chǎn)生了人工語言，進一步推動了思維科學(xué)的發(fā)展和應(yīng)用。這是語言在現(xiàn)展所取得的成就。

今天，我們所說的語言，應(yīng)該包括自然語言和人工語言兩個部分，而且都可以稱它們?yōu)榉枺醋匀环柡腿斯し枴ｏ@然，同語詞一樣，無論哪種符號，它們也都是有意義的，否則它就沒有任何用途了，因而也就不可能出現(xiàn)。我們使用符號的目的是表達和實現(xiàn)思想，因此符號必定包含有某種意義。可見，符號本身不僅具有意義，同時又是一種形式。符號具有怎樣的意義?必須通過解釋加以確定。根據(jù)實踐和理論研究的需要，我們可以賦予符號一定的意義。在具體科學(xué)中，這是各門科學(xué)自身的工作，邏輯學(xué)不能代替而只能完成本學(xué)科的符號解釋。只有當某個言語形式的意義在我們所掌握的科學(xué)知識范圍內(nèi)，我們才能準確地確定它的意義。所以，無論是在具體科學(xué)中還是在邏輯學(xué)中，符號都是內(nèi)容與形式的統(tǒng)一。一切科學(xué)規(guī)律都是憑借這種統(tǒng)一來表述的，而且也只有憑借這種統(tǒng)一才能得以表述。例如，牛頓力學(xué)中的第二運動定律，可以用符號公式表述為:f=ma。這個表達式是人工符號表達式，其中用了四個符號。只有對每一個符號都作出解釋，賦予一定的意義，才能使它表達第二運動定律的內(nèi)涵，并被人們所理解。對于已學(xué)過牛頓力學(xué)的人，只要看到這個公式，就明白這個表達式的意義，因為他們已經(jīng)知道了對符號所作的解釋。這里的解釋，有兩個步驟。第一，賦予符號以特定的意義:“f”是對物體的外部作用力，“m”是被作用物體的質(zhì)量，“a”是被作用物體在受外部作用后所得到的加速度，“=”是等值。第二，解釋符號的關(guān)系:包括兩個方面的內(nèi)容，一是對量的關(guān)系的解釋，這個公式表示，f等于m與a的乘積，兩者的關(guān)系是，物體的加速度(a)與所受外力(f)成正比，與物體的質(zhì)量(m)成反比;二是對質(zhì)的關(guān)系的解釋，即加速度(a)與外力(f)都是矢量，具有方向性，而且加速度的方向與外力的方向相同。通過上述解釋，我們不僅知道了牛頓力學(xué)第二運動定律的形式，而且也知道了這個符號表達式的內(nèi)容，從而表明了思維內(nèi)容和形式的統(tǒng)一。這里的形式包含兩個方面:第一，每一個符號都是一種形式;第二，符號之間的相互關(guān)系，即形式結(jié)構(gòu)。因此，我們在研究思維內(nèi)容與思維形式的關(guān)系時，主要任務(wù)不在于分辨誰是先在的，內(nèi)在的，是決定者，誰是后在的，外在的，是被決定的，而在于尋求它們之間的統(tǒng)一。這種統(tǒng)一的多樣性取決于是否存在經(jīng)驗內(nèi)容的滲透以及這種滲透的程度，從而使邏輯科學(xué)構(gòu)成一個龐大的“家族”。

思維內(nèi)容和形式在形式邏輯中的統(tǒng)一

從思維內(nèi)容和形式統(tǒng)一的觀點看，形式邏輯不僅研究推理形式，同時也研究推理內(nèi)容，研究思維內(nèi)容和形式的統(tǒng)一。我們可以從以下四個方面認識這種統(tǒng)一的具體表現(xiàn)。第一，邏輯符號的內(nèi)容和形式的統(tǒng)一。現(xiàn)代形式邏輯，又稱符號邏輯。它的一切符號，只有通過解釋，才具有特定的意義。這種意義，就是作為思維形式的符號所具有的思維內(nèi)容。在形式邏輯中，不僅邏輯形式都是由符號構(gòu)成的，而且邏輯內(nèi)容也是用符號和符號組合來表達的。在符號邏輯中有許多作為邏輯常項的符號，對這些符號只有作出明確的解釋，才能賦予它們意義。這種意義，就是被解釋的符號所具有的邏輯內(nèi)容。例如，對符號“?”的解釋是“否定”，對符號“∧”的解釋是“合取”，對符號“∨”的解釋是“析取”，對符號“→”的解釋是“蘊涵”，對符號“≡”的解釋是“等值”，等等。這些意義，都賦予了邏輯形式特定的思維內(nèi)容。不同的邏輯系統(tǒng)，有不同的符號。由于給予不同的解釋，它們就具有各不相同的邏輯內(nèi)容，從而形成思維內(nèi)容和形式的不同統(tǒng)一。例如，在模態(tài)邏輯中，把符號“□”解釋為“必然”，把符號“◇”解釋為“可能”;在時態(tài)邏輯中，把符號“P”解釋為“過去”，把符號“T”解釋為“現(xiàn)在”，把符號“F”解釋為“將來”;在道義邏輯中，把符號“O”解釋為“義務(wù)”，把符號“P”解釋為“允許”，把符號“F”解釋為“禁止”，等等。在這些不同邏輯系統(tǒng)中，有的符號是相同的，有的是不同的。即便是相同的符號形式，由于給予不同的意義，它們也就成為具有不同的內(nèi)容的符號。例如，“P”這個符號，在直言命題中，它代表詞項;在命題邏輯中，它是肢命題;在時態(tài)邏輯中，它被解釋為“過去”;在道義邏輯中，被解釋為“允許”。顯然，這些符號的選擇，完全是自由的，也完全是任意的，我們可以選擇這些符號，也可以選擇另一些符號。但無論選擇什么符號，對它的解釋，則是有確定內(nèi)涵的，絕不能是完全任意的。而且，這些符號只有在特定的關(guān)系和形式系統(tǒng)中，才具有它的確定意義;在不同的關(guān)系和形式系統(tǒng)中，它們的意義也是不同的。這些都說明，符號形式和符號形式的意義，反映了在形式邏輯學(xué)中形式與內(nèi)容在特定條件下的統(tǒng)一。#p#分頁標題#e#

第二，邏輯基本規(guī)律的內(nèi)容與形式的統(tǒng)一。邏輯基本規(guī)律是獲得“邏輯的真”的規(guī)律，它們決定了形式邏輯必須研究命題真假關(guān)系的思維內(nèi)容。形式邏輯教科書主要討論形式邏輯的三大基本規(guī)律，即同一律、矛盾律和排中律。這些規(guī)律都可以由符號構(gòu)成的公式來表述。同一律表述為:A≡A;矛盾律表述為:?(A∧?A);排中律表述為:A∨?A。對這些公式意義的解釋，就是這些規(guī)律的內(nèi)容。例如，亞里士多德對矛盾律的解釋是:“一切意見中最為確實的是，矛盾的陳述不能同時為真。”①邏輯基本規(guī)律同存在、認識、心理和意義等是密切關(guān)聯(lián)的。亞里士多德的邏輯學(xué)主要研究了矛盾律和排中律，對同一律也有所涉及;在邏輯規(guī)律的討論中，涉及的不只是邏輯方面，而且還比較多地涉及本體論、認識論、心理學(xué)和語義方面的內(nèi)容。這說明，邏輯規(guī)律是存在規(guī)律的反映。矛盾律為什么在我們的思維中占有特殊的地位?只能由存在規(guī)律來解釋。格•克勞斯說:“我們不能把思維作為本原的東西，用思維來解釋這一點。我們不能說:‘我們的思維當它邏輯上不矛盾時便正確’，而回答只能有一個:因為它合乎邏輯。不矛盾律的特殊作用取決于它是從本體論的規(guī)律即從本原的基礎(chǔ)引申出來的，也就是說，它是存在規(guī)律的反映。”②可見，邏輯規(guī)律的基礎(chǔ)是存在規(guī)律，徹底割斷本體論與邏輯學(xué)的聯(lián)系是不可能的，這是決定邏輯規(guī)律具有思維內(nèi)容的重要根由。因此，在形式邏輯中，邏輯規(guī)律不只是形式方面，也不只是內(nèi)容方面，而是內(nèi)容與形式兩個方面的統(tǒng)一。

第三，推理規(guī)則的內(nèi)容和形式的統(tǒng)一。構(gòu)成形式邏輯基礎(chǔ)的是推理規(guī)則，它是邏輯基本規(guī)律在推理過程中的具體化。涅爾在《邏輯學(xué)的發(fā)展》中說:“邏輯是研究有效推理規(guī)則的。”③這就明確地表述了真與假的內(nèi)容與符號的形式之間的統(tǒng)一。涅爾所說的邏輯，自然是指形式邏輯。他在這個說明中，特別強調(diào)的是形式邏輯推理的有效性以及保證推理有效性的規(guī)則，由此實現(xiàn)從真前提中有效地推出真結(jié)論。因為，邏輯規(guī)律與存在規(guī)律不同，存在規(guī)律的表述是有經(jīng)驗內(nèi)容的，邏輯規(guī)律是沒有經(jīng)驗內(nèi)容的，它只是符號系統(tǒng)的規(guī)則，與現(xiàn)實世界中的因果關(guān)系不直接相關(guān)，只是反映命題之間的真假關(guān)系。所以，“在邏輯上具有巨大意義的規(guī)律，是表示一些判斷的真(假)同另一些判斷的真(假)之間的依賴關(guān)系的規(guī)律。這些規(guī)律決定著推理有合乎邏輯的正確形式”④。命題的真假，并不是思維的形式，而是思維的內(nèi)容，但又只有在形式關(guān)系中，根據(jù)一定的規(guī)則，才能斷定命題的真假。這表明，“真”與“假”不是事實關(guān)系中的真與假，而是形式關(guān)系中的真與假，即如何以形式之間的正確聯(lián)系來達到這個“真”，這便成為形式關(guān)系中的內(nèi)容。進一步說，所謂“有效性”或“無效性”，就是一種思維內(nèi)容。有效性是真的，無效性是假的。由于推理形式本身包含了“有效規(guī)則”，因而它是內(nèi)容和形式的統(tǒng)一。形式邏輯的核心，就是邏輯后承，或有效后承。所以，簡要地說，形式邏輯只是研究有效推理的規(guī)則，只有遵守這種邏輯規(guī)則，才能使推理形式有效。有效的推理，其結(jié)論必定是真的;無效的推理，其結(jié)論必定是假的。“必然性”，“必然地推出”，是指內(nèi)容方面的問題;如何通過形式之間的關(guān)系來實現(xiàn)這種“必然性”和“必然地推出”，關(guān)鍵在于形式的保證，是形式方面的問題。這同樣表明，在任何形式中，都包含著與思維形式相適應(yīng)的內(nèi)容。

第四，內(nèi)涵和外延都是思維內(nèi)容。邏輯內(nèi)容不僅包括作為符號內(nèi)涵的質(zhì)，而且也包括符號外延的量。在關(guān)于概念的討論中，邏輯教科書都把內(nèi)涵與外延看作概念的兩個邏輯特征。不只是概念，語句也同樣具有這兩個邏輯特征。形式邏輯通常都不研究概念的內(nèi)涵，而只研究概念的外延關(guān)系，因而我們都稱形式邏輯為外延邏輯。正是這個原因，不少人把現(xiàn)代的哲學(xué)邏輯稱為非形式邏輯或內(nèi)涵邏輯，因為它引進了一些哲學(xué)范疇作為邏輯常項，如“必然”與“可能”，“過去”、“現(xiàn)在”與“將來”等。上面所說的對符號的解釋，首先得到明確的是符號的內(nèi)涵，即意義，然后即可確定它們的外延關(guān)系。例如，在模態(tài)邏輯中，符號“□”和“◇”之間的關(guān)系，由于賦予了“必然”和“可能”的意義，同時也就規(guī)定了它們的外延關(guān)系。在模態(tài)對當方陣中的矛盾關(guān)系、差等關(guān)系和反對關(guān)系，同形式邏輯中的對當方陣一樣，都是用外延關(guān)系來確定的。外延關(guān)系是由內(nèi)涵決定的。如果說形式邏輯是外延邏輯，那么，模態(tài)邏輯也應(yīng)該是外延邏輯。不同的是，模態(tài)邏輯引進了必然(“□”)和可能(“◇”)等不同的邏輯常項，表明它具有不同的內(nèi)容。但要進行邏輯運算，都必須依賴于外延關(guān)系。內(nèi)涵是思維的內(nèi)容，這是沒有異議的。問題是，外延也是思維內(nèi)容嗎?形式邏輯對全稱量詞(?x)和存在量詞(?x)的賦值，已經(jīng)對這個問題作了肯定回答。因為這些賦值都屬于量的方面，而且成為這些符號的意義。所以，外延的量同樣是一種意義，屬于思維內(nèi)容。內(nèi)涵與外延的關(guān)系，不屬于內(nèi)容與形式的關(guān)系，而是質(zhì)與量的關(guān)系。任何事物都具有質(zhì)和量的規(guī)定性，對這兩種規(guī)定性的反映，使概念、詞項、句子等都具有內(nèi)涵與外延的屬性。卡爾納普認為，一個謂詞包括作為“類”和作為“性質(zhì)”兩個方面的特性，如，“人”既是作為包含許多個別人為元素的類的“人”，又是作為具有同樣人性的性質(zhì)的“人”。于是，謂詞“P”的外延是相應(yīng)的類，而其內(nèi)涵則是相應(yīng)的性質(zhì)。

關(guān)于語句，當它具有真值時，便是一個命題。因此，語句的內(nèi)涵是命題，它的外延則是它的真值。關(guān)于某一個體詞，它的內(nèi)涵是它所表達的個體的概念，它的外延是它所指稱的個體。所以，外延是由內(nèi)涵決定的，因而內(nèi)涵與外延是不能各自獨立存在的，是不能分離的。詹斯奧爾伍德指出:內(nèi)涵是“連接語言和這個世界的黏合物。一個內(nèi)涵就是使一個語言表達式和它的外延產(chǎn)生聯(lián)系的某種東西。它決定一個語言表達式的外延”①。在一切邏輯科學(xué)中，內(nèi)涵與外延都是統(tǒng)一的，形式邏輯也不能例外。由于外延是由內(nèi)涵決定的，因而外延的存在必須以確定的內(nèi)涵為前提，所以它不屬于邏輯形式，而屬于邏輯內(nèi)容。作為邏輯內(nèi)容的內(nèi)涵和外延，其中雖然也有對經(jīng)驗內(nèi)容的進一步抽象，但不都是經(jīng)驗內(nèi)容。事物的質(zhì)和量，是現(xiàn)實世界中的形式和關(guān)系，它反映到邏輯科學(xué)中，表現(xiàn)為內(nèi)涵和外延，這只是說明邏輯內(nèi)容和邏輯形式的外表來源。“但是，為了對這些形式和關(guān)系能夠從它們的純粹狀態(tài)來進行研究，必須使它們完全脫離自己的內(nèi)容，把內(nèi)容作為無關(guān)重要的東西放在一邊”①。這樣，我們就得到了沒有經(jīng)驗內(nèi)容的邏輯內(nèi)容。內(nèi)涵和外延，就是事物的質(zhì)和量這些經(jīng)驗內(nèi)容的抽象，說的都是邏輯學(xué)的思維內(nèi)容。上述分析表明，形式邏輯不僅研究推理形式，而且也同時研究推理內(nèi)容。所以，認為形式邏輯只管思維形式而不管思維內(nèi)容的觀點，是不能成立的。#p#分頁標題#e#

邏輯學(xué)研究的意義邏輯轉(zhuǎn)向

在宏觀上，意義可以分為兩類，一類是經(jīng)驗內(nèi)容的意義，另一類是非經(jīng)驗內(nèi)容的意義。具體科學(xué)中的意義屬于前者，邏輯學(xué)中的意義屬于后者。萊布尼茨早就提出了理性真理和事實真理的區(qū)分，他說:“有兩種真理:推理的真理和事實的真理。推理的真理是必然的，它的否定是不可能的;事實的真理是偶然的，它的否定是可能的。”②形式邏輯所追求的是推理的真理，屬于非經(jīng)驗內(nèi)容的意義;具體科學(xué)所追求的是事實的真理，屬于經(jīng)驗內(nèi)容的意義。因此，推理的真理只是形式的真，只管形式的正確性，不管內(nèi)容的真實性。其中的邏輯必然性，也只是形式必然性或抽象必然性，雖然它也是事實真理的必要條件，但并不是充分條件。要使抽象必然性向具體必然性過渡，實現(xiàn)邏輯的真理與事實的真理的統(tǒng)一，必須建構(gòu)經(jīng)驗內(nèi)容進入邏輯思維的通道。但形式邏輯系統(tǒng)的封閉性已經(jīng)斷絕了這種通道，也就已經(jīng)無緣實現(xiàn)這種結(jié)合了。

一旦邏輯學(xué)向經(jīng)驗內(nèi)容開放，它便離開了單純的形式研究而進入邏輯應(yīng)用的具體科學(xué)領(lǐng)域。這時，推理的有效性不僅依賴于形式的正確性，而且必須依賴于經(jīng)驗內(nèi)容的真實性。斯蒂芬•里德指出:“經(jīng)典邏輯堅持所有邏輯推論都是形式問題，就不能把其正確性依賴非邏輯詞項之間的關(guān)系的推理作為有效推理。給定一個圓的對象，可以推出它不是方的;但這個推理根據(jù)形式不是有效的，如果根據(jù)內(nèi)容，即根據(jù)‘是圓的’的含義，那么它是有效的。我們可以稱這樣的推理為實質(zhì)有效推理，即根據(jù)內(nèi)容而不是形式為有效的推理。”③實質(zhì)有效推理所得到的結(jié)論是事實的真理。在這里，需要輸入經(jīng)驗內(nèi)容的意義。從單純形式的立場看，知道了“若是圓的”，并不能知道它“不是方的”，而只能是:知道了“若是圓的”，就知道“不是非圓的”，即“若是p”，就“不是?p”。斯蒂芬•里德的分析，為我們提供了一個重要的啟示:實質(zhì)有效推理使邏輯學(xué)研究走向意義邏輯，是使理性真理向事實真理轉(zhuǎn)化，實現(xiàn)兩種真理的統(tǒng)一的途徑。波普爾在研究社會科學(xué)的邏輯時，提出了27個命題。其中的第一個命題是:我們擁有大量的知識;第二個命題是:我們的無知是無限的、令人清醒的。關(guān)于這兩個命題，波普爾指出:“當然，我的關(guān)于知識與無知的兩個命題只是看上去好像彼此矛盾。這種表面的矛盾的主要原因在于這樣一個事實，在這兩個命題中各在頗不相同的意義上使用了‘知識’這個詞。然而這兩種意義都是重要的。”④要說明這兩個命題的不矛盾性，同樣需要經(jīng)驗內(nèi)容的引入。

為什么從形式上看，這兩個命題是自相矛盾的?因為這里的形式是指把“知識”這個語詞作為“概念”，即作為一種符號來使用，作為同一個概念的符號只能給予同一種意義，但兩個命題給出了兩種相反的意義。如果合取這兩個命題，那么，就要產(chǎn)生邏輯矛盾，這種邏輯矛盾表達式是:“A∧?A”。但由于輸入了經(jīng)驗內(nèi)容的意義，這兩個命題中的“知識”一詞具有了不同的意義:第一個命題中的“知識”是關(guān)于“已知”的知識，第二個命題中的“知識”是關(guān)于“未知”的知識。由于對“知識”一詞作不同的解釋，賦予不同的意義，因而成為兩個不同的概念，不構(gòu)成邏輯矛盾表達式。這說明，第一，在應(yīng)用形式邏輯于知識內(nèi)容的研究時，必須對思維形式賦予具有經(jīng)驗內(nèi)容的意義;第二，在形式邏輯立場上認為存在邏輯矛盾的地方，往往產(chǎn)生了內(nèi)容與形式的非對應(yīng)性的錯位，只有根據(jù)經(jīng)驗內(nèi)容對符號的意義作出不同解釋，才能消除這種邏輯矛盾。

在形式邏輯中，實質(zhì)蘊涵限于命題之間的真假聯(lián)系，嚴格蘊涵則進一步考慮到了命題之間的必然聯(lián)系，但這兩種蘊涵都沒有涉及命題之間意義上的聯(lián)系，即內(nèi)容上的相干性。20世紀60年代，安德森和貝爾納普建立了相干邏輯，提出了相干性，以修正經(jīng)典邏輯的有效性概念。所謂相干原理是指:如果A相干蘊涵B，則A和B至少有一個共同的命題變元①。由此，“如果A，那么B”是真的，僅當A對于得出結(jié)論B是有關(guān)的。就是說，A與B在意義上是相關(guān)的。相干性也修正了必然性的概念:“如果A，那么B”表示A是得出結(jié)論B的根據(jù)，或者說，從A可以推出B。不少學(xué)者把這種修正看作對經(jīng)典邏輯的有效性概念提出的挑戰(zhàn)。例如，哈克認為，相干邏輯“對有效性的經(jīng)典概念的挑戰(zhàn)是最基本的”，但她又認為“相干性的考慮應(yīng)屬于修辭學(xué)的范圍，而不屬于論證評價的邏輯的范圍”②。一般文獻把“entailentailment”譯為“衍推”，周禮全主編的《邏輯》則把它改譯為“意涵”③。這種改譯，更突出了意義在相干邏輯中的地位。皮亞杰說:“我們的重要工作是去構(gòu)造一種意義的邏輯，其主要的運算我們稱之為‘意義蘊涵’:如果g的一個意義m存在于p的意義中并且這種意義m是傳遞性(transitive)的，那么p蘊涵g(寫成p→g)。”④在一些學(xué)者看來，“意義蘊涵”的這種凸顯，預(yù)示了意義邏輯成為一門邏輯學(xué)科的前景，而且發(fā)生認識論學(xué)的研究成果產(chǎn)生了使邏輯學(xué)走向一種意義邏輯的新轉(zhuǎn)折。雅克•弗內(nèi)歇認為，安德森和貝爾納普的相干邏輯為意義邏輯提供了基礎(chǔ)，皮亞杰在某種意義上超越了它⑤。讓－布萊茲•格里茲指出:“事實上，為了行動，必須擁有信息，當然是真實的信息，然而，信息的根基是與之有關(guān)的意義，因此，需要一種內(nèi)容的邏輯，至少需要一種內(nèi)涵的，也就是非外延的邏輯。”⑥這里所說的意義邏輯，是思維內(nèi)容和形式在經(jīng)驗內(nèi)容這一層次上的統(tǒng)一。在具體的科學(xué)理論和人們的生活實踐中，這種統(tǒng)一也同樣存在。

布迪厄為了闡述一種實踐邏輯，主張“將關(guān)系思想方式引入社會科學(xué)”，他認為:“是這類關(guān)系給出了該成分的意義和功能。”⑦實踐邏輯理論的提出，則意味著“人們實際上克服了由萊布尼茨和全部古典唯理論對理性真理和事實真理所作的區(qū)分，將歷史事件當作一些可理解的關(guān)系系統(tǒng)來對待”⑧。同時，由于給符號引入經(jīng)驗內(nèi)容的意義，把理性真理轉(zhuǎn)換到了事實真理，所以布迪厄又把這種邏輯稱為“關(guān)系和轉(zhuǎn)換”的思維方式的邏輯⑨。顯然，要真正地建立一種意義邏輯并被學(xué)術(shù)界所接受，還有待于時日。但這也絕不是說，意義邏輯是不可能的。#p#分頁標題#e#