Affirming the consequent

From RationalWiki

Jump to: navigation, search

Affirming the consequent is a logical fallacy often used in the context of trying to establish guilt by association. It is named after the consequent in a conditional statement (Q in "if P, then Q").

Contents

[edit] Forms of the argument

[edit] Propositional logic

  • If P, then Q.
  • Q.
  • Therefore, P.

In formal terms, the fallacious argument is stated as \left(P\rightarrow Q\right), Q \vDash P.

[edit] First-order logic

  • If P is true of x, then Q is true of x.
  • Q is true of x.
  • Therefore, P is true of x.

In formal terms, the fallacious argument is stated as \forall x.\left(P(x)\rightarrow Q(x)\right), Q(a)\vDash P(a).

[edit] Examples of the argument

[edit] Propositional form

  • If it is sunny today, then I will go swimming.
  • I will go swimming.
  • Therefore, it is sunny today.

[edit] First-order form

  • Fascists support a strong military.
  • John Q. Warhawk supports a strong military.
  • Therefore, John Q. Warhawk is a fascist.


[edit] See also

Personal tools