序

前言

第一章 逻辑、语言和信息

第二章 逻辑、信息和互动

第三章 逻辑、语言和认知

第四章 模态对应理论

第五章 逻辑、认识论与方法论

第六章 逻辑和认识论

第七章 模态对应理论述评

第八章 从写书到谈书

第九章 在中国探寻动态之路

第十章 烧旺理性的火焰

附录 “逻辑之门”团队成员简介

致谢

2006～2011年，清华大学刘奋荣教授主持了范本特姆教授的论文和著作的翻译工作，以“逻辑之门”为题，分四卷陆续出版。每一卷译著出版之后，著译者们都举办交流活动，然后以书面形式安排一次学术访谈。这些访谈涉及范本特姆教授在数理逻辑、哲学逻辑、逻辑思想史、逻辑应用、逻辑哲学等领域的主要贡献和观点，在此前后还有一些访谈涉及范本特姆教授对学术研究的一些看法和经历。刘新文编的《烧旺理性的火焰（约翰谈逻辑）》以这些访谈为主，集中整理了范本特姆教授对逻辑学的主要观点。

本书适合对逻辑学、哲学及相关学科感兴趣的读者阅读。

我们知道约翰·范本特姆创立的模态对应理论，知道他提出的互模拟概念；我们在逻辑学教材里学过范本特姆刻画定理、范本特姆一萨奎斯特算法。然而，当我们真正有机会与这些理论的创建者见面的时候，我们听到的是抽象的理论和概念背后生动的故事。展示在我们面前的不再是遥远的他人撰写的论文和著作、烦琐的定理和证明，而是由一位亲历者——约翰娓娓道来的历史片段与思想火花激发的逻辑技术结果。

刘新文编的《烧旺理性的火焰（约翰谈逻辑）》主要收集了一批中国学者与约翰学术交往的相关内容，这些交往大多是围绕“逻辑之门”项目展开的。本书还收录了几篇约翰在不同场合的演讲稿和发言稿：LORI国际会议闭幕式演讲、阿姆斯特丹大学开学典礼致辞（当年是中国主题）、北京大学哲学系100周年系庆贺词、阿姆斯特丹大学的荣休演讲。