本书是《布莱克韦尔哲学指导丛书》的哲学逻辑分册。本书权威地介绍了哲学逻辑的20个核心领域，包括经典逻辑、模态逻辑、相干逻辑等其他一些逻辑，并且严密地考察了关键的逻辑概念。

本书可以作为哲学逻辑一般课程的基础文献，也可以作为某些研究专题的辅助资源和参考文献；既定位于一般性读者，又定位于有经验的逻辑学家。

本书是《布莱克韦尔哲学指导丛书》的哲学逻辑分册。本书权威地介绍了哲学逻辑的20个核心领域，包括经典逻辑、模态逻辑、相干逻辑等其他一些逻辑，并且严密地考察了关键的逻辑概念。在本书的各章节中，国际杰出的逻辑学家、哲学家、计算机科学家、语言学家提供了广泛的研究成果，这些成果涉及各相关专题领域中的概念、研究动因、方法、形式系统、主要结果及其应用。

本书可以作为哲学逻辑一般课程的基础文献，也可以作为某些研究专题的辅助资源和参考文献；既定位于一般性读者，又定位于有经验的逻辑学家。本书为进一步的学习研究提供了坚实的基础。

本书作者介绍

序 

引言

第1章 经典逻辑Ⅰ：一阶逻辑

第2章 经典逻辑Ⅱ：高阶逻辑

第3章 集合论

第4章 哥德尔的不完全性定理

第5章 真

第6章 逻辑推论

第7章 模态逻辑

第8章 道义逻辑

第9章 认知逻辑

第10章 时间逻辑

第11章 直觉主义逻辑

第12章 自由逻辑

第13章 相干逻辑

第14章 多值逻辑

第15章 非单调逻辑

第16章 概率、逻辑、概率逻辑

第17章 条件句逻辑

第18章 否定

第19章 量词

第20章 逻辑和自然语言

索引