principle of explosion
principle of explosion
1. The thesis satisfied by a particular deductive system with a negation
when
is explosive, that is, when
satisfies the property that for all sets of formulae
:
•
In other words, the thesis that the only -theory is the trivial theory. Paraconsistent logics may be defined as deductive systems with a negation
that fail to satisfy the principle of explosion in this sense. Because the inference corresponding to all formulae following from inconsistency or contradiction, the inference is frequently described as ex contradictione quodlibet or ECQ.
The principle of explosion is distinct from but related to the principle of noncontradiction, which asserts that no proposition is both true and false. When the truth of is independent from the truth of
—as is found in many non-deterministic semantics for logics of formal inconsistency—that
is true merely entails that both
and
are true and not that either of the conjuncts is false.
2. Where is a conditional connective, the axiom scheme:
•
Because the principle has been falsely attributed to philosopher John Duns Scotus (1265–1308), the principle is sometimes known as ‘pseudo Scotus’.