概率归纳逻辑分析论文

时间:2022-01-05 04:26:00

导语:概率归纳逻辑分析论文一文来源于网友上传,不代表本站观点,若需要原创文章可咨询客服老师,欢迎参考。

概率归纳逻辑分析论文

一、概率归纳逻辑的开创

18世纪40年代,休谟指出归纳推理不具有逻辑必然性,认为它只把真前提同可能的结论相联系,是主观的、心理的,不曾想到当时概率论所揭示的或然性的客观意义及其对归纳的可能应用。穆勒在《逻辑体系》中以很大篇幅讨论了偶然性问题,认为概率论只同经验定律的建立有关,而与作为因果律的科学定律的建立无关。惠威尔也对偶然性作过讨论,但与穆勒一样,并未想到把概率论应用于归纳。直到1859年,德国化学家本生(R.W.Bunsen)和基尔霍夫(G.R.Kirchoff)用统计方法分析太阳光谱的元素组成等科学活动,进一步引起科学方法论家对统计推理问题的注意。许多科学方法论家认为科学结论不是确定的,而是或然的,开始尝试把归纳还原为概率论。

最早将归纳同概率相结合的是德摩根和耶方斯。德摩根将一般除法定理和贝叶斯定理应用于科学假说。但是布尔(Boole)抓住了它的缺点,即运用贝叶斯推理给科学假说的概率带来更大的任意性,至此否定了概率归纳逻辑的方向。在70年代耶方斯作出重大开创性工作之前,这方面的工作基本趋于沉寂。耶方斯发展了布尔代数,他一方面有着关于归纳本质的方法论考虑,另一方面,他将数学应用于发展演绎逻辑的同时,也将数学应用于发展归纳逻辑。他在《科学原理》中说明:“如果不把归纳方法建立于概率论,那么,要恰当地阐释它们便是不可能的。”[1]耶方斯认为一切归纳推理都是概率的。

耶方斯的工作实现了古典归纳逻辑向现代归纳逻辑的过渡。

二、现代概率归纳逻辑

现代概率归纳逻辑始于20世纪20年代,逻辑学家凯恩斯、尼科(Nicod)及卡尔纳普和莱欣巴赫(Reichenbach)等人,采用不同的确定基本概率的原则及对概率的不同解释,形成不同的概率归纳逻辑学派。

凯恩斯将概率与逻辑相结合,认为归纳有效度和合理性的本质是一个逻辑问题,而不是经验的或形而上学的问题。他提出了“概率关系”的概念:假设任一命题集合组成前提h,任一命题集合组成结论a,若由知识h证实a的合理逻辑信度为α,我们称a和h间的“概率关系”的量度为α,记作a/h=α。并着眼于构造两个命题间的逻辑关系的合理体系,但未取得成功。而且他认为,大多数概率关系不可测,许多概率关系不可比较。但他在推进归纳逻辑与概率理论的结合上,作出了历史性的贡献,是现代归纳逻辑的一位“开路先锋”。

逻辑主义的概率归纳逻辑的代表卡尔纳普,在20世纪50年代提出概率逻辑系统,这一体系宣告了归纳逻辑的演绎化、形式化和定量化,将概率归纳逻辑推向了“顶峰”。卡尔纳普认为休谟说的归纳困难并不存在,归纳也是逻辑,并且也有像演绎一样的严格规则。施坦格缪勒(Stegmuller)指出:“2500年前,亚里士多德开始把正确的演绎推理的规则昭示世人,同样,卡尔纳普现在以精确表述归纳推理的规则为己任。”[2]演绎的逻辑基础在于它的分析性,所以,从维特根斯坦和魏斯曼(Waismann)就开始致力于把它改造为逻辑的概率概念,以使概率归纳成为分析性的。卡尔纳普完成了这一发展。他说:“我的思想的信条之一是,逻辑的概率概念是一切归纳推理的基础……因此,我称逻辑概率理论为‘归纳逻辑’。”[3]他并把此概念直接发展为科学的推理工具:“我相信,逻辑概率概念应当为经验科学方法论的基本概念,即一个假说为一给定证据所确证的概念提供一个精确的定量刻画。因此,我选用‘确证度’这个术语作为逻辑概率刻画的专门术语。”[3]与凯恩斯一样,卡尔纳普把概率1解释作句子e和h间的逻辑关系,表达式是c(h,e)=r,读作“证据e对假说h的逻辑确证度是r”。这样,归纳便是分析性的了,演绎推理是完全蕴涵,归纳推理是部分蕴涵,即归纳是演绎的一种特例。此外,卡尔纳普所想要的归纳逻辑还是定量的,他希望最终找到足够多的明确而可行的规则,使C(e,h)的计算成为只是一种机械的操作,以将他与凯恩斯严格区分开来。

20世纪30年代,莱欣巴赫建立了他的概率逻辑体系,被称为经验主义的概率归纳逻辑。他用频率说把概率定义为,重复事件在长趋势中发生的相对频率的极限。这种方法简单实用,但却带来两方面的困难。首先,上述极限定义是对于无数次重复事件的概率而言的。那如何找出一种测定假说真假的相对频率的方法呢?其次,对单一事件或单一假说怎么处理呢?所以频率说只适用于经验事件的概率,其合理性的辩护非常困难。它所面临的最大困难就是找不到由频率极限过渡到单个事件概率的适当途径。为此,莱欣巴赫建议把“概率”概念推广到虚拟的、平均化的“单个”事件,引进了单个事件的“权重(Weight)”概念,试图把理想化的单个事件的概率或“权重”事先约定与对应的同质事件的无限序列的极限频率视作同一。但这与他的初衷相背,频率论者不得不由原先主张的客观概率转向主观概率了。

对概率的前两种解释都着眼于概率的客观量度,然而对随机事件的概率预测离不开主观的信念与期望。主观主义概率归纳逻辑发端于20世纪30年代,创始人是拉姆齐(F.P.Ramsey)和菲尼蒂(DeFinetti)。它将概率解释为“合理相信程度”或“主体x对事件A的发生,或假说被证实的相信程度。”表明,如果按贝叶斯公理不断修正验前概率,那么无论验前概率怎样,验后概率将趋于一致;这样,验前概率的主观性和任意性就无关紧要了,因为它们终将淹没在验后概率的客观性和确定性之中。一个人对被检验假设的验前概率是由他当时的背景知识决定的。

主观概率充分注意到推理的个人意见及心理对于概率评价的相关性,意义重大。但是,人们在做出置信函项时,除了“一贯性”的较弱限制外,很难在多种合理置信函项间作出比较和选择。

三、概率归纳逻辑兴起的原因

概率归纳逻辑是伴随现代科学、现代演绎逻辑、归纳逻辑本身的发展而兴起的。

概率归纳逻辑兴起的原因大致有:(1)现代科学的发展。对微观粒子的运动只能采用概率的方法,因此,西方科学界出现了否定因果决定论而接受概率论的观念。(2)较完备的概率理论。特别是20世纪以来,它具备了严格的数学基础,而且被广泛应用于各种领域。(3)归纳逻辑本身要求进一步完善和精确化。人们要求对单称事件陈述对全称理论陈述的归纳支持作出量的精确刻画。逻辑的数学化,数学的逻辑化,穆勒已经注意到归纳与概率的关系,耶方斯等将归纳与概率结合。(4)以数理逻辑为主干的现代演绎逻辑逐渐成熟,从而使得一些逻辑学家热衷于将现代演绎的形式化、公理系统方法与概率论方法协调起来,以运用于归纳逻辑的研究。(5)对归纳法的合理性问题的探索。休谟的归纳问题一直是个哲学难题。现代归纳逻辑的种种体系,几乎都可以看成是对这个问题不断作出回答。上述三种概率归纳逻辑体系也无例外,都是为求得归纳推理的合理性,或对归纳论证进行改进,或把结论改成概率的陈述,使归纳逻辑被构造成演绎逻辑的一个分支,或用实用主义策略使归纳即使不是有效的,至少也有存在的理由。所以说概率逻辑是以现代演绎逻辑和概率论为工具,形式化、定量化的归纳逻辑。

20世纪50年代以后,科学技术步入一个新的阶段,概率论与数理统计、数理逻辑等相关学科取得新的发展,特别是计算机科学技术以及多学科交叉发展的趋势,使现代归纳逻辑的研究进入到一个新阶段,出现了一些新的趋势和特点。

第一,面临归纳演绎化的困难,出现了非概率化、非数量化的趋势,有的用有序化、等级化来代替,有的将定性的研究重新放到重要的位置上,有的又再度重视如模态、因果概念的结合使用等等。

第二,将主观因素与客观因素相结合,将纯逻辑研究与其他学科相结合。这就不能只限于语构层次,而要考虑语义、语用层次,就要涉及心理学、社会学等方面的研究。而且不能脱离所涉及的具体过程(实验)与学科。

第三,对归纳逻辑的研究与整个思维科学、信息科学的研究联系起来。归纳是一类复杂性问题,决不是单靠纯逻辑所能解决的。归纳远比演绎复杂,须与多学科结合起来进行系统研究。

第四,归纳逻辑的研究与当前的科技相互影响、相互作用。申农提出的信息论仅是相当于语形的统计信息模型。而信息的语义层次的研究都出自卡尔纳普之手,再经辛迪卡(Hintikka)等人的论作又已形成信息逻辑这一分支。这揭示了逻辑与信息科学的联系。再如,随着计算机科学、人工智能的研究进展,对归纳的研究日益受到重视。若能将人工智能与归纳结合起来,必将带来新的进展与突破[4]。

概率归纳逻辑是归纳逻辑的一个发展阶段,它大大发展了归纳逻辑,也昭示了归纳逻辑的发展机制,为我们出示了现代归纳逻辑发展的方向。

摘要:从穆勒等人对或然性的探讨,经耶方斯对概率归纳逻辑的开创,到卡尔纳普代表的现代概率归纳逻辑体系,考察了概率归纳逻辑的发展历程,从中揭示其兴起的原因,并分析现代归纳逻辑发展的一些新趋势。

关键词:概率归纳;逻辑;概率论

Abstract:FromMulle’sdiscussionoftheprobability,afterW.S.Jevons’sfoundationtotheprobabilisticinductivelogic,untilthesystemofmodernprobabilisticinductivelogicwhichCarnaprepresents.Thisarticleinspectstheprocessofwhichprobabilityinductivelogicdeveloped,promulgatesthereasonwhichitrises,andanalyzessomenewtendenciesofthemoderninductivelogic.

参考文献:

[1]W.S.Jevous.ThePrinciplesofScience[M].London:DoverPress,1877.197.

[2]Hintikka,J.(ed.).RudolfCarnap,LogicalEmpiricist[M].D.ReidelPub.Co.,1995.LIX.

[3]Schilpp,P.A.(ed.).ThePhilosophyofRudolfCarnap[M].OpenCourt,1978:72.

[4]王雨田.归纳逻辑导引[M].上海:上海人民出版社,1992:12-13.