古典逻辑

他们描绘的是为一定数量的物产; non-classical逻辑是缺乏一个或更多这些物产，是的那些：

被排除的中部的法律 并且 双重否定排除; noncontradiction法律 ; entailment Monotonicity 并且 entailment Idempotency ; 契合Commutativity ; de摩根双重性: 每 逻辑操作符 是双重的到另一个。 是研究演绎推理及其规律的科学，是人们认识世界和改造世界的必要工具，是人类认识发育到一定阶段后出现思维方法。康德首先使用了这个术语。

古典逻辑是 二价即。 它只使用 布尔被重视的作用. 并且，当不由在先的条件需要，关于古典逻辑的当代讨论通常只包括 propositional 并且 优先处理 逻辑。

例子

Aristotle‘s Organon 介绍他的理论 syllogisms是逻辑与评断的一个有限的形式： 主张作为四个形式一，所有Ps是Q,某一Ps是Q,Ps不是Q和某一Ps不是Q. 这些评断发现自己，如果二个对二名双重操作员和每名操作员是另的否定， Aristotle总结与他的关系 反对正方形 . Aristotle在辩解他的系统明确地公式化了被排除的中部的非矛盾法律和法律，虽然这些法律在三段论法范围内不可能被表达作为评断。 乔治Boole‘逻辑的s代数再形成，他的系统 布尔逻辑; 优先处理的逻辑发现了 Gottlob Frege‘s Begriffsschrift.

Nonclassical逻辑

Computability逻辑 是computability的一种语义地被修建的正式理论，与古典逻辑相对，是真相的一种正式理论; 集成并且扩大古典，线性和intuitionistic逻辑。 模糊逻辑 拒绝被排除的中部的法律并且允许作为真值0和1范围的任何实数。 Intuitionistic逻辑 拒绝被排除的中间，双重否定排除和De摩根的法律的法律; 线性逻辑 拒绝entailment idempotency; 模态逻辑 扩大古典逻辑与 非真相功能 (“语气”)操作员。 Paraconsistent逻辑 (即， dialetheism 并且 相关性逻辑)拒绝noncontradiction法律; 相关性逻辑, 线性逻辑和 non-monotonic逻辑 entailment废弃物monotonicity; 在 异常逻辑，模糊逻辑： 在形式主义之外, 苏珊Haack 分开的non-classical逻辑到里 异常类似异常和延长的逻辑。

参考

参考资料