爆炸原理

爆炸原理（英文： principle of explosion）是經典邏輯中陳述從矛盾中可以得出任何事物的規則。

基本介紹

• 中文名：爆炸原理
• 適用領域：邏輯學
• 英文：Principle of Explosion
• 拉丁文：ex contradictione quodlibet (ECQ)

定義

爆炸原理拉丁文：ex contradictione quodlibet (ECQ)，用更加形式化的術語，從形如 P ∧ ¬P 的命題可以推導出任何任意的 Q。 “爆炸”指稱接受一個單一的矛盾到一個系統中會導致整體定理的“爆炸”。

除了矛盾平常的一目了然的不真實性之外，這是對在形式系統中不允許 P ∧ ¬P 為真的主要邏輯論證: 在其中任何任意的公式都是定理的系統是瑣碎的。所以爆炸原理證明了無矛盾律的正當性。

套用

在一些非經典邏輯中，爆炸原理不成立。 比如， 次協調邏輯(Paraconsistent Logic)和雙面真理論(Dialetheism)都是爆炸原理不成立的非經典邏輯系統。