[Revised entry by Graham Priest, Koji Tanaka, and Zach Weber on April 17, 2026.
Changes to: Main text, Bibliography]
A logical consequence relation is explosive if according to it any arbitrary contradiction (A), (neg A) entails any arbitrary conclusion (B) (ex contradictione quodlibet (ECQ)). Classical logic, and most standard non-classical logics too such as intuitionist logic, are explosive. Inconsistency, according to a standard view about logic, cannot be coherently reasoned about....