非经典邏輯(英語:Non-classical logic)[1][2],也称为替代逻辑(英語:alternative logics),概括了在经典邏輯體系之外的各種形式系統,這些系統在命題及謂詞等方面,與经典邏輯不同。[3]
| 此條目需要 精通或熟悉数学的编者参与及协助编辑。 (2021年2月12日) |
哲学逻辑[2][4]被理解为包含并专注于非经典逻辑,尽管该术语还有其他含义。
此外,可以将理论计算机科学的某些部分视为使用非经典推理,尽管这因学科领域而异。隨著現代哲學邏輯與理論計算機科學的發展,推動了非经典邏輯發展。