Principle of explosion

{{logicnav}}
The '''principle of explosion''' is a [[logic]]al rule of inference. According to the rule, from a set of premises in which a sentence <math>A</math> and its negation <math>\neg A</math> are both true (''i.e.'', a contradiction is true), ''any'' sentence <math>B</math> may be inferred. It is also known by its [[Latin]] name ''ex contradictione quodlibet'', meaning ''from a contradiction anything follows'', or ''ECQ'' for short. Since a contradiction is always false, another Latin term is ''ex falso quodlibet''. In layman's terms, if you start with two contradictory premises, you can actually deduce ''literally anything''.

Classical logic accepts the principle of explosion; but in [[paraconsistent logic]] it is rejected. It is also rejected in [[relevance logic]], since relevance logic is based on the competing principle that ''the premises must be relevant to the conclusion''. (All relevance logics are paraconsistent, but not all paraconsistent logics are relevant.)

==Rule==
Formally, the rule is stated as follows. For arbitrary sentences <math>A</math> and <math>B</math>:

<center><math>\left\{A,\neg A\right\}\vDash B</math></center>

Informally, the rule is applied thus: Suppose that one has <math>A</math> and <math>\neg A</math> for premises and wishes to prove <math>B</math>. One then may employ ''[[reductio ad absurdum]]'', assuming to the contrary <math>\neg B</math> and then bringing down the premises <math>A</math> and <math>\neg A</math>. This is, of course, a contradiction, meaning that <math>\neg B</math> may be concluded to be false, ''i.e.'', <math>B</math> is true.

==Following the logic==
Here is a "Plain English" attempt to apply this rule and follow the logic up to a conclusion.

Assume two contradictory premises: A) 'All ice cream is frozen.'; B) 'Not all ice cream is frozen.'

Now, just to show that it's possible, say one wants to use those two premises to prove that: C) 'Words don't exist'.

To do so, construct a disjunction out of A and C:

'All ice cream is frozen or words don't exist.'

This statement appears to be perfectly acceptable here because it holds true under any of these three circumstances:
#All ice cream is frozen.
#Words don't exist.
#All ice cream is frozen and words don't exist.
:(Of which at least the first one is true because it was assumed as a premise.)

Now use that disjunction for a disjunctive [[syllogism]]:
{{syl
|2=All ice cream is frozen or words don't exist.
|4=Not all ice cream is frozen.
|5=C|6=Therefore words don't exist.
}}

This also appears to be perfectly acceptable here because if it is said that at least one of A or C are true, then when it turns out A is not true (which is B, which has been accepted as a premise), at least it can be held that C is true.<ref group="note">Note, by the way, how unnatural this inference feels. First we say "All ice cream is frozen", then we "forget" it and assume the opposite. It almost sounds like [[gaslighting]]. "What? I never said all ice cream is frozen. In fact, what I'm saying is that ''not'' all ice cream is frozen! And since not all ice cream is frozen, then the only way for the statement 'all ice cream is frozen or words don't exist' to be true is to assume that words don't exist."</ref>

So now it has been proven that words don't exist…

So what is this sentence, then?!

===Solutions===
Either reject that reasoning behind the principle of explosion (say, by rejecting that disjunction or that disjunctive syllogism) — or — just simply say no to assuming two contradictory premises (otherwise one would have to claim that one accepts yet more contradictions, i.e. one accepts both A) 'Words don't exist.' and B) 'Words do exist.' as premises … which somehow allows for sentences to exist as well as not exist.)

Alternatively, understand that while the syllogism is [[Logical validity|logically valid]], because one of the premises must be false the syllogism is not [[Soundness|logically sound]] and therefore the conclusion cannot be drawn.

==Tacit applications==
The [[Bible]] contains [[Problems with biblical inerrancy|numerous inconsistencies]]. Although — for obvious reasons — [[theologian]]s (professional and amateur) do not use the principle of explosion to draw conclusions from such inconsistencies, the many cases allow them to find a Bible quote to support just about any position imaginable, across the spectra of [[politics]], [[economics]], and emotions.

For example, one can [[Quote mining|quote-mine]] passages supporting wrath and judgment from the [[Old Testament]], and quotes supporting love and mercy from the [[New Testament|New]], and vice versa.

==Notes==
{{reflist|group=note}}

==See also==
*''[[Reductio ad absurdum]]''

[[Category:Evaluating arguments]]
[[Category:Logic]]

Categories: Evaluating arguments, Logic