周五哲学论坛

王彦晶 博士(北京大学)

于2013年3月22日(周五)15:00将报告：

动态认知逻辑在哲学研究中的应用

（所有报告和讨论将在北京大学外国哲学研究所（老化学楼）227房间进行。）

摘要：在这个报告中，将首先简单介绍动态认知逻辑的产生背景与基本技术，然后结合自己以及其他学者的最新相关工作，举例说明其在哲学研究特别是知识论中的应用。针对听众背景的多样性，本报告将会侧重于技术工作背后的思想，也会谈谈本人对逻辑学在哲学研究中作用的一般性看法。

相关参考文献

Yanjing Wang and Jie Fan, Knowing that, knowing what, and public communication, under submission

Yanjing Wang and Qinxiang Cao, On axiomatizations of Public Announcement Logic. To appear in Synthese, Springer (2013)

Fenrong Liu and Yanjing Wang, Reasoning about agent types and the hardest logic puzzle ever. Minds and Machines 23(1):123-161 Springer (2013)

Yanjing Wang, Learning how by asking, in Proc. of Logic and the Foundations of Game theory and Decision theory pp. 248-262, (2012)

Hans van Ditmarsch, Jan van Eijck, Floor Sietsma, Yanjing Wang, On the Logic of Lying, Games, Actions and Social Software, pp. 41-72 Springer (2012)

Yanjing Wang, Reasoning about protocol change and knowledge, In Proc. of Logic and Its Applications pp. 189-203 Springer (2011)

(在本人主页可找到已发表文章的preprint版本)：http://www.phil.pku.edu.cn/personal/wangyj/Publications/