Validity

A deductive Argument is valid iff it is impossible for all premises to be true and the conclusion false.

Why separate form from content?

Validity is about form, not content: a valid form can never take you from truth to falsehood.

  • Valid + true premises = sound (conclusion must be true)
  • Valid + false premise = unsound (conclusion might still be true)
  • Invalid = some way exists for the premises to be true and the conclusion false

Counter-example method

To prove an argument invalid, supply another argument with the same logical form that has obviously true premises and an obviously false conclusion.

Affirming the consequent (invalid):
1. If P, then Q.
2. Q.
∴ 3. P.

Counter-example: 
1. If Snoopy is a cat, then Snoopy is an animal.   (true)
2. Snoopy is an animal.                             (true)
∴ 3. Snoopy is a cat.                               (false: he's a dog)

Validity is the deductive standard. The analogous standard for ampliative arguments is Cogency, since ampliative conclusions go beyond the premises.