Denying the antecedent

related topics
{theory, work, human}
{law, state, case}
{math, number, function}

Denying the antecedent, sometimes also called inverse error, is a formal fallacy, committed by reasoning in the form:

Arguments of this form are invalid. Informally, this means that arguments of this form do not give good reason to establish their conclusions, even if their premises are true.

The name denying the antecedent derives from the premise "not P", which denies the "if" clause of the conditional premise.

One way to demonstrate the invalidity of this argument form is with a counterexample with true premises but an obviously false conclusion. For example:

That argument is obviously bad, but arguments of the same form can sometimes seem superficially convincing, as in the following example imagined by Alan Turing in the article "Computing Machinery and Intelligence":

However, men could still be machines that do not follow a definite set of rules. Thus this argument (as Turing intends) is invalid.

It is possible that an argument that denies the antecedent could be valid, if the argument instantiates some other valid form. For example, if the claims P and Q express the same proposition, then the argument would be trivially valid, as it would beg the question. In everyday discourse, however, such cases are rare, typically only occurring when the "if-then" premise is actually an "if and only if" claim (i.e., a biconditional). For example:

The above argument is not valid, but would be if the first premise ended thus: "...and if I can veto Congress, then I am the U.S. President" (as is in fact true). More to the point, the validity of the new argument stems not from denying the antecedent, but denying the consequent.

See also

References

External links

Full article ▸

related documents
Wikipedia:Decision Making Process
Special pleading
Clarke's three laws
The Machinery of Freedom
Christoph Gottfried Bardili
Leucippus
Process theology
Argument form
Adage
Externalization
Topic outline of critical theory
William Schutz
Critical philosophy
Agrarianism
Christopher Alexander
David Deutsch
Collective unconscious
Jacob Anatoli
Empirical research
Affection
Painting style
Chaos argument
Bahya ibn Paquda
Absurdist fiction
Institutional Mode of Representation
Henry Home, Lord Kames
Ultrafinitism
Dominator culture
Weimar culture
Orgel's rule