Principle of explosion

The principle of explosion (also known as ex falso quodlibet, ex falso sequitur quodlibet (EFSQ for short), ex contradictione (sequitur) quodlibet (ECQ for short), and ex falso/contradictione (sequitur) aliquot) is the law of classical logic and a few other systems, for example, intuitionistic logic, according to which "anything follows from a contradiction". In symbolic terms, the principle of explosion can be expressed in the following way:


 * $$\{ \phi, \lnot \phi \} \vdash \psi.$$

Here, "$$\vdash$$" symbolizes the relation of logical consequence.

Arguments for explosion
There are two basic kinds of argument for the principle of explosion.

The semantic argument
The first argument is semantic or model-theoretic in nature. A sentence $$\psi$$ is a semantic consequence of a set of sentences $$\Gamma$$ just in case every model of $$\Gamma$$ is a model of $$\psi$$. But there is no model of the contradictory set $$\{\phi, \lnot \phi \}$$. A fortiori, there is no model of $$\{\phi, \lnot \phi \}$$ that is not a model of $$\psi$$. Thus, vacuously, every model of $$\{\phi, \lnot \phi \}$$ is a model of $$\psi$$. Thus $$\psi$$ is a semantic consequence of $$\{\phi, \lnot \phi \}$$.

The proof-theoretic argument
The second type of argument is proof-theoretic in nature. Consider the following derivations:


 * 1) $$\phi \wedge \neg \phi\,$$
 * assumption
 * 1) $$\phi\,$$
 * from (1) by conjunction elimination
 * 1) $$\neg \phi\,$$
 * from (1) by conjunction elimination
 * 1) $$\phi \vee \psi\,$$
 * from (2) by disjunction introduction
 * 1) $$\psi\,$$
 * from (3) and (4) by disjunctive syllogism
 * 1) $$(\phi \wedge \neg \phi) \to \psi$$
 * from (5) by conditional proof (discharging assumption 1)

Or:


 * 1) $$\phi \wedge \neg \phi\,$$
 * assumption
 * 1) $$\neg \psi\,$$
 * assumption
 * 1) $$\phi\,$$
 * from (1) by conjunction elimination
 * 1) $$\neg \phi\,$$
 * from (1) by conjunction elimination
 * 1) $$\neg \neg \psi\,$$
 * from (3) and (4) by reductio ad absurdum (discharging assumption 2)
 * 1) $$\psi\,$$
 * from (5) by double negation elimination
 * 1) $$(\phi \wedge \neg \phi) \to \psi$$
 * from (6) by conditional proof (discharging assumption 1)

Or:


 * 1) $$\phi \wedge \neg \phi\,$$
 * hypothesis
 * 1) $$\phi\,$$
 * from (1) by conjunction elimination
 * 1) $$\neg \phi\,$$
 * from (1) by conjunction elimination
 * 1) $$\neg \psi\,$$
 * hypothesis
 * 1) $$\phi\,$$
 * reiteration of (2)
 * 1) $$\neg \psi \to \phi$$
 * from (4) to (5) by deduction theorem
 * 1) $$( \neg \phi \to \neg \neg \psi)$$
 * from (6) by contraposition
 * 1) $$\neg \neg \psi$$
 * from (3) and (6) by modus ponens
 * 1) $$\psi\,$$
 * from (8) by double negation elimination
 * 1) $$(\phi \wedge \neg \phi) \to \psi$$
 * from (1) to (9) by deduction theorem

Rejecting the principle
Proponents of paraconsistent logic reject the principle of explosion, and thus must find flaw with both of the arguments above. As for the semantic argument, paraconsistent logicians often deny the assumption that there can be no model of $$\{\phi, \lnot \phi \}$$ and devise semantical systems in which there are such models. As for the proof-theoretic arguments, they commonly reject disjunctive syllogism on the ground that it does not hold when applied to inconsistent situations. As well is common to deny the use of reductio ad absurdum in this way, on the grounds that even though a contradiction was derived while assuming a certain proposition, if that proposition was not used in the derivation, it is still not valid to derive its negation.

External link

 * Ex Falso Quodlibet

Ex falso quodlibet Принцип вибуху 爆炸原理 ex falso quodlibet