荷兰阿姆斯特丹大学教授 Johan van Benthem 在北京大学逻辑、语言与认知中心作题为“Uncovering the Notions of Information in Logic”的演讲。

Van Benthem 教授在逻辑中心讲演

十月二十一日下午，著名逻辑学家Johan van Benthem教授应邀来到北京大学哲学系会议室，并做了一场名为《Uncovering the Notions of Information in Logic》的报告。Van Benthem教授现为阿姆斯特丹大学的大学教授，斯坦福大学教授，欧洲科学院院士，荷兰皇家艺术与科学院院士，同时也是清华大学伟伦特聘教授，中山大学客座教授。作为中国逻辑学界的好友，van Benthem教授已多次来到中国，来到北京。当天下午，参加报告会的除北京大学逻辑与认知中心的全体师生外，还有清华大学的刘奋荣博士，中国社会科学院刘刚以及其他一些逻辑学人。报告会由北京大学周北海教授致辞，对van Benthem教授这位良师益友的再次到来表示欢迎。

随着社会的不断发展与进步，信息以及关于信息的技术已逐渐充满整个社会。然而，究竟什么是信息，什么是信息的基本规律？这一直是让人困扰的问题。无论是数学、计算机科学，还是这些与社会科学，围绕这些思考，都有一系列问题待人解决与探索。Van Benthem教授作为阿姆斯特丹和斯坦福的一名逻辑学家，多年来研究多学科之间交互。 同时也参与了欧洲学院科学基金项目“Modeling Intelligent Interaction”。这次，van Benthem教授以即将出版的新书《Handbook of the Philosophy of Information》(Elsevier, Amsterdam, 2008)的编辑身份，对这些问题提出了新的见解和看法。从传统而言，关于信息的概念我们可从三个方向进行区分：物理学的，关于复杂性理论的，以及逻辑或者语言学的。而从逻辑角度的看信息，我们可将其分为三类：inferential information as code，semantic information as range，informations as correlation。 第一种从信息的传递和推理的角度，将信息看成一种编码；第二种从知识信息系统和信念更新，以及动态认知逻辑的角度出发；第三种则是针对情景语义学理论。从 这三种全新的分类，我们可以得到一些新的问题。其中，如：如何去定义和更新命题；如何对这些命题进行更新和组合；如何统一这些命题等等都是我们所关心的。 对于信息更新的方式，van Benthem教授提出了“soft information”和“hard information”。同时面对这些问题，讨论动态逻辑的发展和探讨。

Van Benthem教授用深入浅出的语言和生动活泼的例子给大家展示了一个新的研究方向，探讨了如何用逻辑去研究这些新问题新思路。短短两小时的报告，让人感觉意犹未尽。更多的问题和内容，欢迎大家去Johan van Benthem 教授的个人主页http://staff.science.uva.nl/~johan一探究竟。

（张闵敏)