This article is still under construction Please post comments, questions and suggestions on the talk page, not in the article itself. Thank you. |

The **paradox of entailment** is an apparent paradox derived from the observation that, in classical logic, inconsistent premises always make an argument valid; that is, inconsistent premises imply any conclusion at all. This seems paradoxical, as it suggests that the following is a good argument:

*It is raining**It is not raining*

therefore

*George Washington is the Pope*.

## Understanding the paradox[]

Validity is defined in classical logic as follows: *An argument (consisting of premises and a conclusion) is valid if and only if there is no possible situation in which all the premises are true and the conclusion is false. *

For example an argument might run:

*If it is raining, water exists*(1st premise; always true)*It is raining*(2nd premise)*Water exists*(Conclusion)

In this example there is no possible situation in which the premises are true while the conclusion is false. Since there is no counterexample, the argument is valid.

But one could construct an argument in which the premises are inconsistent. This would satisfy the test for a valid argument since there would be *no possible situation in which all the premises are true* and therefore *no possible situation in which all the premises are true and the conclusion is false*.

For example an argument with inconsistent premises might run:

*Hitler was a sensitive man*(1st premise; true)*Hitler was no sensitive man*(2nd premise; false)*George Washington is the Pope*(Conclusion; unprovable)

As there is no possible situation where both premises could be true, then there is certainly no possible situation in which the premises could be true while the conclusion was false. So the argument is valid whatever the conclusion is; inconsistent premises imply all conclusions are true.

## Explaining the paradox[]

The strangeness of the paradox of entailment comes from the fact that the definition of validity in classical logic does not always agree with the use of the term in ordinary language. In everyday use *validity* implies that the premises are consistent. Suggested improvements to the notion of logical validity include strict implication and relevant implication.

## References[]

Template:Unreferenced

## See also[]

- Correlation does not imply causation
- False dilemma}}