概率命题逻辑及其动态化

逻辑学研究 2025 年第 1 期， 51–75                文章编号： 1674-3202(2025)-01-0051-25

作者：潘易欣，郭美云

摘要：概率逻辑是量化研究和不确定推理中的重要工具，动态化与条件化是刻画概率更新的两个重要方式。基于一种简化的概率模型，本文提出一个概率命题逻辑，研究其互模拟和框架可定义性等相关性质。在概率命题逻辑的基础上加入公开宣告算子实现其动态化，并证明扩充后的动态概率命题逻辑可以归约到原逻辑上。最后，在动态概率命题逻辑中引入条件概率公式，讨论公开宣告算子和条件概率算子在概率更新方面的区别。

关键词：概率命题逻辑；条件概率；公开宣告；归约公理；概率更新

中图分类号： B81                     文献标识码： A