非經典邏輯

非經典邏輯  ， 也稱爲替代邏輯  ， 概括了在經典邏輯體系之外的各種形式系統 ， 這些系統在命題及謂詞等方面 ， 與經典邏輯不同 。 哲學邏輯被理解爲包含並專注於非經典邏輯 ， 儘管該術語還有其他含義 。 此外 ， 可以將理論計算機科學的某些部分視爲使用非經典推理 ， 儘管這因學科領域而異 。 隨著現代哲學邏輯與理論計算機科學的發展 ， 推動了非經典邏輯發展 。