非经典逻辑(英语:Non-classical logic)[1][2],也称为替代逻辑(英语:alternative logics),概括了在经典逻辑体系之外的各种形式系统,这些系统在命题及谓词等方面,与经典逻辑不同。[3]
| 此条目需要精通或熟悉数学的编者参与及协助编辑。 (2021年2月12日) |
哲学逻辑[2][4]被理解为包含并专注于非经典逻辑,尽管该术语还有其他含义。
此外,可以将理论计算机科学的某些部分视为使用非经典推理,尽管这因学科领域而异。随著现代哲学逻辑与理论计算机科学的发展,推动了非经典逻辑发展。