逻辑、信息和互动
作者: (荷)约翰·范本特姆著;刘奋荣,余俊伟等译
出版社:科学出版社,2008
简介: “逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的
中文翻译。丛书收集了他的经典论文和主要专著,其涵盖的主题有:关于
信息、进程和智能互动的模态逻辑;自然语言中范畴语法和量词语义的逻
辑;逻辑与认识论、科学方法论和博弈论之间的相互影响,等等。丛书展
现了现代逻辑作为数学,哲学、语言学、计算机科学、认知科学等学科之
间媒介和催化剂的新视角。
《逻辑、信息和互动》是关于当今模态逻辑所研究的主要问题的一个
论文集。它展示了模态逻辑的发展历程,系统地阐述了模态逻辑的数学理
论。特别是,模态逻辑在研究主体的知识和信念、信息流、计算,以及主
体在博弈或其他社会活动中的交流互动等方面的应用。本书既有关于逻辑
数学基础的探索,又有对逻辑应用领域的拓展。适合从事逻辑学研究的学
生和教师阅读,也适合从事其他逻辑相关学科专业的学生和教师参阅。