邏輯真與邏輯推理的關(guān)系論文

　　“邏輯，像任何科學(xué)一樣，把追求真理作為自己的使命”。但邏輯學(xué)不研究“關(guān)于涉及存在本質(zhì)的真，關(guān)于作為價值的真，或者關(guān)于神秘主義的真”�，F(xiàn)代邏輯對真的研究是圍繞語言和形式化問題展開的，形成了多種關(guān)于真的理論，并對邏輯真和事實(shí)真的區(qū)別和聯(lián)系進(jìn)行了多方面的討論。

　　一、邏輯真與事實(shí)真

　　邏輯史上，最早明確區(qū)分邏輯真理與事實(shí)真理的是17世紀(jì)德國哲學(xué)家萊布尼茲。他認(rèn)為:“有兩種真理，推理的真理和事實(shí)的真理，推理的真理是必然的，它的否定是不可能的;事實(shí)的真理是偶然的，它的否定是可能的”。萊布尼茨認(rèn)為:“推理的真理”是從一些先天的概念、原則演繹出來的知識，它遵守矛盾律，具有普遍性和邏輯必然性，是無條件的，并且在一切可設(shè)想的世界里都是必然的，因此他也把這類真理稱為“必然真理”。這種“推理的真理”就是我們現(xiàn)在所謂的“邏輯真理”。而“事實(shí)真理”則是通過歸納一類事物的性質(zhì)得到的結(jié)論，包括對某種事實(shí)的判斷以及自然科學(xué)的真理等，它遵守充足理由律，這類真理具有偶然性，所以也稱為“偶然真理”。它們是有條件的、相對的，只在某種可能世界里為真。

　　到18世紀(jì)末，康德提出了關(guān)于分析判斷和綜合判斷區(qū)分的著名論斷�？档抡J(rèn)為:分析判斷謂詞沒有給主詞概念增加任何東西，不需要依賴任何經(jīng)驗(yàn)內(nèi)容，因此，分析判斷是必然的、先驗(yàn)的。而綜合判斷謂詞是由經(jīng)驗(yàn)提供，然后才聯(lián)結(jié)到主詞上去的，它給主詞增添了新的內(nèi)容，因此，綜合判斷是偶然的、經(jīng)驗(yàn)的。

　　邏輯經(jīng)驗(yàn)主義者接受并修改了康德的劃分，重新定義分析命題和綜合命題。艾耶爾說，一切真正的命題分為兩類，并且，在對這兩類命題的證實(shí)方法給予說明的時候，就解釋了真實(shí)性的性質(zhì)。既然邏輯和數(shù)學(xué)命題沒有任何經(jīng)驗(yàn)內(nèi)容，完全獨(dú)立于經(jīng)驗(yàn)，那么證實(shí)原則就會對它失效，它們是必然的、先天的，它們的真是邏輯真;而綜合命題中包含經(jīng)驗(yàn)內(nèi)容，其真假取決于經(jīng)驗(yàn)證實(shí)，因而是偶然的、后驗(yàn)的，它們的真是事實(shí)真。

　　邏輯原子論者羅素將邏輯真理與事實(shí)真理作了截然分明的區(qū)分。他說:“在純邏輯中，決不提及任何原子事實(shí)，我們只是限于討論形式，而不問什么對象可填入這些形式。因此純邏輯是獨(dú)立于原子事實(shí)的;反過來說，在某種意義上，原子事實(shí)也是獨(dú)立于邏輯的，純邏輯與原子事實(shí)是兩極，一為完全先天的，一為完全經(jīng)驗(yàn)的。

　　奎因在他那篇著名的論文《經(jīng)驗(yàn)論的兩個教條》中通過既對分析命題的非經(jīng)驗(yàn)基礎(chǔ)予以潔難，又對綜合命題的真假僅依賴經(jīng)驗(yàn)證實(shí)的看法提出質(zhì)疑，批判了邏輯真理與事實(shí)真理之間有根本區(qū)別的觀點(diǎn)。他認(rèn)為，邏輯真理不是先驗(yàn)的、既不受經(jīng)驗(yàn)證實(shí)也不受經(jīng)驗(yàn)否定的普遍必然的真理。他指出，邏輯真理和事實(shí)真理一樣都要受到經(jīng)驗(yàn)的沖擊，從而對他們的真值做出修改。而且，知識總體并不是消極地接受經(jīng)驗(yàn)的沖擊而是修改某些陳述的，經(jīng)驗(yàn)不能“充分限定”知識總體，與經(jīng)驗(yàn)發(fā)生沖突時，知識總體對系統(tǒng)各部分的調(diào)整和修改是有很大的選擇自由的。真理并不完全依賴經(jīng)驗(yàn)事實(shí)，真理具有相對獨(dú)立性。因而，經(jīng)驗(yàn)并不具有充分的決定作用。

　　如果以現(xiàn)代系統(tǒng)論的思想來看待奎因的整體主義的知識觀，奎因反對區(qū)別兩種真理的思想是正確的。但是，筆者以為，知識系統(tǒng)中的'各子系統(tǒng)及各要素的發(fā)展亦有其相對獨(dú)立性。

　　這里，我們要肯定在認(rèn)識論和邏輯學(xué)的研究中區(qū)分邏輯真和事實(shí)真是必要的，這是由于現(xiàn)代數(shù)理邏輯的迅速發(fā)展，使得邏輯真理的特點(diǎn)變得更為顯著，與事實(shí)真理的區(qū)別亦更為鮮明，純邏輯的研究是不考證事實(shí)的真假的。同時，我們要看到二者有共同基礎(chǔ)—客觀性和相對性。我們說一命題是真的(無論是邏輯真還是事實(shí)真)都是相對于某一系統(tǒng)(可能世界)而言的，邏輯真相對于符號系統(tǒng)，事實(shí)真相對于外在世界。無論在哪一個可能世界中，都要由一定的規(guī)定、規(guī)則來確立真的定義和判定標(biāo)準(zhǔn)。符合系統(tǒng)內(nèi)的規(guī)則和不矛盾性是命題真的最基本的要求。因此，離開某一可能世界來建構(gòu)真的理論是不可能的，相對于某一系統(tǒng)的絕對真理也是沒有的。正確認(rèn)識和把握兩類真理的共同基礎(chǔ)和不同特性，對我們研究真是很有意義。

　　二、邏輯真與邏輯推理的有效性

　　邏輯是研究“形式推理的有效性”的，符合推理規(guī)則的推理就稱為有效的推理，或稱正確的推理。邏輯學(xué)對推理的研究，是從形式方面或前提與結(jié)論的推出關(guān)系方面講的，根本不考慮前提真是與否�！皩Ψ�合規(guī)則的推理來講，即使推理的前提或結(jié)論不是真的，也并不影響推理關(guān)系的成立或推理形式的正確�！痹谶壿媽W(xué)中，任何一個推理形式都可以化歸為蘊(yùn)涵式，推理有效性的判定最后被歸結(jié)為相應(yīng)蘊(yùn)涵式—永真式的判定，亦即邏輯重言式(維特根斯坦稱邏輯真理為重言式)的判定�！罢撟C形式是有效的，當(dāng)且僅當(dāng)命題形式是一重言式。邏輯推理有效式的判定化歸為相應(yīng)蘊(yùn)涵式重言式的判定，這表明邏輯真理和邏輯推理的普遍有效式從本質(zhì)上講是一致的。這種一致性主要表現(xiàn)在以下幾方面:

　　第一、邏輯真理和邏輯推理的有效式都是形式化的�，F(xiàn)代邏輯的符號化和形式化，使得邏輯真理和邏輯推理有效式依據(jù)其表達(dá)形式而有效。形式化使得邏輯真理和邏輯推理的有效式有了高度抽象化的特點(diǎn)。在這種情況下，表述邏輯真理和邏輯推理有效式的命題不再是語詞或語句，而是從原來的語句或語詞抽象出來的符號，這使得邏輯真理和邏輯推理有效式獨(dú)立于經(jīng)驗(yàn)。邏輯真理和邏輯推理形式之所以為“真”取決于其表達(dá)形式，也就是說取決于組成該邏輯真理表達(dá)式和邏輯推理形式的符號之間的關(guān)系符合邏輯規(guī)則。

　　第二，邏輯真理和邏輯推理的有效式是無矛盾的。邏輯真理和邏輯推理形式的“真”，在于它們的無矛盾性。一個邏輯真理的表達(dá)式不可能化歸為命題p和非p的合取，邏輯真理的否定是不可能的。一個邏輯推理的有效式，在其推理過程的每一步中也不能包含有邏輯矛盾，否則，該推理形式便是無效的。

　　第三，邏輯真理和邏輯推理有效式是普遍的有效式。邏輯真理之所以為“真”，關(guān)鍵在于其普遍性。例如，邏輯真理A((B(A))來說，無論A,B的具體內(nèi)容是什么，對于其作為邏輯真理性沒有任何影響。羅素曾經(jīng)指出:“因?yàn)檫@種普遍真理不提供任何特指的事物，甚至不提供任何特指的性質(zhì)和關(guān)系，它完全獨(dú)立于存在世界的偶然事實(shí)之外，在理論上，無須有關(guān)特指事物或有關(guān)其性質(zhì)和關(guān)系的任何經(jīng)驗(yàn)，它就能夠被認(rèn)識。”維特根斯坦則認(rèn)為，邏輯真理的必然性就在于它沒有真值條件，是無條件的真，是重言式。當(dāng)然，重言式只是命題演算中的概念。實(shí)際上他的意思就是，邏輯真理是無條件的(在一定形式系統(tǒng)內(nèi))，是普遍有效式。一個邏輯推理的有效式也是普遍有效式，也是無條件地成立的。例如，推理形式“p→q，q(r，r(s，p;s”，其中的變項(xiàng)p,q,r ,s不論具體內(nèi)容是什么，都不影響其普遍有效性。

　　第四，邏輯真理和邏輯推理形式的有效性都依賴于相應(yīng)的形式系統(tǒng)。雖然邏輯真理的必然性主要體現(xiàn)在它的普遍有效性上，但這種必然性并非意味著邏輯真理可任意代入變項(xiàng)以得到具體的命題。邏輯真理的必然性是相對的，相對于某種條件下，相對于某種特定系統(tǒng)中，相對于預(yù)設(shè)，這些預(yù)先存在的假設(shè)都屬于系統(tǒng)構(gòu)建者。一旦離開一定的系統(tǒng)及其解釋，它們就有可能不再是必然的。例如，P是邏輯系統(tǒng)A中的一個邏輯真理，但當(dāng)我們改變我們的認(rèn)識的邏輯系統(tǒng)時，在A系統(tǒng)中的邏輯真理P在B系統(tǒng)中就不一定是真理了。說一個邏輯真理是有效的，是相對于它所在的系統(tǒng)而言的。即任何一個邏輯真理都具有系統(tǒng)相對性。一個邏輯推理形式的有效性也同樣依賴于相應(yīng)的形式系統(tǒng)。

　　因此，邏輯真理和邏輯推理的普遍有效式一樣，都是形式化了的，不包含邏輯矛盾，依賴于一定形式系統(tǒng)的邏輯有效式，二者本質(zhì)上是一致的。

　　維特根斯坦認(rèn)為“邏輯命題的特有標(biāo)志是僅僅從符號人們就能認(rèn)出它們?yōu)檎�，這個事實(shí)包含著全部的邏輯哲學(xué)。從這個意義上說，邏輯是探尋永真式的，即研究邏輯真理的。什么樣的邏輯形式能夠成為邏輯真理，這就是邏輯學(xué)研究的任務(wù)。

【邏輯真與邏輯推理的關(guān)系論文】相關(guān)文章：

邏輯推理筆試題01-01

邏輯推理方法小結(jié)07-26

邏輯推理法在生物教學(xué)中的運(yùn)用論文10-28

邏輯推理類筆試題01-01

邏輯推理能力考察題型01-01

邏輯推理選擇題01-01

邏輯推理簡答題01-01

真·邏輯真·事實(shí)真07-10

IT公司邏輯推理面試題02-08