摘要：邏輯學(xué)是研究推理的一門學(xué)問，而推理是由概念、命題組成的，不懂得命題就不懂得推理。普通邏輯學(xué)在研究命題時，主要是從二值邏輯的角度研究命題邏輯形式的邏輯值與命題形式之間的真假關(guān)系。本文著重從認(rèn)識論的角度闡述邏輯真理的內(nèi)涵，同時詳細論述邏輯真理與事實真理的區(qū)別。為了探求真理必須保證思維的邏輯性。?
　　關(guān)鍵詞：邏輯真理；真理符合論?
　　中圖分類號：B81 文獻標(biāo)識碼：A??
　　
　　邏輯學(xué)離不開“真”這個概念。一般來說人們是從下述意義上使用“真”這個概念的：?
　�。ㄒ唬┣疤峄蛘呙�題真。這種真是指命題的思想內(nèi)容是真的。任何一個命題的內(nèi)容不是真的就是假的，在這里真或假不是用以描述事物狀態(tài)的，而是評價命題或陳述的內(nèi)容的。它的核心是針對其所表達的知識或信念的，例如：“臺灣不是一個主權(quán)國家�！边@個命題的內(nèi)容是符合客觀事實的，所以是個真命題。?
　　（二）推理真。這是指推理中前提真和結(jié)論真之間的關(guān)系。演繹推理前提真結(jié)論必然真，歸納推理和類比推理前提真而結(jié)論是或然性真。因此推理真就是推理中的結(jié)論相對于前提是必然的真或者是或然的真。這里“真”指的是否再現(xiàn)邏輯推斷關(guān)系而不是對命題內(nèi)容的評價。?
　�。ㄈ�）指派真和賦值真。在邏輯學(xué)中（特別是在現(xiàn)代邏輯中）把命題形式當(dāng)作真值形式，而且只從真假的角度研究每一種命題形式的邏輯特征，真和假是命題的唯一屬性。邏輯真在這里指這些真值形式和其中的變項與公式的真假，這時的真假和具體命題內(nèi)容的真假無關(guān)，而只是一種假定的真假和根據(jù)這種假定而推論出的真假。?
　　（四）形式真。這是指永真式（重言式）或普遍有效式的真。邏輯學(xué)中有一類公式，對其中的變項可以代以任何命題、謂詞、個體詞總能得到真命題。這類公式的真是一種邏輯關(guān)系的真，例如：P或者非P中不管變項P賦真值或是假值，這個公式都是真的。?
　�。ㄎ澹┫到y(tǒng)真�，F(xiàn)代邏輯建立了形式系統(tǒng)，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整個系統(tǒng)便是可靠的和一致的，這種可靠性和一致性就是一種系統(tǒng)的真。?
　　在以上這五種“真”的情況下，邏輯學(xué)不考慮第一種意義的“真”，而只關(guān)注后四種“真”。后四種“真”在邏輯學(xué)中有各種表現(xiàn)，在其他科學(xué)中也有這些意義上的真的表現(xiàn)，就被稱為邏輯真理。?
　　所謂邏輯真理是一種特殊的真理，是一種因邏輯關(guān)系或邏輯原因而成為真的一種真理。邏輯真理不能憑經(jīng)驗而得知其為真，它需要我們借助邏輯分析、語義分析、關(guān)系分析確定它們是真的。它和我們?nèi)粘Ｉ�活中所說的真理是有區(qū)別的。?
　　恩格斯認(rèn)為：全部哲學(xué)特別是近代哲學(xué)的重大基本問題，是思維與存在的關(guān)系問題。它包括兩個方面的問題，一方面是思維與存在何者為本原的問題；另一方面是思維和存在有無同一性的問題，也就是我們的思維能否認(rèn)識現(xiàn)實或者正確地反映現(xiàn)實世界的問題。從邏輯哲學(xué)的角度來看，其重大的基本問題就是邏輯與客觀現(xiàn)實的關(guān)系問題，任何邏輯學(xué)家都要回答：邏輯真理是否與客觀現(xiàn)實一致？邏輯真理與事實真理之間又有什么關(guān)系？?
　　關(guān)于這個理論問題，亞里士多德在其所著《形而上學(xué)》一書中明確提出并詳細論述了邏輯基本規(guī)律（矛盾律與排中律）。在談到矛盾律時認(rèn)為，事物不能同時存在又不存在。矛盾律首先是存在的規(guī)律。它之所以能夠成為邏輯思維的基本規(guī)律，是因為它符合“事理”。亞里士多德肯定了邏輯規(guī)律與存在規(guī)律的一致性，其根據(jù)就是真理符合現(xiàn)實的理論，即所謂真理符合論。它在解釋真與假這對概念時說，凡以不是為是、是為不是者，這就是假的；凡以實為實、以假為假者這就是真的。按照真理符合論，一切真理必需與現(xiàn)實一致，邏輯真理也不能例外�？梢妬喞锸慷嗟碌恼胬碛^，是唯物主義的一元論，這個真理論肯定了思維與存在的同一性。但是亞里士多德只強調(diào)邏輯真理與存在規(guī)律的一致性，卻忽視了邏輯真理的特殊性。?
　　萊布尼茲是現(xiàn)代邏輯的創(chuàng)始人。他第一個提出了用數(shù)學(xué)方法研究邏輯學(xué)中的推理問題，對亞里士多德的真理一元論提出了挑戰(zhàn)。他認(rèn)為有兩種真理：即推理的真理和事實的真理。推理的真理是必然的，事實的真理是偶然的。推理的真理不像事實真理那樣依賴于經(jīng)驗，它們的證明只能來自所謂的天賦的內(nèi)在原則。因此萊布尼茲的這種觀點，就成為真理二元論和邏輯真理先驗論的一個起源。?
　　基于萊布尼茲的推理真理和事實真理的對立，在康德的哲學(xué)中就演變?yōu)榉治雠袛嗪途C合判斷的分歧。康德認(rèn)為一切來源于經(jīng)驗的判斷都是綜合判斷；分析判斷是絕對獨立于一切經(jīng)驗的知識，即先天知識。例如：“白人是人”就是分析判斷，在康德看來表示邏輯規(guī)律的判斷就屬于分析判斷。?
　　數(shù)理邏輯問世之后，邏輯哲學(xué)領(lǐng)域中出現(xiàn)了維特根斯坦學(xué)派，即以維也納小組為核心的邏輯實證主義者。他們的一個共同的工作就是利用數(shù)理邏輯的成果，發(fā)展從萊布尼茲到康德的真理二元論和邏輯真理的先驗論，使之獲得科學(xué)化的外觀和現(xiàn)代化的形式。維特根斯坦把邏輯真理稱為重言式。他認(rèn)為重言式的命題是無條件的真，由此他斷言，重言式既不能為經(jīng)驗所證實，同樣的也不能為經(jīng)驗所否定，也就是說與現(xiàn)實沒有任何描述關(guān)系。邏輯實證主義者進一步把康德關(guān)于分析判斷和綜合判斷的區(qū)分推向極端。在他們看來，凡是先天的都是分析的；反之，凡分析的都是先天的。邏輯實證主義者確立了一個基本的哲學(xué)信條：分析真理與綜合真理有根本的區(qū)別。這個學(xué)派的主要代表卡爾納普認(rèn)為，哲學(xué)家們常常區(qū)分兩類真理，某些陳述的真理是邏輯的、必然的、根據(jù)意義而定的，另一些陳述的真理是經(jīng)驗的、偶然的、取決于世界上的事實的。前一類推理就是所謂的分析推理，后一類推理就是所謂的綜合推理。邏輯真理被看作是分析真理的一個特殊的真子集。?
　　1933年塔爾斯基以形式化的方法給出了真理的語義學(xué)概念，他用非形式化方法對其語義學(xué)的成果作出概述。他認(rèn)為邏輯真理同其他真理一樣，必需與客觀現(xiàn)實相符合或者相一致，在形式語言中，一個語句是不是邏輯真理，取決于它是不是在每一種解釋下都成為真語句；同時一個語句在某一解釋下是否為真，取決于它在這一解釋下，是否與它所“談?wù)摰膶ο蟆毕嘁恢隆？梢娺壿嬚胬淼母拍钪苯右蕾囉谛问秸Z言中的語句，與它們所描述的客觀現(xiàn)實之間的符合關(guān)系，這說明它的邏輯真理或者分析真理并非先驗的真或者先天的真，它們?yōu)檎嫱瑯邮且驗樗鼈兣c現(xiàn)實相符合。塔爾斯基重新建立了真理符合論，表明一切真理包括事實真理和邏輯真理，它們的共同特征就是必需與客觀現(xiàn)實相符合。?
　　綜上所述，我們可以看出亞里士多德提出的真理符合論，肯定了邏輯真理與存在規(guī)律的一致性，但是忽視了它們之間的差別。萊布尼茲、康德、維特根斯坦和邏輯實證主義者認(rèn)為，邏輯真理和現(xiàn)實絕對無關(guān)，與事實真理根本不同。塔爾斯基主張真理必需以亞里士多德的真理符合論為基礎(chǔ)，而且只能以形式語言來構(gòu)造，這種觀點有一定的局限性。?
　　馬克思主義認(rèn)識論認(rèn)為，真理是客觀事物及其規(guī)律在人們思維中的正確反映。同樣邏輯真理也是客觀世界規(guī)律性的反映。列寧指出，人的實踐經(jīng)過千百萬次的重復(fù)，它在人的意識中以邏輯的格固定下來，而最普遍的邏輯格，就是事物被描述的很幼稚的……最普遍的關(guān)系。列寧認(rèn)為邏輯的公理、正確的推理形式是事物最普遍的關(guān)系，是由人們實踐中千百萬次的重復(fù)而反映和鞏固在意識中。列寧說的最普遍的邏輯格是指三段論推理的正確形式。在這一點上我們說邏輯真和事實真是相容的，事實真是基礎(chǔ)，邏輯真是建立在事實真基礎(chǔ)之上的，二者是一致的，但是邏輯真理與任何具體的經(jīng)驗事實無關(guān)。?
　　第一，邏輯系統(tǒng)的公理和定理的真是邏輯系統(tǒng)設(shè)定，其為真的根據(jù)是某種初始的邏輯關(guān)系。第二，邏輯公理和定理經(jīng)過解釋的真命題，其為真不取決于解釋中的內(nèi)容，而取決于這些公理、定理所顯示的邏輯關(guān)系。第三，邏輯推斷關(guān)系這種推論的結(jié)論真是一種邏輯關(guān)系真。第四，根據(jù)邏輯聯(lián)系詞的性質(zhì)，由邏輯真得到邏輯真。如：A、B是邏輯真命題，那么A并且B、如果A那么B都是邏輯真命題。第五，數(shù)學(xué)中的邏輯真命題，是建立在公理演繹基礎(chǔ)之上。以上這些邏輯真由于邏輯的原因或者邏輯關(guān)系而真，在這一點上我們可以說，在局部意義上，相對于特定的邏輯系統(tǒng)而言，邏輯真理可以說是分析的，是以邏輯意義為根據(jù)的，而與任何具體的經(jīng)驗事實無關(guān)。?
　　邏輯真理和事實真理的關(guān)系是：事物之間的關(guān)系顯示一定的邏輯關(guān)系，也是邏輯真的基礎(chǔ)。邏輯真理在某些方面與事實真理是一致的，但是在另一方面，邏輯真理又與事實真理不是一致的，邏輯真理和事實真理之間是一種交叉關(guān)系。邏輯真理既具有絕對性又具有相對性，有些邏輯關(guān)系是絕對的真，但是另一些邏輯真理是相對的真。邏輯真理之所以為邏輯真理，不是由于它們揭示了事物的本質(zhì)事物或事物的普遍性，而只是涉及到邏輯自身，只根據(jù)邏輯自身而成立。邏輯真理的必然性需要在邏輯自身中去尋找，而不能在現(xiàn)實中尋找。?
　　綜上所述可見，邏輯真理來源于經(jīng)驗，但又不同于事實真理。由于邏輯思維的作用，它越遠離事實，其真理性越強；當(dāng)它與具體事實相符合時，即成為事實真理的必要條件。當(dāng)邏輯真理和事實真理一致時，邏輯思維就正確地反映了事物的規(guī)律，因此邏輯真理在認(rèn)識中有著重要的作用。當(dāng)我們認(rèn)識世界時，會在原有的知識基礎(chǔ)上作出許多推測和猜想，也會試圖把這些思想與已經(jīng)獲得的關(guān)于被研究對象的材料聯(lián)系起來。為了搞好各項工作，我們要正確的調(diào)整各種思想關(guān)系，從中拋棄不適當(dāng)?shù)乃枷�，選取可以促進我們前進的思想，這就需要我們在思維過程中嚴(yán)格遵守邏輯規(guī)律和規(guī)則。只有認(rèn)識邏輯真理才能更好地認(rèn)識事實真理，隨著人類的經(jīng)驗積累，邏輯真理和事實真理的交叉容量必然會不斷增大，為了探求真理我們必須保證思維的邏輯性。

相關(guān)熱詞搜索：認(rèn)識論 真理 邏輯 關(guān)于邏輯真理的認(rèn)識論思考 邏輯真理 客觀辯證法的例子