Deduction, Validity, and Soundness

Once you can take an argument apart, the next question is whether its parts actually hold together. Deduction is the strictest standard reasoning offers: when it works, the conclusion is not merely likely but guaranteed by the premises. Knowing when that guarantee is genuine — and when it only looks genuine — is what separates being convinced from being fooled.

The central trap is mistaking a true-sounding conclusion for a good argument. A conclusion can be true for reasons that have nothing to do with the argument in front of you, and an argument can be flawless in form yet rest on a false premise. Keeping does it follow? and is it true? as two separate questions is the whole discipline of this lesson.

Deduction and the syllogism

Deductive reasoning aims for conclusions that follow with necessity: if the premises are true, the conclusion cannot be false. Its classic form is the syllogism — two premises and a conclusion sharing terms. The textbook example: All men are mortal; Socrates is a man; therefore Socrates is mortal. The conclusion is locked in by the premises. Deduction differs from induction, which reasons from cases to a probable generalization; deduction promises certainty, but only ever certainty conditional on its premises.

Validity: a matter of form

An argument is valid when its structure guarantees that true premises would yield a true conclusion — regardless of whether the premises are in fact true. Validity is about form, not content. All cats are reptiles; all reptiles purr; therefore all cats purr is perfectly valid: if those premises were true, the conclusion would have to follow. The premises are false and the conclusion silly, yet the reasoning is airtight. Validity asks one thing only: granting the premises, must the conclusion follow?

Soundness: form plus truth

An argument is sound when it is valid and its premises are actually true. Soundness is the higher bar, because only a sound argument gives you a conclusion you can bank on. The Socrates syllogism is sound: valid in form and true in its premises, so its conclusion is guaranteed. The purring-cats syllogism is valid but unsound. When you assess a deductive argument, run both checks in order: first the form (valid?), then the facts (true premises?). Passing only the first is not enough.

Consider: All published scientists hold a doctorate; Maria is a published scientist; therefore Maria holds a doctorate. Check the form first. The structure is valid — if every published scientist held a doctorate and Maria is one, her holding a doctorate would follow necessarily. Now check the premises. The first is false: some published scientists have no doctorate. So the argument is valid but unsound, and its conclusion is not established. Notice what this shows — valid form alone told us nothing about whether Maria has a doctorate; only true premises could.

Now watch validity and truth come apart the other way. All fish can swim; dolphins can swim; therefore dolphins are fish. The conclusion is false — dolphins are mammals — and the argument is invalid, since the premises do not force it (many swimmers are not fish). But flip to a true conclusion from a broken form: All dogs are animals; all cats are animals; therefore all dogs are animals. The conclusion happens to be true, yet the argument is invalid — the second premise does nothing, and the conclusion's truth is pure coincidence. A true conclusion never proves the reasoning was good.

Charles Dodgson (1832–1898), the Oxford mathematician who wrote Alice's Adventures in Wonderland as Lewis Carroll, also taught logic. In 1896 he published Symbolic Logic, Part I, a rigorous treatment dressed in deliberately absurd examples. Carroll filled it with syllogisms whose premises are nonsense — about babies who cannot manage crocodiles, or pigs that cannot fly — precisely to force the reader's attention onto form rather than content. Because the premises are plainly silly, you cannot smuggle in real-world belief to judge the conclusion; you must test whether it follows. That is exactly the skill this lesson trains. Carroll's playful sorites, chaining several premises into one conclusion, remain a standard teaching device because they make the gap between validity and truth impossible to ignore.

• "A valid argument has a true conclusion." Only if it is also sound; a valid argument with a false premise can deliver a false conclusion.
• "A true conclusion means the argument is valid." No — a conclusion can be true by coincidence while the reasoning is broken.
• "Valid and sound mean the same thing." Validity is about form alone; soundness requires valid form and true premises.
• "Deduction gives certainty about the world." It gives certainty only conditional on the premises; if they are false, the guarantee is empty.

Write one syllogism for each of four categories: valid and sound; valid but unsound; invalid with a false conclusion; invalid with a true conclusion. Building the last two by hand is the fastest way to feel, rather than just recite, why truth and validity are independent.

Think Like a Maester: A flawless argument built on a false premise is a locked vault with nothing inside.

1. What does it mean for an argument to be valid?
2. What does soundness add to validity?
3. Give an example of a valid argument with a false conclusion.
4. Why does a true conclusion fail to prove that an argument is good?
5. How does deductive reasoning differ from inductive reasoning?

Deduction promises that true premises guarantee a true conclusion, and the syllogism is its classic form. Validity is a property of structure alone: an argument is valid when its form would carry truth from premises to conclusion, even if the premises are in fact false. Soundness demands more — valid form together with true premises — and only sound arguments deliver conclusions you can rely on. Because validity is about form, a valid argument can reach a false conclusion and an invalid one can stumble onto a true one. Lewis Carroll's absurd syllogisms in his 1896 Symbolic Logic exist to drive the point home: always ask both whether the conclusion follows and whether the premises are true.

• Logic and Reasoning
• Induction and the Weight of Evidence