資源描述：
《淺談邏輯真理的認(rèn)識(shí)論思考》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫(kù)。
1、淺談邏輯真理的認(rèn)識(shí)論思考邏輯學(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é)論必然真，歸納推理和類比推理前提真而結(jié)論是或然性真。因此推理真就是推理中的結(jié)論相對(duì)于前提是必
2、然的真或者是或然的真。這里“真”指的是否再現(xiàn)邏輯推斷關(guān)系而不是對(duì)命題內(nèi)容的評(píng)價(jià)。 ?。ㄈ┲概烧婧唾x值真。在邏輯學(xué)中（特別是在現(xiàn)代邏輯中）把命題形式當(dāng)作真值形式，而且只從真假的角度研究每一種命題形式的邏輯特征，真和假是命題的唯一屬性。邏輯真在這里指這些真值形式和其中的變項(xiàng)與公式的真假，這時(shí)的真假和具體命題內(nèi)容的真假無(wú)關(guān)，而只是一種假定的真假和根據(jù)這種假定而推論出的真假。 ?。ㄋ模┬问秸?。這是指永真式（重言式）或普遍有效式的真。邏輯學(xué)中有一類公式，對(duì)其中的變項(xiàng)可以代以任何命題、謂詞、個(gè)體詞總能得到真命題。這類公式的真是一種邏輯關(guān)系的真，
3、例如：P或者非P中不管變項(xiàng)P賦真值或是假值，這個(gè)公式都是真的。 ?。ㄎ澹┫到y(tǒng)真。現(xiàn)代邏輯建立了形式系統(tǒng)，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整個(gè)系統(tǒng)便是可靠的和一致的，這種可靠性和一致性就是一種系統(tǒng)的真。 在以上這五種“真”的情況下，邏輯學(xué)不考慮第一種意義的“真”，而只關(guān)注后四種“真”。后四種“真”在邏輯學(xué)中有各種表現(xiàn)，在其他科學(xué)中也有這些意義上的真的表現(xiàn)，就被稱為邏輯真理。 所謂邏輯真理是一種特殊的真理，是一種因邏輯關(guān)系或邏輯原因而成為真的一種真理。邏輯真理不能憑經(jīng)驗(yàn)而得知其為真，它需要我們借助邏輯分析、
4、語(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é)》一書中明確提出并詳細(xì)論述了邏
5、輯基本規(guī)律（矛盾律與排中律）。在談到矛盾律時(shí)認(rèn)為，事物不能同時(shí)存在又不存在。矛盾律首先是存在的規(guī)律。它之所以能夠成為邏輯思維的基本規(guī)律，是因?yàn)樗稀笆吕怼?。亞里士多德肯定了邏輯?guī)律與存在規(guī)律的一致性，其根據(jù)就是真理符合現(xiàn)實(shí)的理論，即所謂真理符合論。它在解釋真與假這對(duì)概念時(shí)說(shuō)，凡以不是為是、是為不是者，這就是假的；凡以實(shí)為實(shí)、以假為假者這就是真的。按照真理符合論，一切真理必需與現(xiàn)實(shí)一致，邏輯真理也不能例外?？梢?jiàn)亞里士多德的真理觀，是唯物主義的一元論，這個(gè)真理論肯定了思維與存在的同一性。但是亞里士多德只強(qiáng)調(diào)邏輯真理與存在規(guī)律的一致性，卻忽視
6、了邏輯真理的特殊性。萊布尼茲是現(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合判斷的分歧?？档抡J(rèn)為一切來(lái)源于經(jīng)驗(yàn)的判斷都是綜合判斷；分析判斷是絕對(duì)獨(dú)立于一切經(jīng)驗(yàn)的知識(shí)，即先天知識(shí)
7、。例如：“白人是人”就是分析判斷，在康德看來(lái)表示邏輯規(guī)律的判斷就屬于分析判斷?！ ?shù)理邏輯問(wèn)世之后，邏輯哲學(xué)領(lǐng)域中出現(xiàn)了維特根斯坦學(xué)派，即以維也納小組為核心的邏輯實(shí)證主義者。他們的一個(gè)共同的工作就是利用數(shù)理邏輯的成果，發(fā)展從萊布尼茲到康德的真理二元論和邏輯真理的先驗(yàn)論，使之獲得科學(xué)化的外觀和現(xiàn)代化的形式。維特根斯坦把邏輯真理稱為重言式。他認(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)，凡
8、是先天的都是分析的；反之，凡分析的都是先天的。邏輯實(shí)證主義者確立了一個(gè)基本的哲學(xué)信條：分析真理與綜合真理有根本的區(qū)別。這個(gè)學(xué)派的主要代表卡爾納普認(rèn)為，哲學(xué)家們常常區(qū)分兩類真理，某些陳述的真理是
