蘊(yùn)涵理論研究——從《墨經(jīng)》到《制約邏輯》.pdf

1、蘊(yùn)涵是邏輯學(xué)中的一個(gè)重要概念，對(duì)于它的意義的不同理解和把握，會(huì)導(dǎo)致對(duì)推理前后件之間關(guān)系的不同說(shuō)明與刻劃，并最終導(dǎo)致性質(zhì)和功能有別的不同邏輯系統(tǒng)的構(gòu)建和產(chǎn)生。從某種意義上說(shuō)，蘊(yùn)涵的演進(jìn)構(gòu)成了整個(gè)邏輯科學(xué)尤其是現(xiàn)代邏輯發(fā)展的歷史。不同的邏輯系統(tǒng)盡管在形式上有某種可對(duì)譯性，但仍可依據(jù)其所奠基的“蘊(yùn)涵”理論的不同而體現(xiàn)其實(shí)質(zhì)的特異性。如海丁(Heyting)的直覺(jué)主義命題邏輯系統(tǒng)H通過(guò)所謂的“哥德?tīng)栟D(zhuǎn)換”可以在經(jīng)典邏輯中獲得新的解釋，并且，通過(guò)

2、一定的程序，直覺(jué)主義命題邏輯還可以在模態(tài)系統(tǒng)S4中得到解釋.然而，直覺(jué)主義命題系統(tǒng)通常被認(rèn)為是經(jīng)典命題系統(tǒng)的真子系統(tǒng)，S4被認(rèn)為是經(jīng)典命題系統(tǒng)的擴(kuò)充系統(tǒng).于是問(wèn)題產(chǎn)生了：經(jīng)典命題系統(tǒng)、直覺(jué)主義命題系統(tǒng)和S4之間究竟是一種什么樣的關(guān)系?進(jìn)而，推理前后件之間究竟是一種什么樣的關(guān)系?各種蘊(yùn)涵理論是否清晰而恰當(dāng)?shù)乜坍?huà)了推理前后件之間的關(guān)系?不同的邏輯系統(tǒng)之間的可比性到底體現(xiàn)在哪里?真正的充分條件關(guān)系究竟是函數(shù)的還是非函數(shù)的?推理的構(gòu)成要素有哪些

3、，或者說(shuō)推理如何可能?筆者不僅擬從邏輯哲學(xué)層面回答上述問(wèn)題，從邏輯史的角度去區(qū)分，澄清和闡明不同意義的蘊(yùn)涵及其相互關(guān)系，并且，力圖澄清關(guān)于制約邏輯的一些重要事實(shí)，主要涉及蘊(yùn)涵怪論問(wèn)題、制約邏輯的元邏輯思想及其相關(guān)問(wèn)題、所謂的“必然與可能互制”問(wèn)題、“1=0”問(wèn)題、“形式的可譯性與實(shí)質(zhì)特異性”問(wèn)題、“第一獨(dú)立性的實(shí)施”與“內(nèi)涵科學(xué)分析法”問(wèn)題等。通過(guò)對(duì)各種“蘊(yùn)涵”理論的考察，探求一種能夠清晰而恰當(dāng)?shù)乜虅澇浞謼l件關(guān)系的“蘊(yùn)涵”理論.提出作者

4、的一些粗淺認(rèn)識(shí)以求教于學(xué)界賢達(dá)、同仁。研究可得出如下觀點(diǎn)或初步結(jié)論：推理前后件之間必定滿足充分條件關(guān)系，具有第一獨(dú)立性；充分條件關(guān)系不是函數(shù)關(guān)系；推理必須滿足“可以推”、“需要推”和“不循環(huán)”等要求；兩個(gè)獨(dú)立性是推理能從已知獲取新知的邏輯根據(jù)；王浩教授關(guān)于蒯因NF系統(tǒng)和ML系統(tǒng)一致性的證明結(jié)論“若NF一致，則ML一致”足以說(shuō)明表示充分條件關(guān)系的“若…，則…”之間存在第一獨(dú)立性(迄今，NF和ML的一致性問(wèn)題并未得到解決，亦即，其一致性既沒(méi)

5、有得到證明。也沒(méi)有被否證。王浩教授在并不知道命題“NF一致”之真假，也不知道命題“ML一致”之真假的情況下，卻事實(shí)上確立了命題“若NF一致，則ML一致”為真，包含在充分條件關(guān)系中第一獨(dú)立性在這里簡(jiǎn)直是明若現(xiàn)火!)。形式上的可譯并不意味系統(tǒng)間的等價(jià)；制約邏輯命題演算Cm系統(tǒng)與相干邏輯命題演算R系統(tǒng)事實(shí)上不等價(jià)；沒(méi)有量詞的制約邏輯名詞演算Cn系統(tǒng)與帶量詞的相干邏輯謂詞演算系統(tǒng)RQ系統(tǒng)絕對(duì)不等價(jià)。A、B二形式系統(tǒng)“絕對(duì)不等價(jià)”是指：在不改變A

6、、B的形式語(yǔ)言的條件下，任意改變A、B的公理和規(guī)則，均不能使A、B等價(jià)。A、B的差異不是在公理、規(guī)則這個(gè)層次上，而是在形式語(yǔ)言這個(gè)層次上，亦即，對(duì)A、B的形式語(yǔ)言作出純語(yǔ)構(gòu)(不顧及語(yǔ)義)對(duì)照，A、B的形式語(yǔ)言中的式未必能互相對(duì)譯：A的式對(duì)譯后可以不是B的式，或者，B的式對(duì)譯后可以不是A的式。以下指責(zé)不成立，是對(duì)制約邏輯的誤解或曲解：制約邏輯不可能定義“必然”、“可能”這類概念;制約邏輯名詢演算Cn系統(tǒng)可以證明“可能”與“必然”互制;制約