种形式系统，这些系统在命题及谓词等方面，与经典逻辑不同。 随着现代哲学逻辑与理论计算机科学的发展，推动了非经典逻辑发展。
简介.经典逻辑基于公理化的四个基本原理：同一律, 排中律, 无矛盾律(也被称为矛盾律),和充足理由律。经典逻辑也被特征化为下面一些性质： 非经典逻辑是缺乏上面这其中的某一个或多个特性的逻辑系统。<br>历史上关于经典逻辑（古典逻辑), 康德认为亚里士多德发现了关于逻辑的一切知识，逻辑史学家潘特尔得出了这样的推论，即亚里士多德之后的任何逻辑学家所提出的新事物