劉 洋, 萬小龍
(華中科技大學(xué) 人文學(xué)院, 湖北 武漢 430074)
林定夷教授在2007年和2008年公開發(fā)表了五篇關(guān)于科學(xué)理論的檢驗(yàn)及科學(xué)與非科學(xué)劃界等問題的重要文章。在文章中, 林先生以其特有的明晰、 嚴(yán)密對已往關(guān)于科學(xué)理論的諸多問題進(jìn)行了精致的總結(jié)、 分析和批判, 并且給出了自己關(guān)于科學(xué)理論檢驗(yàn)的結(jié)構(gòu)和邏輯的創(chuàng)新觀點(diǎn), 讓我們又一次領(lǐng)略了“林問題”的學(xué)術(shù)風(fēng)采。我們在學(xué)習(xí)林先生大作的過程中, 受益非淺, 但也發(fā)現(xiàn)一些問題想要與林先生商榷。
林定夷教授曾在《論科學(xué)理論的檢驗(yàn)結(jié)構(gòu)和檢驗(yàn)邏輯》一文中用了大量的篇幅來批評和討論波普爾證偽主義模型, 內(nèi)容十分的詳實(shí)、 豐富。但我們有一些不同的看法。
首先, 林先生認(rèn)為波普爾的證偽模型具有不完善性, 因此構(gòu)建了自己的檢驗(yàn)?zāi)P停?認(rèn)為科學(xué)實(shí)踐中不單是從受檢理論單獨(dú)導(dǎo)出檢驗(yàn)蘊(yùn)涵, 而是 “要從受檢理論T、 一組初始條件和邊界條件的集合C以及相關(guān)的輔助假說集H的合取中, 才能導(dǎo)出檢驗(yàn)蘊(yùn)涵P?!盵1]我們要提出的是, 既然林先生考慮的是“一般結(jié)構(gòu)與邏輯”, 而C和H的形式地位是相同的, 就沒有必要把C和H兩種在邏輯上平權(quán)的因素分別討論, 而既增加了邏輯形式的復(fù)雜性也增加了文章的篇幅。況且僅列出C和H也并不能窮盡影響檢驗(yàn)結(jié)果的因素。
其次, 林先生認(rèn)為, 他本人的模型不具有奎因的整體論模型的混沌性 , 他說“我們的模型所表述的思想與美國哲學(xué)家W. 蒯因(Willard Van Orman Quine 1908-)所表述的我只能稱之為‘混沌的整體主義’的觀念卻有著原則的不同”。[1]關(guān)于這點(diǎn)我們也不能十分認(rèn)同, 因?yàn)槔碚撾m然包括了各種因素以決定影響檢驗(yàn)結(jié)果, 但整體論可能指各種因素的整體影響并不總是等于各種因素分別影響的邏輯復(fù)合。
第三, 是最重要的問題, 林先生在討論“科學(xué)理論接受經(jīng)驗(yàn)檢驗(yàn)的一般結(jié)構(gòu)與邏輯”時(shí)首先研究一種最簡化的抽象模型, 他說“一個(gè)受檢理論(或原理)T能直接導(dǎo)出某種檢驗(yàn)蘊(yùn)涵 P, 并且假定我們通過實(shí)驗(yàn)或觀察所獲得的觀察陳述S0是可靠的, 而這個(gè)觀察陳述S0將能證實(shí)或否證理論所導(dǎo)出的那個(gè)檢驗(yàn)蘊(yùn)涵P0簡言之, 對這種模型可作如下簡要的描述, 即:
(1)T→P
(2)S0可靠
以此為基礎(chǔ)來討論科學(xué)理論的檢驗(yàn)問題。”[1]
并且把上述模型看作是波普爾關(guān)于科學(xué)理論檢驗(yàn)的證偽主義方法論的一個(gè)邏輯重構(gòu), 并且說“由此就可以根據(jù)兩個(gè)邏輯重言式來討論科學(xué)理論的檢驗(yàn)問題 , 即:
(I)
我們認(rèn)為, 林先生在這里的確把波普爾的思想明晰化和嚴(yán)密化了, 體現(xiàn)出波普爾的“作為普遍陳述的科學(xué)原理或理論是只可被證偽, 不可被證實(shí)的”基本思想。
不過, 在與實(shí)際科學(xué)史相比較之后, 林先生又說到“我們就不能認(rèn)為可以簡單地從受檢理論中直接導(dǎo)出檢驗(yàn)蘊(yùn)涵了; 而是必須認(rèn)為, 我們往往要從受檢理論、 一組初始條件和邊界條件的集合以及其他輔助性假說的合取中, 才能導(dǎo)出這種可與觀察經(jīng)驗(yàn)相比較的檢驗(yàn)蘊(yùn)涵, 而且通過實(shí)驗(yàn)和觀察活動所獲得的觀察陳述也不能無條件地保證一定是可靠的, 而是可錯的?!盵1]并且構(gòu)建出一種比較接近實(shí)際的科學(xué)理論的簡要但卻完整的檢驗(yàn)?zāi)P偷拿枋觯?/p>
“ (1) T∧C∧H →P
(2) S0可錯
其中, T表示受檢理論 , C表示一組初始條件和邊界條件的集合, H表示其他相關(guān)輔助假說的集合 , P表示檢驗(yàn)蘊(yùn)涵, S0表示觀察陳述。”[1]
而相應(yīng)的“涉及科學(xué)理論之檢驗(yàn)的相應(yīng)的邏輯公式也應(yīng)當(dāng)改寫為:
(1) ( T∧C∧H →P) ∧P
我們無法認(rèn)同林先生后面的模型: 因?yàn)樗哪P兔枋?B)不比(A)更明晰, 而他的邏輯公式II比邏輯公式I更不接近科學(xué)實(shí)踐的實(shí)際。
科學(xué)家在對一個(gè)科學(xué)理論進(jìn)行經(jīng)驗(yàn)檢驗(yàn)時(shí), 的確必須使用初始條件和邊界條件, 并且常常還要使用其他相關(guān)輔助假說等手段。但是, 他們從來不是“從受檢理論、 一組初始條件和邊界條件的集合以及其他輔助性假說的合取中, 導(dǎo)出這種可與觀察經(jīng)驗(yàn)相比較的檢驗(yàn)蘊(yùn)涵”(C), 更不是“才能導(dǎo)出檢驗(yàn)蘊(yùn)涵”(C#)!持有觀點(diǎn)(C)或增強(qiáng)版的(C#)的科學(xué)家實(shí)際是對他們自己的科學(xué)實(shí)踐工作的一個(gè)業(yè)余科學(xué)哲學(xué)表述, 而持有觀點(diǎn)(C)或(C#)的科學(xué)哲學(xué)家很可能從這里開始對科學(xué)理論的可檢驗(yàn)性問題的討論誤入歧途!
我們認(rèn)為一個(gè)合適的模型應(yīng)該具有如下的過程: 全稱陳述的科學(xué)理論導(dǎo)出一個(gè)單稱科學(xué)陳述, 這一單稱陳述接著又導(dǎo)出一個(gè)受檢蘊(yùn)含, 最后將這一受檢蘊(yùn)含與初始條件、 邊界條件的集合以及輔助性假說等因素合取導(dǎo)出可被經(jīng)驗(yàn)檢測的檢驗(yàn)結(jié)果。我們稱之為模型(邏輯公式)(III)。
下面我們運(yùn)用這個(gè)新的檢驗(yàn)邏輯來分析林先生對他的“簡要但卻完整的檢驗(yàn)?zāi)P汀钡倪壿嫻皆诰唧w科學(xué)史中的運(yùn)用。
林先生用“當(dāng)考夫曼于1906年宣布, 他用高速電子實(shí)驗(yàn)‘證明’在他的實(shí)驗(yàn)中‘量度的結(jié)果同洛倫茲一愛因斯坦假定不相容’”[1]這個(gè)科學(xué)實(shí)例來說明當(dāng)理論的預(yù)計(jì)與實(shí)驗(yàn)結(jié)果相矛盾時(shí), 不一定說明理論錯了, 而可以懷疑實(shí)驗(yàn)(或觀察)結(jié)果的正確性, 這個(gè)例子舉的很恰當(dāng)。但它正好說明了考夫曼實(shí)驗(yàn)驗(yàn)證的不是從相對論理論與其他“初始條件和邊界條件的集合以及其他輔助性假說的合取”中導(dǎo)出的檢驗(yàn)蘊(yùn)涵, 而是從相對論理論中導(dǎo)出的單稱陳述“考夫曼1906年高速電子實(shí)驗(yàn)中的電子符合洛倫茲一愛因斯坦變換”與實(shí)驗(yàn)誤差的合取。
林先生用“天王星的實(shí)測軌道與根據(jù)牛頓理論所計(jì)算的軌道不符”[1], 導(dǎo)致伽勒于1846年終于發(fā)現(xiàn)了海王星作為例子來說明當(dāng)理論預(yù)見與實(shí)際觀察不符時(shí), 可能是初始條件和邊界條件的問題而不一定是理論本身的問題。不過, 這個(gè)例子正好形象的說明了當(dāng)時(shí)的科學(xué)家不是在用經(jīng)驗(yàn)檢驗(yàn)牛頓理論與“初始條件和邊界條件”合取推出的邏輯后承, 而是檢驗(yàn)的從牛頓理論單獨(dú)推出的邏輯后承“天王星與太陽之間有符合萬有引力定理的引力”與初始條件和邊界條件“唯一要記入的就是這個(gè)引力”這兩者的合取。
林先生根據(jù)“當(dāng)能量守恒定律與當(dāng)年的B衰變實(shí)驗(yàn)的結(jié)果不符時(shí), 泡利實(shí)際上就是通過設(shè)定一個(gè)輔助性的假說 (中微子假說)而維護(hù)了能量守恒定律”,[1]這個(gè)科學(xué)史實(shí)說明輔助性假說能夠幫助理論逃脫被證偽。但例子正好說明了: 雖然能量守恒定律逃脫被證偽是因?yàn)閺哪芰渴睾愣芍型瞥龅膯畏Q陳述“在那次B衰變實(shí)驗(yàn)中能量守恒”與“在那次B衰變中不存在中微子作用”的合取被證偽了。但如果“在那次B衰變中存在中微子的作用”這個(gè)輔助性假設(shè)是真的, 那么“在那次B衰變實(shí)驗(yàn)中能量守恒”這個(gè)陳述就沒有被證偽, 那么, 能量守恒定律就沒有被證偽。
林先生認(rèn)為, “當(dāng)理論上所導(dǎo)出的檢驗(yàn)蘊(yùn)涵與實(shí)驗(yàn)觀察結(jié)果不相容時(shí), 我們也可以指責(zé)受檢理論?!钡?, 他又認(rèn)為 “科學(xué)家們就采取行動, 拋棄或修改這個(gè)理論?!?“但是, 我們指責(zé)受檢理論因此‘被證偽’, 那是始終不可能有充分的理由的。因?yàn)榘凑瘴覀兊哪P停?在這種情況下, 只有預(yù)先斷言實(shí)驗(yàn)觀察結(jié)果 、 所設(shè)定的初始條件集合和所引進(jìn)的其他輔助假說都準(zhǔn)確無誤, 才有充分的理由斷言: 一定是這個(gè)受檢理論錯了, 即它被證偽了。然而, 這是不可能的?!盵1]
照林先生的模型, 不但“當(dāng)檢驗(yàn)蘊(yùn)涵與實(shí)驗(yàn)觀察結(jié)果不相容時(shí), 指責(zé)受檢理論沒有必然的可靠性”, 因?yàn)閷?shí)驗(yàn)觀察有易謬性; 而且即使“檢驗(yàn)蘊(yùn)涵被可靠地驗(yàn)證為假時(shí), 指責(zé)受檢理論仍然沒有必然的可靠性”, 因?yàn)闄z驗(yàn)蘊(yùn)涵是被受檢理論與其他陳述合取而推出的。因此, 通過檢驗(yàn)蘊(yùn)涵來驗(yàn)證理論, 既在經(jīng)驗(yàn)上不可靠, 又在邏輯上不可靠; 或者說, 在科學(xué)理論的檢驗(yàn)邏輯上, 檢驗(yàn)蘊(yùn)涵的邏輯程序前后都不可靠。
而在我們的邏輯程序中, 如果“當(dāng)待檢驗(yàn)蘊(yùn)涵與實(shí)驗(yàn)觀察結(jié)果不相容時(shí), 指責(zé)受檢理論沒有必然的可靠性”; 但如果“待檢驗(yàn)蘊(yùn)涵被可靠地驗(yàn)證為假時(shí), 指責(zé)受檢理論為假就有必然的可靠性”, 因?yàn)榇龣z驗(yàn)蘊(yùn)涵是被受檢理論單獨(dú)推出的。
我們的模型(III)正是吸收了林先生的細(xì)致分析的素材, 并且繼承了波普爾邏輯程式的基本內(nèi)容而建立的。下面具體分析模型(III)的優(yōu)勢。
模型(III)的邏輯程式由兩部分組成。
第一部分與林定夷教授明晰地指出的波普爾的邏輯程式在命題形式上相同:
但進(jìn)一步明晰波普爾的思想。包括: 這里的P作為全稱性科學(xué)理論陳述T的邏輯后承必須是一個(gè)單稱陳述; P作為科學(xué)理論的可檢驗(yàn)后承的可檢驗(yàn)性不是僅指“它原則上可以與觀察結(jié)果比較”而是指“它原則上可以直接與觀察結(jié)果比較或者通過與初始條件和邊界條件的集合以及其他輔助性假說的合取而間接與觀察結(jié)果比較”。
第二部分, 與林先生的新模型的邏輯程式在邏輯形式上具有可類比處, 但其中的受檢理論T換成受檢蘊(yùn)涵P, 而其中的受檢蘊(yùn)涵P換成可觀察結(jié)果的預(yù)言S, C表示一組初始條件和邊界條件的集合, H表示其他相關(guān)輔助假說的集合 , P表示檢驗(yàn)蘊(yùn)涵, S。表示觀察陳述, 并且他們都是單稱陳述:
((P∧C∧H)≡S)∧S→P∧C∧H
在其中, 我們可以十分明晰的看到: 所謂的全稱科學(xué)陳述的證實(shí)與證偽的不對稱性, 在這個(gè)新程式的第一部分; 而所謂的經(jīng)驗(yàn)可檢驗(yàn)性在這個(gè)程式的第二部分。
科學(xué)家在實(shí)踐中完全可以先單獨(dú)從一個(gè)全稱性理論陳述推出一個(gè)待檢驗(yàn)的單稱陳述, 然后再考慮這個(gè)單稱陳述的檢驗(yàn)問題。分析下面三種情況:
1. 關(guān)于某一類個(gè)體的全稱命題
如“所有的金屬都是導(dǎo)電的” ( 1)可以規(guī)范地寫為: “對于任意一個(gè)個(gè)體來說, 如果它是金屬, 那么它是導(dǎo)電的”。 設(shè)F為金屬, G為導(dǎo)電的。
公式化后顯然有: ?x(Fx →Gx)→(Fa →Ga)。(Fa →Ga)可自然化為: “如果a這個(gè)個(gè)體它是金屬, 那么它是導(dǎo)電的”(1-1)。注意(1-1)并不等價(jià)為“a這個(gè)金屬是導(dǎo)電的” (1-2)。更進(jìn)一步說, 從(1)并不能單獨(dú)地推出(1-2), 但能夠單獨(dú)地推出(1-1)?,F(xiàn)在要證偽(Fa →Ga)也就是要證偽(﹁ Fa ∨Ga), 即要證實(shí)(Fa ∧﹁ Ga)。
結(jié)論: 如果證實(shí)a是金屬并且證偽a導(dǎo)電, 那么就必然可以證偽“所有的金屬都是導(dǎo)電的”。
2. 關(guān)于一切個(gè)體的全稱命題
“任意個(gè)體都有能量” (2), 設(shè)個(gè)體X, 有能量H, 那么(2)可公式化為一個(gè)簡單命題: ?x Hx顯然有, ?x Hx→Ha。Ha可自然化為: “a這個(gè)個(gè)體是有能量的”(2-1)。 只要證偽了(2-1)就必定證偽(2)。
3. 關(guān)于全稱存在命題
這是林先生文章中的例子“小兒麻痹癥是由某種病毒引起的, 它們都具有這樣的形式: ?x?y(Ax∧By →Gxy)”[2](3)。其中, A: 小兒麻痹癥, B: 病毒, G: 被引起關(guān)系。不過更一般地, 我們會把(3)公式化為?x(Ax→?y(By∧Gxy))(3-2)。
顯然有: ??x(Ax→?y(By∧Gxy) →(Aa→?y(By∧Gay)= ﹁ Aa∨?y(By∧Gay)。要證偽﹁ Aa∨?y(By∧Gay)即證實(shí)Aa∧﹁ ?y(By∧Gay)。
結(jié)論: 只要證實(shí)a是小兒麻痹癥并且證偽存在一種病毒會引起a這個(gè)小兒麻痹癥, 那么原理論“小兒麻痹癥是由某種病毒引起的”就被證偽了。
顯然, 在(1)和(2)中, 全稱命題的檢驗(yàn)問題已經(jīng)被簡化成單稱命題的檢驗(yàn)問題。當(dāng)然, 在(3)中, 全稱命題的檢驗(yàn)問題只簡化成特稱命題的檢驗(yàn)問題, 而從邏輯上說, 特稱命題是否總是不可證偽, 我們將另著文討論。
我們的模型具有更高邏輯緊致性的理由是由于在這個(gè)模型中待檢驗(yàn)蘊(yùn)涵是直接由理論推導(dǎo)出的, 這其實(shí)是將檢驗(yàn)對象從全稱命題轉(zhuǎn)移到了單稱命題, 而單稱命題具有比全稱命題更強(qiáng)的可檢驗(yàn)性。因此, 在我們的模型中待檢蘊(yùn)含能夠更容易的被斷定是真還是假, 如果是假, 那么原理論也就可被確定為假。但待檢蘊(yùn)含是如何被經(jīng)驗(yàn)所斷定的, 這個(gè)問題本身仍是開放的。
科學(xué)與非科學(xué)的劃界問題首先涉及的問題就是“什么是科學(xué)?”是理論、 文化還是一種活動?我們必須承認(rèn)科學(xué)是一個(gè)令人難以捉摸的事物, 不過至少作為理論的科學(xué), 其內(nèi)部的定理與陳述還是相當(dāng)明晰的
在我們的模型中, 證偽與證實(shí)的不對稱性是十分明顯的, 但這種不對稱性本身在科學(xué)檢驗(yàn)的邏輯程式中的兩個(gè)階段中也是不對稱的。這后一種不對稱性表明: 如果你最終想要檢驗(yàn)的是一個(gè)單稱陳述, 那么它的可證實(shí)性在原則上要優(yōu)于可證偽性。如果你最終想要檢驗(yàn)的是一個(gè)全稱陳述, 那么它的可證偽性在原則上有條件地說要優(yōu)于可證實(shí)性。原則上是指在邏輯上說, 可以通過經(jīng)驗(yàn)檢驗(yàn)。有條件地說是指, 在檢驗(yàn)的第一階段, 對單稱的相關(guān)輔助假說、 初始條件和邊界條件(F)的檢驗(yàn)相對于對作為受檢全稱科學(xué)陳述的單稱的待檢蘊(yùn)涵的檢驗(yàn)的獨(dú)立程度。如果能夠獨(dú)立地檢驗(yàn)(F)為真, 那么當(dāng)由(F)和待檢蘊(yùn)涵合取的對觀察結(jié)果的預(yù)言為假時(shí), 就能夠確定地知道待檢蘊(yùn)涵為假, 進(jìn)而確定地得到待檢全稱科學(xué)陳述為假。
科學(xué)定理總是由全稱性科學(xué)陳述所寫成, 因此, 科學(xué)定理具有可證偽性。如果從科學(xué)定理到科學(xué)理論再到科學(xué), 前者依次為后者的劃界的必要條件, 那么可證偽性就是科學(xué)劃界的必要條件, 這個(gè)問題仍需要進(jìn)一步探討。但至少認(rèn)為, 科學(xué)定理與其他因素共同形成(不一定是組成)了某些整體性的新條件, 這些新條件是科學(xué)劃界的必要條件或充分條件, 不過這些新條件很可能是在共時(shí)和歷時(shí)中都有實(shí)踐依賴性和文化依賴性的。
參考文獻(xiàn):
[1] 林定夷. 論科學(xué)理論的檢驗(yàn)結(jié)構(gòu)與檢驗(yàn)邏輯 [J]. 華南理工大學(xué)學(xué)報(bào)(社會科學(xué)版), 2008(2): 15-19.
[2] 林定夷. 波普爾關(guān)于科學(xué)與非科學(xué)劃界的理論 [J]. 華南理工大學(xué)學(xué)報(bào)(社會科學(xué)版), 2007(6): 21-26.