哲學邏輯

哲學邏輯 ( 英文 ： Philosophical logic ) ， 指傳統上使用公認的邏輯方法來解決或推進哲學問題討論的哲學領域 。 是對邏輯更特定於哲學的方面的研究 。 其中 ， 西比爾 · 沃爾夫拉姆 （ Sybil Wolfram ） 強調了對論證 、 意義和真理的研究 ， 而科林 · 麥金恩 （ Colin McGinn ） 則將同一性 、 存在 、 預測 、 必然性和真理作爲他關於哲學邏輯的書的主要主題 。 哲學邏輯被理解爲包含並專注於非經典邏輯 ， 儘管該術語還有其他含義 。 非經典邏輯是對傳統的經典邏輯的擴展和替代, 其介紹可見於 的 《 哲學邏輯 》 。 該著作描述非經典邏輯的五個中心分支 （ 時間邏輯 、 模態邏輯 、 條件邏輯 、 相干邏輯和直覺邏輯 ） ， 重點關注形式化模型和直覺動機之間有時存在問題的關係 。 進一步的介紹可見其它有關文獻 。 哲學邏輯術語相對於數理邏輯 ， 因爲數理邏輯開發於19世紀晚期 ， 已經包含了傳統上一般由邏輯學處理的大多數主題 。 它關心的是儘可能的以最基礎的方式刻畫如推論 、 理性思維 、 真理和思維內容這樣的概念 ， 並嘗試使用現代形式邏輯建模它們 。