Paradox of entailment

Paradox of entailment

The paradox of entailment is an apparent paradox derived from the principle of explosion, a law of classical logic stating that 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 was a zombie".

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::"Matter has mass" (1st premise; true):"Matter does not have mass" (2nd premise; false):"All numbers are equal to 42" (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.

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" suggests that the premises are consistent. In classical logic, the additional notion of "soundness" is introduced. A sound argument is a valid argument with all true premises. Hence a valid argument with an inconsistent set of premises can never be sound. Other suggested improvements to the notion of logical validity include strict implication and relevant implication.

References

ee also

*Correlation does not imply causation
*False dilemma


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… …   Wikipedia

  • Paradox — For other uses, see Paradox (disambiguation). Further information: List of paradoxes A paradox is a seemingly true statement or group of statements that lead to a contradiction or a situation which seems to defy logic or intuition. Typically,… …   Wikipedia

  • Logic — For other uses, see Logic (disambiguation). Philosophy …   Wikipedia

  • List of paradoxes — This is a list of paradoxes, grouped thematically. Note that many of the listed paradoxes have a clear resolution see Quine s Classification of Paradoxes.Logical, non mathematical* Paradox of entailment: Inconsistent premises always make an… …   Wikipedia

  • Список парадоксов — …   Википедия

  • Principle of explosion — The principle of explosion is the law of classical logic and a few other systems (e.g., intuitionistic logic) according to which anything follows from a contradiction i.e., once you have asserted a contradiction, you can infer any proposition, or …   Wikipedia

  • Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

  • applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

  • Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… …   Wikipedia

  • History of logic — Philosophy ( …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”