Paraconsistent logic is a type of non-classical logic that allows for the coexistence of contradictory statements without leading to a logical explosion where anything can be proven true.

经典逻辑（英语：Classical logic），是被最深入的研究和最广泛的使用的一类 形式逻辑，也被称为标准逻辑（standard logic), 基于公理化的四种基本原理， 同一律,排中律,非矛盾律 (也被称为矛盾律 -- law of contradiction),和 充足理由律。 经典逻辑一些性质被特征化如下。 非经典逻辑是缺乏下面其中的某一个或多个特性的逻辑系统： * 排中律 (Law of excluded middle, LEM):两个相互排斥的思想其中必有一真。 通常表示为：或者，可符号化为 (A ∨ ¬A)

1996年9月24日 · A logic is paraconsistent iff its logical consequence relation \((\vDash\), either semantic or proof theoretic) is not explosive. Paraconsistency is a property of a consequence relation.

次协调逻辑（英語： Paraconsistent logic ）是尝试处理矛盾的逻辑 [1] 。 是不 瑣碎 的（non-trivial）逻辑，它允许矛盾。 更加特殊的，它允许断言一个陈述和它的否定，而不导致谬论。

弗协调逻辑（Paraconsistent Logic），是一个逻辑系统。 在这个逻辑系统里，矛盾律和反证法不普遍有效。 如此，就引入了一个不一致但却足道的逻辑系统。 弗协调逻辑是人类思维的一个大胆飞跃，它大胆地否定了“ 矛盾律 ”的普遍有效性，在系统里面引入了“不一致”。 在这个逻辑系统里，A和┐A可以同时成立。 如果有一种逻辑系统允许A和┐A同 时成立，那么这个系统称为不一致的。 由反证法规则可以推导出，在不一致的系统里，所有的公式都是真的。 这种公式全真的系 …

A paraconsistent logic is a way to reason about inconsistent information without lapsing into absurdity. In a non-paraconsistent logic, inconsistency explodes in the sense that if a contradiction obtains, then everything (everything!) else obtains, too.

1996年9月24日 · A logic is said to be paraconsistent iff its relation of logical consequence is not explosive. The modern history of paraconsistent logic is relatively short. Yet the subject has already been shown to be an important development in logic for many reasons.

1996年9月24日 · Paraconsistent logic challenges this orthodoxy. A logical consequence relation, ⊨, is said to be paraconsistent if it is not explosive. Thus, if ⊨ is paraconsistent, then even if we are in certain circumstances where the available information is inconsistent, the inference relation does not explode into triviality .

弗协调逻辑（Paraconsistent Logic）是一种非经典逻辑，但它又是其中最具有革命性的逻辑学分支。 Para这个前缀有超越、否定的意思，“弗”就是“不”即否定。 通常认为，一种具体的逻辑只有在它的一阶谓词演算建立之后才能说它的存在。 根据这个标准，我们可以说，弗协调逻辑是由巴西逻辑学家科斯塔（N.C.A.da Costa）在1963年创立的。 因为他在这一年发表了博士论文《不协调形式系统》，从弗协调逻辑的基本思想出发，构造了在其中“A”和“ØA”都是定理，但并非不足道的纯 …

爆炸原理说明了经典逻辑系统中无矛盾律的正当性。 次协调逻辑 （Paraconsistent Logic）就是爆炸原理ECQ 不成立的逻辑系统。 在这样的系统中，陈述A及其否定. 知乎，中文互联网高质量的问答社区和创作者聚集的原创内容平台，于 2011 年 1 月正式上线，以「让人们更好的分享知识、经验和见解，找到自己的解答」为品牌使命。 知乎凭借认真、专业、友善的社区氛围、独特的产品机制以及结构化和易获得的优质内容，聚集了中文互联网科技、商业、影视、时尚、文化等领域 …