报告题目：A LOGICAL PERSPECTIVE ON SOLVING GAMES
报告人： 约翰.范本特姆（Johan van Benthem）     
                  阿姆斯特丹大学大学教授（University Professor） 
                  坦福大学Henry Waldgrave Stuart哲学教授
评论人：叶峰
　　　　北京大学哲学系副教授
主持人：陈慕泽
　　　　中国人民大学哲学院教授
时间：4月17日（周五）下午14:30-17:00
地点：中国人民大学人文楼6层哲学院会议室（6层电梯对面）　
讲稿下载地点：http://philo.ruc.edu.cn/logic/zzn090417f.htm

报告人简介：
        Johan van Benthem, 阿姆斯特丹大学的大学教授，斯坦福大学的Henry Waldgrave Stuart哲学教授，欧洲科学院院士和荷兰皇家文理科学院院士。他是阿姆斯特丹大学逻辑、语言和计算研究所的创立者和首任主任，也是欧洲语言、逻辑和信息协会的首任主席和首位荣誉会员。他主要研究模态逻辑、时态逻辑、自然语言的逻辑语义学和语法，以及计算、交流和博弈的动态逻辑。目前的研究主要集中于解决逻辑、计算机科学和博弈论的结合基础上的智能互动问题。1996年至2001年间，他获得荷兰国立斯宾诺莎奖的资助。

报告摘要：
Games are an intuitive model for rational action driven by information, beliefs, and many other notions traditionally studied in epistemology. Games also fit very well with logic, for many diferent reasons. Many current research projects involve logics of games, especially the strategic LogiCCC program of the European Science Foundation. This talk addresses just one particular issue in analyzing games: the role of the famous algorithm of Backward Induction that goes back to the set theorist Zermelo, and maybe even further in history. While this method seems obvious, and several Nobel Prizes have already been won for much more sophisticated results in game theory, it has some notorious counterintuitive consequences. Indeed, in our lecture, we will soon see how the underlying reasoning puts many major issues of philosophical and computational logic in a new light. We conclude by drawing some conclusions for formal epistemology.