試論邏輯真理的認(rèn)識(shí)論思考

　　摘要：邏輯學(xué)是研究推理的一門(mén)學(xué)問(wèn)，而推理是由概念、命題組成的，不懂得命題就不懂得推理。普通邏輯學(xué)在研究命題時(shí)，主要是從二值邏輯的角度研究命題邏輯形式的邏輯值與命題形式之間的真假關(guān)系。本文著重從認(rèn)識(shí)論的角度闡述邏輯真理的內(nèi)涵，同時(shí)詳細(xì)論述邏輯真理與事實(shí)真理的區(qū)別。為了探求真理必須保證思維的邏輯性。?

　　關(guān)鍵詞：邏輯真理;真理符合論?

　　邏輯學(xué)離不開(kāi)“真”這個(gè)概念。一般來(lái)說(shuō)人們是從下述意義上使用“真”這個(gè)概念的：?

　　(一)前提或者命題真。這種真是指命題的思想內(nèi)容是真的。任何一個(gè)命題的內(nèi)容不是真的就是假的，在這里真或假不是用以描述事物狀態(tài)的，而是評(píng)價(jià)命題或陳述的內(nèi)容的。它的核心是針對(duì)其所表達(dá)的知識(shí)或信念的，例如：“臺(tái)灣不是一個(gè)主權(quán)國(guó)家。”這個(gè)命題的內(nèi)容是符合客觀事實(shí)的，所以是個(gè)真命題。?

　　(二)推理真。這是指推理中前提真和結(jié)論真之間的關(guān)系。演繹推理前提真結(jié)論必然真，歸納推理和類(lèi)比推理前提真而結(jié)論是或然性真。因此推理真就是推理中的結(jié)論相對(duì)于前提是必然的真或者是或然的真。這里“真”指的是否再現(xiàn)邏輯推斷關(guān)系而不是對(duì)命題內(nèi)容的評(píng)價(jià)。?

　　(三)指派真和賦值真。在邏輯學(xué)中(特別是在現(xiàn)代邏輯中)把命題形式當(dāng)作真值形式，而且只從真假的角度研究每一種命題形式的邏輯特征，真和假是命題的唯一屬性。邏輯真在這里指這些真值形式和其中的變項(xiàng)與公式的真假，這時(shí)的真假和具體命題內(nèi)容的真假無(wú)關(guān)，而只是一種假定的真假和根據(jù)這種假定而推論出的真假。?

　　(四)形式真。這是指永真式(重言式)或普遍有效式的真。邏輯學(xué)中有一類(lèi)公式，對(duì)其中的變項(xiàng)可以代以任何命題、謂詞、個(gè)體詞總能得到真命題。這類(lèi)公式的真是一種邏輯關(guān)系的真，例如：P或者非P中不管變項(xiàng)P賦真值或是假值，這個(gè)公式都是真的。?

　　(五)系統(tǒng)真?，F(xiàn)代邏輯建立了形式系統(tǒng)，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整個(gè)系統(tǒng)便是可靠的和一致的，這種可靠性和一致性就是一種系統(tǒng)的真。?

　　在以上這五種“真”的情況下，邏輯學(xué)不考慮第一種意義的“真”，而只關(guān)注后四種“真”。后四種“真”在邏輯學(xué)中有各種表現(xiàn)，在其他科學(xué)中也有這些意義上的真的表現(xiàn)，就被稱(chēng)為邏輯真理。?

　　所謂邏輯真理是一種特殊的真理，是一種因邏輯關(guān)系或邏輯原因而成為真的一種真理。邏輯真理不能憑經(jīng)驗(yàn)而得知其為真，它需要我們借助邏輯分析、語(yǔ)義分析、關(guān)系分析確定它們是真的。它和我們?nèi)粘Ｉ钪兴f(shuō)的真理是有區(qū)別的。?

　　恩格斯認(rèn)為：全部哲學(xué)特別是近代哲學(xué)的重大基本問(wèn)題，是思維與存在的關(guān)系問(wèn)題。它包括兩個(gè)方面的問(wèn)題，一方面是思維與存在何者為本原的問(wèn)題;另一方面是思維和存在有無(wú)同一性的問(wèn)題，也就是我們的思維能否認(rèn)識(shí)現(xiàn)實(shí)或者正確地反映現(xiàn)實(shí)世界的問(wèn)題。從邏輯哲學(xué)的角度來(lái)看，其重大的基本問(wèn)題就是邏輯與客觀現(xiàn)實(shí)的關(guān)系問(wèn)題，任何邏輯學(xué)家都要回答：邏輯真理是否與客觀現(xiàn)實(shí)一致?邏輯真理與事實(shí)真理之間又有什么關(guān)系??

　　關(guān)于這個(gè)理論問(wèn)題，亞里士多德在其所著《形而上學(xué)》一書(shū)中明確提出并詳細(xì)論述了邏輯基本規(guī)律(矛盾律與排中律)。在談到矛盾律時(shí)認(rèn)為，事物不能同時(shí)存在又不存在。矛盾律首先是存在的規(guī)律。它之所以能夠成為邏輯思維的基本規(guī)律，是因?yàn)樗?ldquo;事理”。亞里士多德肯定了邏輯規(guī)律與存在規(guī)律的一致性，其根據(jù)就是真理符合現(xiàn)實(shí)的理論，即所謂真理符合論。它在解釋真與假這對(duì)概念時(shí)說(shuō)，凡以不是為是、是為不是者，這就是假的;凡以實(shí)為實(shí)、以假為假者這就是真的。按照真理符合論，一切真理必需與現(xiàn)實(shí)一致，邏輯真理也不能例外?？梢?jiàn)亞里士多德的真理觀，是唯物主義的一元論，這個(gè)真理論肯定了思維與存在的同一性。但是亞里士多德只強(qiáng)調(diào)邏輯真理與存在規(guī)律的一致性，卻忽視了邏輯真理的特殊性。

　　萊布尼茲是現(xiàn)代邏輯的創(chuàng)始人。他第一個(gè)提出了用數(shù)學(xué)方法研究邏輯學(xué)中的推理問(wèn)題，對(duì)亞里士多德的真理一元論提出了挑戰(zhàn)。他認(rèn)為有兩種真理：即推理的真理和事實(shí)的真理。推理的真理是必然的，事實(shí)的真理是偶然的。推理的真理不像事實(shí)真理那樣依賴于經(jīng)驗(yàn)，它們的證明只能來(lái)自所謂的天賦的內(nèi)在原則。因此萊布尼茲的這種觀點(diǎn)，就成為真理二元論和邏輯真理先驗(yàn)論的一個(gè)起源。?

　　基于萊布尼茲的推理真理和事實(shí)真理的對(duì)立，在康德的哲學(xué)中就演變?yōu)榉治雠袛嗪途C合判斷的分歧。康德認(rèn)為一切來(lái)源于經(jīng)驗(yàn)的判斷都是綜合判斷;分析判斷是絕對(duì)獨(dú)立于一切經(jīng)驗(yàn)的知識(shí)，即先天知識(shí)。例如：“白人是人”就是分析判斷，在康德看來(lái)表示邏輯規(guī)律的判斷就屬于分析判斷。

　　數(shù)理邏輯問(wèn)世之后，邏輯哲學(xué)領(lǐng)域中出現(xiàn)了維特根斯坦學(xué)派，即以維也納小組為核心的邏輯實(shí)證主義者。他們的一個(gè)共同的工作就是利用數(shù)理邏輯的成果，發(fā)展從萊布尼茲到康德的真理二元論和邏輯真理的先驗(yàn)論，使之獲得科學(xué)化的外觀和現(xiàn)代化的形式。維特根斯坦把邏輯真理稱(chēng)為重言式。他認(rèn)為重言式的命題是無(wú)條件的真，由此他斷言，重言式既不能為經(jīng)驗(yàn)所證實(shí)，同樣的也不能為經(jīng)驗(yàn)所否定，也就是說(shuō)與現(xiàn)實(shí)沒(méi)有任何描述關(guān)系。邏輯實(shí)證主義者進(jìn)一步把康德關(guān)于分析判斷和綜合判斷的區(qū)分推向極端。在他們看來(lái)，凡是先天的都是分析的;反之，凡分析的都是先天的。邏輯實(shí)證主義者確立了一個(gè)基本的哲學(xué)信條：分析真理與綜合真理有根本的區(qū)別。這個(gè)學(xué)派的主要代表卡爾納普認(rèn)為，哲學(xué)家們常常區(qū)分兩類(lèi)真理，某些陳述的真理是邏輯的、必然的、根據(jù)意義而定的，另一些陳述的真理是經(jīng)驗(yàn)的、偶然的、取決于世界上的事實(shí)的。前一類(lèi)推理就是所謂的分析推理，后一類(lèi)推理就是所謂的綜合推理。邏輯真理被看作是分析真理的一個(gè)特殊的真子集。?

　　1933年塔爾斯基以形式化的方法給出了真理的語(yǔ)義學(xué)概念，他用非形式化方法對(duì)其語(yǔ)義學(xué)的成果作出概述。他認(rèn)為邏輯真理同其他真理一樣，必需與客觀現(xiàn)實(shí)相符合或者相一致，在形式語(yǔ)言中，一個(gè)語(yǔ)句是不是邏輯真理，取決于它是不是在每一種解釋下都成為真語(yǔ)句;同時(shí)一個(gè)語(yǔ)句在某一解釋下是否為真，取決于它在這一解釋下，是否與它所“談?wù)摰膶?duì)象”相一致?？梢?jiàn)邏輯真理的概念直接依賴于形式語(yǔ)言中的語(yǔ)句，與它們所描述的客觀現(xiàn)實(shí)之間的符合關(guān)系，這說(shuō)明它的邏輯真理或者分析真理并非先驗(yàn)的真或者先天的真，它們?yōu)檎嫱瑯邮且驗(yàn)樗鼈兣c現(xiàn)實(shí)相符合。塔爾斯基重新建立了真理符合論，表明一切真理包括事實(shí)真理和邏輯真理，它們的共同特征就是必需與客觀現(xiàn)實(shí)相符合。?

　　綜上所述，我們可以看出亞里士多德提出的真理符合論，肯定了邏輯真理與存在規(guī)律的一致性，但是忽視了它們之間的差別。萊布尼茲、康德、維特根斯坦和邏輯實(shí)證主義者認(rèn)為，邏輯真理和現(xiàn)實(shí)絕對(duì)無(wú)關(guān)，與事實(shí)真理根本不同。塔爾斯基主張真理必需以亞里士多德的真理符合論為基礎(chǔ)，而且只能以形式語(yǔ)言來(lái)構(gòu)造，這種觀點(diǎn)有一定的局限性。?

　　馬克思主義認(rèn)識(shí)論認(rèn)為，真理是客觀事物及其規(guī)律在人們思維中的正確反映。同樣邏輯真理也是客觀世界規(guī)律性的反映。列寧指出，人的實(shí)踐經(jīng)過(guò)千百萬(wàn)次的重復(fù)，它在人的意識(shí)中以邏輯的格固定下來(lái)，而最普遍的邏輯格，就是事物被描述的很幼稚的……最普遍的關(guān)系。列寧認(rèn)為邏輯的公理、正確的推理形式是事物最普遍的關(guān)系，是由人們實(shí)踐中千百萬(wàn)次的重復(fù)而反映和鞏固在意識(shí)中。列寧說(shuō)的最普遍的邏輯格是指三段論推理的正確形式。在這一點(diǎn)上我們說(shuō)邏輯真和事實(shí)真是相容的，事實(shí)真是基礎(chǔ)，邏輯真是建立在事實(shí)真基礎(chǔ)之上的，二者是一致的，但是邏輯真理與任何具體的經(jīng)驗(yàn)事實(shí)無(wú)關(guān)。?

　　第一，邏輯系統(tǒng)的公理和定理的真是邏輯系統(tǒng)設(shè)定，其為真的根據(jù)是某種初始的邏輯關(guān)系。第二，邏輯公理和定理經(jīng)過(guò)解釋的真命題，其為真不取決于解釋中的內(nèi)容，而取決于這些公理、定理所顯示的邏輯關(guān)系。第三，邏輯推斷關(guān)系這種推論的結(jié)論真是一種邏輯關(guān)系真。第四，根據(jù)邏輯聯(lián)系詞的性質(zhì)，由邏輯真得到邏輯真。如：A、B是邏輯真命題，那么A并且B、如果A那么B都是邏輯真命題。第五，數(shù)學(xué)中的邏輯真命題，是建立在公理演繹基礎(chǔ)之上。以上這些邏輯真由于邏輯的原因或者邏輯關(guān)系而真，在這一點(diǎn)上我們可以說(shuō)，在局部意義上，相對(duì)于特定的邏輯系統(tǒng)而言，邏輯真理可以說(shuō)是分析的，是以邏輯意義為根據(jù)的，而與任何具體的經(jīng)驗(yàn)事實(shí)無(wú)關(guān)。

　　邏輯真理和事實(shí)真理的關(guān)系是：事物之間的關(guān)系顯示一定的邏輯關(guān)系，也是邏輯真的基礎(chǔ)。邏輯真理在某些方面與事實(shí)真理是一致的，但是在另一方面，邏輯真理又與事實(shí)真理不是一致的，邏輯真理和事實(shí)真理之間是一種交叉關(guān)系。邏輯真理既具有絕對(duì)性又具有相對(duì)性，有些邏輯關(guān)系是絕對(duì)的真，但是另一些邏輯真理是相對(duì)的真。邏輯真理之所以為邏輯真理，不是由于它們揭示了事物的本質(zhì)事物或事物的普遍性，而只是涉及到邏輯自身，只根據(jù)邏輯自身而成立。邏輯真理的必然性需要在邏輯自身中去尋找，而不能在現(xiàn)實(shí)中尋找。?

　　綜上所述可見(jiàn)，邏輯真理來(lái)源于經(jīng)驗(yàn)，但又不同于事實(shí)真理。由于邏輯思維的作用，它越遠(yuǎn)離事實(shí)，其真理性越強(qiáng);當(dāng)它與具體事實(shí)相符合時(shí)，即成為事實(shí)真理的必要條件。當(dāng)邏輯真理和事實(shí)真理一致時(shí)，邏輯思維就正確地反映了事物的規(guī)律，因此邏輯真理在認(rèn)識(shí)中有著重要的作用。當(dāng)我們認(rèn)識(shí)世界時(shí)，會(huì)在原有的知識(shí)基礎(chǔ)上作出許多推測(cè)和猜想，也會(huì)試圖把這些思想與已經(jīng)獲得的關(guān)于被研究對(duì)象的材料聯(lián)系起來(lái)。為了搞好各項(xiàng)工作，我們要正確的調(diào)整各種思想關(guān)系，從中拋棄不適當(dāng)?shù)乃枷耄x取可以促進(jìn)我們前進(jìn)的思想，這就需要我們?cè)谒季S過(guò)程中嚴(yán)格遵守邏輯規(guī)律和規(guī)則。只有認(rèn)識(shí)邏輯真理才能更好地認(rèn)識(shí)事實(shí)真理，隨著人類(lèi)的經(jīng)驗(yàn)積累，邏輯真理和事實(shí)真理的交叉容量必然會(huì)不斷增大，為了探求真理我們必須保證思維的邏輯性。