徐 育

摘要探尋有效推理是邏輯的主要任務(wù),因此在邏輯的世界中,要把推理得出的“真”作為追尋的目標(biāo)。而邏輯規(guī)律作為保證正確思維的基本規(guī)律,也充分得體現(xiàn)和保證了“邏輯真”。本文則從邏輯規(guī)律的客觀(guān)基礎(chǔ)、表述內(nèi)容、及其作用粗淺地論述了“邏輯真”和邏輯規(guī)律的關(guān)系。

關(guān)鍵詞矛盾律 排中律 同一律 “邏輯真”

中圖分類(lèi)號(hào):B81文獻(xiàn)標(biāo)識(shí)碼:A文章編號(hào):1009-0592(2009)10-354-01

一、何為“邏輯真”

“邏輯真”是指運(yùn)用邏輯因素和邏輯分析得到的“真”。它不借助經(jīng)驗(yàn)事實(shí),而是通過(guò)語(yǔ)義分析、概念分析而得到的。從這樣的角度考慮會(huì)有幾種邏輯真:推理的真、指派真與賦值真、形式真(永真式、普遍有效式)、系統(tǒng)真。①“邏輯真”反映出的是一種思想,一種觀(guān)念,滲透在整個(gè)哲學(xué)體系中,為了追尋“邏輯真”,才會(huì)衍生出許多不同的邏輯技能,如:三段論的推理、命題演算系統(tǒng)等等。這些技能都是為了探尋“邏輯真”。

學(xué)界關(guān)于“邏輯真”的判定標(biāo)準(zhǔn)同其定義是混同的,我以塔爾斯基的真之語(yǔ)義學(xué)為例來(lái)說(shuō)明。塔爾斯基通過(guò)尋找一種特殊的語(yǔ)句T語(yǔ)句來(lái)定義真。L(T):X是真的當(dāng)且僅當(dāng)P。X是P的提及,P是X的翻譯。當(dāng)把M等值與“M不是真句子”代入T等式,就會(huì)得出“M不是真句子”是真的當(dāng)且僅當(dāng)M是真句子,這導(dǎo)致悖論的出現(xiàn)。塔爾斯基看到了這一點(diǎn),“M”不是同指一物,而是兩個(gè)不同層面的所指,一個(gè)是對(duì)象語(yǔ)言層面的,一個(gè)是元語(yǔ)言層面的。有了這樣的劃分,探尋到了一種語(yǔ)句的符合,這就從“形式”上說(shuō)明了塔爾斯基的真之語(yǔ)義學(xué);其次從適當(dāng)性角度來(lái)看,就是要求把本來(lái)是模糊的,做到適當(dāng)。塔爾斯基探討的“邏輯真”是一種形式真。他從語(yǔ)義學(xué)的角度入手,無(wú)疑為后人尋找到了一個(gè)新的切入點(diǎn),也為探尋“邏輯真”奠定了革命性的一步。但其理論也存在一些缺陷,后期戴維森等人也對(duì)此進(jìn)行了進(jìn)一步的修正與改進(jìn)。

二、“邏輯真”與邏輯規(guī)律的關(guān)系

這一理論的前提是:邏輯規(guī)律處于二值邏輯體系中。排中律和矛盾律一起構(gòu)成通常所謂的二值原則:即任一命題或真或假,非真即假,并且非假即真。二值原則是整個(gè)二值邏輯的基礎(chǔ),因而也是經(jīng)典邏輯的基礎(chǔ)。我所探討的“邏輯真”也是在這樣一個(gè)二值邏輯中探討的。

(一)邏輯規(guī)律的客觀(guān)性基礎(chǔ)保證了“邏輯真”

邏輯規(guī)律是保持思維形式正確的基本規(guī)律,思維形式本生就是客觀(guān)事物聯(lián)系的符號(hào)表示,是一種特殊的客觀(guān)事物。邏輯規(guī)律是客觀(guān)事物在人的主觀(guān)意識(shí)中的反映,它所要求的確定性正是客觀(guān)事物的相對(duì)確定性在思維中的反映。此外,我們追溯理論源頭,從亞里士多德《形而上學(xué)》篇中所論述的文字也可看出,他是站在樸素的唯物論立場(chǎng)上,實(shí)事求是地探討了客觀(guān)世界的邏輯規(guī)律。終上所述,我們可以看到邏輯規(guī)律的客觀(guān)性基礎(chǔ)為“邏輯真”提供了保障。

(二)邏輯規(guī)律的表述內(nèi)容體現(xiàn)了“邏輯真”

在傳統(tǒng)邏輯中,邏輯規(guī)律都表示為在同一時(shí)間、同一關(guān)系下對(duì)同一對(duì)象的認(rèn)識(shí)過(guò)程。同一律表述為:在同一個(gè)思維過(guò)程中,任何思想與其自身等同。它要求在同一思維過(guò)程中,任何思想都應(yīng)該具有確定性,這種確定性體現(xiàn)為一種“真”思想。矛盾律表述為:在同一思維過(guò)程中,任何思想及其否定不能同時(shí)是真的。它要求得是在同一思維過(guò)程中,任何思想應(yīng)具有無(wú)矛盾性。這種無(wú)矛盾性也體現(xiàn)了邏輯思維規(guī)律的一種“真”思想。排中律表述為:在同一思維過(guò)程中,一個(gè)思想及其否定不能同時(shí)是假的。它同樣要求在同一思維過(guò)程中,任何思想都具有確定性。這種對(duì)確定性的追求就是一種對(duì)“真”的追求,對(duì)同一的追求。在現(xiàn)代邏輯中,邏輯規(guī)律則隱歸于邏輯推演體系之后,呈現(xiàn)出一些重言式,矛盾律具體表示為:—(P∧—P),排中律表示為:P∨—P。這些重言式都反映了矛盾律和排中律的具體要求,可以說(shuō)在現(xiàn)代邏輯中,邏輯規(guī)律轉(zhuǎn)化為一種重言式的形式規(guī)范著邏輯推理系統(tǒng)。而這些表述邏輯規(guī)律的重言式本身就是永真式,是一種“邏輯真”。

(三)邏輯規(guī)律為求得“邏輯真”而發(fā)揮著重要作用

邏輯規(guī)律作為保證思維形式正確的必要條件,在傳統(tǒng)邏輯中發(fā)揮著顯性的作用。傳統(tǒng)邏輯主要由概念、判斷、推理三部分構(gòu)成,多是在日常語(yǔ)言的范圍內(nèi)進(jìn)行的邏輯分析,因此會(huì)出現(xiàn)許多邏輯矛盾和邏輯錯(cuò)誤。矛盾律則使我們做判斷推理時(shí),避免出現(xiàn)具有矛盾關(guān)系、上反對(duì)關(guān)系并存的邏輯矛盾,同時(shí)識(shí)別出在同一判斷中隱藏的矛盾和使用的矛盾概念。排中律指示任何思想的確定性,避免出現(xiàn)具有矛盾關(guān)系和下反對(duì)關(guān)系并存的矛盾。同一律也避免了偷換概念和命題?，F(xiàn)代數(shù)理邏輯的發(fā)展具有形式化的表征,多采用人工符號(hào)進(jìn)行推演,每一個(gè)命題都可以表示為一個(gè)真值涵項(xiàng),從而避免了在日常語(yǔ)言使用過(guò)程中的含混性。同一律、矛盾律和排中律則隱藏于其后,作為我們構(gòu)造形式系統(tǒng)并且檢驗(yàn)所構(gòu)造系統(tǒng)是否成立的元規(guī)則,推動(dòng)著人們?nèi)ヌ綄ぁ⒆穼?、發(fā)現(xiàn)一個(gè)形式系統(tǒng)的無(wú)矛盾性、確定性證明。由此可以說(shuō)邏輯規(guī)律的基礎(chǔ)作用和元規(guī)則作用已經(jīng)體現(xiàn)在現(xiàn)代邏輯演算的每一個(gè)符號(hào)、每一個(gè)公式、每一個(gè)推理或證明過(guò)程。進(jìn)而,我們可以理解“邏輯真”與邏輯規(guī)律的關(guān)系,體味“邏輯真”之于邏輯的重要指引作用。

注釋:

①畢富生,邏輯真理與事實(shí)真理,哲學(xué)堂。山西:書(shū)海出版社,2006

參考文獻(xiàn):

[1]亞里士多德.亞里士多德選集(形而上學(xué)卷).北京:中國(guó)人民大學(xué)出版社.2000年版.

[2]陳波.邏輯哲學(xué)導(dǎo)論.北京:中國(guó)人民大學(xué)出版社.2000年版.

[3][英]蘇珊·哈克.邏輯哲學(xué).北京:商務(wù)印書(shū)館.2003年徐育.