哲学逻辑手册查看源代码讨论查看历史
《哲学逻辑手册》，哲学逻辑方面的重要专著。D.噶贝(D.Gabbay)和F.迦特纳(F.Guenthner)主编。共分4卷，其中第1、2、3卷瑞德出版公司分别于1983、1984、1986年出版。
内容简介
本书是首次对哲学逻辑中心领域的系统概述。第1分卷，古典逻辑基础；第2分卷，古典逻辑的扩充；第3分卷，古典逻辑的替代；第4分卷，语言哲学中的课题。
第1分卷共6章，计493页。主要目的有两个，一是概述古典逻辑基础，一是为读者理解其他各分卷的内容提供必要的背景材料。第1章勾画了谓词逻辑的一般范围。有3部分，前两部分概述命题逻辑和一阶谓词逻辑，最后部分讨论了一阶逻辑的范围，详细解释了Lindston定理的证明和结论，对于谓词逻辑为何能在数学的形式化、哲学应用及语言学应用的许多领域中起巨大作用的问题提供了一个回答。第2章讨论了谓词逻辑的证明论问题，概述了常见的各种证明方法(公理系统、自然演绎、后承演算及其变种语义表列系统)，指明了它们各自的特点，并作了一些比较。谓词逻辑除了标准的模型论语义外，还可以有其他种类的语义。第3章概述了3种这样的语义:代入语义、真值语义和概率语义。一阶逻辑只允许量词用于个体，取消这一限制使之也适用于高阶实体，例如集合、函数、集合的集合等等，也就进入了高阶逻辑的范围。有关二阶逻辑及更高阶逻辑的种种结果，以及来自抽象模型论的有关材料，都概述在第4章中。第5章基本上是分支类型的一个导引，论述了分支类型论的哲学意义和逻辑意义。最后一章，论述递归论，包含递归论的最为必要的部分。诸如对角线化、算术化、自指、可判定性、可枚举性等类的课题，还包含了递归论对逻辑的一些应用。
第2分卷的副标题为古典逻辑的扩充。共分12章，计776页。主要以可能世界概念为基础处理涉及自然语言与人工语言的许多问题。前4章都是关于命题语言的。第1章全面综述了模态命题逻辑的基本内容；首先回顾了现代模态逻辑发展的几个主要方向，然后论述了一些最重要的元数学结果和得出这些结果的技巧，引出了将运用于以后各章的一些术语及语义手段。对模态概念作时间解释将产生时态逻辑。第2章论述了对时间作各种不同假设时所得出的相应的时态逻辑系统，诸如偏序、良序、有端点、无端点、稠密和连续等，本章还论述了时间段和时态词“自从”、“直至”、“不间断地”、“近来”和“立刻”。第3章论述模态算子和时态算子同时出现在一系统中引起的种种复杂情况。第4章综述了模态对应理论，主要研究模态逻辑系统与一阶谓词及高阶谓词逻辑的关系，讨论关于可能世界结构(或构架)的条件与表达这些条件的模态公式之间的关系。模态逻辑的量词理论是模态逻辑中很有争议的部分，第5和第6两章对此作了综述，介绍了一些熟知的系统并研究了它们间的关系与性质，也检查了由不同的哲学观点而提出的量化模态逻辑的语义学，比较了它们之间的优劣。第7章主要概述普遍内涵逻辑的车尔赤系统和蒙塔古系统。第8和第12两章处理自然语言中特殊种类语句的逻辑性质和语义性质。第8章论述了最为熟知的一些条件句逻辑系统，特别是反事实条件句逻辑系统。第12章处理的则是问句，陈述了因研究动机不同而产生的基本概念以及理论化问句逻辑的内容和方法，集中讨论了在不同方向上对理论进一步发展具有特别重要意义和富有成果的少数逻辑学家的工作。可证性解释是模态逻辑研究的主要方向之一，第9章跟这一方向有关。在这一章中，由论述算术中的自指、罗比定理和哥德尔不完全性定理出发，给出了一个可证性逻辑系统用以表达算术中的可证性断定，讨论了这系统的模型理论和算术解释，介绍了索罗维的两个完全性定理。第10章论述了模态逻辑在计算机程序推理中的应用，它详细综述了理论计算机科学和程序逻辑研究中的一些方法，说明如何把模态和时态逻辑中的叙述用于表达和证明给定程序的正确性，使之公式化。模态概念也可作道义解释而产生道义逻辑系统，第11章综述了这方面的研究，提供了一系列道义逻辑系统的陈述和精确化。
第3分卷副标题为古典逻辑的替代，共分8章，主要论述古典逻辑的种种替代。在古典逻辑中，每一个语句不是真的就是假的，而且每个单称项必有所指。现在已经出现了相当一些背离这一情形的逻辑。第1章论述的部分逻辑就是这样的逻辑。在部分逻辑系统中，语句可以既不真也不假，词项也不必总有所指。对于产生这些逻辑的哲学动机以及它们的应用，有着种种混乱的说法。对此作了一个简单的探讨，其指导思想是强调逻辑运算，而不是强调它们取作自变项的语句或者单称项以及由它们产生的语句或词项。收集了各种零星的见解并提出了一些新见解，根据这些新见解建立了部分逻辑的一阶语义，对真值空白和所指不足作了一致的处理。古典逻辑最早的竞争对手是多值逻辑，它的特征就是允许语句取许多可能的真值。第2章从多值逻辑的历史和由来开始，叙述了多值逻辑的一般理论以及它的最近进展和应用，最后还介绍了弗晰逻辑和意义的逻辑。随后3章介绍的是古典逻辑的另外两个对手:相干逻辑和直觉主义逻辑。第3章就相干逻辑的3个主要问题(γ规则的可接受性、判定问题和语义)作了概述。首先在第1节中介绍相干逻辑的公理系统和自然推理系统，证明了演绎定理和几个基本的形式性质，并讨论了一次衍推式以及相干逻辑跟其他一些熟知的逻辑的关系；然后在第2节中详细论证了γ—规则对相干命题逻辑的可接受性，在第3节中概述了已知的可判定或不可判定的情形；最后在第4节中介绍了相干逻辑的种种语义，包括代数的、集合论的、关系的和乌尔喀特的运算语义。第4章详细阐述了直觉主义逻辑的证明论和语义，在介绍语义时作者引进了具思模型和克里普克模型的一个共同推广。在本章中还讨论了居中逻辑、直觉主义一阶理论、二阶直觉主义逻辑和直觉主义数学中的一些问题，并在最后二节中讨论了存在性逻辑和对布劳维尔引进的创造性主体理论作了解释。第5章是第4章的一个补充，从对话游戏的观点对直觉主义逻辑作证明论的研究。第6和第7两章分别描述了自由逻辑和量子逻辑。自由逻辑系统的命题部分跟古典命题逻辑是一致的，但在谓词部分允许出现无指称的单称项和量词。量子逻辑就是跟物理中量子理论的数学表述有关的逻辑。最后一章概述了证明论用来确定逻辑联结词的性质的各种方式，还介绍了有关意指理论的争论和马丁罗夫类型论。
全书各卷均由处于研究前沿的专家撰写，精彩纷呈。
工具书的分类
工具书[1]按内容分有综合性的、专科性的；按文种分有中文的，外文的；按编辑体例与功用分有辞书、类书、政书、百科全书、年鉴、手册、书目、索引、文摘、表谱、图录、地图、名录等[2]。