對帕斯卡概率邏輯的批判性反思

　　[摘要]針對帕斯卡概率邏輯的哲學(xué)探討存在的局限性，文章試圖從語(yǔ)形方面對經(jīng)典概率演算系統進(jìn)行修改或否定來(lái)研究概率邏輯。一些學(xué)者認為初始概率可以不滿(mǎn)足概率演算，從而催生了一些非科爾莫哥洛夫概率理論。實(shí)際上，非科爾莫哥洛夫概率理論是帕斯卡概率邏輯的變異，或者從某種意義上說(shuō)，非科爾莫哥洛夫概率理論是帕斯卡概率邏輯的發(fā)展。
　　[關(guān)鍵詞]帕斯卡概率邏輯；概率解釋?zhuān)环强茽柲�哥洛夫概率理�?
　　　
　　帕斯卡概率邏輯的哲學(xué)探討到目前為止已經(jīng)取得了不少的進(jìn)展和突破，尤其是最近幾十年來(lái)才發(fā)展起來(lái)的性向(propensity)解釋和主體交互(in-tersubjective)解釋。不過(guò)，盡管帕斯卡概率解釋發(fā)展到今天已經(jīng)取得了很大的成就，但這并不表示它們已經(jīng)發(fā)展到了頂點(diǎn)。相反，帕斯卡概率的各種解釋還存在著(zhù)一定的局限性或者遇到了一些困難。于是，出于長(cháng)足推進(jìn)我國歸納邏輯發(fā)展的需要，總結和反思帕斯卡概率邏輯哲學(xué)研究的現狀，瞻望歸納邏輯發(fā)展的更高形態(tài)就是必要的和重要的了。
　　
　　一、各種概率解釋的局限性
　　
　　概率理論是由帕斯卡開(kāi)創(chuàng )，并且由科爾莫哥洛夫實(shí)現公理化的經(jīng)典概率演算系統。這種理論主要是作為數學(xué)概率論而發(fā)展起來(lái)的，但人們是在最廣泛的意義上使用概率概念的，對概率的解釋不同，也就產(chǎn)生了各自有別的測定概率值的方法，由此便導致了不同類(lèi)型的概率邏輯系統。于是帕斯卡概率便出現了以下幾種主要的解釋?zhuān)哼壿嫿忉�、主觀(guān)解釋、頻率解釋、性向解釋以及主體交互解釋。這些概率解釋都具有一定的恰當性和可應用性，但同時(shí)它們又不可避免地存在一定的局限性。具體地說(shuō)：
　　在邏輯解釋中，凱恩斯與卡爾納普都采用了無(wú)差別原則作為邏輯原則。但無(wú)差別原則毫無(wú)疑問(wèn)會(huì )導致悖論，例如，關(guān)于書(shū)的悖論、酒—水悖論和幾何學(xué)概率的悖論。雖然對一些這樣的悖論有獨特的解決方法，但是沒(méi)有任何普遍的方法把它們都消除掉。任何使用無(wú)差別原則的人從來(lái)都不能肯定它是否和什么時(shí)候將出現矛盾。因此，唯一安全的策略就是完全地拋棄這個(gè)原則，并且這樣做意味著(zhù)放棄邏輯解釋——至少放棄它的傳統形式。
　　在信息不充分的情況下，主觀(guān)解釋是比較適用的，因而它極大地拓寬了概率論的應用范圍，使得人們的意見(jiàn)、判斷、評價(jià)、信念等主觀(guān)的東西都可以通過(guò)信念度來(lái)測量。例如1999年春夏之際，北約對南聯(lián)盟進(jìn)行空中打擊，狂轟亂炸，久攻不下。當時(shí)人們紛紛猜測北約會(huì )不會(huì )向南聯(lián)盟派遣地面部隊，這種事情發(fā)生的可能性究竟有多大?我們就可以用主觀(guān)信念度來(lái)表示“北約向南聯(lián)盟派遣地面部隊”這一事件的概率。但是，由于主觀(guān)解釋允許具有同樣證據的不同主體對同一假說(shuō)可以合理地賦予不同的概率，從而使得人們在確定初始概率或先驗概率上具有相當大的主觀(guān)任意性。拉姆齊認為，除了滿(mǎn)足概率公理之外，沒(méi)有什么可以唯一地確定先驗概率或初始概率。主觀(guān)標準的隨意性遭受到了許多的批評，對于這一困難，德·芬內蒂提出了著(zhù)名的“意見(jiàn)收斂定理”加以保證。但由于意見(jiàn)收斂定理必須滿(mǎn)足的前提即所討論事件的可換性也遭到了許多批評，這就使得人們用主觀(guān)概率來(lái)表達客觀(guān)概率的期望成為泡影。因而，主觀(guān)主義者們繞了一個(gè)大彎又回到了起點(diǎn)，即對基本概率的確定是主觀(guān)任意的，唯一的限制是滿(mǎn)足概率公理。
　　由于頻率解釋把概率定義為事件在無(wú)窮序列中的相對頻率的極限，因而這種解釋在科學(xué)確證的過(guò)程中遇到了許多困難。例如，對于單個(gè)事件，如何確定它的概率；對于休謨問(wèn)題，又是如何解決的。而性向解釋(主要指長(cháng)趨勢性向解釋)在一系列問(wèn)題上明顯優(yōu)越于頻率解釋?zhuān)盒韵蚪忉屖且环N關(guān)于概念創(chuàng )新的非操作主義理論，這種非操作主義理論在自然科學(xué)中解釋概念創(chuàng )新比馮·米瑟斯的操作主義更好；性向解釋消除了關(guān)于無(wú)限聚合的所有問(wèn)題，并且通過(guò)為概率陳述引入一種可證偽規則，這個(gè)規則對概率與十分適合標準統計實(shí)踐的頻率之間的關(guān)系給出了一種解釋?zhuān)恍韵蚪忉屚ㄟ^(guò)把隨機和獨立歸約為獨立的排除了馮·米瑟斯對這兩個(gè)不同概念的介紹；性向解釋通過(guò)把概率與可重復的條件而不是聚合聯(lián)結起來(lái)容許演算的更廣泛應用；性向解釋更符合科爾莫哥洛夫公理和對概率使用測度理論的現代數學(xué)方法，因為它容許概率作為一種未被定義的概念被引入；等等。就所有這些觀(guān)點(diǎn)來(lái)說(shuō)，我們認為性向解釋已經(jīng)替代了頻率解釋并且是當前可利用的有效的客觀(guān)解釋。然而，人們對性向概念的理解遠不止這些，并且隨著(zhù)科學(xué)的發(fā)展而發(fā)展，同時(shí)又不可避免地存在各種各樣的異議和含糊。
　　主體交互解釋把概率看作是關(guān)于一個(gè)群體的共同信念度。被用來(lái)介紹主體交互概率的荷蘭賭論證表明，如果這個(gè)群體同意一個(gè)共同的賭商，那么這個(gè)共同的賭商就會(huì )保護他們不被狡猾的對手打輸。荷蘭賭論證向群體的擴展僅僅對具有共同旨趣的群體有意義。這表明了這樣的群體應該在其內部建立交流和信息流，使得他們通過(guò)討論能夠形成一致意見(jiàn)或主體交互概率。只有通過(guò)這種方式整個(gè)群體才能保護自己不輸給狡猾的對手。但是，主體交互解釋也不可避免地存在著(zhù)一些問(wèn)題，例如它只適用于具有共同旨趣的社會(huì )群體，而對一個(gè)缺乏共同旨趣的群體沒(méi)有有效性，因為每個(gè)個(gè)體都將不關(guān)心這個(gè)群體的其他成員發(fā)生什么事情，因而每個(gè)個(gè)體將形成他或她自己的主觀(guān)概率而不考慮其他人的信念；主體交互概率概念對宗教流派、政治黨派等社會(huì )群體來(lái)說(shuō)是合適的概念，但他們通常沒(méi)有達到包含全體人類(lèi)。
　　以上是我們對符合經(jīng)典概率演算的各種解釋的分析和論述。很顯然，主觀(guān)解釋、主體交互解釋以及性向解釋是當前可利用的比較有效的概率解釋?zhuān)�它們都具有一定的恰當性和可應用性，但同時(shí)它們又不可避免地存在著(zhù)一定的局限性。因此，一些學(xué)者試圖從語(yǔ)形方面對經(jīng)典概率演算系統進(jìn)行修改或否定來(lái)研究概率邏輯�！　《�、非科爾莫哥洛夫概率理論
　　
　　在主觀(guān)解釋中，貝葉斯主義者支持的更新規則是條件化：Pr更新(A)=Pr初始(AIE)(只須Pr初始)。后來(lái)，劉易斯(Lewis)對條件化給出了一個(gè)“歷時(shí)的”荷蘭賭論證。杰弗里(Jeffrey)條件化的規則或概率運動(dòng)學(xué)將按照下式把主體的更新概率函數與初始概率函數聯(lián)系起來(lái)：Pr更新(A)=∑Pr初始(AIE)Pr更新(Ei)。正統貝葉斯主義可以用下列原則刻畫(huà)：(1)理性主體的“先驗”(初始)概率符合概率演算；(2)理性主體的概率借助(杰弗里)條件化規則來(lái)更新；(3)對理性主體沒(méi)有任何進(jìn)一步的約束。
　　但是正統貝葉斯主義遭到了他們的批評，說(shuō)它的要求過(guò)分了：它對所有命題、邏輯全知者等等指派精確概率的要求一直被有些人看作是不合情理的理想化。這就導致了對上述原則(1)和(2)的各種放寬。原則(2)可以被弱化以容許除條件化之外的概率更新的其他規則——例如，Jaynes和斯基爾姆(Skyrms)認為在相關(guān)限制的條件下，對使熵極大化的概率函數加以修改。而一些貝葉斯主義者例如厄爾曼(Earman)則放棄了概率更新完全是由規則支配的要求。對原則(1)的放寬是一個(gè)大論題，它催生了一些非科爾莫哥洛夫概率理論。下面我們將簡(jiǎn)要地介紹一些這樣的系統，并指出它們與各種邏輯之間的聯(lián)系。
　　拋棄西格馬域子結構科爾莫哥洛夫把Ω子集的一個(gè)非空聚合F稱(chēng)為Ω上的一個(gè)西格馬域，當且僅當，F在取余運算和可數的組合之下閉合。法恩(Fine)在他的《概率論》(1973)論證說(shuō)，概率函數的域應該是西格馬域的要求是過(guò)分地限制的。例如，人們可能擁有對于種族和性別的達成共識的有窮材料，這些材料給出了關(guān)于一個(gè)隨機選定的人是男人的概率Pr(M)和這個(gè)人是黑的的概率Pr(B)充分的信息，而沒(méi)有給出關(guān)于這個(gè)人既是男人又是黑人的概率Pr(M∩B)的任何信息。因此他認為，應該拋棄西格馬子結構，使概率函數的域不用限制于西格馬域。
　　拋棄精確概率每一個(gè)科爾莫哥洛夫概率都是一個(gè)單獨的數字。但是，假定一個(gè)主體的意見(jiàn)狀態(tài)并不決定單獨的概率函數，而是與這些函數的積相一致。在這種情況下，人們可以把該主體的意見(jiàn)表達為所有這些函數的集合；并且這個(gè)集合的每一函數都合法地對應于一種確定主體意見(jiàn)的方法，這種方法通常與區間值概率指派相吻合，但并非一定如此。例如，杰弗里在他的《概率與判斷的藝術(shù)》(1992)和萊維(Levi)在他的《知識的冒險精神》(1980)中都持這一觀(guān)點(diǎn)。庫普曼在他的《概率基礎》(1980)提出了關(guān)于可能會(huì )被認為是這種區間終點(diǎn)的“上界”和“下界”概率的公理。沃利在《關(guān)于不精確概率的統計推理》(1991)一書(shū)中也提出了對不精確概率的擴展研究。
　　完全拋棄數字概率與迄今為止所假定的“定量的”概率相對照，法恩在他的《概率論》中傾向于深入探討各種比較概率的理論，他通過(guò)形如“A至少像B那樣概然(A≥B)”的陳述來(lái)舉例說(shuō)明這種概率。他提出了支配著(zhù)“≥”的公理，并探討了比較概率能夠以科爾莫哥洛夫概率表達的條件。
　　否定的概率和復數值概率迪拉克(Dirac)、威格納(Wigner)以及范曼(Feynman)等物理學(xué)家更激進(jìn)地主張否定的概率。例如，范曼建議說(shuō)，在一維標尺中粒子的漫射具有一個(gè)存在于給定位置和時(shí)間的概率，這個(gè)概率是由取否定值的一個(gè)量值給定的。然而，由于是取決于如何對概率作出解釋?zhuān)�人們�?shí)際上是想說(shuō)，這種函數與概率函數有某種相似性，但是當它取否定值時(shí)，這種相似性就被沒(méi)有了�？伎怂�(Cox)在他的連續時(shí)間具有離散狀態(tài)的隨機過(guò)程理論中容許概率在復數中取值�？娍蠞h姆(Mückenheim)在他的《對擴展概率的回顧》(1986)一書(shū)中也持同樣的看法。

　　拋棄正規化公理科爾莫哥洛夫的概率函數可以取的最大值是1，看起來(lái)是約定俗成的。然而，它具有一些非平凡的推理。與其他公理相配套，它確保概率函數至少取兩個(gè)不同的值，并且概率函數存在著(zhù)一個(gè)最大值是非平凡的。實(shí)際上，雷伊(Re-nyi)在他的《概率的基礎》(1967)中完全拋棄了正規化假定，允許概率取“∞”值。還有一些作者放松了經(jīng)典邏輯對概率的限制，容許邏輯的或必然的真理被指派小于1的概率——也許是因為他們認為邏輯的或數學(xué)的猜想可以或多或少充分地被確證。此外，科爾莫哥洛夫公理2涉及了經(jīng)典邏輯隱含地假定的“重言式”概念。相反，非經(jīng)典邏輯的擁護者也許想用他們青睞的“重言式”的“異常”概念(也許需要在公理化時(shí)在別的地方作相應的調整)。因此，構造主義者主張概率論建立在直覺(jué)主義邏輯的基礎之上。
　　無(wú)窮概率科爾莫哥洛夫概率函數取實(shí)數值。許多哲學(xué)家，例如劉易斯和斯基爾姆等取消了這個(gè)假設，容許概率從分析的一個(gè)非標準模型的實(shí)數中取值。尤其是，他們容許概率是無(wú)窮的：正數但又小于每一(標準)實(shí)數。按照標準概率論，在無(wú)窮概率空間中的各種非空命題通常都會(huì )得到0概率，而這樣一來(lái)，這些命題被指派正的概率實(shí)質(zhì)上就會(huì )被認為是不可能的(考慮隨機地選擇來(lái)自[0，1]區間的一個(gè)點(diǎn))。而在不可數空間里，正則概率函數不可避免要取無(wú)窮值。
　　拋棄可數可加性科爾莫哥洛夫最有爭議的公理無(wú)疑就是連續性公理——例如，可數可加性的“無(wú)窮部分”也就是如此。他把它看作是使數學(xué)精致的一種理想化，而沒(méi)有任何經(jīng)驗意義。德·芬內蒂在他的《概率、歸納與統計》(1972)一書(shū)中列舉了一組反駁這種觀(guān)點(diǎn)的論證。其中一個(gè)具有代表性的論證是：可數可加性要求人們對事件的不可數劃分指派極端有偏的分布。實(shí)際上，對于任何δ＞0，無(wú)論多么小，都將存在著(zhù)有窮數量的事件，這些事件具有至少1-δ組合概率，從而使所有的概率擁有最大的份額。
　　拋棄有限可加性人們甚至提出了放棄有限可加性的各種概率論(所謂非可加性概率理論)。登普斯特－謝弗(Dempster-shafer)理論按照下列規則定義一個(gè)信念函數Bel(A)：對于Ω的每一個(gè)子集A，Bel(A)就是A的子集的數之和。謝弗在《結構概率》(1981)中給出了這樣的解釋?zhuān)�假定主體將發(fā)現Ω上的某一命題，那么Bel(A)就是主體將發(fā)現A的信念度。Bel(A)+Bel(-A)不一定等于1；實(shí)際上Bel(A)和Bel(-A)從函數角度看是相互獨立的，信念函數有許多與庫普曼的下界概率相同的形式性質(zhì)。蒙金(Mongin)在《認知邏輯與非可加性概率理論間的一些聯(lián)系》(1994)中表明，認知模態(tài)邏輯與登普斯特－謝弗理論之間有著(zhù)重要的聯(lián)系�！　∷�謂“培根式概率”表示另一種背離概率演算的非可加性概率。一個(gè)合取式的培根式概率等于這個(gè)合取支概率的最小值。這種“概率”在形式上類(lèi)似于模糊邏輯的隸屬函數�？贫髟凇犊蓭椎呐c可證的》(1977)中認為它們對于測度歸納支持和評價(jià)法庭證據是恰當的。
　　其他學(xué)者如杰拉答托(Ghirardato)的含混背離模型、沙克爾的潛在驚奇函數、杜波依斯(Dubois)和普拉德(Prade)的弗晰(fuzzy)概率理論、施梅德勒(Schmeidler)和韋克爾(Wakker)分別提出的期望效用理論以及斯龐(Spohn)的非概率信念函數理論有助于我們進(jìn)一步了解非可加性概率理論。而在杰拉答托的《不確定性的非可加性測度》(1993)和豪森《概率論》(1995)中有更多的討論。
　　
　　三、對非科爾莫哥洛夫概率理論的評析
　　
　　如上所述，雖然符合經(jīng)典概率演算系統的概率邏輯(即帕斯卡概率邏輯)就其本身來(lái)說(shuō)是正確的，但它的效力還不夠大，于是人們自然期望對帕斯卡概率邏輯放松限制，這就導致了非科爾莫哥洛夫概率理論的出現。由于非科爾莫哥洛夫概率理論拋棄了科爾莫哥洛夫公理系統的某些部分，許多學(xué)者因而放棄了對科爾莫哥洛夫概率演算作出恰當解釋的追求。根據哈克的觀(guān)點(diǎn)，“如果一個(gè)系統與另一個(gè)系統有著(zhù)共同的詞匯，但卻有一個(gè)不同的定理／有效推理的集合，那么，這個(gè)系統就是對第一個(gè)系統的偏離；一種異常邏輯就是一個(gè)偏離了經(jīng)典邏輯的系統”。陳波也認為，“變異邏輯就是由否定或修改經(jīng)典邏輯的一個(gè)或多個(gè)假定而導致的系統，它們至少在某些定理上與經(jīng)典邏輯不一致”。非科爾莫哥洛夫概率理論由于對經(jīng)典概率演算系統的公設或公理進(jìn)行了修改或放松了限制，因而是一種異常邏輯。
　　具體地說(shuō)，非科爾莫哥洛夫概率理論放松了帕斯卡概率邏輯對概率賦值與概率函數的限制或者否定了經(jīng)典概率演算系統的某些部分。主要表現在：第一，經(jīng)典概率演算系統只允許基本概率在[0，1]區間取值，而非科爾莫哥洛夫概率理論使概率的取值范圍擴大了，例如，他們認為概率值可以取否定和復數值，或者他們允許概率是無(wú)窮的；第二，他們認為經(jīng)典概率演算的某些部分是不可接受的，因而他們拋棄了科爾莫哥洛夫公理系統的某些部分，比如拋棄西格馬子結構、拋棄精確概率、完全拋棄數學(xué)概率、拋棄正規化公理和拋棄可數可加性；第三，由于拋棄了科爾莫哥洛夫概率演算的有限可加性，因而經(jīng)典概率演算系統中的正則性、明確性和有限可加性不再成立�？茽柲�哥洛夫概率系統與非科爾莫哥洛夫概率理論的關(guān)系類(lèi)似于經(jīng)典邏輯與相干邏輯或直覺(jué)主義邏輯的關(guān)系：因此可推斷出，非科爾莫哥洛夫概率理論是帕斯卡概率邏輯的變異。
　　我們可以通過(guò)對沙克爾的潛在驚奇理論和柯恩的歸納支持和歸納概率分級句法理論的分析來(lái)說(shuō)明非科爾莫哥洛夫概率理論是一種異常邏輯。沙克爾首先認識到：對于人文系統中的不確定試驗，一般來(lái)說(shuō)不可能事先構造樣本空間Ω，于是他提出了第一個(gè)非帕斯卡概率理論——潛在驚奇理論來(lái)描述非分布式不確定性——即當事人不可能事先構造Ω時(shí)所面臨的不確定性。潛在驚奇理論是度量x關(guān)于某一假說(shuō)的潛在驚奇值和潛在驚奇值運算規則的理論。因此，它是非帕斯卡概率的主觀(guān)主義解釋。潛在驚奇理論具有一系列不同于帕斯卡概率的特征：(1)非分布式不確定性度量定義在不完全樣本空間上；(2)在該樣本空間中不存在必然事件；(3)任一屬于該樣本空間的事件h不發(fā)生時(shí)，～h并不必然發(fā)生，即帕斯卡概率論的互補律在此不成立。由于沙克爾的潛在驚奇理論否定了帕斯卡概率論的互補律，因而這一理論可以被看作是一種異常邏輯。
　　柯恩在對培根和穆勒的排除歸納法研究的基礎上，獨立地提出第二個(gè)非帕斯卡概率理論——歸納支持和歸納概率分級句法理論�？露骼^承了培根思想中的恰當性方面并且揚棄了卡爾納普歸納邏輯不恰當的方面，柯恩歸納邏輯的主要特點(diǎn)是強調歸納邏輯與自然科學(xué)和社會(huì )生活實(shí)際的緊密聯(lián)系，即注重歸納邏輯的恰當性和可應用性。他認為，歸納邏輯的形式系統應與不完全理論系統相協(xié)調。因而，他以否定的非互補律取代了否定的互補律；在柯恩的系統中，排中律不成立；關(guān)于事實(shí)問(wèn)題的非帕斯卡概率不具有可加性，而只能分等級；考慮到科學(xué)實(shí)際中假說(shuō)h不能作為證據，他以特有的合取原理取代了合取乘法原理。顯然，所有這些表明了柯恩的歸納邏輯是一種異常邏輯�？露飨到y在法庭證明領(lǐng)域、科學(xué)方法論的接受理論領(lǐng)域、科學(xué)說(shuō)明領(lǐng)域、性向領(lǐng)域以及語(yǔ)法理論領(lǐng)域都能應用，因此表明了比經(jīng)典概率演算系統具有更大的可行性。
　　總而言之，從某種意義上說(shuō)，非科爾莫哥洛夫概率理論實(shí)際上是帕斯卡概率邏輯的發(fā)展，因為非科爾莫哥洛夫概率理論是一些學(xué)者在帕斯卡概率的各種解釋遇到這樣那樣困難的情況下提出來(lái)的。非科爾莫哥洛夫概率理論與經(jīng)典概率演算系統之間雖然是競爭的，但它們可以同時(shí)存在，因為它們的支持者從他們各自不同的立場(chǎng)出發(fā)研究概率邏輯。

【對帕斯卡概率邏輯的批判性反思】相關(guān)文章：

淺談帕斯卡概率邏輯的批判性反思03-26

概率歸納邏輯的興起03-07

關(guān)于論文寫(xiě)作中的批判性思維12-07

科學(xué)邏輯導論03-01

Peirce*邏輯代數03-02

概率知識在現實(shí)中的利用03-23

全概率公式的推廣與應用03-07

大話(huà)學(xué)者和大話(huà)邏輯──讀何新《泛演化邏輯引論》03-21

小概率事件原理及其應用03-07