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.
Related dot points
- analyse categorical statements and syllogisms, including the four standard forms and the rules for valid syllogistic reasoning
A focused QCE Unit 3 answer on Aristotelian categorical logic. Covers the four standard categorical forms A, E, I and O, the subject and predicate terms, distribution, the structure of the categorical syllogism, and the rules used to test a syllogism for validity.
- translate and symbolise propositions using logical operators, and use truth tables to test propositional arguments for validity
A focused QCE Unit 3 answer on propositional (sentential) logic. Covers symbolisation with the five logical operators, building truth tables for negation, conjunction, disjunction, the conditional and the biconditional, and using a full truth table to test an argument for validity.
- identify and explain common informal fallacies in arguments, including fallacies of relevance, ambiguity and presumption
A focused QCE Unit 3 answer on informal fallacies. Covers the difference between formal and informal fallacies and explains the major fallacies of relevance, presumption and ambiguity, including ad hominem, straw man, appeal to authority, false dilemma, begging the question and equivocation, with examples.