Informal LogicDeductive and Inductive Reasoning

Soundness

A sound argument is valid and has all true premises, so its conclusion must be true.

Not started Jump to practice

A valid argument has a good link, but its premises may be false. For an argument to prove its conclusion, it needs both a good link and true starting points.

Key idea

An argument is sound when it is valid and all its premises are true. A sound argument's conclusion must be true.

Why it works

Validity says: if the premises are true, the conclusion is true. Soundness adds: and the premises are true. Put the two together and the conclusion cannot escape being true. That is why a sound argument settles a question.
Two questions, in order.
Valid?All premises true?Verdict
YesYesSound
YesNoValid, not sound
NoYes or noNot sound

Worked example: Sound

"All squares are rectangles. All rectangles have four sides. So all squares have four sides."
  1. Valid: if both premises are true, the conclusion must be.
  2. Both premises are true.

Answer: Sound.

Worked example: Valid but not sound

"All birds can fly. Penguins are birds. So penguins can fly."
  1. Valid: the form "All B are C; A is B; so A is C" never fails.
  2. But "All birds can fly" is false (penguins and ostriches can't).

Answer: Valid, but not sound.

First ask if it is valid; only then check the premises.

Common mistake

Thinking a true conclusion makes an argument sound. "All dogs are mammals. Rex the dog is a mammal. So Rex is a dog" has a true conclusion, but its form is invalid, so it is not sound. Check validity first, then the premises; the conclusion's truth is not a test.

Practice

Pass with 3 right answers, the last 2 in a row. Each right answer earns 2 XP.

Loading practice…

Builds on

Leads to

Sources and further reading

  • Internet Encyclopedia of Philosophy, "Validity and Soundness"
  • Patrick Hurley, A Concise Introduction to Logic, chapter 1 (validity, truth, soundness)
@teddyrookbook GitHub