邏輯真與邏輯推理的關(guān)系論文
“邏輯，像任何科學(xué)一樣，把追求真理作為自己的使命”。但邏輯學(xué)不研究“關(guān)于涉及存在本質(zhì)的真，關(guān)于作為價值的真，或者關(guān)于神秘主義的真”�，F(xiàn)代邏輯對真的研究是圍繞語言和形式化問題展開的，形成了多種關(guān)于真的理論，并對邏輯真和事實真的區(qū)別和聯(lián)系進(jìn)行了多方面的討論。
一、邏輯真與事實真
邏輯史上，最早明確區(qū)分邏輯真理與事實真理的是17世紀(jì)德國哲學(xué)家萊布尼茲。他認(rèn)為:“有兩種真理，推理的真理和事實的真理，推理的真理是必然的，它的否定是不可能的;事實的真理是偶然的，它的否定是可能的”。萊布尼茨認(rèn)為:“推理的真理”是從一些先天的概念、原則演繹出來的知識，它遵守矛盾律，具有普遍性和邏輯必然性，是無條件的，并且在一切可設(shè)想的世界里都是必然的，因此他也把這類真理稱為“必然真理”。這種“推理的真理”就是我們現(xiàn)在所謂的“邏輯真理”。而“事實真理”則是通過歸納一類事物的性質(zhì)得到的結(jié)論，包括對某種事實的判斷以及自然科學(xué)的真理等，它遵守充足理由律，這類真理具有偶然性，所以也稱為“偶然真理”。它們是有條件的、相對的，只在某種可能世界里為真。
到18世紀(jì)末，康德提出了關(guān)于分析判斷和綜合判斷區(qū)分的著名論斷�？档抡J(rèn)為:分析判斷謂詞沒有給主詞概念增加任何東西，不需要依賴任何經(jīng)驗內(nèi)容，因此，分析判斷是必然的、先驗的。而綜合判斷謂詞是由經(jīng)驗提供，然后才聯(lián)結(jié)到主詞上去的，它給主詞增添了新的內(nèi)容，因此，綜合判斷是偶然的、經(jīng)驗的。
邏輯經(jīng)驗主義者接受并修改了康德的劃分，重新定義分析命題和綜合命題。艾耶爾說，一切真正的命題分為兩類，并且，在對這兩類命題的證實方法給予說明的時候，就解釋了真實性的性質(zhì)。既然邏輯和數(shù)學(xué)命題沒有任何經(jīng)驗內(nèi)容，完全獨立于經(jīng)驗，那么證實原則就會對它失效，它們是必然的、先天的，它們的真是邏輯真;而綜合命題中包含經(jīng)驗內(nèi)容，其真假取決于經(jīng)驗證實，因而是偶然的、后驗的，它們的真是事實真。
邏輯原子論者羅素將邏輯真理與事實真理作了截然分明的區(qū)分。他說:“在純邏輯中，決不提及任何原子事實，我們只是限于討論形式，而不問什么對象可填入這些形式。因此純邏輯是獨立于原子事實的;反過來說，在某種意義上，原子事實也是獨立于邏輯的，純邏輯與原子事實是兩極，一為完全先天的，一為完全經(jīng)驗的。
奎因在他那篇著名的論文《經(jīng)驗論的兩個教條》中通過既對分析命題的非經(jīng)驗基礎(chǔ)予以潔難，又對綜合命題的真假僅依賴經(jīng)驗證實的看法提出質(zhì)疑，批判了邏輯真理與事實真理之間有根本區(qū)別的觀點。他認(rèn)為，邏輯真理不是先驗的、既不受經(jīng)驗證實也不受經(jīng)驗否定的普遍必然的真理。他指出，邏輯真理和事實真理一樣都要受到經(jīng)驗的沖擊，從而對他們的真值做出修改。而且，知識總體并不是消極地接受經(jīng)驗的沖擊而是修改某些陳述的，經(jīng)驗不能“充分限定”知識總體，與經(jīng)驗發(fā)生沖突時，知識總體對系統(tǒng)各部分的調(diào)整和修改是有很大的選擇自由的。真理并不完全依賴經(jīng)驗事實，真理具有相對獨立性。因而，經(jīng)驗并不具有充分的決定作用。
如果以現(xiàn)代系統(tǒng)論的思想來看待奎因的整體主義的知識觀，奎因反對區(qū)別兩種真理的思想是正確的。但是，筆者以為，知識系統(tǒng)中的'各子系統(tǒng)及各要素的發(fā)展亦有其相對獨立性。
這里，我們要肯定在認(rèn)識論和邏輯學(xué)的研究中區(qū)分邏輯真和事實真是必要的，這是由于現(xiàn)代數(shù)理邏輯的迅速發(fā)展，使得邏輯真理的特點變得更為顯著，與事實真理的區(qū)別亦更為鮮明，純邏輯的研究是不考證事實的真假的。同時，我們要看到二者有共同基礎(chǔ)—客觀性和相對性。我們說一命題是真的(無論是邏輯真還是事實真)都是相對于某一系統(tǒng)(可能世界)而言的，邏輯真相對于符號系統(tǒng)，事實真相對于外在世界。無論在哪一個可能世界中，都要由一定的規(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)系的成立或推理形式的正確。”在邏輯學(xué)中，任何一個推理形式都可以化歸為蘊涵式，推理有效性的判定最后被歸結(jié)為相應(yīng)蘊涵式—永真式的判定，亦即邏輯重言式(維特根斯坦稱邏輯真理為重言式)的判定�！罢撟C形式是有效的，當(dāng)且僅當(dāng)命題形式是一重言式。邏輯推理有效式的判定化歸為相應(yīng)蘊涵式重言式的判定，這表明邏輯真理和邏輯推理的普遍有效式從本質(zhì)上講是一致的。這種一致性主要表現(xiàn)在以下幾方面:
第一、邏輯真理和邏輯推理的有效式都是形式化的�，F(xiàn)代邏輯的符號化和形式化，使得邏輯真理和邏輯推理有效式依據(jù)其表達(dá)形式而有效。形式化使得邏輯真理和邏輯推理的有效式有了高度抽象化的特點。在這種情況下，表述邏輯真理和邏輯推理有效式的命題不再是語詞或語句，而是從原來的語句或語詞抽象出來的符號，這使得邏輯真理和邏輯推理有效式獨立于經(jīng)驗。邏輯真理和邏輯推理形式之所以為“真”取決于其表達(dá)形式，也就是說取決于組成該邏輯真理表達(dá)式和邏輯推理形式的符號之間的關(guān)系符合邏輯規(guī)則。
第二，邏輯真理和邏輯推理的有效式是無矛盾的。邏輯真理和邏輯推理形式的“真”，在于它們的無矛盾性。一個邏輯真理的表達(dá)式不可能化歸為命題p和非p的合取，邏輯真理的否定是不可能的。一個邏輯推理的有效式，在其推理過程的每一步中也不能包含有邏輯矛盾，否則，該推理形式便是無效的。
第三，邏輯真理和邏輯推理有效式是普遍的有效式。邏輯真理之所以為“真”，關(guān)鍵在于其普遍性。例如，邏輯真理A((B(A))來說，無論A,B的具體內(nèi)容是什么，對于其作為邏輯真理性沒有任何影響。羅素曾經(jīng)指出:“因為這種普遍真理不提供任何特指的事物，甚至不提供任何特指的性質(zhì)和關(guān)系，它完全獨立于存在世界的偶然事實之外，在理論上，無須有關(guān)特指事物或有關(guān)其性質(zhì)和關(guān)系的任何經(jīng)驗，它就能夠被認(rèn)識�！本S特根斯坦則認(rèn)為，邏輯真理的必然性就在于它沒有真值條件，是無條件的真，是重言式。當(dāng)然，重言式只是命題演算中的概念。實際上他的意思就是，邏輯真理是無條件的(在一定形式系統(tǒng)內(nèi))，是普遍有效式。一個邏輯推理的有效式也是普遍有效式，也是無條件地成立的。例如，推理形式“p→q，q(r，r(s，p;s”，其中的變項p,q,r ,s不論具體內(nèi)容是什么，都不影響其普遍有效性。
第四，邏輯真理和邏輯推理形式的有效性都依賴于相應(yīng)的形式系統(tǒng)。雖然邏輯真理的必然性主要體現(xiàn)在它的普遍有效性上，但這種必然性并非意味著邏輯真理可任意代入變項以得到具體的命題。邏輯真理的必然性是相對的，相對于某種條件下，相對于某種特定系統(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)檎�，這個事實包含著全部的邏輯哲學(xué)。從這個意義上說，邏輯是探尋永真式的，即研究邏輯真理的。什么樣的邏輯形式能夠成為邏輯真理，這就是邏輯學(xué)研究的任務(wù)。
【邏輯真與邏輯推理的關(guān)系論文】相關(guān)文章：
邏輯推理筆試題01-01
邏輯推理方法小結(jié)07-26
邏輯推理類筆試題01-01
邏輯推理能力考察題型01-01
邏輯推理選擇題01-01
邏輯推理簡答題01-01
真·邏輯真·事實真07-10
IT公司邏輯推理面試題02-08