Philosophy · 20 min read
Valid Arguments
An argument is valid when the conclusion must be true if the premises are true. Validity is about structure, not about whether you like the conclusion.
Why this exists
People swap persuasive stories for proof. In philosophy and in technical work, you need to separate 'the conclusion follows' from 'I agree with the conclusion.'
Validity is the core structural idea: if your premises were true, could the conclusion still fail? If yes, the argument is invalid no matter how true the premises happen to be.
Axioms & primitives
- 01An argument is a set of premises offered in support of a conclusion.
- 02Validity is a property of form: true premises cannot lead to a false conclusion in a valid argument.
- 03Soundness requires validity plus actually true premises.
- 04Invalid arguments can have true conclusions and true premises.
- 05Identifying validity does not settle moral or empirical truth by itself.
Learning objectives
After this lesson you should be able to:
- Explain validity and soundness and keep them separate.
- Give a counterexample scenario to test a simple argument.
- Identify affirming the consequent and other common invalid forms.
- Explain why true premises plus a false conclusion prove invalidity.
Progressive depth
Read the layers in order for a full explanation. Or open the layer you need.
Intuition
Imagine someone says: 'It is raining, so the ground is wet.' If it really were raining in the ordinary way, the ground being wet is hard to avoid. The conclusion is forced by the premise in context.
Now hear: 'The ground is wet, so it is raining.' Wet grass could come from a sprinkler. The conclusion does not follow. That is invalid form even when both sentences happen to be true.
Validity is the 'must follow' test, not the 'sounds right' test.
Formal shape
Premises: P1, P2, ... Conclusion: C. The argument is valid iff there is no interpretation where all premises are true and C is false.
Modus ponens: If P then Q; P; therefore Q. Valid.
Affirming the consequent: If P then Q; Q; therefore P. Invalid.
Sound argument: valid and all premises true. Soundness is what you want for justified belief, but validity is the first filter.
Worked examples
Valid skeleton: All mammals are warm-blooded. Whales are mammals. Therefore whales are warm-blooded. If the premises hold in a case, the conclusion cannot fail.
Invalid: If you study, you will pass. You passed. Therefore you studied. Passing could come from an easy exam.
Technical parallel: 'The server returned 500, so the database is down.' Maybe the app bugged before the database was touched. The inference needs more premises.
Edge cases
Everyday arguments hide premises ('It is raining' assumes outdoor ground, not a sealed lab). Charity in philosophy reconstructs hidden premises before testing validity.
Inductive arguments (generalizing from samples) are not valid in the strict sense; they can be strong or weak instead.
Formal logic systems differ in expressiveness. Validity in propositional logic is a start, not the whole of reasoning.
Mental models
Impossible exit
If premises were true, there is no room left for the conclusion to be false.
Leak test
Try to describe a world where premises hold and the conclusion fails. If you can, the argument leaks.
Soundness stack
Soundness = valid structure plus true premises. Both layers matter for knowledge claims.
Common misconceptions
Myth
A valid argument must have true premises.
Reality
Validity only concerns the link. You can have valid arguments from false premises.
Myth
If the conclusion is true, the argument is valid.
Reality
Invalid arguments can stumble onto true conclusions by luck.
Myth
Valid means persuasive.
Reality
Rhetoric can persuade without logical force. Validity is narrower.
Exercises
Work these without looking up answers first. Check yourself against the intent notes.
Exercise 01
Is this valid? 'If Socrates is mortal, then Socrates dies. Socrates dies. Therefore Socrates is mortal.' Give a counterexample story if invalid.
What good looks like
Affirming the consequent; death could occur without the conditional being the right explanation.
Exercise 02
Write one valid and one invalid argument with the same conclusion.
What good looks like
Shows validity is not about the conclusion alone.
Exercise 03
Separate validity from soundness for: 'All squares are rectangles. This shape is a rectangle. Therefore it is a square.'
What good looks like
First premise true, second could be true, conclusion can fail; invalid form.
Sources & further reading
External references. Prefer primary documents and clear explainers.