郝旭東，張建軍

（南京大學(xué)哲學(xué)系，南京210023）

弗完全邏輯P1及其容忍悖論的邏輯機(jī)制

郝旭東，張建軍

（南京大學(xué)哲學(xué)系，南京210023）

弗完全邏輯P1是一種允許一個(gè)命題及其否定可以同時(shí)都為假的邏輯系統(tǒng)，即在該邏輯系統(tǒng)中一般意義的排中律將不再有效。文章在給出的標(biāo)準(zhǔn)語法和語義的基礎(chǔ)上，對弗完全否定的邏輯涵義進(jìn)行了直觀解釋，并分析了其邏輯語義特征；給出了弗完全邏輯擬真值表的具體列法，表明了系統(tǒng)P1的可判定性；利用擬真值表方法，表明了一般意義排中律在P1中的失效；對弗完全邏輯P1可以容忍邏輯悖論的邏輯機(jī)制進(jìn)行了解析，并就此將弗協(xié)調(diào)邏輯C1和P1進(jìn)行了容忍能力的比較。

弗完全邏輯；排中律；真矛盾；邏輯悖論；弗協(xié)調(diào)

“弗完全”（paracomplete）是“弗協(xié)調(diào)”（paraconsistent，又譯“次協(xié)調(diào)”、“亞相容”、“超一致”等）的對偶（dual）概念，此概念最早是由弗協(xié)調(diào)邏輯學(xué)家羅普瑞克、達(dá)·科斯塔、馬可尼等人在上世紀(jì)80年代中期引入的。弗協(xié)調(diào)邏輯的特異性質(zhì)是一般意義的矛盾律在其邏輯系統(tǒng)中失效，而弗完全邏輯則是指那些一般意義的排中律在其中失效的邏輯系統(tǒng)。使得矛盾律失效也許會(huì)引起不小的爭議，但許多邏輯學(xué)家可以接受經(jīng)典排中律在某些邏輯系統(tǒng)中的失效。因?yàn)楸R卡西維茨、波斯特、布勞威爾、海廷等人在多值邏輯、直覺主義邏輯的工作，足以表明經(jīng)典排中律在邏輯直覺明晰性上的缺乏。正是在這個(gè)意義上，達(dá)·科斯塔和馬可尼認(rèn)為，直覺主義邏輯和一些多值邏輯都是弗完全的［1］。弗完全概念的提出，也使得諸多經(jīng)典排中律在其中失效的邏輯系統(tǒng)因此而歸為了同類。

一 弗完全邏輯的提出與發(fā)展

需要首先明確的是，盡管直覺主義邏輯和一些多值邏輯可以劃歸為弗完全邏輯，但這三者之間在誕生緣由、發(fā)展歷程和構(gòu)建的方法與目的上有著根本不同。本文所討論的弗完全邏輯，主要是指那些通過使用類似于構(gòu)建弗協(xié)調(diào)邏輯的方法而構(gòu)建出來的弗完全邏輯；因而，本文考察弗完全邏輯思想和理論的角度，也是以弗協(xié)調(diào)邏輯為基始的。

羅普瑞克和達(dá)·科斯塔于1984年在《弗協(xié)調(diào)性、弗完全性和賦值》［2］一文中首次明確定義了“弗完全邏輯”概念：如果某個(gè)理論允許一個(gè)命題及其否定同時(shí)都為假，那么該理論就是弗完全的；允許一個(gè)公式及其否定可以同時(shí)為假，從而可用作弗完全理論之基礎(chǔ)的邏輯系統(tǒng)，就是弗完全邏輯。該文首次使用了弗完全理論、弗完全邏輯概念，但并沒有給出一個(gè)具體的弗完全邏輯系統(tǒng)。但很快，達(dá)·科斯塔和馬可尼便于1986年在《弗完全邏輯注記》［1］一文中較為完整地給出了弗完全邏輯系統(tǒng)P1，并象征性地給出了P1的（類似于弗協(xié)調(diào)邏輯Cn（1≤n≤ω）的）系列系統(tǒng) Pn（1≤n≤ω），特別是明確地給出了弗完全邏輯系統(tǒng)P1的大體框架（其語法和語義將在后文單獨(dú)介紹）。達(dá)·科斯塔和馬可尼在該文中所構(gòu)建的弗完全邏輯系統(tǒng)P1的面貌大體類似于弗協(xié)調(diào)邏輯C1，并且使得經(jīng)典排中律失效的邏輯方法也與C1相類似。因此，在這個(gè)意義上，達(dá)·科斯塔和馬可尼稱P1與C1是對偶的。這也是在弗協(xié)調(diào)邏輯領(lǐng)域第一次開始使用術(shù)語“對偶”。

此后，阿貝爾和雅瑪施塔于1995年在《論擬真勢邏輯》［3］一文中對P1的一些具有明顯邏輯特征內(nèi)定理進(jìn)行了補(bǔ)充。此外，貝茲奧于1999年在《弗協(xié)調(diào)邏輯的前景》［4］一文中探討了弗協(xié)調(diào)邏輯和弗完全邏輯之間的對偶關(guān)系，他形象地用游戲比喻說，有的游戲可以雙方都贏，弗協(xié)調(diào)邏輯適用于此；而弗完全邏輯則適用于那種雙方都可以輸?shù)挠螒?。貝茲奧認(rèn)為弗協(xié)調(diào)邏輯與弗完全邏輯猶如一對夫妻，他也由此而斷言，對于每一種弗協(xié)調(diào)邏輯都存在一個(gè)與之對偶的弗完全邏輯；并且，對于每一種弗完全邏輯也都存在一個(gè)與之對偶的弗協(xié)調(diào)邏輯。顯然，概念“對偶”在此處的意義已經(jīng)更加明確和嚴(yán)格了。換言之，這意味著對偶并不是一個(gè)十分寬泛的概念。比如，商討邏輯是一種棄合型弗協(xié)調(diào)邏輯（即放棄經(jīng)典邏輯合取原則的一種弗協(xié)調(diào)邏輯，詳見張清宇《弗協(xié)調(diào)邏輯》［5］195-229。 下述正加型弗協(xié)調(diào)邏輯亦參見該文獻(xiàn)），弗完全邏輯P1只是正加型弗協(xié)調(diào)邏輯C1的對偶邏輯，而不是商討邏輯的對偶邏輯。

作為弗協(xié)調(diào)邏輯C1的對偶邏輯，弗完全邏輯P1也具有與之類似的、可以容忍真矛盾（dialetheia或true contradiction［6］3-6）的邏輯特性；這種特異的邏輯特性也可以作為某些真矛盾（例如悖論）的處理和解決方案。比如，菲爾德于2008年在《從悖論中拯救真理》［7］一書中大篇幅地討論了悖論的弗完全解決方案；李慧華、王文方則撰文《試論語義悖論的弗完全理論》［8］，對菲爾德的方案進(jìn)行了深入解讀和剖析，并對其給予了積極評(píng)價(jià)。盡管菲爾德的弗完全方案與P1不屬于同一種弗完全思想（前者屬于普利斯特所建立的悖論邏輯［6］221-228的對偶邏輯，而后者屬于正加型弗協(xié)調(diào)邏輯的對偶邏輯），但兩者的基本思想是相通的，即都通過各自不同的邏輯措施，使得一般意義的排中律不再有效。而這種相通的基本思想，也使得它們具有相類似的邏輯功用（即弗完全邏輯P1也具有解決和處理某些“真矛盾”的邏輯功效，我們將在后文詳述）。

二 弗完全邏輯P1的公理模式、語義賦值及其特征

P1的公理模式如下：

其中，公理模式（13）-（15）中算子“?”的作用類似于弗協(xié)調(diào)邏輯中的“o”（參見張清宇《弗協(xié)調(diào)邏輯研究》［5］13）。例如，公理模式（14）的直觀含義是如果 A和B都是遵守排中律的，那么（A∧B）、（A∨B）、（A→B）也都遵守排中律（嚴(yán)格來講，A?＝df（A∨?A）。A?＝df（A∨?A））

P1的推理規(guī)則：（R1）由A和A→B可推出B。

P1的語義賦值：一個(gè)賦值V就是從P1的公式集到集合｛0，1｝上的一個(gè)映射，并且滿足下列條件（參見Lopri c＇and da Costa，（1984）［2］和Da Costa and Marconi（1986）［1］）：

（1）若V（A）＝1，則V（?A）＝0；

（2）若 V（A）≠V（?A），則 V（?A）≠V（??A）；

（3）若V（A?）＝V（A→B）＝V（A→?B）＝1，則V（A）＝0；

（4）V（A→B）＝1，當(dāng)且僅當(dāng)：V（A）＝0或V（B）＝1；

（5）V（A∧B）＝1，當(dāng)且僅當(dāng)：V（A）＝1且V（B）＝1；

（6）V（A∨B）＝1，當(dāng)且僅當(dāng)：V（A）＝1或V（B）＝1；

（7）若V（A）≠V（?A）且V（B）≠V（?B），則V（A∧B）≠V（?（A∧B）），V（A∨B）≠V（?（A∨B）），V（A→B）≠V（?（A→B））；

（8）V（?（A∧?A））＝1。

從以上語義賦值定義可見，弗完全邏輯P1有如下語義賦值特征：

第一，賦值定義1（1）要求：當(dāng)A為真時(shí)，則?A為假。這里，是“如果……那么……”，而不是像經(jīng)典邏輯那樣是“當(dāng)且僅當(dāng)”。所以，當(dāng)A為假時(shí)，對?A的值就沒有更多要求，即此時(shí)?A可真可假；亦即，當(dāng)A為假時(shí)，?A與A可以同時(shí)為假。

第二，賦值定義（2）要求：當(dāng)A為真時(shí)，則??A為真。但當(dāng)A為假時(shí)，對??A的值沒有要求，即此時(shí)A可真可假；亦即，當(dāng)??A為真時(shí)，??A與A可以同時(shí)為假（當(dāng)然亦可同真）。綜合以上兩個(gè)賦值特征，A、?A和??A之間的真假關(guān)系為（見表1所示）：A與?A不能同時(shí)為真，但可以同時(shí)為假；?A與??A不能同時(shí)為真，但也可以同時(shí)為假。這兩個(gè)特征其實(shí)也就是說，一個(gè)命題及其否定可以同時(shí)都為假。所以，在這種二值的語義賦值之下，一般意義上的排中律不再有效。

表1

第三，賦值定義1（7）的直觀含義是指，如果A和B的語義賦值遵守排中律，那么A∧B、A∨B、A→B的語義賦值也都遵守排中律。相對應(yīng)的是，V（A?）＝0，則表示A的語義賦值不遵守排中律。由該賦值定義可知，這種賦值顯然與經(jīng)典邏輯不同，即P1-公式的賦值是非真值函項(xiàng)的，其公式的值并非完全由它所包含的命題符的真值所決定。

三 弗完全邏輯P1的可判定性及其擬真值表

P1是可判定的，即我們可以在有窮步內(nèi)以能行程序判定一個(gè)公式是否為其定理。與經(jīng)典邏輯不同，一個(gè)P1-公式的值并不是完全由其子公式的值所決定，還涉及到這些子公式的否定式的值。所以，我們不能像經(jīng)典邏輯那樣，僅僅直接使用真值表來判定一個(gè)P1-公式是否為P1-定理。為此，我們把一個(gè)公式A的子公式以及A的真子公式的否定，統(tǒng)稱為擬子公式，這樣A的值就由它的擬子公式所決定。由此，我們用構(gòu)造擬真值表的方法來判定一個(gè)P1-公式是否為P1-定理。以杜國平（2006）［9］228所給Cn的擬真值表為基礎(chǔ)，根據(jù)本文的定義1，給定任意一個(gè)P1-公式A，其擬真值表的構(gòu)造步驟如下。

第一步，相同于經(jīng)典邏輯做真值表的情形，列出A中所有出現(xiàn)的命題符，并列出這些命題符的各種取值情況。

第二步，為表中所有的命題符的否定各辟出一列，并逐行做如下運(yùn)算：

若已知命題符p在該行取值為0，則將此行裂分為兩行：?p在所得裂分的第一行的值為1，此值左面的值保持跟裂分前的相同；?p在所得裂分的第二行的取值為0，此值左面的值保持跟裂分前的相同。

第三步，列出 A的擬子公式并逐行計(jì)算它的值。若此擬子公式自身的所有的真擬子公式都已列出并且它們在各行中的值都已得到，則列出此擬子公式并逐行求值如下：

1.當(dāng)所考慮的擬子公式不是否定式時(shí)，求值同經(jīng)典邏輯的方法。

2.當(dāng)所考慮的擬子公式為否定式?A′時(shí)，在A′取值為1的行中?A′的取值為0；在A′取值為0的行中?A′的取值方法如下：

（1）如果A′是否定式?B（即，要給出??B的取值），那么需看B和?B的值是否相等：

如果不等，那么?A′與A的取值不等。

如果相等，那么將該行裂分為兩行，第一行?A′的取值為1；第二行?A′的取值為0。

（2）如果A′為B∧C，B∨C，B→C，則有兩種情況需要考慮：

①如果A′形如D∨?D或?D∨D，那么將該行裂分為兩行，在第一行?A′的取值為1，在第二行?A′的取值為0；

②如果A′并非形如D∨?D或?D∨D，那么當(dāng)B和?B的值不同并且C和?C的值也不同時(shí)，?A′與A的取值不等；否則，該行裂分為兩行，在第一行?A′的取值為1，在第二行?A′的取值為0（但當(dāng)A′形如D∧?D時(shí)，?A′的取值為1）。

通過上述的方法，可以最終得到公式A在P1中的取值。若公式A在擬真值表的最后一列全部都取1，則公式A是P1-定理（由公式的最后一列為真，根據(jù)系統(tǒng)P1的可靠性，可推斷出該公式為系統(tǒng)的定理；而根據(jù)賦值定義易證公理都是有效的，規(guī)則R1也是保真的，因而系統(tǒng)P1是可靠性的）。例如，通過擬真值表的方法可以有如下推論。

推論：如下公式不是P1-定理［Abar（1995）［3］，Da Costa，Marconi，（1986）［1］］：

例如，列（1）和（2）的擬真值表如表2：

表2

表（a）的最后一列并非都取1，表明一般意義排中律在P1中不再有效；表（b）的最后一列也并非都取1，表明雙重否定律在P1中不再有效。

四 P1作為解悖方案的邏輯機(jī)制

為對P1進(jìn)行解悖方案的考察，首先，我們應(yīng)該清楚什么是嚴(yán)格意義的邏輯悖論。張建軍曾基于對悖論構(gòu)成要素的考察和國內(nèi)外悖論定義的比較研究而給出如下定義：“邏輯悖論指謂這樣的一種理論事實(shí)或狀況，在某些公認(rèn)正確的背景知識(shí)之下，可以合乎邏輯地建立兩個(gè)矛盾語句相互推出的矛盾等價(jià)式?！保?0］7盡管這樣的定義在學(xué)界尚有爭議，但如果僅從形式特征來考察，在悖論中“可以建構(gòu)矛盾等價(jià)式”這一點(diǎn)是擁有共識(shí)的。而悖論對理論本身的危害正是來源于此。在經(jīng)典邏輯中有一條定理：（A??A）→B，它意味著如果公式“A??A”成立，那么就會(huì)導(dǎo)致任意的公式都成立。具體到某個(gè)理論就是，如果某個(gè)理論中存在邏輯形式為“A??A”的命題，就會(huì)“在邏輯上”導(dǎo)致任意的命題都在該理論中成立。顯然，這樣的理論是沒有意義的，是不足道的（trivial）。然而，這種“在邏輯上”導(dǎo)致的“不足道”的結(jié)果是基于一定邏輯基礎(chǔ)的，這個(gè)邏輯基礎(chǔ)就是經(jīng)典邏輯。也就是說，以經(jīng)典邏輯為基礎(chǔ)，存在悖論就意味著不足道，就意味著無意義。但事實(shí)上情況并非如此簡單，因?yàn)榇_實(shí)存在那些盡管自身包含悖論，但仍然有意義的理論，最典型的莫過于樸素集合論。盡管其中包含有眾所周知的羅素悖論，但將之使用于日常思維領(lǐng)域卻絲毫沒有什么障礙。當(dāng)然，這些包含悖論的理論可以弗協(xié)調(diào)邏輯為基礎(chǔ)，但弗完全邏輯P1也具有類似的作用。因?yàn)槿缦碌臄M真值表可以表明公式（A??A）→B也不是弗完全邏輯P1的定理。由于（A??A）→B是（A→?A）∧（?A→A）→B的縮寫，所以下面我們列出后者的擬真值如表3：

表3

實(shí)際上，公式（A??A）→B起到的作用與司各脫法則（A∧?A→B）的作用是類似的，也可以將之看作是司各脫法則的另一表達(dá)式。它們共同的后果是，都會(huì)導(dǎo)致前提不良后果在系統(tǒng)中的擴(kuò)散，導(dǎo)致系統(tǒng)的不足道?？梢哉f，公式（A??A）→B不再是定理，是弗完全邏輯P1可以避免某些悖論的不良后果的最直接的邏輯機(jī)制體現(xiàn)。這也就是說，類似于弗協(xié)調(diào)邏輯，弗完全邏輯也具有某些處理真矛盾的能力。這些真矛盾可以是某些悖論、道義二難、司法沖突等。需要強(qiáng)調(diào)的是，弗完全邏輯P1只能處理某些真矛盾。比如，對于悖論而言，弗完全邏輯不能處理寇里（Curry）悖論以及類寇里悖論，因?yàn)樵撱Ｕ摰漠a(chǎn)生與否定詞并沒有直接的關(guān)系（當(dāng)然，對于該類型的悖論，弗協(xié)調(diào)邏輯也無力處理）［10］65。概括來講，弗完全邏輯只能處理與否定詞有直接關(guān)系的，并且邏輯形式為“A??A”的那些真矛盾。

那么，相對于弗協(xié)調(diào)邏輯C1對真矛盾的處理能力，兩者差別在何處呢？我們知道，在弗協(xié)調(diào)邏輯C1中，矛盾律受到限制，但排中律無限制；在弗完全邏輯P1中，排中律受到限制，但矛盾律無限制。而矛盾律的邏輯要求比排中律更強(qiáng)一些，所以相對來說，僅矛盾律受限制的C1比P1更弱一些，因而可以處理相對更多一些的真矛盾；而僅排中律受限制的P1比C1更強(qiáng)一些，因而其處理真矛盾的能力相對就要弱一些。而導(dǎo)致爆炸后果的（A??A）→B與（A∧?A→B）是否有效，則是這種區(qū)別的最直接體現(xiàn)。由推論2可知，（A∧?A→B）在 P1中仍然成立，但由列出的擬真值表可知，這兩者都不是C1定理，這就意味著C1比P1具有更強(qiáng)的真矛盾處理能力。更具體地說，弗完全邏輯P1可以處理形如“A??A”的真矛盾，但弗協(xié)調(diào)邏輯C1卻可以處理形如“A??A”和“A∧?A”的真矛盾。例如，弗協(xié)調(diào)邏輯C1可以容忍“辯證命題”，但弗完全邏輯P1則不可以。這也表明，P1的真矛盾處理能力要弱于C1；或者說，P1對真矛盾的容忍度要低于C1。

［1］DA COSTA N C A，MARCONI D.A Note on Paracomplete Logic［J］.Rendiconti dell’Accademia Nazionale dei Lincei，1986，（80）.

［2］LOPRI C＇A，DA COSTA N C A.Paraconsistency，Paracompleteness，and Valuation［J］.Logique et Analyse，1984，（27）.

［3］ABAR C A A P，YAMASHITA M.On Non-alethic Logic［J］.Lecture Notes in Computer Science，1995，（945）.

［4］B éZIAU J-Y.The Future of Paraconsistent Logic［J］.Logical Studies，1999，（2）.

［5］張清宇.弗協(xié)調(diào)邏輯［M］.北京：中國社會(huì)出版社，2003.

［6］PRIEST G.In contradiction：a Study of the Transconsistent［M］.Oxford：Clarendon Press，2006.

［7］FIELD H.Saving Truth from Paradox［M］.New York：Oxford University Press，2008.

［8］李慧華，王文方.試論語義悖論的弗完全理論［J］.邏輯學(xué)研究，2011，（4）.

［9］杜國平.經(jīng)典邏輯與非經(jīng)典邏輯基礎(chǔ)［M］.北京：高等教育出版社，2006.

［10］張建軍.邏輯悖論研究引論（修訂本）［M］.北京：人民出版社，2014.

Paracomplete Logic P1and Logic Mechanism of Tolerate Paradox

HAO Xu-dong，ZHANG Jian-jun
（Department of Philosophy，Nanjing University，Jiangsu，Nanjing 210023，China）

Paracomplete logic P1is a logic system allowing a proposition and its negation to be false at the same time，i.e.，the general law of excluded middle in this logic system would be futile.Based on the standard grammar and syntax，this paper explains the logic implication of paracomplete negation，analyzes the logic syntactic characteristics，testifies the decidability of paracomplete logic quasi matrix with specific lining method，demonstrates the futility of general law of excluded middle in P1with quasi matrix method，analyzes the logic mechanism of paracomplete logic P1’s tolerance on logic paradox，and thus compares paraconsistent logic C1and P1on their tolerant ability.

paracomplete logic；the law of excluded middle；true contradiction；logic paradox；paraconsistent

B815

A

1000-5315（2015）01-0010-05

［責(zé)任編輯：張 卉］

2014-10-10

郝旭東（1974—），男，山東莘縣人，南京大學(xué)哲學(xué)系博士后，華東師范大學(xué)哲學(xué)系副教授、碩士生導(dǎo)師；

張建軍（1963—），男，河北滄州人，南京大學(xué)哲學(xué)系教授、博士生導(dǎo)師。