烧旺理性的火焰：约翰谈逻辑9787030521606

　　范本特姆：贾青，你提出了一个有趣的问题。我关注自认知逻辑已经是很久以前的事情了，在20世纪80年代，我曾访问旧金山湾区，当时这种处于哲学与计算机科学的交叉地带的理论在那里兴起。我不敢肯定你对自认知逻辑与标准认知逻辑的刻画是否非常正确，因为我想它们之间具有比你所想到的更多技术相似性。然而，这只是一个小问题，你确实提出了一个在认知逻辑领域中尚未解决的主题。这个主题是比较群体认知情况的外部视角与主体自身的内部视角，以及主体如何看待他们所处的情景。或者用认识论学家的术语来说，我们在这里谈论的是“第三人称”视角与“第一人称”视角之间的对比。

　　关于这两种视角的主题已经被大量讨论过，有一些尝试要为认知逻辑设计另外一种采取内部视角的语义学，包括一些博士论文。但是，迄今为止，当所有这些都说过做过之后，一个问题是，构造出来的“内部模型”并不比外部模型更简单。有时甚至变得更复杂！你提议回到自认知逻辑寻找灵感，也许是有前途的思路。

　　……

我们知道约翰·范本特姆创立的模态对应理论，知道他提出的互模拟概念；我们在逻辑学教材里学过范本特姆刻画定理、范本特姆一萨奎斯特算法。然而，当我们真正有机会与这些理论的创建者见面的时候，我们听到的是抽象的理论和概念背后生动的故事。展示在我们面前的不再是遥远的他人撰写的论文和著作、烦琐的定理和证明，而是由一位亲历者——约翰娓娓道来的历史片段与思想火花激发的逻辑技术结果。刘新文编的《烧旺理性的火焰（约翰谈逻辑）》主要收集了一批中国学者与约翰学术交往的相关内容，这些交往大多是围绕“逻辑之门”项目展开的。本书还收录了几篇约翰在不同场合的演讲稿和发言稿：LORI**会议闭幕式演讲、阿姆斯特丹大学开学典礼致辞（当年是中国主题）、北京大学哲学系100周年系庆贺词、阿姆斯特丹大学的荣休演讲。

2006年至2011年，清华大学刘奋荣教授主持并组织了范本特姆教授的论文和著作的翻译工作，以"逻辑之门"为题，分四卷由科学出版社出版。参加这一项目的国内老中青逻辑学者共有30多人。每一卷译著出版之后，著译者们都举办一次学术交流活动，然后以书面形式安排一次学术访谈。这些访谈广泛涉及了范本特姆教授在数理逻辑、哲学逻辑、逻辑思想史、逻辑应用、逻辑哲学、逻辑与哲学等逻辑学领域各个方面的主要贡献和观点，发表在国内几份重要刊物上，在国内学界产生了广泛深远的影响。还有一些访谈涉及到他对学术研究的一些看法和经历，对于我们继续研究逻辑学科相关问题和对逻辑学科的把握具有重要的理论意义和现实意义。本书以这些访谈和退休演讲为主，收集了范本特姆教授对逻辑的主要观点。