休謨歸納問題：一個(gè)新模態(tài)邏輯語(yǔ)義解

1、休謨歸納問題：一個(gè)新模態(tài)邏輯語(yǔ)義解【內(nèi)容提要】休謨對(duì)科學(xué)中因果關(guān)系的必然性的疑難，引來(lái)了眾多對(duì)歸納問題的解決方法。本文指出，休謨的疑難，涉及到經(jīng)驗(yàn)命題的必然真應(yīng)如何表達(dá)的問題。由于歸納推理有成立和不成立的兩種可能性，因此必須尋找兩種相互矛盾的理論，應(yīng)用可能世界的模態(tài)邏輯，具體處理因果關(guān)系所表現(xiàn)出來(lái)的必然性。【關(guān)鍵詞】休謨/因果關(guān)系/歸納推理/矛盾的理論/模態(tài)邏輯英國(guó)哲學(xué)家大衛(wèi)休謨(DavidHume,17111776)曾對(duì)因果關(guān)系的必然性的觀念提出疑難。英國(guó)哲學(xué)家羅素說(shuō)：“在笛卡爾哲學(xué)中，也和經(jīng)院學(xué)者的哲學(xué)中一樣，原因和結(jié)果的關(guān)聯(lián)被認(rèn)為正如邏輯關(guān)聯(lián)一樣是必然的。對(duì)這見解的第一個(gè)真正嚴(yán)重的挑戰(zhàn)出

2、于休謨，近代的因果關(guān)系的哲學(xué)便是自休謨開始的?！保ㄗⅲ毫_素：西方哲學(xué)史下卷第201頁(yè)，商務(wù)印書館1996年版。）這樣，人們一般就認(rèn)為，休謨的疑難，這是對(duì)因果關(guān)系的必然性的否定。其實(shí)，我們認(rèn)為這是一種誤會(huì)。休謨對(duì)因果關(guān)系的疑難，涉及到的是經(jīng)驗(yàn)命題的必然真應(yīng)如何表達(dá)的問題。對(duì)休謨的疑難，不能被看成是對(duì)抽象的因果關(guān)系的否定，它最多導(dǎo)致對(duì)具體理論的因果關(guān)系的否定。在這里，我們必須承認(rèn)存在有一個(gè)新的與它矛盾的理論，它們的因果關(guān)系正好相反。而新的理論應(yīng)當(dāng)有自己的具體的因果關(guān)系，在這個(gè)新理論中，仍可繼續(xù)應(yīng)用歸納推理。本文試用兩個(gè)矛盾理論又都“反映”所組成的可能世界的模態(tài)語(yǔ)義理論，提出一個(gè)既符合休謨正確的觀點(diǎn)

3、，又不導(dǎo)致懷疑論結(jié)果的新的解決方法。一、休謨對(duì)不完全歸納的疑難休謨主張，感覺印象是知識(shí)唯一可靠的來(lái)源。他把人類知識(shí)分為關(guān)于觀念的陳述和對(duì)事實(shí)的陳述。前者可以是必然真，不依賴于經(jīng)驗(yàn)；后者是偶然真，依賴于經(jīng)驗(yàn)。他說(shuō)：“說(shuō)到過去的經(jīng)驗(yàn)?zāi)俏覀儾荒懿怀姓J(rèn)，它所給我們的直接的確定的報(bào)告，只限于我們所認(rèn)識(shí)的那些物象和認(rèn)識(shí)發(fā)生時(shí)的那個(gè)時(shí)期。但是這個(gè)經(jīng)驗(yàn)為什么可以擴(kuò)展到將來(lái)，擴(kuò)展到我們所見的僅在貌相上相似的別的物象；則這正是我所欲堅(jiān)持的一個(gè)問題。”休謨認(rèn)為：因?yàn)樽匀贿^程可以變化，而且一件事物縱然和我們?cè)?jīng)經(jīng)驗(yàn)到的事物似乎相似，但也可以產(chǎn)生出不同的或相反的結(jié)果，這些都是并不包含矛盾的事。（注：轉(zhuǎn)引自朱水林：現(xiàn)代邏

4、輯引論第400頁(yè)，上海人民出版社1989年版。）。于是，休謨?cè)诜治鲆蚬^念的基礎(chǔ)時(shí)，提出了對(duì)歸納的責(zé)難。在邏輯上，我們有所謂的簡(jiǎn)單枚舉歸納推理，這種推理根據(jù)某類中的一些（非全部）對(duì)象有某種屬性，推出該類全部對(duì)象都有這種屬性。S1PS2PS3PSnP S1,S2,S3Sn包含在S類中（而非S類全部）所以，SP這里，沒有矛盾的情況對(duì)于作出一般性的結(jié)論來(lái)說(shuō)是必要的。問題是，有什么根據(jù)可以認(rèn)為，從個(gè)別性陳述過渡到普遍性陳述是充分的呢？按休謨的意思如果Sn-1的情況都為真，但是Sn的情況假，并不違反矛盾律。休謨的疑難提出來(lái)后，被認(rèn)為是對(duì)科學(xué)中因果律的必然性的否定，這就成了大問題。美國(guó)邏輯學(xué)家M布萊克(M

5、axBlack)綜合了眾多回答歸納問題的文獻(xiàn)，把提供的答案，簡(jiǎn)單概括為四個(gè)方面：第一，休謨的責(zé)難是無(wú)法應(yīng)付的；所以，歸納是站不住腳的，應(yīng)該把歸納從人們稱道的理性推理中排除出去。第二，從休謨的批判看來(lái)，通常的歸納論證需要改進(jìn)，方法是或者(a)增加更多前提，或者(b)結(jié)論改稱概率的陳述。在這兩種情況下，結(jié)論的合理性被期待為是演繹地從前提中推出的，此時(shí)，歸納邏輯將被構(gòu)造成應(yīng)用的演繹邏輯的一個(gè)分支。第三，盡管歸納論證不能滿足演繹的正確性的標(biāo)準(zhǔn)，歸納行為（而非規(guī)則或原則），在某種新的意義下可以證明其合理性。歸納如果不能是有效的話也能有存在的理由。第四，休謨問題產(chǎn)生于概念和語(yǔ)言的混亂，因此闡明這些混亂及其

6、根源，與其說(shuō)是解決這個(gè)問題，不如說(shuō)是取消了這個(gè)問題。（注：轉(zhuǎn)引自朱水林：現(xiàn)代邏輯引論第400頁(yè)，上海人民出版社1989年版。）我們認(rèn)為，休謨問題這四個(gè)解答孤立地來(lái)看都不成立?？梢詮牡诙约暗谒膬煞矫娼Y(jié)合起來(lái)解決。由于歸納推理有成立及其不成立兩種可能性，因此必須應(yīng)用模態(tài)邏輯，才能處理因果律表達(dá)出來(lái)的必然性。二、不完全歸納推理與反事實(shí)蘊(yùn)涵相關(guān)如上所述，休謨的意思是，如果Sn-1是P都是真，但是Sn是P的情況假，并不違反矛盾律。這完全是正確的。然而我們?nèi)绻M(jìn)一步問，Sn是非P，是否就真得到了一個(gè)矛盾呢？經(jīng)驗(yàn)論的回答是肯定的，但是，康德從哲學(xué)上反駁了休謨的經(jīng)驗(yàn)論。他認(rèn)為因果律是先驗(yàn)的，如果理論得不到確

7、證，原因可以一再被追溯，簡(jiǎn)單經(jīng)驗(yàn)不能證偽因果律。我們要指出，它暗含了這樣一個(gè)思想：假命題有可能真。這就開拓了使用模態(tài)邏輯的可能性。我們先來(lái)看看物理學(xué)上幾個(gè)例子。牛頓在自然哲學(xué)的數(shù)學(xué)原理一書中宣稱，在實(shí)驗(yàn)哲學(xué)中，“特殊命題從現(xiàn)象中推出，然后通過歸納使之成為普遍命題。物體的不可入性、可動(dòng)性和沖力以及運(yùn)動(dòng)定律和萬(wàn)有引力定律就是這樣發(fā)現(xiàn)的?！保ㄗⅲ杭s翰洛西：科學(xué)哲學(xué)歷史導(dǎo)論第86頁(yè)，華中工學(xué)院出版社1982年版。）事實(shí)上，牛頓是在歸納了開普勒三大定律后建立牛頓力學(xué)的。牛頓定律的證實(shí)與否要涉及實(shí)驗(yàn)觀察，然而實(shí)驗(yàn)觀察本身又受理論影響，這里就存在著復(fù)雜性。例如，天王星繞太陽(yáng)公轉(zhuǎn)的軌道有些反常（不符合牛頓理論

8、）。英國(guó)天文學(xué)家亞當(dāng)斯和法國(guó)文學(xué)家勒韋里爾分別根據(jù)牛頓的理論，認(rèn)為這是由于在天王星軌道以外某個(gè)未知的行星對(duì)其施加了引力的結(jié)果。他們算出了這顆假設(shè)的行星的位置。1846年，德國(guó)天文學(xué)家加勒將望遠(yuǎn)鏡對(duì)準(zhǔn)勒韋里爾所指的一點(diǎn)，果然發(fā)現(xiàn)了一顆新的星，稱為海王星。但是，1845年，勒韋里爾發(fā)現(xiàn)水星的軌道也不規(guī)則，它的近日點(diǎn)有每世紀(jì)43弧秒的單向移動(dòng)。苗韋里爾如法炮制，認(rèn)為這種偏移可能是一顆未被發(fā)現(xiàn)的行星造成的，稱為祝融星。天文學(xué)家花了幾十年的時(shí)間來(lái)尋找這個(gè)行星，最后大家承認(rèn)，祝融星不存在。又如，為了論證在光速或接近光速的條件下牛頓力學(xué)中伽利略變換依舊成立，假設(shè)了以太的存在，麥克爾遜莫雷實(shí)驗(yàn)沒有發(fā)現(xiàn)以太存在的任何證據(jù)，洛倫茨根據(jù)牛頓理論，用運(yùn)動(dòng)物體在相對(duì)以太運(yùn)動(dòng)方向收縮的假定，解釋了麥克爾遜莫雷實(shí)驗(yàn)。只是到狹義相對(duì)論出現(xiàn)后，才發(fā)現(xiàn)不需要作這些假定。以上例子說(shuō)明，不完全歸納推理在物理學(xué)上應(yīng)用相當(dāng)廣泛。在一個(gè)理論的歸納論證中，我們對(duì)任何表現(xiàn)上與這個(gè)理論的公理系統(tǒng)相矛盾的現(xiàn)象，打算增設(shè)理論所允許的某事物存在的方式去解答它，但是理論的公理數(shù)目本身沒有增加。其推理模式是