喜讯:中心郭美云教授团队新作刊发《逻辑学研究》杂志

发布时间:2025-03-13 22:53

作者:

来源:

浏览次数:

近日,中心主任郭美云教授与博士生潘易欣共同撰写的《概率命题逻辑及其动态化》发表于《逻辑学研究》2025年第1期。文章认为,概率逻辑是量化研究和不确定推理中的重要工具,动态化与条件化是刻画概率更新的两个重要方式。论文基于一种简化的概率模型,提出一个概率命题逻辑,研究其互模拟和框架可定义性等相关性质。在概率命题逻辑的基础上加入公开宣告算子实现其动态化,并证明扩充后的动态概率命题逻辑可以归约到原逻辑上。最后,在动态概率命题逻辑中引入条件概率公式,讨论公开宣告算子和条件概率算子在概率更新方面的区别。

该成果是郭美云教授主持的国家社科基金重点项目《面向概率更新的动态认知逻辑研究》的重要阶段性成果。


(潘易欣/图文,郭美云/审核,彭子骄/发布)