用户名 密码 看不清?点击更换 看不清?点击更换 忘记密码 注册   加入收藏  
 
 
对帕斯卡概率逻辑的批判性反思(1)-逻辑学
来源:  作者:李旭燕  点击:次  时间:2001-12-16 00:00于哲学网发表

   抛弃正规化公理科尔莫哥洛夫的概率函数可以取的最大值是1,看起来是约定俗成的。然而,它具有一些非平凡的推理。与其他公理相配套,它确保概率函数至少取两个不同的值,并且概率函数存在着一个最大值是非平凡的。实际上,雷伊(Re-nyi)在他的《概率的基础》(1967)中完全抛弃了正规化假定,允许概率取“∞”值。还有一些作者放松了经典逻辑对概率的限制,容许逻辑的或必然的真理被指派小于1的概率——也许是因为他们认为逻辑的或数学的猜想可以或多或少充分地被确证。此外,科尔莫哥洛夫公理2涉及了经典逻辑隐含地假定的“重言式”概念。相反,非经典逻辑的拥护者也许想用他们青睐的“重言式”的“异常”概念(也许需要在公理化时在别的地方作相应的调整)。因此,构造主义者主张概率论建立在直觉主义逻辑的基础之上。
  无穷概率科尔莫哥洛夫概率函数取实数值。许多哲学家,例如刘易斯和斯基尔姆等取消了这个假设,容许概率从分析的一个非标准模型的实数中取值。尤其是,他们容许概率是无穷的:正数但又小于每一(标准)实数。按照标准概率论,在无穷概率空间中的各种非空命题通常都会得到0概率,而这样一来,这些命题被指派正的概率实质上就会被认为是不可能的(考虑随机地选择来自[0,1]区间的一个点)。而在不可数空间里,正则概率函数不可避免要取无穷值。
  抛弃可数可加性科尔莫哥洛夫最有争议的公理无疑就是连续性公理——例如,可数可加性的“无穷部分”也就是如此。他把它看作是使数学精致的一种理想化,而没有任何经验意义。德·芬内蒂在他的《概率、归纳与统计》(1972)一书中列举了一组反驳这种观点的论证。其中一个具有代表性的论证是:可数可加性要求人们对事件的不可数划分指派极端有偏的分布。实际上,对于任何δ>0,无论多么小,都将存在着有穷数量的事件,这些事件具有至少1-δ组合概率,从而使所有的概率拥有最大的份额。
  抛弃有限可加性人们甚至提出了放弃有限可加性的各种概率论(所谓非可加性概率理论)。登普斯特-谢弗(Dempster-shafer)理论按照下列规则定义一个信念函数Bel(A):对于Ω的每一个子集A,Bel(A)就是A的子集的数之和。谢弗在《结构概率》(1981)中给出了这样的解释,假定主体将发现Ω上的某一命题,那么Bel(A)就是主体将发现A的信念度。Bel(A)+Bel(-A)不一定等于1;实际上Bel(A)和Bel(-A)从函数角度看是相互独立的,信念函数有许多与库普曼的下界概率相同的形式性质。蒙金(Mongin)在《认知逻辑与非可加性概率理论间的一些联系》(1994)中表明,认知模态逻辑与登普斯特-谢弗理论之间有着重要的联系。  所谓“培根式概率”表示另一种背离概率演算的非可加性概率。一个合取式的培根式概率等于这个合取支概率的最小值。这种“概率”在形式上类似于模糊逻辑的隶属函数。科恩在《可几的与可证的》(1977)中认为它们对于测度归纳支持和评价法庭证据是恰当的。
  其他学者如杰拉答托(Ghirardato)的含混背离模型、沙克尔的潜在惊奇函数、杜波依斯(Dubois)和普拉德(Prade)的弗晰(fuzzy)概率理论、施梅德勒(Schmeidler)和韦克尔(Wakker)分别提出的期望效用理论以及斯庞(Spohn)的非概率信念函数理论有助于我们进一步了解非可加性概率理论。而在杰拉答托的《不确定性的非可加性测度》(1993)和豪森《概率论》(1995)中有更多的讨论。
  
  三、对非科尔莫哥洛夫概率理论的评析
  
  如上所述,虽然符合经典概率演算系统的概率逻辑(即帕斯卡概率逻辑)就其本身来说是正确的,但它的效力还不够大,于是人们自然期望对帕斯卡概率逻辑放松限制,这就导致了非科尔莫哥洛夫概率理论的出现。由于非科尔莫哥洛夫概率理论抛弃了科尔莫哥洛夫公理系统的某些部分,许多学者因而放弃了对科尔莫哥洛夫概率演算作出恰当解释的追求。根据哈克的观点,“如果一个系统与另一个系统有着共同的词汇,但却有一个不同的定理/有效推理的集合,那么,这个系统就是对第一个系统的偏离;一种异常逻辑就是一个偏离了经典逻辑的系统”。陈波也认为,“变异逻辑就是由否定或修改经典逻辑的一个或多个假定而导致的系统,它们至少在某些定理上与经典逻辑不一致”。非科尔莫哥洛夫概率理论由于对经典概率演算系统的公设或公理进行了修改或放松了限制,因而是一种异常逻辑。
  具体地说,非科尔莫哥洛夫概率理论放松了帕斯卡概率逻辑对概率赋值与概率函数的限制或者否定了经典概率演算系统的某些部分。主要表现在:第一,经典概率演算系统只允许基本概率在[0,1]区间取值,而非科尔莫哥洛夫概率理论使概率的取值范围扩大了,例如,他们认为概率值可以取否定和复数值,或者他们允许概率是无穷的;第二,他们认为经典概率演算的某些部分是不可接受的,因而他们抛弃了科尔莫哥洛夫公理系统的某些部分,比如抛弃西格马子结构、抛弃精确概率、完全抛弃数学概率、抛弃正规化公理和抛弃可数可加性;第三,由于抛弃了科尔莫哥洛夫概率演算的有限可加性,因而经典概率演算系统中的正则性、明确性和有限可加性不再成立。科尔莫哥洛夫概率系统与非科尔莫哥洛夫概率理论的关系类似于经典逻辑与相干逻辑或直觉主义逻辑的关系:因此可推断出,非科尔莫哥洛夫概率理论是帕斯卡概率逻辑的变异。
  我们可以通过对沙克尔的潜在惊奇理论和柯恩的归纳支持和归纳概率分级句法理论的分析来说明非科尔莫哥洛夫概率理论是一种异常逻辑。沙克尔首先认识到:对于人文系统中的不确定试验,一般来说不可能事先构造样本空间Ω,于是他提出了第一个非帕斯卡概率理论——潜在惊奇理论来描述非分布式不确定性——即当事人不可能事先构造Ω时所面临的不确定性。潜在惊奇理论是度量x关于某一假说的潜在惊奇值和潜在惊奇值运算规则的理论。因此,它是非帕斯卡概率的主观主义解释。潜在惊奇理论具有一系列不同于帕斯卡概率的特征:(1)非分布式不确定性度量定义在不完全样本空间上;(2)在该样本空间中不存在必然事件;(3)任一属于该样本空间的事件h不发生时,~h并不必然发生,即帕斯卡概率论的互补律在此不成立。由于沙克尔的潜在惊奇理论否定了帕斯卡概率论的互补律,因而这一理论可以被看作是一种异常逻辑。
  柯恩在对培根和穆勒的排除归纳法研究的基础上,独立地提出第二个非帕斯卡概率理论——归纳支持和归纳概率分级句法理论。柯恩继承了培根思想中的恰当性方面并且扬弃了卡尔纳普归纳逻辑不恰当的方面,柯恩归纳逻辑的主要特点是强调归纳逻辑与自然科学和社会生活实际的紧密联系,即注重归纳逻辑的恰当性和可应用性。他认为,归纳逻辑的形式系统应与不完全理论系统相协调。因而,他以否定的非互补律取代了否定的互补律;在柯恩的系统中,排中律不成立;关于事实问题的非帕斯卡概率不具有可加性,而只能分等级;考虑到科学实际中假说h不能作为证据,他以特有的合取原理取代了合取乘法原理。显然,所有这些表明了柯恩的归纳逻辑是一种异常逻辑。柯恩系统在法庭证明领域、科学方法论的接受理论领域、科学说明领域、性向领域以及语法理论领域都能应用,因此表明了比经典概率演算系统具有更大的可行性。
  总而言之,从某种意义上说,非科尔莫哥洛夫概率理论实际上是帕斯卡概率逻辑的发展,因为非科尔莫哥洛夫概率理论是一些学者在帕斯卡概率的各种解释遇到这样那样困难的情况下提出来的。非科尔莫哥洛夫概率理论与经典概率演算系统之间虽然是竞争的,但它们可以同时存在,因为它们的支持者从他们各自不同的立场出发研究概率逻辑。

 



哲学网编辑部 未经授权禁止复制或建立镜像
地址:上海市虹梅南路5800号2座416室 邮编:200241
ICP证号:晋ICP备 05006844号