Valid, and Then Sound
A valid argument has a form that guarantees its conclusion if the premises are true; a sound argument is a valid one whose premises are in fact true. · 11 min
There are two very different ways an argument can go wrong, and keeping them apart is the single most useful thing logic teaches. An argument can fail because its shape is broken — the premises, even if true, would not force the conclusion. Or it can have a flawless shape but rest on a false premise. The first fault is about form; the second is about truth. Validity is the name for good form. Soundness demands good form and true premises together. Confuse the two, and you will reject good reasoning for reaching a conclusion you dislike, or accept a tidy-looking argument whose premises are false.
Guess before you learn
Consider: “All fish can fly. A salmon is a fish. So a salmon can fly.” Something is clearly wrong — but is the reasoning itself broken?
The form is perfect: if every fish really could fly, and a salmon really is a fish, then a salmon really would fly. The only trouble is that fish cannot fly — a false premise. Pulling those two problems apart, broken form versus false premise, is the whole of this folio. If you chose the first answer, you are in good company; a false conclusion feels like proof of bad reasoning, and it is not.
9–12
3–5
Two questions live inside every argument, and they are different. First: if the reasons were true, would the point have to be true? That is about the steps. Second: are the reasons actually true? That is about the facts. An argument can pass one test and fail the other.
“All cats bark. Milo is a cat. So Milo barks.” The steps are perfect — if cats really barked, Milo would. But cats do not bark, so even a well-stepped argument lands on a false point. You need good steps and true reasons.
6–8
An argument is valid when its form guarantees the conclusion: if the premises are true, the conclusion cannot be false. Validity is about structure, not facts. The form “All A are B; x is an A; so x is a B” is valid whatever A, B, and x stand for. Fill it with falsehoods and it stays valid — “All birds are green; a crow is a bird; so a crow is green” reasons correctly from a false start.
An argument is sound when it is valid and its premises are actually true. Soundness is the higher bar, and it is what you finally want, because a valid form applied to true premises cannot deliver a falsehood. So checking an argument is two steps — first the form, then the facts — and never the other way around.
9–12
Hold the two apart with a test. To check validity, ignore whether the premises are true and ask only this: could the premises all be true while the conclusion is false? If that combination is impossible, the argument is valid; if you can so much as imagine it, it is invalid. Validity is a property of form, which is why a valid argument can carry wildly false premises and reach a true or a false conclusion alike.
Soundness adds the second demand: the argument is valid and every premise is in fact true. Only soundness guarantees a true conclusion. This is why “the conclusion is false” never by itself convicts the reasoning — a false conclusion means the argument is unsound, but it may still be valid, the fault lying in a premise. Always name the fault precisely: broken form, or a false premise.
K–2
Pretend a rule is true: “Everything with feathers can sing.” A robin has feathers. So the rule says a robin can sing. That follows — the steps are good.
But the rule is wrong. Not everything with feathers sings. Good steps from a wrong rule still take you to a wrong answer. You need good steps and a true rule.
Undergrad
Formally, an argument is valid if and only if there is no interpretation on which the premises are all true and the conclusion false — truth-preservation across every case. Validity is thus structural and topic-neutral: it survives uniform substitution of the non-logical terms. Soundness is validity plus the factual truth of the premises, and it alone entails a true conclusion. Note the asymmetry: validity is settled by form, soundness requires knowing the world. Two cautions. From false premises a valid argument may still reach a true conclusion by accident — validity forbids only the true-premises-with-false-conclusion combination. And all of this is deductive; inductive arguments, whose premises make a conclusion probable but not certain, are appraised as strong or weak rather than valid or invalid.
Postgrad
The model-theoretic definition of validity — truth-preservation over all interpretations of the non-logical vocabulary — is Tarski’s, and it fixes validity relative to a prior choice of which terms count as logical; admit more constants as logical and more arguments come out valid. A proof-theoretic route instead defines validity as derivability in a calculus, and the soundness and completeness theorems certify that the two definitions coincide for first-order logic — an alignment that does not generalize upward. Worth flagging for later: deductive validity is monotonic, since adding premises never destroys it, whereas the defeasible inference of ordinary and scientific reasoning is non-monotonic, and its study in probabilistic and default logics is where much current work lives. The valid/sound distinction is the clean base case; most real argument is inductive, judged by strength and total evidence.
valid
An argument whose form guarantees the conclusion: if the premises are true, the conclusion must be too. Says nothing yet about whether the premises are actually true.
Why is this true?
Why doesn’t a false conclusion prove the reasoning was bad?
Because a false conclusion can come from a false premise fed through perfectly good form. A valid argument only promises to carry truth forward — give it a falsehood and it faithfully carries that. So a false conclusion tells you the argument is unsound, but you must still look to see whether the fault is the form or a premise.
Judge in two steps: “All mammals lay eggs. A dolphin is a mammal. So a dolphin lays eggs.” — the steps fade as you master them
Yes. The form is “All A are B; x is A; so x is B.”
The argument is VALID.
“All mammals lay eggs” is false — almost none do.
Valid but UNSOUND — good form, false premise.
Everything so far has been about deductive arguments, where a valid form makes the conclusion certain. Most everyday reasoning is different. “The sun has risen every day of recorded history, so it will rise tomorrow” does not guarantee its conclusion — it makes it overwhelmingly likely. That is an inductive argument, judged not as valid or invalid but as strong or weak. A strong inductive argument with true premises is called cogent — the inductive cousin of soundness. Deduction aims at certainty and can be watertight; induction aims at probability and stays open to new evidence. Knowing which kind you face tells you how much its conclusion can be trusted.
You can now check an argument in two passes: is the form valid, so that true premises would force the conclusion, and are the premises themselves actually true? That double check is the working core of every chapter still to come, from doubts about knowledge to arguments about right and wrong. When a hard case tempts you to reject reasoning because you dislike where it leads, this is the discipline that stops you: name the fault, form or premise, before you pass judgement.
Note
Want the formal machinery — truth tables, quantifiers, proofs you build yourself? Formal Logic I, the college’s symbolic-logic course, is the next step up from here.
Practice — new ink and old, interleaved
1.Name the hidden premise in “Dana is a doctor, so Dana studied for years.”
2.Recalling folio 2: in “We must repair the dam, since a flood would drown the valley,” what is the conclusion?
3.Order the two-step check, first step first.
- Assume the premises true, and ask whether the conclusion must follow.
- If it must, mark the argument valid.
- Check whether the premises are actually true.
- If valid and all premises are true, mark it sound.
4.“All metals conduct electricity. Rubber is a metal. So rubber conducts electricity.” The best diagnosis is:
5.Recalling folio 1: which of these is a philosophical question?
6.Recalling folio 2: standardize “Since all triangles have three sides, and this shape is a triangle, this shape has three sides.” List the premises, then the conclusion.
7.Without looking back: what is the difference between a valid argument and a sound one?
A valid argument has a form that guarantees the conclusion if the premises are true. A sound argument is valid and also has premises that are in fact true, so its conclusion must be true.
How close were you? Grade yourself honestly — it sets your review date.
8.Match each indicator word to the part it usually flags.
9.In “We should cancel the trip, since the forecast is for storms all week,” which part is the conclusion?
10.Order into standard form: “Whales are mammals, and no fish is a mammal, so no whale is a fish.”
- Whales are mammals.
- No fish is a mammal.
- Therefore, no whale is a fish.