逻辑之门：作者与译者的对话————约翰·范·本特姆教授访谈录.doc

逻辑之门：作者与译者的对话————约翰·范·本特姆教授访谈录 ??? 刘奋荣（清华大学哲学系 北京 100084）??? 刘新文（中国社会科学研究哲学所 北京 100732）??? 余俊伟（中国人民大学哲学院 北京 100872） ??? 范·本特姆（J. van Benthem）教授是当今最著名的逻辑学家之一，他的学术研究涉及模态逻辑、语言逻辑以及逻辑哲学等领域。从1970年代到现在，他撰写了6部专著和约300 篇学术论文，主编了4部具有权威性的逻辑手册，其影响从学术界对他的著作的引用程度可见一斑。由荷兰阿姆斯特丹大学资助，2006年10月开始启动的“逻辑之门”项目旨在将范·本特姆的著作翻译成中文，使汉语地区的读者更好地了解他在逻辑方面的研究成果。《逻辑之门》第一卷收录了他在模态逻辑领域的13篇经典论文。根据主题的不同，这些论文进一步分为四个部分：模态逻辑的基本理论、模态逻辑和计算、模态逻辑和信息、以及模态逻辑和博弈。2007年8月1日，项目第一期顺利完成；由北京市逻辑学会和阿姆斯特丹大学资助，翻译小组在中国人民大学举办了“Modality on the Move”的学术会议，范·本特姆教授应邀做了关于模态逻辑发展及现状的主题发言，译者们结合自己的研究和所译的论文分别做了学术报告。会议最后是著译者之间的一个互动，这一交流自由而广泛，涉及了模态逻辑的历史、现状和未来，翻译过程中