# Rule of Explosion/Explanation

Jump to navigation
Jump to search

## Proof Rule

The **Rule of Explosion** can be expressed in natural language as:

- If you can prove a contradiction, you can prove
*anything*.

Compare this with the colloquial expression:

- "If England win the World Cup this year, then I'm a kangaroo."

The assumption is that the concept of England winning the world cup is an inherent contradiction (it being taken worldwide as a self-evident truth that England will *never* win the World Cup again). Therefore, if England *does* win the World Cup this year, then this would imply a falsehood as the author of this page is certainly human.

This rule is denied validity in the system of Johansson's minimal logic.