哲學邏輯

哲學邏輯是對邏輯更特定於哲學的方面的研究。這個術語相對於數理邏輯，因為數理邏輯開發於十九世紀晚期，已經包含了傳統上一般由邏輯處理的大多數主題。

它關心的是儘可能的以最基礎的方式刻畫如推論、理性思維、真理和思維內容這樣的概念，並嘗試使用現代形式邏輯建模它們。

它要談論的概念包括引用、論斷、同一、真理、否定、量化、存在性、必然性、定義和蘊涵。

哲學邏輯不關心與思維、情感、想像和類似事物相關的心理過程。它只關心那些有能力為真和假的實體 — 思維、句子、命題。儘管在這個範圍內，它還感興趣於心靈哲學和語言哲學。弗雷格被認為是現代哲學邏輯的締造者。'