《哲学逻辑手册》

这部手册是美国J．欣迪卡主编的综合丛书的第164卷，由英国逻辑学家D．盖贝和德国逻辑学家F．甘特纳主编，共4大卷，分别由瑞德出版公司于1983、1984、1986和1989年出版。各卷的副标题如下：第1卷，古典逻辑基础；第2卷，古典逻辑的扩充；第3卷，古典逻辑的替代；第4卷，语言哲学中的课题。

第1卷共6章，计493页，简要概述古典逻辑基础，并为读者理解其它各卷的内容提供必要的背景材料。第1章为阅读本手册其它各章所必要的准备知识，其余5章对第1章所展开或所提示的材料作了较详尽的讨论，内容包括：谓词逻辑及其证明论、非标准语义、高阶逻辑、分支类型论，以及递归论的最为必要的部分和对逻辑的一些应用。第2卷共12章，计776页，主要以可能世界概念为基础处理涉及自然语言与人工语言的许多问题。前6章全面综述模态逻辑和时态逻辑的基本内容，论述了它们与一阶谓词及高阶谓词逻辑的关系，还概述了由模态算子和时态算子、量词结合所产生的复杂情况及一般看法。后6章概述了一些逻辑分支，包括：一般内涵逻辑、条件句逻辑、可证性逻辑、程序逻辑、道义逻辑和问句逻辑。第3卷共8章，计521页，主要论述古典逻辑的种种替代，所论述的逻辑有：部分逻辑、多值逻辑、相干逻辑、直觉主义逻辑、自由逻辑和量子逻辑；最后一章概述了证明论用来确定逻辑联结词的性质的各种方式，介绍了有关意指理论的争论和Martin-Lof类型论。第4卷共10章，计717页，主要概述语言哲学的某些中心领域，着眼于整体而不过多涉及语义学中具体而细微的理论探讨。第1章论述广义量词理论，随后3章和第7章讨论与谓述问题有关的种种论题，第5章概述新近的指称理论如何处理专名和摹状词的语义，第6章论述与语境有关的指称问题，第8章分析自然语言使用的主要的时序方向，第9章论述预设问题，最后一章研究说慌者悖论及其对语言研究的许多应用。这部手册是哲学逻辑方面的一部重要专著，首次系统概述了哲学逻辑中心领域的系统，全书各章均由处于研究前沿的专家撰写，精彩纷呈，对哲学逻辑发展所产生的影响将难以估量。