A rule of classical logic (ex falso quodlibet) stating that once a contradiction is admitted in a deductive system (both P and ¬P), any proposition can be validly inferred from it.

Principle

The organizing rule is that contradiction entails triviality in classical consequence relations: from inconsistent premises the consequence set becomes the entire language unless the logic blocks this inference.

Demonstration

Illustrative scenario: In classical propositional logic, from P and ¬P one can derive P ∨ Q by disjunction introduction, then by disjunction elimination derive Q; concretely, if a database contains both 'User A is active' and 'User A is not active', classical rules permit deriving arbitrary statements, showing collapse.

Misapplication

Invoking explosion to claim that any inconsistent dataset is useless in every practical context disregards paraconsistent approaches and pragmatic containment strategies; equally, asserting explosion holds in nonclassical systems without checking structural rules is an error.

Consequence

Within systems that validate explosion, consistency is a central desideratum: an admitted contradiction renders the system deductively trivial and undermines reliable inference, so maintaining or restoring consistency becomes normatively urgent.

Reversal

Paraconsistent logics and systems that reject ex falso quodlibet prevent explosion by restricting inference rules or consequence relations, thereby allowing localized inconsistencies without wholesale triviality.

Boundary

Applies to logics that include classical structural rules (particularly disjunction introduction/elimination and monotonicity). It does not universally hold in non-classical, substructural, or paraconsistent logics, nor does it automatically transfer to informal reasoning or probabilistic inference.

Semantic Tension

Tension between the view that contradictions are catastrophic (leading to triviality) and approaches that tolerate inconsistency for pragmatic or theoretical reasons; the dispute centers on whether explosion is a desirable formal property for a given application.

Synthesis

The principle of explosion captures the classical consequence that admitting a direct contradiction collapses deductive systems to triviality; its acceptance forces emphasis on consistency, while its rejection underlies paraconsistent treatments that aim to isolate contradictions.