The inference principle, ex contradictione quodlibet, that once a contradiction (both P and ¬P) is present in a deductive system, any proposition Q can be derived; contradictions lead to logical triviality in classical consequence relations.

Principle

If a system yields P and ¬P, then for any Q the system yields Q; a single contradiction entails arbitrary conclusions under classical entailment rules.

Demonstration

Given the contradictory premises 'Alice is at home' and 'Alice is not at home' in a classical propositional calculus, one can derive an unrelated sentence such as 'The moon is made of cheese' by standard derivations that exploit the contradiction.

Misapplication

Applying explosion without verifying the underlying logic leads to misuse in paraconsistent contexts where contradictions are tolerated but do not entail everything; assuming explosion universally obscures alternative consequence relations.

Consequence

Highlights the critical role of consistency in classical systems: to avoid triviality every healthy theory must block derivation of contradictions or be reformulated in a non-explosive logic.

Reversal

Rejecting explosion yields paraconsistent logics in which contradictions can exist without collapsing the system into triviality; rejecting explosion restructures entailment rules to localize contradiction effects.

Boundary

Holds for classical consequence relations and most standard formal systems that adopt monotonicity and standard rules for negation; it does not hold in paraconsistent or some substructural logics that alter entailment.

Semantic Tension

Tension exists between the desire to preserve classical inferential strength (which implies explosion) and the desire to model inconsistent but informative theories (which motivates paraconsistent alternatives that block explosion).

Synthesis

The Principle of Explosion states that classical entailment makes contradictions disastrous: from P and ¬P anything follows; resisting that outcome requires changing the consequence relation or the treatment of negation.