哲学逻辑

出处：按学科分类—社会科学总论 中国青年出版社《社会科学学科辞典》第129页（1044字）

哲学逻辑是现代逻辑领域的一个学科群体，它有不同的涵义：(1)指关于逻辑学中一些重要概念，如名称、命题、涵义、量词、结构、解释、真、有效性、必然性、可能性、相关、验证、悖论、摹状词以及语义和语用等概念的理论研究。

这实质上是逻辑哲学。(2)运用逻辑分析传统上哲学家所关心的概念和概念的结构，它包括行动、道义、命令、优先、存在、时态、莱斯尼斯基的本体论、构造主义逻辑、问题、认识、假定、信息和信息过程、归纳、概率等逻辑系统，这即狭义哲学逻辑。(3)除狭义哲学逻辑所包含的逻辑分支外，还包括模态、多值、自由、量子论这些与哲学有直接关系的逻辑理论分支，即广义哲学逻辑。

一般是把广义哲学逻辑称为哲学逻辑，它是以传统的哲学概念和一般方法论问题为直接对象的逻辑理论和逻辑系统。它的兴起，使现代逻辑远远超出了数学领域，即不仅深入到由物理学到社会学一系列学科，且在工程技术上找到了应用。在哲学逻辑中，分别把必然、可能；必须、允许、禁止；知道、相信；曾经、将要等概念作为逻辑常项，研究包含这些常项的命题形式和构造相应的形式系统，故对这些概念涵义的逻辑分析，是分析包含它们作为逻辑常项的命题形式的前题。

因此，它的研究已深入到思维结构的更深一个层次即概念层次。

哲学逻辑的若干分支的某些基本概念在数理逻辑产生前就有了。

古希腊的亚里士多德考察了“必然”、“可能”、“偶然”等模态概念，还说明了支配优先逻辑中的优先性概念的原则。

时态逻辑的基本思想可上溯到麦加拉学派。在柏拉图的着作中有关于认识逻辑的一些概念的论述。关于规范逻辑的一些片断思想在13世纪的罗伯特·霍尔科特的着作中可以找到。

至于形成今天这样完整的哲学逻辑系统，则是数理逻辑成为独立学科后才成为可能。刘易斯构造了第一个现代模态逻辑系统(S₃)，打开了人们的思路。康格尔、克里普柯、辛提卡等人建立的模态逻辑语义理论更扩大了逻辑学家的视野。

哲学逻辑的产生和发展，也加快了逻辑学向广度和深度发展的进程。

哲学逻辑是一门年轻的学科，它的若干分支尚待进一步发展和完善。在我国，虽对有的分支(如模态逻辑)的研究有一定基础，但总的说来还是刚刚起步。

《现代西方哲学逻辑》，朱新民着，复旦大学出版社1987年版。