哲学逻辑

逻辑特定于哲学方面的研究
哲学逻辑(英语:Philosophical logic)是对逻辑更特定于哲学的方面的研究。这个术语相对于数理逻辑,因为数理逻辑开发于19世纪晚期,已经包含了传统上一般由逻辑学处理的大多数主题。哲学逻辑被理解为包含并专注于非经典逻辑,包括时间逻辑、模态逻辑、条件逻辑、相干逻辑和直觉逻辑等分支,这些都是对传统的经典逻辑的扩展和替代。

简介

哲学逻辑关心的是尽可能的以最基础的方式刻画如推论、理性思维、真理和思维内容这样的概念,并尝试使用现代形式逻辑建模它们。它要谈论的概念包括引用、论断、同一、真理、否定、量化、存在性、必然性、定义和蕴涵。西比尔·沃尔夫拉姆强调了对论证、意义和真理的研究,而科林·麦克金则将同一性、存在、预测、必然性和真理作为他关于哲学逻辑的书的主要主题。
哲学逻辑不关心与思维、情感、想象和类似事物相关的心理过程。它只关心那些有能力为真和假的实体 — 思维、句子、命题。尽管在这个范围内,它还感兴趣于心灵哲学和语言哲学。弗雷格被认为是现代哲学逻辑的缔造者。哲学逻辑的研究不仅限于传统的逻辑分析,还包括对非经典逻辑的探讨,这些非经典逻辑提供了对经典逻辑的重要补充和挑战。约翰·P·伯吉斯的《哲学逻辑》一书中描述了非经典逻辑的五个中心分支,并重点关注形式化模型和直觉动机之间有时存在问题的关系。这些分支为哲学逻辑的研究提供了新的视角和工具。