- 相關(guān)推薦
淺析三值邏輯對邏輯哲學(xué)影響論文
古典邏輯又稱二值邏輯，認(rèn)為一個命題只有兩種取值，非真即假，非假即真。那么，一個命題是否有三個取值，乃至更多，甚至無窮多個值呢？回答是肯定的。多值邏輯是現(xiàn)代邏輯學(xué)發(fā)展的產(chǎn)物，而其中應(yīng)用得最廣的是三值邏輯理論。三值邏輯的萌芽可以追溯到古希臘時期，亞里士多德在《解釋篇》第九章中就明確提出諸如“明天將有海戰(zhàn)”這樣的命題具有除真和假以外的第三種值的觀點。波蘭邏輯學(xué)家盧卡西維茨沿著亞里士多德關(guān)于“三值”的思路并運用形式化的手段進(jìn)行研究，于1920年提出了第一個三值邏輯系統(tǒng)，此后三值邏輯系統(tǒng)乃至其他多值邏輯系統(tǒng)如便雨后春筍般出現(xiàn)了。
一、構(gòu)建三值邏輯系統(tǒng)的各種動機(jī)
隨著現(xiàn)代科學(xué)技術(shù)和社會生活的進(jìn)步，人類思維日益復(fù)雜化，經(jīng)典邏輯“非此即彼”的模式顯得越來越過時了。上世紀(jì)初，英國邏輯學(xué)家麥柯爾對如何克服二值邏輯所引起的困難提出形式方面和哲學(xué)方面的改進(jìn)建議。不過，最早的三值邏輯系統(tǒng)卻是波蘭邏輯學(xué)家盧卡西維茨和美國邏輯學(xué)家波斯特創(chuàng)建的。
1．對未來的偶然陳述
盧卡西維茨在亞里士多德論證的基礎(chǔ)上建立了他的三值邏輯系統(tǒng)，其切入點也是通過對未來事件的分析：“我可以無矛盾地假定：我在明年的某個時刻，例如在12月21日中午，出現(xiàn)在華沙，……根據(jù)這個預(yù)先假定，‘我在明年12月21日中午出現(xiàn)在華沙’這句話在現(xiàn)在既不是真的，也不是假的。因為如果它現(xiàn)在是真的，那么我未來在華沙的出現(xiàn)就一定是必然的，而這與預(yù)先假定矛盾；如果它現(xiàn)在是假的，我未來華沙的出現(xiàn)就一定是不可能的，而這也與預(yù)先假定矛盾。因此，所考慮的這句話現(xiàn)在既不真也不假，必有與O（或假）和1（或真）不同的第三個值。我們可以用‘1/2’來表示這一點：它是‘可能的’……”［1］由此可見，亞氏認(rèn)為：對于將來偶然的陳述，現(xiàn)在不可斷定其真假。他引進(jìn)了第三值“可能的”（1/2），并在此基礎(chǔ)上建立了三值邏輯乃至一般的多值邏輯。
2.量子力學(xué)
戴維遜革末的實驗發(fā)現(xiàn)了微粒子都具有波粒二象性，有力證明了“亦此亦彼”的現(xiàn)象是客觀存在的。1927年，海森伯提出“測不準(zhǔn)定律”，揭示了微觀世界的另一個基本特點：盡管可能單獨測量出一個粒子的位置，并且單獨測量出它的動量，但是卻不可能同時測量出粒子的位置和動量。因此玻爾和海森伯提出，應(yīng)當(dāng)把確定一個粒子在同一個給定時間內(nèi)的位置和動量的陳述看作是無意義的或構(gòu)成不當(dāng)?shù)摹Ｎ⒂^粒子所顯示的特有的內(nèi)在矛盾使習(xí)慣于按“非此即彼”模式思考的物理學(xué)家陷入了認(rèn)識上的困境，萊欣巴哈的解救辦法是引進(jìn)非古典的三值邏輯。他明確表示，在量子領(lǐng)域“非此即彼為亦此亦彼所代替了……二重性解釋被視為是物質(zhì)結(jié)構(gòu)本性的一種不可避免的后果。構(gòu)造一種三值邏輯，即具有一個中間值的邏輯是可能的。在這種邏輯中，陳述或是真，或是假，或是不確定的。”［2］
3.語義悖論
語義悖論是出現(xiàn)在思想、語言中，涉及意義和真假的悖論，其中最典型的是說謊者悖論。德國學(xué)者鮑契瓦爾認(rèn)為：表述悖論的語句既不真也不假，必須被賦以第三個值———“悖謬”或“無意義”。他所構(gòu)造的三值邏輯旨在避免悖論。然而，他對付不了經(jīng)過適當(dāng)變形的“強(qiáng)化了的說謊者悖論”。如語句“這個語句或者是假的或者是悖論性的”，如果它是真的，則可推導(dǎo)出它是假的或悖論性的；如果它是假的或是悖論性的，則又可推導(dǎo)出它是真的。
4.沒有指稱的涵義
弗雷格認(rèn)為：一個表達(dá)式的指稱（涵義）依賴于其組成部分的指稱（涵義），故包含沒有指稱“詞項”的表達(dá)式本身就缺乏真值。如果允許沒有指稱的“詞項”出現(xiàn)，必然導(dǎo)致非經(jīng)典邏輯，而非經(jīng)典邏輯對于屬于正統(tǒng)派的弗雷格來說是不堪設(shè)想的，因此他不允許“無指謂詞項”出現(xiàn)在他的形式語言中。然而，斯邁爾現(xiàn)在卻指出，鮑契瓦爾的三值邏輯恰恰可以合理地解釋為允許無指謂詞項的一種非經(jīng)典邏輯。按照斯邁爾的看法，將“第三值”指派給一個合式公式，并不表明它具有未定值，而應(yīng)當(dāng)解釋為根本沒有真值。斯邁爾允許“無指謂詞項”的三值邏輯解釋方案，在認(rèn)識論上是對“非此即彼”模式的一種巨大的沖擊。
5.不可判定語句
隨著證明論的發(fā)展，人們發(fā)現(xiàn)了許多不可判定語句的實例。如“任何大于4的偶數(shù)均可表示為兩個素數(shù)之和”至今也沒有被斷定；英國數(shù)學(xué)家帕銳斯（J.Paris）等人發(fā)現(xiàn)了一個在皮亞諾（G.Peano）算術(shù)中既不能證明也不能證偽的純粹組合問題。美國數(shù)學(xué)家克林（S.C.Kleene）為了容納這些不可判定的數(shù)學(xué)命題，提出了一個三值邏輯系統(tǒng)。由于克林的三值系統(tǒng)是為容納不可判定的語句而設(shè)計的，所以在他的這個系統(tǒng)中，第三個值稱作“不可判定的”。
6.純形式的考慮
波斯特出于純形式的考慮，不滿足于古典二值邏輯“非此即彼”的語義學(xué)要求，也不滿足于某些古典定理及其推演，因而建立了可數(shù)任意多值的邏輯系統(tǒng)。由于波斯特杰出的工作，多值邏輯從三值拓展為無窮多值。7.含有虛假預(yù)設(shè)的語句我們知道預(yù)設(shè)是一種與邏輯思維相關(guān)的語言現(xiàn)象，其定義是：“預(yù)設(shè)就是交際雙方共知的東西，或者說在交際中說話的已知部分。”［3］預(yù)設(shè)有一個邏輯特征：若語句S預(yù)設(shè)語句S’，那么S真則S’真，并且S假則S’真；若S’假，則S無意義。例如“張三戒毒了”設(shè)為語句S，它的預(yù)設(shè)S’為“張三原來吸毒”。當(dāng)S真時，則S’（張三原來吸毒）真；當(dāng)S假時（張三未戒毒），則S’（張三原來吸毒）也真；只有當(dāng)預(yù)設(shè)S’（張三原來吸毒）假，S才無意義。如何解決含有虛假預(yù)設(shè)語句的真值問題？筆者認(rèn)為只能借助于三值邏輯。
二、三值邏輯的語義解釋
1.三值邏輯的語義解釋
對三值邏輯的解釋有兩種不同的理解。其一，三值邏輯的解釋是指將邏輯系統(tǒng)的元素與某個具體事物域?qū)?yīng)起來。在這種解釋中，邏輯系統(tǒng)起著一種模型的作用，它是模擬某個具體領(lǐng)域的。在這里，邏輯系統(tǒng)中的“真”、“假”、“未確定”等問題是不加以定義的，可以用具體領(lǐng)域中的某些“詞項”替換。例如，使命題p對應(yīng)于質(zhì)點A，使真值“真”對應(yīng)于質(zhì)點A的某個位置i。在這種解釋中，“質(zhì)點A在i的位置上”解釋為“p的值為真”，實際上把“質(zhì)點A在i的位置上”解釋為“p的值為假”也是可以的，因為邏輯系統(tǒng)的真值只是一個符號，而符號本身具有什么含義是無關(guān)緊要的。三值邏輯在許多具體領(lǐng)域中的應(yīng)用都屬于這種解釋，如電子線路、數(shù)學(xué)模型等。其二，三值邏輯系統(tǒng)的解釋指的是以真值的定義為基礎(chǔ)而進(jìn)行的解釋。在這種解釋中，邏輯系統(tǒng)中真值的定義是給定的，而且這種真值的定義往往跟人們認(rèn)識的某些過程相聯(lián)系。例如，在三值邏輯系統(tǒng)中，第三值I在不同的系統(tǒng)中分別被定義為“未定”、“不可判定”、“不確定”、“無意義”等。任何一種三值邏輯系統(tǒng)均可作這兩種解釋，如L3（盧卡西維茨的系統(tǒng)）可由此解釋為模態(tài)邏輯。在L3中，命題的真值0、1/2、1以及Np、N1p、N2p的真值表如下：根據(jù)這一真值表，使N3p=N2Np、N4p=N1Np。然后可把NP解釋為“非p”，N1p解釋為“p是可能的”，N2p為“不可能p”，N3p為“必然p”，N4p為“不必然p”。在這里可以看到：這個三值邏輯系統(tǒng)所給出的對應(yīng)關(guān)系，可以用來描述模態(tài)函子的特征，以及包含這些模態(tài)函子的命題之間的關(guān)系，這個三值邏輯系統(tǒng)在這里起著模態(tài)邏輯模型的作用。我們也可以對L3作第二類型的解釋：塔斯基給出了下面的“可能”定義：◇x=x→x。在此定義中，“”和“→”都是盧卡西維茨三值邏輯中的函子。通過運算可以看出：◇0=0，◇1/2=1，◇1=1。根據(jù)上面的定義，可以推導(dǎo)出下面的公式都是一些重言式：◇x→x，（x）（◇x∧◇x），即◇0→0=0→0=1→1=1，◇1/2→1/2=1→1/2=0→1/2=1，┐◇1→1=1→1=0→0=1；（x）（◇X∧◇X）=（◇0∧◇0）∨（◇1/2∧◇┐1/2）∨（◇1∧◇1）=（0∧1）∨（1∧1）∨（1∧0）=0∨1∨0=1（1、1/2、0指真值）。
2.三值邏輯語義解釋存在的“困難”
一些邏輯學(xué)家認(rèn)為多值邏輯（包括三值邏輯）不是邏輯。他們認(rèn)為，多值邏輯的語義解釋始終存在一定的困難：“盡管我們可以對某些邏輯理論作出語義的解釋，但卻沒有能夠?qū)Ω鞣N‘可能的’多值邏輯理論都給出符合‘邏輯直覺’的語義解釋；另外，即使就已給出的語義解釋而言，也還存在一些‘不能盡如人意的地方’”［4］。如下面的三值邏輯的真值表：“當(dāng)這些真值表只剩下1和0時，它們跟古典的二值邏輯真值表完全一樣。但是，當(dāng)存在著第三個值的時候，應(yīng)該怎樣填上其余的部分呢？顯然有兩種情況是必須要考慮的。首先，我們應(yīng)當(dāng)遵循p∧p=p的原則，即當(dāng)p的值為1/2時，p∧p的值也應(yīng)當(dāng)為1/2；其次，我們也應(yīng)當(dāng)遵循這樣的原則，即無論p的值是什么，p∧p的值必定為0。在大部分的多值邏輯系統(tǒng)中，當(dāng)p的值為1/2時，p的值也為1/2。根據(jù)這條原則，1/2∧1/2的值又可能為0。那么當(dāng)1/2∧1/2時，它的值究竟是1/2還是0呢？如果是1/2，那么它違反了第二條原則；如果是0，那么它違反了第一條原則。從這里可以看出多值邏輯語義解釋的兩難處境，即沒有辦法對1/2∧1/2的值作出令人滿意的處理�！叭颠壿嫷倪@個缺陷是由下面的事實造成的。在三值邏輯系統(tǒng)中存在一個半否定真值1/2，使得1/2=1/2�！保�5］
按他們的觀點，三值邏輯語義解釋的困難在于：這些語義解釋不能完全符合人們的“邏輯直覺”。他們所謂的“邏輯直覺”是什么呢？很顯然是指二值邏輯的公理、定理、規(guī)則。用二值邏輯的“邏輯直覺”去評價三值邏輯關(guān)于真值的語義解釋合適嗎？三值邏輯的語義解釋不符合二值邏輯的某些“邏輯直覺”是一種缺陷嗎？答案當(dāng)然是否定的。當(dāng)進(jìn)入三值邏輯的“領(lǐng)地”后，“p∧p必取值為0”這個二值邏輯的“邏輯直覺”就是謬論，當(dāng)然不是三值邏輯的“邏輯直覺”。不同的三值邏輯，又有不同的邏輯直覺：在L3、B3、K3中，1/2∧1/2不等于0，而等于1/2；當(dāng)進(jìn)入P3系統(tǒng)中，1/2∧1/2既不取0值，又不取1/2值，而取1值。有的學(xué)者說三值邏輯的“缺陷”（不合“邏輯直覺”）是由于1/2這個因素的引入。但實際情況恰恰相反，正因為第三值的引入，才導(dǎo)致三值邏輯的解釋能力大大增強(qiáng)，為邏輯的應(yīng)用提供了更大的空間。筆者認(rèn)為，真正禁錮我們的是“形而上學(xué)”的思維方式，即始終用老眼光看新問題。
實際上，隨著邏輯學(xué)研究領(lǐng)域的拓展，應(yīng)用不同的“邏輯直覺”是不可避免的。另一方面，是否二值邏輯的所有“邏輯直覺”都不能運用于任何三值邏輯呢？也不盡然。例如，在二值邏輯中對“”及“∧”的函數(shù)定義分別是：∣p∣=1-∣p∣，∣p∧q∣=min（∣p∣、∣q∣）。我們運用這兩個二值邏輯的“邏輯直覺”去檢驗學(xué)者們所謂的“二難處境”。當(dāng)∣p∣=1/2時，∣p∣=1-∣p∣=1-1/2=1/2。那么∣p∧p∣=min（∣p∣、∣q∣）=min（1/2∧1/2）=1/2；∣p∧p∣=min（∣p∣、∣p∣）=min(∣p∣∧(1-∣p∣)=min（1/2、1/2）=1/2。結(jié)論很明顯，運用二值邏輯的這兩個“邏輯直覺”去解釋，1/2∧1/2僅取1/2值，并沒有陷入所謂“二難處境”。在這里，三值邏輯又符合二值邏輯的“邏輯直覺”。原因是L3、B3、K3這些三值邏輯系統(tǒng)是類比二值邏輯而構(gòu)建的，它們各保留了二值邏輯的某些（絕不是全部）“邏輯直覺”，同時拋棄了二值邏輯的其它“邏輯直覺”，又增加了一些新的體現(xiàn)自身特色的“邏輯直覺”。它們所保留的二值邏輯的“邏輯直覺”成為其與三值邏輯共有的“邏輯直覺”，也就是說，它們也是三值邏輯的“邏輯直覺”。用這樣的“邏輯直覺”能合理地評價三值邏輯的語義解釋，并且這樣的評價方式毫無疑問是辯證法的思維方式。
【淺析三值邏輯對邏輯哲學(xué)影響論文】相關(guān)文章：
淺析藝術(shù)法規(guī)的哲學(xué)與邏輯的論文09-08
哲學(xué)邏輯建模的一般特征淺析論文10-13
20 世紀(jì)的邏輯哲學(xué)與數(shù)學(xué)哲學(xué)研究論文05-07
邏輯哲學(xué)論的視角剖析西方哲學(xué)轉(zhuǎn)向論文10-08
老子哲學(xué)的邏輯起點分析10-26
對模糊邏輯的幾點哲學(xué)思考08-28
哲學(xué)的邏輯表達(dá)與邏輯的哲學(xué)分析-從概念、定義與命題理論看萊10-02
觀念史邏輯的鏡像參照與哲學(xué)研究規(guī)范論文06-12