淺談邏輯真理的認識論思考論文

《淺談邏輯真理的認識論思考論文》由會員上傳分享，免費在線閱讀，更多相關內(nèi)容在學術(shù)論文-天天文庫。

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

2、以描述事物狀態(tài)的，而是評價命題或陳述的內(nèi)容的。它的核心是針對其所表達的知識或信念的，例如：“臺灣不是一個主權(quán)國家?！边@個命題的內(nèi)容是符合客觀事實的..畢業(yè)，所以是個真命題。（二）推理真。這是指推理中前提真和結(jié)論真之間的關系。演繹推理前提真結(jié)論必然真，歸納推理和類比推理前提真而結(jié)論是或然性真。因此推理真就是推理中的結(jié)論相對于前提是必然的真或者是或然的真。這里“真”指的是否再現(xiàn)邏輯推斷關系而不是對命題內(nèi)容的評價。（三）指派真和賦值真。在邏輯學中（特別是在現(xiàn)代邏輯中）把命題形式當作真值形式，而且只從真假的角度研究每一種命題形式的邏輯特征，真和假是命題的唯

3、一屬性。邏輯真在這里指這些真值形式和其中的變項與公式的真假，這時的真假和具體命題內(nèi)容的真假無關，而只是一種假定的真假和根據(jù)這種假定而推論出的真假。（四）形式真。這是指永真式（重言式）或普遍有效式的真。邏輯學中有一類公式，對其中的變項可以代以任何命題、謂詞、個體詞總能得到真命題。這類公式的真是一種邏輯關系的真，例如：P或者非P中不管變項P賦真值或是假值，這個公式都是真的。（五）系統(tǒng)真。現(xiàn)代邏輯建立了形式系統(tǒng)，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整個系統(tǒng)便是可靠的和一致的，這種可靠性和一致性就是一種系統(tǒng)的真。在以上這五種“真”的

4、情況下，邏輯學不考慮第一種意義的“真”，而只關注后四種“真”。后四種“真”在邏輯學中有各種表現(xiàn)，在其他科學中也有這些意義上的真的表現(xiàn)，就被稱為邏輯真理。所謂邏輯真理是一種特殊的真理，是一種因邏輯關系或邏輯原因而成為真的一種真理。邏輯真理不能憑經(jīng)驗而得知其為真，它需要我們借助邏輯分析、語義分析、關系分析確定它們是真的。它和我們?nèi)粘Ｉ钪兴f的真理是有區(qū)別的。恩格斯認為：全部哲學特別是近代哲學的重大基本問題，是思維與存在的關系問題。它包括兩個方面的問題，一方面是思維與存在何者為本原的問題；另一方面是思維和存在有無同一性的問題，也就是我們的思維能否認識現(xiàn)

5、實或者正確地反映現(xiàn)實世界的問題。從邏輯哲學的角度來看，其重大的基本問題就是邏輯與客觀現(xiàn)實的關系問題，任何邏輯學家都要回答：邏輯真理是否與客觀現(xiàn)實一致？邏輯真理與事實真理之間又有什么關系？關于這個理論問題，亞里士多德在其所著《形而上學》一書中明確提出并詳細論述了邏輯基本規(guī)律（矛盾律與排中律）。在談到矛盾律時認為，事物不能同時存在又不存在。矛盾律首先是存在的規(guī)律。它之所以能夠成為邏輯思維的基本規(guī)律，是因為它符合“事理”。亞里士多德肯定了邏輯規(guī)律與存在規(guī)律的一致性，其根據(jù)就是真理符合現(xiàn)實的理論，即所謂真理符合論。它在解釋真與假這對概念時說，凡以不是為是、是

6、為不是者，這就是假的；凡以實為實、以假為假者這就是真的。按照真理符合論，一切真理必需與現(xiàn)實一致，邏輯真理也不能例外?？梢妬喞锸慷嗟碌恼胬碛^，是唯物主義的一元論，這個真理論肯定了思維與存在的同一性。但是亞里士多德只強調(diào)邏輯真理與存在規(guī)律的一致性，卻忽視了邏輯真理的特殊性。萊布尼茲是現(xiàn)代邏輯的創(chuàng)始人。他第一個提出了用數(shù)學方法研究邏輯學中的推理問題，對亞里士多德的真理一元論提出了挑戰(zhàn)。他認為有兩種真理：即推理的真理和事實的真理。推理的真理是必然的，事實的真理是偶然的。推理的真理不像事實真理那樣依賴于經(jīng)驗，它們的證明只能來自所謂的天賦的內(nèi)在原則。因此萊布尼茲

7、的這種觀點，就成為真理二元論和邏輯真理先驗論的一個起源。基于萊布尼茲的推理真理和事實真理的對立，在康德的哲學中就演變?yōu)榉治雠袛嗪途C合判斷的分歧?？档抡J為一切來源于經(jīng)驗的判斷都是綜合判斷；分析判斷是絕對獨立于一切經(jīng)驗的知識，即先天知識。例如：“白人是人”就是分析判斷，在康德看來表示邏輯規(guī)律的判斷就屬于分析判斷。數(shù)理邏輯問世之后，邏輯哲學領域中出現(xiàn)了維特根斯坦學派，即以維也納小組為核心的邏輯實證主義者。他們的一個共同的工作就是利用數(shù)理邏輯的成果，發(fā)展從萊布尼茲到康德的真理二元論和邏輯真理的先驗論，使之獲得科學化的外觀和現(xiàn)代化的形式。維特根斯坦把邏輯真理稱

8、為重言式。他認為重言式的命題是無條件的真，由此他斷言，重言式既不能為經(jīng)驗所證實，同樣的也不能為