本书作为四卷本翻译项目中的第三卷，共分上、下两篇，上篇是作者在其1976年的博士学位论文基础上出版的《模态逻辑和经典逻辑》一书，是本翻译项目中唯一一部专著，下篇是作者2005年以来发表在《符号逻辑杂志》等刊物上的三篇论文，主要内容都是范本特姆教授20世纪70年代以来对逻辑学研究最著名的贡献——“模态对应理论”。对应理论、完全性理论以及对偶理论并称为模态逻辑研究中的三大支柱理论。

本书后面有两个附录，其中的“附录一：约翰·范本特姆小传”为我们从整体上快速了解范本特姆教授对逻辑学的贡献提供了一个捷径。

“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著,其涵盖的主题有：关于信息、进程和智能互动的模态逻辑；自然语言中范畴语法和量词语义的逻辑；逻辑与认识论、科学方法论和博弈论之间的相互影响,等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。

20世纪70年代,范本特姆研究了模态公理与它们在一阶逻辑、高阶逻辑中的可定义性，提出了一个系统的、论述框架类的模态对应理论，主要结果包括初等模态公式的刻画、典范可定义模态框架类的刻画以及模态可定义性结果向二阶逻辑的推广。这一研究还引出模型之间的互模拟概念,表明模态语言是由对互模拟不变的一阶公式所组成；方法论上的主要特点在于强调模态观点和经典观点可以同时用于理论和实践的“并行观点”。《模态对应理论》收录了《模态逻辑和经典逻辑》以及作者近几年在这方面的三篇论文。

《模态对应理论》适合从事逻辑学、语言学、计算机科学和认知科学相关研究人员、教师和学生阅读，也适合其他逻辑相关学科的教师和学生参阅。

丛书序

作者序

译者序

前言

上篇 模态逻辑和经典逻辑

引言

记号和术语

第一部分 模态命题逻辑的简要概述

1 历史背景

2 可能世界语义

3 可定义性

4 模态代数

5 公理化理论

6 完全性

第二部分 模态公式的一阶可定义性

7 局部的和全局的一阶可定性

8 一阶可定义性的模型论刻画

9 代入方法

10 否证一阶可定义性

11 相对的一阶可定义性

12 模态谓词逻辑

13 模态公式的保持类

第三部分 模态可定义性

14 模态可定义的初等框架类

15 一阶公式的保持结果

16 模态可定义的框架类

第四部分 高阶可定义性

17 全称二阶语句

18 二阶逻辑

19 有穷类型论

参考文献

下篇 模态对应理论新进展

1 极小谓词、不动点和可定义性

2 模态框架对应和不动点

3 事情总要翻过来看

附录

附录一 约翰?范本特姆小传

附录二 英汉／汉英专业术语、人名对照表

致谢