Validity is about the link
An argument is valid when it is impossible, in the sense of there being no describable case, for every premise to be true and the conclusion false. It says nothing about whether any premise is true.
Validity asks whether any case has true premises and a false conclusion. Soundness asks, in addition, whether the premises are in fact true. The first can be settled by looking at cases; the second needs the world. Keeping them apart is the first discipline of the whole subject.
Core ideas
In everyday speech a valid point is a good point. In logic, validity is a narrow property of the link between premises and conclusion.
An argument is valid when it is impossible, in the sense of there being no describable case, for every premise to be true and the conclusion false. It says nothing about whether any premise is true.
A sound argument is valid and has only true premises. Soundness is the property you want when you are trying to establish the conclusion, and the only part of it a table can check is the first half.
If a valid argument leads to a conclusion you reject, you are not entitled to say the argument is invalid. You are committed to rejecting at least one premise. This is the move most philosophical argument turns on.
The material
Four combinations of two properties, and the one combination that is ruled out.
An argument is valid when there is no case in which every premise is true and the conclusion is false. Otherwise it is invalid, and any one such case shows it.
An argument is sound when it is valid and every premise is true. Otherwise it is unsound: either invalid, or valid with at least one false premise.
The definition is a ban on one combination: true premises with a false conclusion. Every other combination of true and false can occur in a valid argument. In particular a valid argument can have false premises and a false conclusion, and false premises and a true conclusion.
“All whales are fish. All fish fly. So all whales fly.” Suppose the premises were true; then whales would be among the fish and the fish among the fliers, so whales would fly. No case has the premises true and the conclusion false, so the argument is valid. Both premises are false, so it is unsound.
“Paris is in France. So Rome is in Italy.” Every sentence is true. The argument is invalid, because it is easy to describe a case in which the premise is true and the conclusion false: the two sentences are about different things, and nothing ties one to the other.
So the lab, which looks at cases, can settle validity. Take the preset same, with premise p and conclusion p. There are two cases, p true and p false, and in neither is the premise true while the conclusion is false. The lab calls it valid whatever p says. If p is “whales fly”, the argument is valid and unsound; the lab has no way to know that, and no claim about whales enters the check.
The preset other has premise q and conclusion p. Four cases, and in one of them q is true and p false. That single case is all the invalidity there is. The preset both, with premises p and q and conclusion q, has the same four cases and no such one: wherever both premises hold, q holds, because q is one of them.
If an argument is valid, then accepting all its premises commits you to its conclusion, and rejecting its conclusion commits you to rejecting at least one premise. Which of the two to do is a question about the premises, and the table does not answer it.
The last point is where the lessons ahead begin. A skeptic offers a valid argument whose conclusion is that you know nothing; you may accept the conclusion or reject a premise, and what each costs is the argument. Validity guarantees that you have to choose.
Interactive
Every row, every counterexample, and the form
Method
Two questions, asked separately and in this order.
Write the premises and the conclusion in standard form, as in the previous lesson. Classify nothing until you know what is being classified.
Describe a case in which every premise is true and the conclusion false. Do not ask whether the case actually holds; ask whether it can be described. If one can, the argument is invalid and you are done.
Validity is a verdict on the absence of a case, so it needs every case checked. Here the lab does what a person does slowly.
A valid argument is sound if every premise is true. That is a question about the world, and an unsound argument has not been refuted so much as turned into a question about which premise to doubt.
The argument: all whales are fish; all fish fly; so all whales fly.
The lab can do the first half of this. It cannot do the second, because “whales are fish” is a claim about the world and the lab was never told about whales. That division of labour is the reason to separate the two words.
Given an argument, say whether it is valid by looking for a case with true premises and a false conclusion, and then whether it is sound by checking the premises against what you know. Explain why the lab answers only the first question.
Something to change about this lesson? Write it down, tick it off when it is handled, and export the list when you want to act on it. Kept in this browser only: nothing is sent anywhere, and nobody is notified.
No recommendations yet for this lesson.