爆炸原理查看源代码讨论查看历史

爆炸原理

来自 搜狐网 的图片

爆炸原理   （英文： principle of explosion）是经典逻辑中陈述从矛盾中可以得出

任何事物的规则。

定义

爆炸原理   （拉丁文：ex contradictione quodlibet (ECQ)， 英文： principle of

explosion）是经典逻辑中陈述从矛盾中可以得出任何事物的规则。用更加

形式化的术语，从形如 P ∧ ¬P 的命题可以推导出任何任意的 Q。 “爆炸

”指称接受一个单一的矛盾到一个系统中会导致整体定理的“爆炸”。

除了矛盾平常的一目了然的不真实性之外，这是对在形式系统中不允许 P

∧ ¬P 为真的主要逻辑论证: 在其中任何任意的公式都是定理的系统是

琐碎的。所以爆炸原理证明了无矛盾律的正当性。

应用

在一些非经典逻辑中，爆炸原理不成立。 比如， 次协调逻辑(Paraconsist

ent Logic)   和双面真理论(Dialetheism)   都是爆炸原理不成立的非经典逻辑系统。