2004.9.20-27：荷兰阿姆斯特丹大学教授约翰范本瑟姆（Johan van Benthem）来我系进行了为期一周的讲学和访问。

约翰范本瑟姆教授讲学

9月20日至27日世界著名逻辑学家、荷兰阿姆斯特丹大学教授约翰范本瑟姆（Johan van Benthem）来我校进行了为期一周的讲学和访问。在此期间，他作了三次演讲，并且多次与师生进行座谈。

范本瑟姆演讲的中心内容是多主体信息交流情况下的动态逻辑。这一方向的研究起源于计算机科学，人工智能，语言学，经济学等多学科和领域中的共同的信息结构与信息交流基础理论问题，因而有重要理论意义和广泛应用，是国际上逻辑学研究的热点问题和主流方向。

围绕这一中心，三次演讲分别为三个专题：

1．从认知逻辑到信息更新的逻辑。主要阐明了逻辑动态化的起源以及行动是如何改变各个主体间的知识分布。如何将最新模态逻辑的工具应用于信息结构、信息加工和信息更新的研究，这是他自己开创的一个全新的研究领域。

2．关于信念和期望修正的逻辑。主要介绍了当逻辑把一些更多更复杂的知识行动考虑进去的时候，就必然会把期望改变和信念修正等一些和认知主体相关的性质带入到逻辑的处理范围之中。这次他重点介绍了我们是如何能够利用已有的技术手段为这些行动引发的知识变化构造逻辑模型的。

3．逻辑与博弈——如何为互动建构模型。这一讲介绍了逻辑是如何能够刻画博弈中的均衡和策略等重要概念以及如何描述博弈中的操作和结果，重点阐述了当我们以逻辑的视角看待博弈时所产生的一些新的理论问题。