關於邏輯真理的認識論思考.doc

《關於邏輯真理的認識論思考.doc》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、關於邏輯真理的認識論思考摘要：邏輯學是研究推理的一門學問，而推理是由概念、命題組成的，不懂得命題就不懂得推理。普通邏輯學在研究命題時,主要是從二值邏輯的角度研究命題邏輯形式的邏輯值與命題形式之間的真假關系。本文著重從認識論的角度闡述邏輯真理的內涵，同時詳細論述邏輯真理與事實真理的區別。為瞭探求真理必須保證思維的邏輯性。口關鍵詞：邏輯真理；真理符合論口中圖分類號：B81文獻標識碼：A□口邏輯學離不開“真”這個概念。一般來說人們是從下述意義上使用嗔”這個概念的(-)前提或者命題真。這種真是指命題的思想

2、內容是真的。任何一個命題的內容不是真的就是假的，在這裡真或假不是用以描述事物狀態的，而是評價命題或陳述的內容的。它的核心是針對其所表達的知識或信念的，例如：“臺灣不是一個主權國傢。”這個命題的內容是符合客觀事實的，所以是個真命題。口(二)推理真。這是指推理中前提真和結論真之間的關系。演繹推理前提真結論必然真，歸納推理和類比推理前提真而結論是或然性真。因此推理真就是推理中的結論相對於前提是必然的真或者是或然的真。這裡“真”指的是否再現邏輯推斷關系而不是對命題內容的評價。口（三）指派真和賦值真。在邏輯

3、學中（特別是在現代邏輯中）把命題形式當作真值形式，而且隻從真假的角度研究每一種命題形式的邏輯特征，真和假是命題的唯一屬性。邏輯真在這裡指這些真值形式和其中的變項與公式的真假，這時的真假和具體命題內容的真假無關，而隻是一種假定的真假和根據這種假定而推論出的真假。口（四）形式真。這是指永真式（重言式）或普遍有效式的真。邏輯學中有一類公式，對其中的變項可以代以任何命題、謂詞、個體詞總能得到真命題。這類公式的真是一種邏輯關系的真，例如：P或者非P中不管變項P賦真值或是假值，這個公式都是真的。口（五）系統真

4、。現代邏輯建立瞭形式系統，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那麼整個系統便是可靠的和一致的，這種可靠性和一致性就是一種系統的真。口在以上這五種“真”的情況下，邏輯學不考慮第一種意義的"真”,而隻關註後四種“真”。後四種“真”在邏輯學中有各種表現,在其他科學中也有這些意義上的真的表現，就被稱為邏輯真理。所謂邏輯真理是一種特殊的真理，是一種因邏輯關系或邏輯原因而成為真的一種真理。邏輯真理不能憑經驗而得知其為真,它需要我們借助邏輯分析、語義分析、關系分析確定它們是真的。它和我們日常生

5、活中所說的真理是有區別的。口恩格斯認為：全部哲學特別是近代哲學的重大基本問題，是思維與存在的關系問題。它包括兩個方面的問題，一方面是思維與存在何者為本原的問題；另一方面是思維和存在有無同一性的問題，也就是我們的思維能否認識現實或者正確地反映現實世界的問題。從邏輯哲學的角度來看，其重大的基本問題就是邏輯與kJ客觀現實的關系問題，任何邏輯學傢都要回答：邏輯真理是否與客觀現實一致？邏輯真理與事實真理之間又有什麼關系？口關於這個理論問題，亞裡士多德在其所著《形而上學》一書中明確提出並詳細論述瞭邏輯基本規律

6、（矛盾律與排中律在談到矛盾律時認為，事物不能同時存在又不存在。矛盾律首先是存在的規律。它之所以能夠成為邏輯思維的基本規律，是因為它符合“事理”。亞裡士多德肯定瞭邏輯規律與存在規律的一致性,其根據就是真理符合現實的理論，即所謂真理符合論。它在解釋真與假這對概念時說，凡以不是為是、是為不是者，這就是假的；凡以實為實、以假為假者這就是真的。按照真理符合論，一切真理必需與現實一致，邏輯真理也不能例外。可見亞裡士多德的真理觀，是唯物主義的一元論，這個真理論肯定瞭思維與存在的同一性。但是亞裡士多德隻強調邏輯

7、真理與存在規律的一致性，卻忽視瞭邏輯真理的特殊性。口萊佈尼茲是現代邏輯的創始人。他第一個提出瞭用數學方法研究邏輯學中的推理問題，對亞裡士多德的真理一元論提出瞭挑戰。他認為有兩種真理：即推理的真理和事實的真理。推理的真理是必然的，事實的真理是偶然的。推理的真理不像事實真理那樣依賴於經驗，它們的證明隻能來自所謂的天賦的內在原則。因此萊佈尼茲的這種觀點，就成為真理二元論和邏輯真理先驗論的一個起源。口基於萊佈尼茲的推理真理和事實真理的對立，在康德的哲學中就演變為分析判斷和綜合判斷的分歧。康德認為一切來源於

8、經驗的判斷都是綜合判斷；分析判斷是絕對獨立於一切經驗的知識，即先天知識。例如：“白人是人”就是分析判斷，在康德看來表示邏輯規律的判斷就屬於分析判斷。口數理邏輯問世之後，邏輯哲學領域中出現瞭維特根斯坦學派,即以維也納小組為核心的邏輯實證主義者。他們的一個共同的工作就是利用數理邏輯的成果，發展從萊佈尼茲到康德的真理二元論和邏輯真理的先驗論，使之獲得科學化的外觀和現代化的形式。維特根斯坦把邏輯真理稱為重言式。他認為重言式的命題是無條件的真，由此他斷言，重言式既不能為經驗所證實，同樣的也不