來源：互聯網
哲學邏輯（英語：Philosophical logic）是對邏輯更特定于哲學的方面的研究。這個術語相對于數理邏輯，因為數理邏輯開發于19世紀晚期，已經包含了傳統上一般由邏輯學處理的大多數主題。哲學邏輯被理解為包含并專注于非經典邏輯，包括時間邏輯、模態邏輯、條件邏輯、相干邏輯和直覺邏輯等分支，這些都是對傳統的經典邏輯的擴展和替代。
簡介
哲學邏輯關心的是盡可能的以最基礎的方式刻畫如推論、理性思維、真理和思維內容這樣的概念，并嘗試使用現代形式邏輯建模它們。它要談論的概念包括引用、論斷、同一、真理、否定、量化、存在性、必然性、定義和蘊涵。西比爾·沃爾夫拉姆強調了對論證、意義和真理的研究，而科林·麥克金則將同一性、存在、預測、必然性和真理作為他關于哲學邏輯的書的主要主題。
哲學邏輯不關心與思維、情感、想象和類似事物相關的心理過程。它只關心那些有能力為真和假的實體 — 思維、句子、命題。盡管在這個范圍內，它還感興趣于心靈哲學和語言哲學。弗雷格被認為是現代哲學邏輯的締造者。哲學邏輯的研究不僅限于傳統的邏輯分析，還包括對非經典邏輯的探討，這些非經典邏輯提供了對經典邏輯的重要補充和挑戰。約翰·P·伯吉斯的《哲學邏輯》一書中描述了非經典邏輯的五個中心分支，并重點關注形式化模型和直覺動機之間有時存在問題的關系。這些分支為哲學邏輯的研究提供了新的視角和工具。
參考資料 >