Principle of explosion

From RationalWiki
Revision as of 19:08, 14 July 2012 by Tmtoulouse (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Part of the series on

Logic

Icon logic.svg
Key articles
General logic
Bad logic

Alexander and Aristotle.jpg

The principle of explosion is a logical rule of inference. According to the rule, from a set of premises in which a sentence A and its negation \neg A are both true (i.e., a contradiction is true), any sentence B may be inferred. It is also known by its Latin name ex contradictione quodlibet, meaning from a contradiction anything follows, or ECQ for short.

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.)

[edit] Rule

Formally, the rule is stated as follows. For arbitrary sentences A and B:

\left\{A,\neg A\right\}\vDash B

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

[edit] Tacit applications

The Bible is known to contain numerous inconsistencies. Although for obvious reasons the principle of explosion is not used to draw conclusions from them, the many inconsistencies allow a Bible quote to be furnished to support just about any position imaginable, across the spectra of politics, economics, and emotions.

For example, quotes supporting a speech on wrath and judgment can be quote-mined from the Old Testament, quotes supporting a speech on love and mercy from the New.

[edit] See also

Personal tools
Namespaces

Variants
Actions
Navigation
Community
Toolbox
support