爆炸原理檢視原始碼討論檢視歷史

爆炸原理 （英文： principle of explosion）是經典邏輯中陳述從矛盾中可以得出

任何事物的規則。^[1]

定義

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

explosion）是經典邏輯中陳述從矛盾中可以得出任何事物的規則。用更加

形式化的術語，從形如 P ∧ ¬P 的命題可以推導出任何任意的 Q。「爆炸

」指稱接受一個單一的矛盾到一個系統中會導致整體定理的「爆炸」。

除了矛盾平常的一目了然的不真實性之外，這是對在形式系統中不允許 P

∧ ¬P 為真的主要邏輯論證: 在其中任何任意的公式都是定理的系統是

瑣碎的。所以爆炸原理證明了無矛盾律的正當性。

在一些非經典邏輯中，爆炸原理不成立。比如，次協調邏輯(Paraconsist

ent Logic) 和雙面真理論(Dialetheism) 都是爆炸原理不成立的非經典邏輯系統。