Abstract:
The contemporary logical orthodoxy has it that, from contradictory premises, anything can be inferred. To be more precise, let ⊨ be a relation of logical consequence, defined either semantically or proof-theoretically. Call ⊨ explosive if it validates {A , ¬A} ⊨ B for every A and B (ex contradictioone quodlibet (ECQ)). The contemporary orthodoxy, i.e., classical logic, is explosive, but also some ‘non-classical’ logics such as intuitionist logic and most other standard logics are explosive.