【摘 要】
：
旧证据问题是指贝叶斯确证理论在讨论旧证据确证新理论（假说）的问题上将出现不合理的结果,它的消解是贝叶斯确证理论辩护的一个非常重要的环节。本文倡导一种基于Levi理论的动
【机 构】
：
中山大学哲学系,中山大学逻辑与认知研究所
【基金项目】
：
广东省人文社科十一五规划项目08YC-02, 教育部人文社科研究基地重大项目05JJD720.40001
论文部分内容阅读
旧证据问题是指贝叶斯确证理论在讨论旧证据确证新理论（假说）的问题上将出现不合理的结果,它的消解是贝叶斯确证理论辩护的一个非常重要的环节。本文倡导一种基于Levi理论的动态方案来消解这一问题。在这种方案下,知识汇集的动态性使得旧证据在新理论引入前后的置信概率可能是不相同的,在此基础上我们证明,经新理论扩充后而得到的知识汇集无论是一致扩充还是不一致扩充,均存在一个旧证据E,它对该新理论具有确证作用。
其他文献
博弈论中重复可允许（Iterated Admissibilty）算法对于快速约简博弈模型、寻找合理置信的纳什均衡具有重要意义,但该算法的认知基础存在悖论。本文构建一个完备的博弈认知逻辑系
哥德尔的一阶逻辑完全性定理（1929）是数理逻辑的基石。当代的逻辑学学生学习数理逻辑时大都直接接触Henkin（1949）的改良证法，该法简明扼要，并将原证法的“关于可数语言的限制”扩展
分析了福建省洪水在年内的季节性变化规律,提出了分期洪水计算时段的划分,给出了各月(季)洪水统计参数的季节性变化规律,对分期洪水频率曲线进行了比较,并介绍了分期设计洪水
1994年Gabbay等论证了时态逻辑的公理化系统和证明论方法不适于时态数据库推理建模,因此目前主要使用非公理化的时态逻辑做推理。然而非公理化的时态逻辑缺乏公理化性质约束,