“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。《逻辑之门·约翰·范本特姆经典著作（卷4）：逻辑、认识论和方法论》收集了他的经典论文和主要专著，其涵盖的主题有关于信息、进程和智能互动的模态逻辑，自然语言中范畴语法和量词语义的逻辑，逻辑与认识论、科学方法论和博弈论之间的相互影响，等等。

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

从历史的角度看，逻辑是哲学的一部分。因此，逻辑学家们做的任伺工作都是哲学。当然，许多数理逻辑学家否认这一说法，认为逻辑是数学，甚至是应用数学的一部分、本卷通过对逻辑常项、认识论、科学方法论和逻辑哲学等主题的探讨，展示范本特姆多年来对逻辑学作为交叉学科的认识和理解，正如他在书中指出的那样，若把逻辑学看做是关于它自身的一门学科，它不但同哲学和数学有很多联系，而且还同语言学、计算机科学，甚至是现在热门的认知科学有很强的联系。它可能并不是一个大的学科，但它所涉及的范围，在原则上讲遍布大学的各个学科，逻辑有它自己的历史及其内在和外在的规律演化，本卷为此提供了丰富的实例和深刻的理论探讨。

《逻辑之门·约翰·范本特姆经典著作（卷4）：逻辑、认识论和方法论》适合从事逻辑学、语言学、计算机科学和认知科学等研究和学习的师生阅读，也适合从事其他逻辑相关学科研究的相关人员参阅。

丛书序

译者序

引论

第1部分 逻辑常项

1 跨越多样类型的逻辑常项

2 逻辑常项：横看成岭侧成峰

3 在博尔扎诺的乐符中仍然有逻辑吗?

第2部分 认知逻辑

4 反思认知逻辑

5 认知逻辑与认识论之研究现状

6 人们可以知道的事情

7 知识的几何学

8 认知逻辑的五个问题

第3部分 科学方法论

9 科学的逻辑研究

10 对理论问解释的一种数学刻画

11 推理、方法论和语义学

12 再访经验理论的逻辑

第4部分 时空基础

13 时态逻辑和时间

14 时间逻辑

15 跨越空间的模态漫步

16 空间模态逻辑

第5部分 逻辑哲学

17 内容对包装：一篇关于语义复杂性的论文

18 越来越广：重置逻辑学的边界

19 哲学中的逻辑

附录一英一汉专业术语对照表

附录二英一汉人名对照表

致谢