哲学逻辑

20世纪50～60年代以来形成的一系列新兴逻辑学科群体。在这期间以前，现代数理逻辑的发展主要跟数学基础的研究分不开。而这批逻辑学科的诞生，则标志数理逻辑出现了以探讨哲学问题为特色的另一发展方向。哲学逻辑有以下一些特点：①这些逻辑门类大都以经典的一阶逻辑为基础，或者要直接借助于有关的概念和方法。例如，正规模态命题逻辑就是在经典命题逻辑的基础上，增加了两个条件（公理口α→β）→（口α→口β与必然性概括规则）而成。而多值逻辑等，则表现为大量借用经典逻辑的方法和技巧来构造系统。②这些逻辑门类大都以传统的哲学概念、范畴和方法论问题为研究对象，是关于传统哲学概念的形式理论。模态逻辑是研究“必然”、“可能”等传统哲学范畴的逻辑理论。而时态逻辑系统则是关于时间的哲学观点的反映。至于问题逻辑、知道逻辑、相信逻辑、断定逻辑等更与传统的认识论问题密切相关。③哲学逻辑不是指一个单一的逻辑理论。与经典命题逻辑、谓词逻辑那样的具体逻辑理论不同，哲学逻辑是许多不同的逻辑分支学科的统称。作为一大批逻辑新兴学科的群体，哲学逻辑中的成员数目尚未固定，呈不断增多之势。哲学逻辑可以分为四个子类：①异常逻辑类。该类是或多或少改换经典逻辑一些主要特征的结果。如相干逻辑改换经典逻辑“实质蕴涵”的原则，多值逻辑放弃了经典的二值逻辑的特征。这类逻辑还包括：直觉主义逻辑、内涵逻辑、部分逻辑、自由逻辑、量子逻辑、模糊逻辑等。②本体论逻辑类。该类以讨论传统哲学本体论问题为特色，它们有模态逻辑、时态逻辑等。③认识论逻辑类。该类与关于知识的获得、接受、传递以及对知识态度的研究有关，它包括问题逻辑、知道逻辑、相信逻辑、断定逻辑。④伦理规范逻辑类。伦理学属于广义哲学的一部分。传统伦理学讨论的概念有权力、义务、允许、禁止、决定、选择、动机、效果等。该类逻辑就是关于上述概念的形式理论，主要有：行动逻辑、道义（义务）逻辑、命令句逻辑以及优先逻辑。《哲学逻辑手册》美国逻辑学家J.欣迪卡主编的综合丛书的第164卷。由英国逻辑学家D.盖贝与德国逻辑学家F.甘特纳主持编写。此书是哲学逻辑的一部重要专著，它全面系统地概述了哲学逻辑的主要领域，具有较高的学术价值。全书共4大卷，由兰德尔出版公司分别于1983、1984、1986和1989年出版。各卷的副标题：古典逻辑基础（第1卷），古典逻辑的扩充（第2卷），古典逻辑的替代（第3卷），语言哲学中的课题（第4卷）。第1卷共6章。简要概述了古典逻辑基础，并为读者理解其他各卷提供了必要的背景知识。第2卷共12章，主要介绍在古典逻辑基础上扩充的逻辑。前6章全面介绍模态逻辑和时态逻辑的基本内容。后6章概述了一些逻辑分支：一般内涵逻辑、条件句逻辑、可证性逻辑、程序逻辑、规范逻辑和问句逻辑。第3卷共8章。主要论述那些改换古典逻辑的一些原则而得到的逻辑：部分逻辑、多值逻辑、相干逻辑、直觉主义逻辑、自由逻辑和量子逻辑。第4卷共10章。介绍了用逻辑方法如何处理语言哲学领域的某些中心课题的情况。这些情况有广义量词的研究，处理谓述问题的性质理论，与语境有关的指称问题，摹状词与专门的语义理论，等等。