發(fā)布時(shí)間：2015-02-09 11:53

　　[論文摘要]勃克斯的因果陳述邏輯理論，以“因果蘊(yùn)涵”和“因果可能世界”為核心，建構(gòu)了一個(gè)公理化的邏輯體系。它所蘊(yùn)涵的哲學(xué)性質(zhì)及其認(rèn)知價(jià)值為現(xiàn)代歸納邏輯的研究奠定了堅(jiān)實(shí)的基礎(chǔ)，同時(shí)也為人們的認(rèn)知實(shí)踐活動(dòng)提供了一種重要的哲學(xué)分析工具。

　　[論文關(guān)鍵詞]勃克斯 因果陳述邏輯 哲學(xué)性 因果蘊(yùn)涵

　　一、勃克斯及其因果陳述邏輯

　　“因果陳述邏輯”這一概念是由美國(guó)當(dāng)代哲學(xué)家、計(jì)算機(jī)科學(xué)家阿瑟·勃克斯（Arthur Walter Burks）首創(chuàng)的。勃克斯對(duì)科學(xué)哲學(xué)和歸納邏輯研究有著較大的貢獻(xiàn)，他提出了自己的歸納概率理論，建構(gòu)了因果陳述邏輯系統(tǒng)，成為歸納邏輯研究的獨(dú)樹(shù)一幟的理論。
　　勃克斯最具有代表性的重要理論成果是1977年出版的闡述其因果陳述公理系統(tǒng)的專(zhuān)著《機(jī)遇、因果和推理》。關(guān)于因果陳述邏輯（The Logic of Causal Statements）的理論與方法，勃克斯在這部著作中進(jìn)行了詳盡地說(shuō)明。他在引申并深化劉易斯關(guān)于嚴(yán)格蘊(yùn)涵與模態(tài)邏輯思想的基礎(chǔ)上，將其應(yīng)用到因果性模態(tài)問(wèn)題之中，并將模態(tài)形式分為兩大類(lèi)：邏輯模態(tài)與因果模態(tài)。四個(gè)邏輯模態(tài)符號(hào)分別為：邏輯必然“□”、邏輯可能“◇”、邏輯蘊(yùn)涵“→”、邏輯等值“？圮”。與此相對(duì)應(yīng)，他創(chuàng)新性地提出了四個(gè)因果模態(tài)符號(hào)，分別為：因果必然“□c”、因果可能“◇c”、因果蘊(yùn)涵“→c”、因果等值“？圮c”。與邏輯模態(tài)符號(hào)成立的形態(tài)——邏輯可能世界相類(lèi)似，勃克斯提出了“因果可能世界”。因果可能世界的提出，不僅標(biāo)志著一種新的模態(tài)形式的誕生，也為我們研究因果問(wèn)題及其相關(guān)理論提供了一個(gè)新的思路。
　　因果陳述邏輯的公理系統(tǒng)繼承了經(jīng)典邏輯的核心內(nèi)容。它由一個(gè)非模態(tài)性的一階邏輯演算（或者不包含等詞的一階函數(shù)演算）加上一組關(guān)于邏輯形態(tài)的模態(tài)詞（“必然”、“可能”）以及一組關(guān)于因果形態(tài)的模態(tài)詞（“因果必然”、“因果可能”）的演算而構(gòu)成。因果陳述邏輯的公理系統(tǒng)主要由語(yǔ)法、公理、證明和定理組成。在該形式系統(tǒng)的語(yǔ)法中，勃克斯分別對(duì)因果可能、因果蘊(yùn)涵等重要的邏輯概念進(jìn)行了定義。比如，因果可能的定義：◇c？椎=df ～□c～？椎，因果蘊(yùn)涵的定義：？椎→c？追=df □c（？椎？勱？追）。關(guān)于因果陳述邏輯系統(tǒng)的公理，勃克斯將它們分為三類(lèi)，即真值函項(xiàng)公理、量詞公理和模態(tài)公理。由于在該系統(tǒng)中判定真值函項(xiàng)公理和量詞公理的方法與步驟和經(jīng)典邏輯一致，故此不贅述。因果陳述邏輯與模態(tài)邏輯密切相關(guān)，如果說(shuō)經(jīng)典邏輯是這一形式系統(tǒng)的框架，那么模態(tài)邏輯便是該理論系統(tǒng)的精髓和亮點(diǎn)，二者缺一不可。而因果陳述邏輯的模態(tài)性以及模態(tài)算子的本質(zhì)特征也恰恰是通過(guò)模態(tài)公理體現(xiàn)出來(lái)的。比如，模態(tài)公理□？椎？勱□c？椎（邏輯必然蘊(yùn)涵因果必然）和□c？椎？勱？椎（因果必然蘊(yùn)涵實(shí)然）。我們看到，這兩個(gè)公理是按照模態(tài)的強(qiáng)弱來(lái)排序的，前者表示邏輯必然性強(qiáng)于因果必然性，后者表示因果必然性強(qiáng)于實(shí)然性。二者是“必然性是分等級(jí)的”這一哲學(xué)指導(dǎo)思想在因果陳述邏輯中的具體體現(xiàn)。在語(yǔ)法和公理的基礎(chǔ)上，勃克斯對(duì)證明和定理進(jìn)行了定義。從表面上看，證明和定理的內(nèi)容無(wú)非是對(duì)經(jīng)典數(shù)理邏輯中一些概念的簡(jiǎn)單重復(fù)。但是，值得注意的是，勃克斯的創(chuàng)新之處就在于他將這套理論搬到了帶有因果必然算子（□c）的因果陳述邏輯的系統(tǒng)中，并且十分適用，用勃克斯本人的話(huà)說(shuō)，“一個(gè)演繹論證的普遍概念在我們的形式語(yǔ)言（因果陳述邏輯）中根據(jù)有前提的證明而得到了模擬”。

　　二、因果陳述邏輯的哲學(xué)意蘊(yùn)

　�。ㄒ唬┮蚬�陳述邏輯的哲學(xué)基礎(chǔ)
　　任何一個(gè)邏輯系統(tǒng)或者邏輯理論都必須包含蘊(yùn)涵，也就是說(shuō)，沒(méi)有無(wú)蘊(yùn)涵的邏輯系統(tǒng)或理論，勃克斯構(gòu)建的因果陳述邏輯系統(tǒng)也不例外。在因果陳述邏輯理論中，因果蘊(yùn)涵是該形式系統(tǒng)的重要內(nèi)容，也是它區(qū)別于其他形式系統(tǒng)的主要標(biāo)志。勃克斯對(duì)因果陳述邏輯的構(gòu)造就是從對(duì)因果蘊(yùn)涵的描述和刻畫(huà)開(kāi)始的。因此，分析因果陳述邏輯這一邏輯系統(tǒng)的哲學(xué)基礎(chǔ)，關(guān)鍵就在于正確地理解和把握因果蘊(yùn)涵的哲學(xué)性質(zhì)。
　　因果蘊(yùn)涵（？椎→c？追）反映了事物情況？椎和事物情況？追之間的一種因果條件聯(lián)系，？椎是原因，？追是結(jié)果。所謂原因，是指這樣的現(xiàn)象：它產(chǎn)生某一現(xiàn)象并先于某一現(xiàn)象。所謂結(jié)果，是指原因發(fā)生作用的后果。同時(shí)，？椎和？追之間也是一種蘊(yùn)涵關(guān)系，這種蘊(yùn)涵不是傳統(tǒng)意義上的實(shí)質(zhì)蘊(yùn)涵、嚴(yán)格蘊(yùn)涵等蘊(yùn)涵形式，而是能夠刻畫(huà)因果虛擬句的蘊(yùn)涵類(lèi)型。勃克斯創(chuàng)造它的目的就是為了解決因果條件句和因果模態(tài)陳述句的形式化問(wèn)題。根據(jù)勃克斯的因果陳述邏輯理論，因果蘊(yùn)涵的蘊(yùn)涵強(qiáng)度介于邏輯蘊(yùn)涵（嚴(yán)格蘊(yùn)涵）和實(shí)質(zhì)蘊(yùn)涵之間，這一點(diǎn)也是勃克斯對(duì)包含“因果”算子在內(nèi)的諸如因果等值、因果必然、因果可能概念進(jìn)行強(qiáng)度界定以及因果陳述邏輯系統(tǒng)中對(duì)某些公理、定理及公式進(jìn)行排序的基礎(chǔ)和來(lái)源。從這一意義上說(shuō)，因果蘊(yùn)涵不僅是勃克斯因果陳述邏輯理論的一個(gè)重要概念，而且由于它兼有因果性和蘊(yùn)涵性這樣的雙重特性，因此對(duì)因果蘊(yùn)涵的哲學(xué)特征進(jìn)行分析，具有重要的意義和作用。
　　在勃克斯看來(lái)，因果蘊(yùn)涵克服了傳統(tǒng)蘊(yùn)涵類(lèi)型的缺點(diǎn)，能夠準(zhǔn)確地對(duì)因果虛擬句進(jìn)行形式化地表述。我們認(rèn)為，它之所以具有這樣的作用，根本原因在于它的兩個(gè)特性（上面已經(jīng)提到）——因果性和蘊(yùn)涵性，這也是我們對(duì)因果蘊(yùn)涵進(jìn)行哲學(xué)分析的兩個(gè)切入點(diǎn)。
　　第一，因果性是因果蘊(yùn)涵區(qū)別于其他蘊(yùn)涵類(lèi)型的哲學(xué)本質(zhì)。事物之間的因果聯(lián)系是普遍的聯(lián)系，也是必然的聯(lián)系，原因和結(jié)果在時(shí)間上總是前后相繼的，這是科學(xué)中的因果律，是不能更改的。對(duì)于日常生活中大量出現(xiàn)的因果虛擬句（反事實(shí)條件句），其前件是假的，但前件與后件之間卻有著真實(shí)的聯(lián)系，即已知的一個(gè)空類(lèi)與另一個(gè)類(lèi)之間有真實(shí)聯(lián)系。我們認(rèn)為，這種真實(shí)的聯(lián)系就是因果聯(lián)系，符合因果聯(lián)系的普遍性。正因?yàn)橛米匀徽Z(yǔ)言表達(dá)的因果虛擬句需要我們用與其相符合的人工語(yǔ)言（邏輯語(yǔ)言）進(jìn)行刻畫(huà)，而實(shí)質(zhì)蘊(yùn)涵等蘊(yùn)涵類(lèi)型的前后件并不能恰當(dāng)?shù)乇磉_(dá)這種反事實(shí)的因果聯(lián)系，于是勃克斯對(duì)這些經(jīng)典蘊(yùn)涵形式進(jìn)行了改造，提出了因果蘊(yùn)涵。也就是說(shuō)，在反事實(shí)條件句中，如果某個(gè)事物情況？椎不發(fā)生，那么另外的事物情況？追就一定會(huì)發(fā)生。？椎與？追之間的這種因果聯(lián)系決定了前后件之間純粹的充分必要聯(lián)系已經(jīng)不再適合對(duì)它形式化和符號(hào)化的需要，于是勃克斯找到了因果蘊(yùn)涵這樣一種新的蘊(yùn)涵類(lèi)型。

　　第二，蘊(yùn)涵性是因果蘊(yùn)涵的一般哲學(xué)特征。如前所述，蘊(yùn)涵總是邏輯系統(tǒng)中的蘊(yùn)涵，從這一意義上說(shuō)，邏輯系統(tǒng)的區(qū)分就在于它所包含的蘊(yùn)涵詞的區(qū)分。因此，因果蘊(yùn)涵是因果陳述邏輯系統(tǒng)的主要標(biāo)志。勃克斯以“必然性是分等級(jí)的”這一哲學(xué)思想為指導(dǎo)，對(duì)因果蘊(yùn)涵以及因果必然性等概念按照強(qiáng)弱進(jìn)行了等級(jí)劃分，這也是他構(gòu)建因果陳述邏輯的語(yǔ)形結(jié)構(gòu)的基礎(chǔ)，這是蘊(yùn)涵性所具有的一個(gè)哲學(xué)表現(xiàn)。另外，因果蘊(yùn)涵所具有的蘊(yùn)涵的一般性質(zhì)，比如前后件的真假對(duì)蘊(yùn)涵式真假的制約情況等，是勃克斯能夠?qū)⑺�與邏輯蘊(yùn)涵、實(shí)質(zhì)蘊(yùn)涵進(jìn)行比較的理論依據(jù)。我們對(duì)因果蘊(yùn)涵進(jìn)行哲學(xué)考察，其蘊(yùn)涵式前后件之間的真假制約關(guān)系是很重要的一個(gè)方面。通常人們都認(rèn)為，蘊(yùn)涵是對(duì)實(shí)際推理中“條件命題前后件關(guān)系”的刻畫(huà)或反映，不同的蘊(yùn)涵詞所刻畫(huà)的是條件命題前后件關(guān)系的不同側(cè)面。其中實(shí)質(zhì)蘊(yùn)涵就是條件命題前后件之間的真假關(guān)系的邏輯抽象。也就是說(shuō)，與實(shí)質(zhì)蘊(yùn)涵相比，因果蘊(yùn)涵能夠運(yùn)用其蘊(yùn)涵形式來(lái)刻畫(huà)反映反事實(shí)條件命題前后件之間的真假制約關(guān)系，它是這類(lèi)命題前后件之間真假關(guān)系的邏輯抽象。
　　綜上所述，因果性和蘊(yùn)涵性是構(gòu)成因果蘊(yùn)涵的兩個(gè)元素，也是因果蘊(yùn)涵具有哲學(xué)性質(zhì)的具體表現(xiàn)。在勃克斯的因果陳述邏輯理論中，隨著因果蘊(yùn)涵的應(yīng)用性不斷增強(qiáng)，其內(nèi)在的哲學(xué)性也會(huì)越來(lái)越明顯地體現(xiàn)出來(lái)。
　　（二）因果陳述邏輯的哲學(xué)啟示
　　因果陳述邏輯是勃克斯歸納邏輯思想體系中一個(gè)非常重要的部分，為他的歸納邏輯理論指引了正確的方向，而勃克斯的歸納邏輯理論則為因果陳述邏輯系統(tǒng)的發(fā)展和深化奠定了堅(jiān)實(shí)的基礎(chǔ)。因此，對(duì)勃克斯的因果陳述邏輯理論進(jìn)行研究，是一件非常有意義的事情，而筆者也從這一研究過(guò)程中，得到了一些啟發(fā)。主要表現(xiàn)在以下兩個(gè)方面：
　　其一，因果陳述邏輯的提出及發(fā)展過(guò)程不僅是對(duì)歸納問(wèn)題的合理性進(jìn)行辯護(hù)的一個(gè)重要表現(xiàn)，而且是對(duì)歸納邏輯所具有的強(qiáng)大的認(rèn)知功能逐步提高的一個(gè)重要反映，同時(shí)也說(shuō)明現(xiàn)代歸納邏輯具有深厚的認(rèn)識(shí)論基礎(chǔ)。早在1951年，勃克斯就已經(jīng)提出了因果命題邏輯的形式系統(tǒng)，但是當(dāng)時(shí)沒(méi)有能夠?qū)�這一邏輯系統(tǒng)作出恰當(dāng)?shù)恼Z(yǔ)義解釋?zhuān)�所以該形式系統(tǒng)僅停留在語(yǔ)形結(jié)構(gòu)方面。后來(lái)由于可能世界語(yǔ)義學(xué)理論的發(fā)展，為勃克斯提供了一種非常有效的解釋工具，從而使他較為成功地解釋了因果陳述邏輯系統(tǒng)。這一成果的意義在于：不會(huì)被看成僅僅是真值函項(xiàng)邏輯和古典模態(tài)邏輯的人為擴(kuò)充。由此可以看出，任何理論都是一個(gè)發(fā)展的過(guò)程，因果陳述邏輯也不例外。我們?cè)谇懊娴膬?nèi)容中曾經(jīng)提到，用于解釋該系統(tǒng)的語(yǔ)義學(xué)理論——因果可能世界語(yǔ)義學(xué)，從模態(tài)邏輯的觀點(diǎn)看，它是因果化的可能世界理論，即使得可能世界語(yǔ)義學(xué)增加了因果的性質(zhì)，這是對(duì)它的基本理解；從更深層次的意義上講，它是勃克斯對(duì)因果陳述邏輯所具有的科學(xué)認(rèn)知功能的一次挖掘和提高。傳統(tǒng)的歸納推理對(duì)因果必然性的證明是不嚴(yán)格的，很多是賦予經(jīng)驗(yàn)的直觀形式，勃克斯建構(gòu)因果陳述邏輯的目的就是為了形成一套證明因果必然律的方法，它的最大特點(diǎn)就是因果必然性規(guī)律先驗(yàn)概率的確定，而用來(lái)測(cè)定因果必然性規(guī)律的恰恰是以三種世界類(lèi)型（邏輯可能世界、因果可能世界和現(xiàn)實(shí)世界）為依托的。因此，從這一意義上說(shuō)，因果可能世界以及“因果必然性”等一系列思想和理論的形成，是因果陳述邏輯對(duì)人們的認(rèn)知能力的一次檢驗(yàn)，對(duì)于探求科學(xué)陳述之間的因果聯(lián)系，進(jìn)而對(duì)科學(xué)理論做出因果可能性的推斷有著重要的作用。
　　其二，因果陳述邏輯的深層次問(wèn)題在其哲學(xué)方面，具體而言，它表現(xiàn)為因果蘊(yùn)涵的普遍適用性問(wèn)題。我們知道，科學(xué)中的因果律指的是原因和結(jié)果在時(shí)間上總是前后相繼的，原因總是在結(jié)果之前，結(jié)果總是在原因之后。但是，有先后關(guān)系的現(xiàn)象之間并不一定都有因果聯(lián)系，關(guān)鍵在于結(jié)果必須與原因之間具有必然的聯(lián)系。因此，尋求現(xiàn)象之間的因果聯(lián)系是一個(gè)十分復(fù)雜的過(guò)程，涉及到各種各樣的因素，而勃克斯的因果蘊(yùn)涵不可能涵蓋所有的因果聯(lián)系樣式，即它不可能反映如此豐富的因果聯(lián)系內(nèi)容，它只能反映因果聯(lián)系中最一般的本質(zhì)特征，主要表現(xiàn)為因果律。從時(shí)間的角度看，因果關(guān)系的內(nèi)在特點(diǎn)是：原因在時(shí)間上要先于結(jié)果。而勃克斯已經(jīng)意識(shí)到了這一點(diǎn)，于是他構(gòu)建的因果陳述邏輯是將因果關(guān)系的這一時(shí)間因素包括在內(nèi)的，這一點(diǎn)通過(guò)他對(duì)因果模型的構(gòu)建就可以看出來(lái)。這充分說(shuō)明勃克斯將因果聯(lián)系與一般的條件聯(lián)系嚴(yán)格地區(qū)分開(kāi)來(lái)，定義了因果律、因果傾向句、自然律，，并分別對(duì)它們進(jìn)行了形式刻畫(huà)，從而豐富了他的歸納邏輯思想，使其歸納邏輯理論向全面化的方向邁出了重要的一步。

　　三、因果陳述邏輯的哲學(xué)認(rèn)知價(jià)值

 

　　二十世紀(jì)四五十年代以來(lái)，人類(lèi)真正進(jìn)入科學(xué)認(rèn)知與知識(shí)創(chuàng)新的時(shí)代，純粹的演繹和簡(jiǎn)單的歸納都不再適用于科學(xué)創(chuàng)新與技術(shù)發(fā)現(xiàn)的需要，不再滿(mǎn)足知識(shí)快速更新的要求，在這樣的大背景下，廣義歸納邏輯、廣義認(rèn)知邏輯和廣義模態(tài)邏輯迅速地發(fā)展起來(lái)，并出現(xiàn)了三者交叉的認(rèn)知發(fā)展動(dòng)向。而歸納邏輯是以歸納推理和歸納方法為基本內(nèi)容的知識(shí)體系，其結(jié)論超出了前提所斷定的范圍，因此，從認(rèn)知方法論的角度看，歸納推理比演繹推理更具有認(rèn)知趨向與價(jià)值，它不僅能幫助人們拓寬自己的認(rèn)知視野，還能對(duì)知識(shí)前景進(jìn)行科學(xué)預(yù)測(cè)，從而在知識(shí)創(chuàng)新方面具有巨大的優(yōu)越性。與古典歸納邏輯所擅長(zhǎng)的性質(zhì)判斷相比，現(xiàn)代歸納邏輯尤其是因果陳述邏輯在知識(shí)認(rèn)知與科學(xué)理論創(chuàng)新方面的價(jià)值更為突出，主要體現(xiàn)在三個(gè)方面：
　　其一，因果陳述邏輯對(duì)于解釋或者預(yù)見(jiàn)事實(shí)具有重要意義。它可以從理論命題推演出事實(shí)命題，或者是解釋已知的事實(shí)，或者是預(yù)見(jiàn)未知的事實(shí)。這種推演的步驟是以公理、定理、假說(shuō)等作為理論前提，再加上某些初始條件的陳述，逐步推導(dǎo)出一個(gè)描述事實(shí)的命題。
　　其二，因果陳述邏輯的核心概念是因果蘊(yùn)涵。比較重要的邏輯推導(dǎo)關(guān)系是從邏輯蘊(yùn)涵推導(dǎo)因果蘊(yùn)涵，再?gòu)囊蚬�蘊(yùn)涵推導(dǎo)出實(shí)質(zhì)蘊(yùn)涵。也就是說(shuō)，這種推導(dǎo)過(guò)程
　　就是從具有邏輯必然性的規(guī)律或者理論陳述中推導(dǎo)出具有因果必然性的因果律陳述，進(jìn)而推導(dǎo)出事實(shí)陳述，其本質(zhì)就是一種科學(xué)理論的創(chuàng)新。
　　其三，因果陳述邏輯的語(yǔ)義解釋奠基于可能世界語(yǔ)義學(xué)，而正是借助于這種關(guān)于可能性的邏輯工具，才使得人類(lèi)的知識(shí)認(rèn)知范圍得以擴(kuò)充，科學(xué)理論的創(chuàng)新得以可能。因果陳述邏輯將邏輯可能世界擴(kuò)充到包括因果可能世界，這使得邏輯學(xué)的科學(xué)認(rèn)知功能大大加強(qiáng)。因?yàn)橄鄬?duì)于比較純化的數(shù)學(xué)領(lǐng)域，僅僅考慮邏輯可能世界已經(jīng)無(wú)法滿(mǎn)足不那么純化的自然科學(xué)領(lǐng)域的要求，還必須考慮與自然科學(xué)中的自然律、因果律密切相關(guān)的因果可能世界，而因果陳述邏輯比狹義的模態(tài)邏輯在人類(lèi)認(rèn)知方面的作用更大、功能更強(qiáng)。
　　綜上所述，人類(lèi)的認(rèn)知活動(dòng)，從來(lái)就不是簡(jiǎn)單純粹和線(xiàn)性單一的，在這種情況下，人類(lèi)智慧的形成和進(jìn)步，就更加需要?dú)w納邏輯，尤其是現(xiàn)代歸納邏輯。而以因果陳述邏輯為代表的廣義歸納邏輯就是在這一知識(shí)背景下產(chǎn)生的。探索因果陳述邏輯理論所具有的哲學(xué)意蘊(yùn)和認(rèn)知意義，以及該理論所折射出的創(chuàng)新價(jià)值，必將對(duì)歸納邏輯產(chǎn)生深刻的影響。

 

本文編號(hào)：13604