非經典邏輯(英語:Non-classical logic)[1][2],也稱為替代邏輯(英語:alternative logics),概括了在經典邏輯體系之外的各種形式系統,這些系統在命題及謂詞等方面,與經典邏輯不同。[3]
| 此條目需要精通或熟悉數學的編者參與及協助編輯。 (2021年2月12日) |
哲學邏輯[2][4]被理解為包含並專注於非經典邏輯,儘管該術語還有其他含義。
此外,可以將理論計算機科學的某些部分視為使用非經典推理,儘管這因學科領域而異。隨著現代哲學邏輯與理論計算機科學的發展,推動了非經典邏輯發展。