劉新文

(中國社會科學(xué)院 哲學(xué)研究所, 北京 100732)

?

簡論張清宇的證偽系統(tǒng)

劉新文

(中國社會科學(xué)院 哲學(xué)研究所, 北京 100732)

國內(nèi)第一個以形式化方法建立起矛盾命題(或者說恒假命題)形式系統(tǒng)的是張清宇研究員。結(jié)合20世紀(jì)八九十年代邏輯發(fā)展的背景，研究張清宇當(dāng)時提出的“證偽系統(tǒng)”概念和相關(guān)工作的學(xué)術(shù)來源，并給出初步的評價(jià)。

證偽系統(tǒng)；排斥；反駁系統(tǒng)

一、證偽系統(tǒng)概念的學(xué)術(shù)來源

張清宇的“證偽系統(tǒng)”概念來自于盧卡西維茨的“排斥(rejection)”概念。盧卡西維茨在其名著《亞里士多德的三段論》中提出命題的“排斥”概念?！芭懦狻敝傅氖菍Ψ怯行}的排斥。他在該書第三章“亞里士多德三段論系統(tǒng)”的最后一節(jié)“一些未解決的問題”中說：“另一個新的邏輯因素包含在亞里士多德關(guān)于不能成立的三段論形式的研究中，那就是排斥。亞里士多德通過具體詞項(xiàng)的例證來排斥不正確的形式。這個處理在邏輯上是對的，但它把與之沒有密切聯(lián)系的詞項(xiàng)和命題引進(jìn)了這個系統(tǒng)。然而還有這樣的情況，他運(yùn)用另一種邏輯處理：把一個不正確的形式化為另一個已經(jīng)排斥了的形式。在這個提示的基礎(chǔ)上，可以陳述一條與斷定的分離規(guī)則相應(yīng)的排斥規(guī)則。這可看作是邏輯研究的新領(lǐng)域的開端和應(yīng)當(dāng)解決的新問題。”[3]這個“邏輯研究的新領(lǐng)域”在《哲學(xué)邏輯手冊》第二版中被稱為“反駁系統(tǒng)(refutation systems)”[4]，是對盧卡西維茨關(guān)于“排斥”概念所做的形式化研究工作的深化和推廣[5]。一個反駁系統(tǒng)指的是由反駁公理和反駁規(guī)則組成的推演系統(tǒng)。反駁公理都是非有效的公式，而非有效的公式包括恒假式和可滿足式兩類，反駁規(guī)則都是保持非有效性的規(guī)則。

張清宇第一次提出了“證偽系統(tǒng)”這個概念。他認(rèn)為：“古典命題邏輯系統(tǒng)可以分成兩大類。一類系統(tǒng)中直接導(dǎo)出的公式都是重言式，稱這類系統(tǒng)為證明系統(tǒng)。另一類系統(tǒng)中直接導(dǎo)出的公式都是恒假的，稱這類系統(tǒng)為證偽系統(tǒng)?！盵2]也就是說，在作為反駁系統(tǒng)的“證偽系統(tǒng)”中直接推演出的公式都是恒假式或者說矛盾式。

二、證偽系統(tǒng)和

αα1α2α1α2αA∧BABAB(A∧B)(A∨B)ABABA∨B(A?B)ABABA?BA≡BA?BB?A(A?B)(B?A)(A≡B)ββββ1β2β

這一記號的具體說明可以參考斯穆里安或其學(xué)生菲汀(M.Fitting)的著作[6-7]。

N1. 假設(shè)引入規(guī)則：可按需要隨時引入一個假設(shè)，來開始一個子證偽。

N2. 重復(fù)規(guī)則：同一個子證偽中的公式可以在該子證偽中重復(fù)出現(xiàn)。

在測量放樣環(huán)節(jié)中應(yīng)精確測量路基結(jié)構(gòu)邊坡線，科學(xué)開展放線處理工作，保證寬度可以符合標(biāo)準(zhǔn)需求。通常情況下可以按照0.5m的規(guī)格開展加寬施工工作，對基底結(jié)構(gòu)進(jìn)行整平與碾壓處理，將碾壓工作劃分成為靜壓與振壓兩種模式，選擇25t規(guī)格的壓路機(jī)設(shè)備開展靜壓工作，次數(shù)設(shè)計(jì)在兩次左右，選擇50t規(guī)格的壓路機(jī)設(shè)備開展靜壓工作。保證碾壓完成的結(jié)構(gòu)質(zhì)量符合標(biāo)準(zhǔn)[4]。

N3. 重述規(guī)則：子證偽中的公式可在從屬于它的子證偽中重述出來。

N7. β-引入規(guī)則：從β1和β2可以推出β。

N8. β-消去規(guī)則：從β可以推出β1，β2。

Z1. A→A

Z2. A→(B→A)

Z3. (A→B)→((C→A)→(C→B))

Z5. (A→βi)→(A→βj)→(A→β)

Z7. β→βi，β→βj

三、問題與改進(jìn)

張清宇的這一工作還存在一個問題。如前所述，他把古典命題邏輯系統(tǒng)分成兩大類：證明系統(tǒng)和證偽系統(tǒng)。他說：“常見的系統(tǒng)中，只有語義表列系統(tǒng)是證偽的，這種系統(tǒng)是跟后承演算相對偶的。遺憾的是，未見有跟自然推理系統(tǒng)或公理系統(tǒng)相對偶的證偽系統(tǒng)。本文的目的就是提出這樣兩種證偽系統(tǒng)，以釋此憾?！盵2]證偽系統(tǒng)中直接導(dǎo)出的公式都是恒假式，也就是說，這一劃分并沒有把可滿足式的反駁系統(tǒng)以及相關(guān)系統(tǒng)包含進(jìn)來。經(jīng)典命題邏輯所有公式組成的集合可以劃分為3個子集：重言式(或稱有效式)集合、可滿足式(或稱偶然式)集合和矛盾式(或稱恒假式)集合。前二者合稱非矛盾式集合，后二者合稱非有效式(非重言式)集合，而重言式集合和矛盾式集合合稱非偶然式集合。這6個公式集合組成3對對偶(互補(bǔ))集合，可以分別從句法上進(jìn)行公理化刻畫。證偽系統(tǒng)的上述問題就在張清宇論文發(fā)表前夕也就是20世紀(jì)90年代初得到了解決，已經(jīng)為經(jīng)典命題語言的邏輯提供了一幅完整的畫面[8]?，F(xiàn)在簡要介紹如下。

四、進(jìn)一步的問題

反駁系統(tǒng)已經(jīng)在經(jīng)典邏輯、直覺主義邏輯、模態(tài)邏輯和多值邏輯中得到了廣泛深入的研究。前面提到，由于包含了否定后件律，反駁公式的推演包含了可接受公式的推演，這一點(diǎn)使得反駁系統(tǒng)劣于傳統(tǒng)系統(tǒng)。消除這種不對等的一種方式是構(gòu)造“后承反駁”而非公式的反駁系統(tǒng)。經(jīng)典命題邏輯的第一個后承反駁系統(tǒng)由迪奧姆金于1988年提出，而等價(jià)的系統(tǒng)則由格蘭科在1991年、波納提在1993年分別獨(dú)立提出。另外，把前述這些公理系統(tǒng)推廣到帶量詞的情形將是我們下一步的工作，現(xiàn)在只提出，這些公式集合雖然在句法刻畫上具有相同的地位，但是在量化理論中卻有著不同的意義。例如，經(jīng)典命題語言中重言式的每一個替換實(shí)例都是量化理論語言中的有效式，但是經(jīng)典命題語言中非重言式的替換實(shí)例在帶有量詞的語言中不一定是無效式，它們一定是非重言的。

[1] 李惠國,陳衛(wèi)平.全國中青年哲學(xué)工作者最新成果交流會紀(jì)要[J].國內(nèi)哲學(xué)動態(tài),1986(10):6-11.

[2] 張清宇.古典命題邏輯的證偽系統(tǒng)[J].自然辯證法研究,1996(S):4-6.

[3] 盧卡西維茨.亞里士多德的三段論[M].李真，李先昆，譯.北京：商務(wù)印書館，1981:93-94.

[4] SKURA T.Refutation systems in propositional logic[M]//GABBAY D,GUENTHNER F.Handbook of philosophical logic.vol.16,Netherlands:Springer,2011:115-157.

[5] 程淑珍,劉新文.盧卡西維茨的命題排斥思想[J].哲學(xué)動態(tài),2013(12):95-101.

[6] FITTING M.Proof methods of modal and institutionist logics[M].Dordrecht:D.Reidel Publishing Co.,1983.[7] SMULLYAN R.First-order logic[M].Berlin:Springer,1968.[8] VARZI A.Complementary sentential logics[J].Bulletin of the Section of Logic,1990(19):112-116.

(責(zé)任編輯 張佑法)

Remarks on Zhang Qingyu’s Falsification Systems

LIU Xin-wen

(Institute of Philosophy, Chinese Academy of Social Sciences, Beijing 100732, China)

In China, the first series of formal systems that characterize the contradictive propositions in logic were established by Professor Zhang Qingyu during the 1980s—1990s. The present paper studies the academic sources of the concept of “falsification systems” and its related achivements presented by him, and then tries to valuate them with the background of the developments of logic then.

falsification system; rejection; refutation system

2017-01-09 基金項(xiàng)目：國家社會科學(xué)基金一般項(xiàng)目“邏輯基礎(chǔ)問題研究”(16BZX079)；中國社會科學(xué)院創(chuàng)新工程項(xiàng)目“邏輯基礎(chǔ)問題研究”(2017—2019)

劉新文(1972—)，男，江西蓮花人，研究員，博士，中國社會科學(xué)院哲學(xué)研究所邏輯室主任，中國社會科學(xué)院創(chuàng)新工程邏輯學(xué)科首席研究員，中國邏輯學(xué)會現(xiàn)代邏輯專業(yè)委員會主任，西南大學(xué)邏輯與智能研究中心兼職研究員，研究方向：現(xiàn)代邏輯。

劉新文.簡論張清宇的證偽系統(tǒng)[J].重慶理工大學(xué)學(xué)報(bào)(社會科學(xué))，2017(5):7-9.

format：LIU Xin-wen.Remarks on Zhang Qingyu’s Falsification Systems[J].Journal of Chongqing University of Technology(Social Science)，2017(5):7-9.

10.3969/j.issn.1674-8425(s).2017.05.002

中國邏輯學(xué)會會長 鄒崇理 研究員

B813

A

1674-8425(2017)05-0007-03

主持人語：

《簡論張清宇的證偽系統(tǒng)》一文，作者對張清宇先生提出的國內(nèi)第一個以形式化方法建立起的矛盾命題(或者說恒假命題)形式系統(tǒng)進(jìn)行了評介，研究了張清宇提出的“證偽系統(tǒng)”概念和相關(guān)工作的學(xué)術(shù)來源，有望引起國內(nèi)學(xué)界的關(guān)注，從而推進(jìn)這一領(lǐng)域的研究。

《“形式蘊(yùn)涵”方案能解決蘊(yùn)涵怪論問題嗎》一文討論了邏輯史上一個古老的問題，即“蘊(yùn)涵怪論”。該文在分析了學(xué)界對該問題的研究現(xiàn)狀后，給出了自己的觀點(diǎn)：形式蘊(yùn)涵本質(zhì)上無法解決蘊(yùn)涵怪論問題。蘊(yùn)涵怪論的根源不在于邏輯的形式化語言，而在于實(shí)質(zhì)蘊(yùn)涵與日常條件句“若……則……”存在較大的差異。

《可廢止邏輯中論證關(guān)系的一點(diǎn)辨析》一文分析了貝克斯和普拉肯等人的可廢止邏輯論證思想，討論了用該思想去構(gòu)建論證時可能存在的一些問題，并給出了這些問題產(chǎn)生的原因及可能的改進(jìn)方法，可供學(xué)界同仁參考。