形式：学术报告
时间：2012年10月12日(星期五）下午 2：00-4：00 
地点: 北京师范大学主楼A809 
主办: 北京市逻辑学会青年论坛; 北京师范大学逻辑与认知科学研究所
报告人: Johan van Benthem（阿姆斯特丹大学和斯坦福大学教授）
题目: Logic, Information and Agency
摘要: Already the ancient logicians saw logic as related with at least three major sources of information: not just inference, but also perception and communication. In this talk, I will describe some current dynamic logics exemplifying all three sources, dealing with observation, questions, and acts of inference. Some have a relatively well-developed theory, some are just starting, and I will point out some open problems in each. I will also discuss some challenges in combining the three information sources, and in connecting the logical perspective to other views of processes of inquiry, from learning theory to cognitive science.

Ref. Johan van Benthem, 2011, "Logical Dynamics of Information and Interaction", Cambridge University Press, Cambridge.

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