How do we tell whether an argument is valid, and when does validity guarantee a true conclusion?
distinguish validity from soundness, and evaluate deductive arguments for both, using premises and conclusions
A focused QCE Unit 3 answer on validity and soundness. Covers the structure of deductive arguments, the difference between truth and validity, what soundness adds, common valid forms such as modus ponens and modus tollens, and how to test arguments by counterexample.
Reviewed by: AI editorial process; not yet individually human-reviewed
Have a quick question? Jump to the Q&A page
Jump to a section
What this dot point is asking
QCAA wants you to separate two ideas that beginners constantly run together: whether an argument is valid (a matter of its logical form) and whether its premises are actually true (a matter of fact). You then combine the two into soundness. In IA1 and the external exam you will be asked to assess deductive arguments, name valid forms, and show by counterexample that an argument is invalid.
The answer
Arguments, premises and conclusions
An argument is a set of statements in which some statements (the premises) are offered as reasons to accept another statement (the conclusion). Only declarative sentences that are true or false count as statements. Questions, commands and exclamations are not premises.
A deductive argument claims that the conclusion follows necessarily from the premises. An inductive argument claims only that the premises make the conclusion probable. Validity and soundness are properties of deductive arguments.
Validity
An argument is valid when it is impossible for all the premises to be true and the conclusion false at the same time. Validity is about form, not content. The truth of the premises is not assumed; we ask a conditional question: if the premises were true, would the conclusion have to be true?
Consider:
- P1: All philosophers are mortal.
- P2: Socrates is a philosopher.
- C: Therefore Socrates is mortal.
This is valid. There is no possible situation where both premises are true and the conclusion false. Crucially, an argument can be valid with false premises:
- P1: All fish are mammals.
- P2: All mammals breathe water.
- C: Therefore all fish breathe water.
Both premises are false, yet the form guarantees that if they were true the conclusion would follow, so the argument is valid.
Soundness
An argument is sound when it is both valid and all its premises are actually true. Soundness is the gold standard, because a sound argument guarantees a true conclusion. The Socrates argument above is sound; the fish argument is valid but unsound (false premises).
So the four combinations matter:
- valid and all premises true = sound (conclusion guaranteed true);
- valid but a premise false = unsound (conclusion may be true or false);
- invalid but premises true = unsound;
- invalid with a false premise = unsound.
Common valid forms
QCAA expects you to recognise named valid forms. Using P, Q for propositions:
- Modus ponens: If P then Q; P; therefore Q.
- Modus tollens: If P then Q; not-Q; therefore not-P.
- Hypothetical syllogism: If P then Q; if Q then R; therefore if P then R.
- Disjunctive syllogism: P or Q; not-P; therefore Q.
You should also recognise the two classic invalid forms that imitate valid ones:
- Affirming the consequent: If P then Q; Q; therefore P. (Invalid.)
- Denying the antecedent: If P then Q; not-P; therefore not-Q. (Invalid.)
Testing for validity by counterexample
To show an argument is invalid, describe a possible situation (a counterexample) in which the premises are true and the conclusion false. For affirming the consequent:
- P1: If it is raining, the ground is wet.
- P2: The ground is wet.
- C: Therefore it is raining.
Counterexample: a sprinkler wet the ground while the sky stayed clear. Premises true, conclusion false, so the form is invalid. A single counterexample is enough to defeat a claim of validity.
Why the distinction matters in philosophy
When philosophers like Rene Descartes or David Hume build arguments, critics attack on two fronts. They either show the reasoning is invalid (the conclusion does not follow) or they accept the form but deny a premise (the argument is valid but unsound). Knowing which move you are making keeps a debate disciplined. In QCAA essays, naming the form and then targeting either validity or a specific premise is exactly the analytical skill assessed.
Try this
Q1. Define validity and explain why a valid argument can still be unsound. [3 marks]
- Cue. Valid means it is impossible for the premises to be true and the conclusion false; an argument is unsound if at least one premise is actually false, even when the form is valid.
Q2. Identify the form and state whether it is valid: "If P then Q; not-P; therefore not-Q." [2 marks]
- Cue. Denying the antecedent; invalid.
Q3. Give a counterexample showing that affirming the consequent is invalid. [3 marks]
- Cue. Wet ground does not entail rain (a sprinkler is a possible cause): premises true, conclusion false.
Exam-style practice questions
Practice questions written in the style of QCAA exam questions on this dot point, with worked answer explainers. The year tag is the paper they imitate, not the source.
QCAA 20225 marksAssess the following argument for validity and soundness: "If a law is unjust, citizens may disobey it. The speed limit is unjust. Therefore citizens may disobey the speed limit." Name the form.Show worked answer →
A 5 mark response separates validity (form) from soundness (true premises).
Form. This is modus ponens: If P then Q; P; therefore Q. With P = "the law is unjust" and Q = "citizens may disobey it".
Validity. Modus ponens is valid: it is impossible for both premises to be true and the conclusion false, so the argument is valid.
Soundness. Validity does not make it sound. Premise 2 ("the speed limit is unjust") is highly questionable, and premise 1 is contestable as a moral principle. Since at least one premise is doubtful or false, the argument is valid but unsound, so the conclusion is not established.
Markers reward naming modus ponens, declaring it valid on form, and then correctly judging soundness by examining the truth of the premises.
QCAA 20234 marksExplain why a valid argument can have a false conclusion, and why an argument with a true conclusion can be invalid. Use an example for each.Show worked answer →
A 4 mark response shows that validity concerns form, not the truth of premises or conclusion.
Valid with a false conclusion. A valid argument only guarantees a true conclusion if its premises are true. Example: "All birds are mammals; all mammals lay eggs; so all birds lay eggs." The form is valid but, because the premises are false, the conclusion can be false. (Valid but unsound.)
True conclusion from an invalid argument. Example: "If it rained, the ground is wet; the ground is wet; therefore it rained." This affirms the consequent (invalid), yet the conclusion "it rained" may happen to be true.
Point. Validity is about whether the conclusion follows, not about whether the conclusion is in fact true.
Markers reward one example of each and the clear statement that validity is a property of the inference.
