https://fascipedia.org/index.php?action=history&feed=atom&title=Principle_of_explosion 2026-04-08T15:53:59Z Revision history for this page on the wiki MediaWiki 1.39.2 https://fascipedia.org/index.php?title=Principle_of_explosion&diff=15347&oldid=prev 2023-01-20T07:58:56Z

<p>Created page with &quot;The <a href="/index.php/Principle_of_explosion" title="Principle of explosion">principle of explosion</a> is a logical rule of inference. According to the rule, from a set of premises in which a sentence &quot;&#039;&#039;&#039;&#039;&#039;A&#039;&#039;&#039;&#039;&#039;&quot; and its negation &quot;&#039;&#039;&#039;&#039;&#039;-A&#039;&#039;&#039;&#039;&#039;&quot; are both true (i.e., a contradiction is true), any sentence &quot;&#039;&#039;&#039;&#039;&#039;B&#039;&#039;&#039;&#039;&#039;&quot; 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....&quot;</p> <p><b>New page</b></p><div>The [[principle of explosion]] is a logical rule of inference. According to the rule, from a set of premises in which a sentence &quot;'''''A'''''&quot; and its negation &quot;'''''-A'''''&quot; are both true (i.e., a contradiction is true), any sentence &quot;'''''B'''''&quot; 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.<br /> <br /> [[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.)<br /> <br /> [[Category:Definitions]]<br /> [[Category:Upgradable_definitions]]</div>

Bacchus