邏輯雪中的真理認識研究分析

1、邏輯學中的真理認識研究分析論文摘要：邏輯學是研究推理的一門學問，而推理是由概念、命題組成的，不懂得命題就不 懂得推理。普通邏輯學在研究命題時，主要是從二值邏輯的角度研究命題邏輯形式的邏輯值 與命題形式之間的其假關(guān)系。本文著重從認識論的角度闡述邏輯真理的內(nèi)涵，同時詳細論述 邏輯真理與事實真理的區(qū)別。為了探求真理必須保證思維的邏輯性。論文關(guān)鍵詞：邏輯真理;真理符合論邏輯學離不開“真”這個概念。一般來說人們是從下述意義上使用“真”這個概念的：（一）前提或者命題其。這種其是指命題的思想內(nèi)容是其的。任何一個命題的內(nèi)容不是其 的就是假的，在這里真或假不是用以描述事物狀態(tài)的，而是評價命題或陳述的內(nèi)容的。它的

2、 核心是針對其所表達的知識或信念的，例如：“臺灣不是一個主權(quán)國家?！边@個命題的內(nèi)容是 符合客觀事實的，所以是個真命題。（二）推理;ft。這是指推理中前提真和結(jié)論真z間的關(guān)系。演繹推理前提真結(jié)論必然真， 歸納推理和類比推理前提真而結(jié)論是或然性真。因此推理其就是推理中的結(jié)論相對丁-前提是 必然的真或者是或然的真。這里“真”指的是否再現(xiàn)邏輯推斷關(guān)系而不是對命題內(nèi)容的評價。（三）指派真和賦值真。在邏輯學屮（特別是在現(xiàn)代邏輯中）把命題形式當作真值形式，而 且只從其假的角度研究每一種命題形式的邏輯特征，其和假是命題的唯一屬性。邏輯其在這 里指這些真值形式和其中的變項與公式的真假，這時的真假和具體命題內(nèi)容的

3、真假無關(guān)，而 只是一種假定的其假和根據(jù)這種假定而推論出的真假。（四）形式真。這是指永真式（重言式）或普遍有效式的真。邏輯學中有一類公式，對其中 的變項可以代以任何命題、謂詞、個體詞總能得到其命題。這類公式的真是一種邏輯關(guān)系的 真，例如：p或者非p小不管變項p賦真值或是假值，這個公式都是真的。（五）系統(tǒng)真?，F(xiàn)代邏輯建立了形式系統(tǒng)，如果它的定理都是形式真，即都是永真公式或 是普遍有效式，那么整個系統(tǒng)便是可靠的和一致的，這種可靠性和一致性就是一種系統(tǒng)的真。在以上這五種“其"的情況下，邏輯學不考慮第一種意義的“真”，而只關(guān)注后四種“其”。 后四種“真”在邏輯學中冇各種農(nóng)現(xiàn)，在其他科學中也冇這

4、些意義上的真的表現(xiàn)，就被稱為邏 輯真理。所謂邏輯真理是一種特殊的真理，是一種因邏輯關(guān)系或邏輯原因而成為真的一種真理。 邏輯其理不能憑經(jīng)驗而得知其為其，它需耍我們借助邏輯分析、語義分析、關(guān)系分析確定它 們是真的。它和我們?nèi)粘Ｉ钪兴f的真理是有區(qū)別的。恩格斯認為：全部哲學特別是近代哲學的重人基本問題，是思維與存在的關(guān)系問題。它 包插兩個方面的問題，一方面是思維與存在何者為木原的問題:另一方面是思維和存在有無 同一性的問題，也就是我們的思維能否認識現(xiàn)實或者正確地反映現(xiàn)實世界的問題。從邏輯哲 學的角度來看，其重大的基本問題就是邏輯與客觀現(xiàn)實的關(guān)系問題，任何邏輯學家都?；卮穑?邏輯真理是否與客觀現(xiàn)實一

5、致？邏輯真理與爭實真理之間又有什么關(guān)系？關(guān)于這個理論問題，亞里士多徳在其所著形而上學一書中明確提出并詳細論述了邏 輯基本規(guī)律（矛盾律與排中律）。在談到矛盾律時認為，事物不能同時存在乂不存在。孑盾律 首先是存在的規(guī)律。它之所以能夠成為邏輯思維的基木規(guī)律，是因為它符合“事理”。亞里士 多徳肯定了邏輯規(guī)律與存在規(guī)律的一致性，其根據(jù)就是真理符合現(xiàn)實的理論，即所謂真理符 合論。它在解釋真與假這對概念時說，凡以不是為是、是為不是者，這就是假的；凡以實為 實、以假為假者這就是真的。按照真理符合論，一切真理必需與現(xiàn)實一致，邏輯真理也不能 例外。可見亞里士多徳的真理觀，是唯物主義的一元論，這個真理論肯定了思維與

6、存在的同 一性。但是亞里士多徳只強調(diào)邏輯真理與存在規(guī)律的一致性，卻忽視了邏輯真理的特殊性。萊布尼茲是現(xiàn)代邏輯的創(chuàng)始人。他第一個提出了用數(shù)學方法研究邏輯學中的推理問題， 對亞里士多徳的真理一元論提出了挑戰(zhàn)。他認為有兩種真理：即推理的真理和爭實的真理。 推理的真理是必然的，事實的真理是偶然的。推理的真理不像事實真理那樣依賴于經(jīng)驗，它 們的證明只能來自所謂的天賦的內(nèi)在原則。因此萊布尼茲的這種觀點，就成為真理二元論和 邏輯真理先驗論的一個起源。壟于萊布尼茲的推理真理和爭實真理的對立，在康徳的哲學中就演變?yōu)榉治雠袛嗪途C合 判斷的分歧?？祻哉J為一切來源于經(jīng)驗的判斷都是綜合判斷；分析判斷是絕對獨立于一切經(jīng)

7、驗的知識，即先天知識。例如：“白人是人”就是分析判斷，在康徳看來表示邏輯規(guī)律的判斷 就屬于分析判斷。數(shù)理邏輯問ikz后，邏輯哲學領(lǐng)域中出現(xiàn)了維特根斯坦學派，即以維也納小組為核心的 邏輯實證主義者。他們的一個共同的工作就是利用數(shù)理邏輯的成果，發(fā)展從萊布尼茲到康徳 的真理二元論和邏輯真理的先驗論，使z獲得科學化的外觀和現(xiàn)代化的形式。維待根斯坦把 邏輯真理稱為重言式。他認為重言式的命題是無條件的真，由此他斷言，1t言式既不能為經(jīng) 驗所證實，同樣的也不能為經(jīng)驗所否定，也就是說與現(xiàn)實沒有任何描述關(guān)系。邏輯實證主義 者進一步把康徳關(guān)于分析判斷和綜合判斷的區(qū)分推向極端。在他們看來，凡是先天的都是分 析的；反

8、2,凡分析的都是先天的。邏輯實證主義者確立了一個基本的竹學信條：分析真理 與綜合真理有根木的區(qū)別。這個學派的主要代表卡爾納普認為，哲學家們常常區(qū)分兩類真理， 某些陳述的真理是邏輯的、必然的、根據(jù)意義而定的，另一些陳述的真理是經(jīng)驗的、偶然的、 取決于世界上的事實的。前一類推理就是所謂的分析推理，后一類推理就是所謂的綜合推理。 邏輯真理被看作是分析真理的一個特殊的真子集。1933年塔爾斯基以形式化的方法給出了真理的語義學概念，他用非形式化方法對其語 義學的成果作出概述。他認為邏輯真理同其他真理一樣，必需與客觀現(xiàn)實相符合或者相一致， 在形式語言中，一個語句是不是邏輯真理，取決于它是不是在每一種解釋下

9、都成為真語句； 同時一個語句在某一解釋下是否為真，取決于它在這一解釋下，是否與它所“談論的對彖” 相一致?？梢娺壿嬚胬淼母拍钪苯右蕾嚩⌒问秸Z言中的語句，與它們所描述的客觀現(xiàn)實z間 的符合關(guān)系，這說明它的邏輯真理或者分析真理并非先驗的真或者先天的真，它們?yōu)檎嫱瑯?是因為它們與現(xiàn)實相符合。塔爾斯基遠新建立了真理符合論，表明一切真理包括事實真理和 邏輯真理，它們的共同特征就是必需與客觀現(xiàn)實和符合。綜上所述，我們可以看出亞里士多徳提出的真理符合論，肯定了邏輯真理與存在規(guī)律的 一致性，但是忽視了它們之間的差別。萊布尼茲、康徳、維特根斯坦和邏輯實證主義者認為， 邏輯真理和現(xiàn)實絕對無關(guān)，與事實真理根本不同。

10、塔爾斯基主張真理必需以亞里士多徳的真 理符合論為基礎(chǔ)，而且只能以形式語言來構(gòu)造，這種觀點有一定的局限性。馬克思主義認識論認為，真理是客觀事物及其規(guī)律在人們思維中的正確反映。同樣邏輯 真理也是客觀世界規(guī)律性的反映。列寧指岀，人的實踐經(jīng)過千百力次的巫復，它在人的意識 中以邏輯的格尚定下來，而最普遍的邏輯格，就是事物被描述的很幼稚的最普遍的關(guān)系。 列寧認為邏輯的公理、正確的推理形式是事物繪普遍的關(guān)系，是由人們實踐中千百萬次的重 復而反映和鞏尚在總識屮。列寧說的最普遍的邏輯格是指三段論推理的正確形式。在這一點 上我們說邏輯真和事實真是相容的，事實真是基礎(chǔ)，邏輯真是建立在事實真基礎(chǔ)z上的,二 者是一致的

11、，但是邏輯真理與任何具體的經(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ù)學中的邏輯真命題，是建立在公理演繹基 礎(chǔ)之上。以上這些邏輯真山于邏輯的原因或者邏輯關(guān)系而真，在這一點上我們可以說，在局 部意義上，相對于特定的邏輯系統(tǒng)而言，邏輯真理可以說是分析的，是以邏輯意義

12、為根據(jù)的， 而與任何具體的經(jīng)驗事實無關(guān)。邏輯真理和事實真理的關(guān)系是：事物之間的關(guān)系顯示一定的邏輯關(guān)系，也是邏輯真的基 礎(chǔ)。邏輯真理在某些方而與事實真理是一致的，但是在另一方而，邏輯真理乂與事實真理不 是一致的，邏輯真理和事實真理之間是一種交叉關(guān)系。邏輯真理既具有絕對性又具有相對性， 有些邏輯關(guān)系是絕對的真，但是另一些邏輯真理是相対的真。邏輯真理z所以為邏輯真理， 不是山于它們揭示了事物的木質(zhì)事物或事物的普遍性，而只是涉及到邏輯自身，只根據(jù)邏輯 自身而成立。邏輯真理的必然性需要在邏輯自身中去尋找，而不能在現(xiàn)實中尋找。綜上所述可見，邏輯真理來源丁經(jīng)驗，但乂不同丁事實真理。由于邏輯思維的作用，它 越遠離事實，其真理性越強；當它與具體事實相符合時，即成為事實真理的必要條件。當邏 輯真理和事實真理一致時，邏輯思維就ie確地反映了事物的規(guī)律，因此邏輯真理在認識中有 著重要的作用。當我們認識世界時，會在原有的