近日，中心主任郭美云教授与博士生潘易欣共同撰写的Probabilistic epistemic logic based on neighborhood semantics （基于邻域语义的概率认知逻辑）一文发表于中科院期刊分区人文学科哲学大类分区一区Top期刊Synthese（综合杂志，该杂志也被SSCI, SCI 以及A&HCI等共同收录）。

        文章摘要：在概率认知逻辑的研究领域中，有大量的文献提出用各种框架来形式化概率与认知。然而，大部分框架在语义上都是用关系语义定义认知算子，用概率函数定义概率算子，这就导致概率与认知之间没有直接的关系。该文基于洛克式论题，利用邻域语义在概率与信念之间搭建桥梁，为概率与信念的交互构造了一个不同于关系框架的邻域框架，并提供了一个可靠且弱完全的公理系统。该文还基于这个邻域框架来解决彩票悖论，从而为凯伯格的解悖方案提供一个形式化方案。此外，该文在该邻域语义的基础上还提出了两种不同的领域框架来刻画概率、信念和知识之间的关系。

在线链接：https://doi.org/10.1007/s11229-024-04557-4

（潘易欣/图文， 郭美云/审核，熊作军/发布）