概率解释与概率逻辑-重庆理工大学学报.PDF

重庆理工大学学报（社会科学）　　２０１３年第２７卷第８期 逻辑与科学方法论 ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅ）Ｖｏｌ．２７Ｎｏ．８２０１３ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１６７４－８４２５（ｓ）．２０１３．０８．００２ 主持人语： 中国逻辑学会会长　邹崇理 研究员 　　肖波博士在《概率解释与概率逻辑》一文中对概率逻辑的发展进行了梳理，指出概率逻辑不仅正与 其他逻辑融合起来，比如模态逻辑、时态逻辑、认知逻辑、博弈逻辑等等，而且也深入到逻辑之外的学科之 中，比如计算机科学中的非单调推理等等，这种融合同时也推动着概率逻辑自身的发展。吴春红等在《对 现行形式逻辑中条件命题的讨论》中指出，条件命题等非纯真值复合命题与蕴涵命题等纯真值复合命题 所指谓的客观事件的逻辑结构有根本的不同，如果无视二者的本质区别，将其混淆使用，会导致数不清的 逻辑问题。 概率解释与概率逻辑 肖　波 （清华大学 哲学系，北京　１０００８４） 摘要：对概率的解释及据此而发展起来的概率逻辑是经典逻辑的最重要的扩展之一。它在哲 学、数学、认知科学、人工智能等领域有着重要的应用，一方面是这些研究领域的工具，而同时又 是这些研究领域的对象。本文通过对概率的解释进行大致的分类，对由各解释发展起来的概率 逻辑分别做了介绍，希望据此对概率逻辑的发展做一个梳理。 关键词：概率；概率解释；概率逻辑 中图分类号：Ｂ８１　　　　文献标识码：Ａ 文章编号：１６７４－８４２５（２０１３）０８－０００６－０７ 　　概率逻辑的发展以及对概率的解释是伴随着 实际生活中的各种有关机遇的博弈（比如，掷骰、 哲学、科学以及在实际生活中的各种应用的发展 转盘等赌博活动）的严格的数学研究。１６５４年， 而发展起来的。概率逻辑早期发展来源于两个方 帕斯卡（ＢｌａｉｓｅＰａｓｃａｌ，１６２３—１６６２）和费尔马（Ｐｉ 向：一种是哲学上的对于归纳的探讨，比如培根对 ｅｒｒｅｄｅＦｅｒｍａｔ ，１６０８—１６６５）两人通过一系列的书 于归纳法的讨论而引发出来的对归纳逻辑的研 信来往，讨论了与赌博等相关的一些问题，其中包 究，在这个过程中概率逻辑伴随着归纳逻辑发展 括赌徒分金而引起的“点数问题”，他们把这些问 起来；一种是数学上的关于概率理论的研究。随 题一般化地归结为排列组合的数学问题。并且， 着一阶逻辑及其扩张、模态逻辑及其扩张、经典概 在这些通信文献中，他们有了区分独立概率事件 率论、测度理论的发展，对概率的各种解释及建立 和条件概率事件的思想，这通常被认为是概率论 在其上的概率逻辑的形式化也繁荣起来。以下笔 诞生的标志。在帕斯卡和费尔马的研究基础上， 者拟描述展示概率逻辑的横向的分类和纵向的 １６５７年，荷兰数学家惠更斯（ＣｈｒｉｓｔｉａｎｕｓＨｕｙｇｅｎｓ， 演进。 １６２９—１６９５）出版了第一本概率论著作———《论赌 博的计算》，这本书被认为是概率论的奠基之作。 一、概率论的发展 古典概率论被后来的数学家相继发扬光大。贝努 利（ＪｏｃｏｂＢｅｒｎｏｕｌｌｉ，１６５４—１７０５）在《猜测术》（Ａｒｓ 一些概率论的早期思想最早甚至可以追溯到 Ｃｏｎｊ