Validity, Soundness, and Valid Patterns
§1. Definition of Validity
One desirable feature of arguments is that the conclusion should follow from the premises. But what does it mean? Consider these two arguments:
- Argument #1: Barbie is more than 90 years old. So Barbie is more than 20 years old.
- Argument #2: Barbie is more than 20 years old. So Barbie is more than 90 years old.
Intuitively, the conclusion of the first argument follows from the premise, whereas the conclusion of the second argument does not follow from its premise. But how should we explain the difference between the two arguments more precisely? Here is a thought: In the first argument, if the premise is true, then the conclusion cannot be false. On the other hand, even if the premise in the second argument is true, there is no guarantee that the conclusion must also be true. For example, Barbie could be 30 years old.
So we shall make use of this idea to define the notion of a deductively valid argument, or valid argument, as follows:
An argument is valid if and only if there is no logically possible situation where all the premises are true and the conclusion is false at the same time.
The idea of validity provides a more precise explication of what it means for a conclusion to follow from the premises. Applying this definition, we can see that the first argument above is valid, since there is no possible situation where Barbie can be over 90, but not over 20. The second argument is not valid because there are plenty of possible situations where the premise is true but the conclusion is false. Consider a situation where Barbie is 25, or one where she is 85. The fact that these situations are possible is enough to show that the argument is not valid, or invalid.
§2. Validity and Truth
What if we have an argument with more than one premise? Here is an example:
- All pigs can fly. Anything that can fly can swim. So all pigs can swim.
Although the two premises of this argument are false, this is actually a valid argument. To evaluate its validity, ask yourself whether it is possible to come up with a situation where all the premises are true and the conclusion is false. (We are not asking whether there is a situation where the premises and the conclusion are all true.) Of course, the answer is "no." If pigs can fly, and if anything that can fly can also swim, then it must be the case that all pigs can swim.
So this example tells us something :
The premises and the conclusion of a valid argument can all be false.
Hopefully, you now realize that validity is not about the actual truth or falsity of the premises or the conclusion. Validity is about the logical connection between the premises and the conclusion. A valid argument is one where the truth of the premises guarantees the truth of the conclusion, but validity does not guarantee that the premises are in fact true. All that validity tells us is that if the premises are true, the conclusion must also be true.
§3. Showing that an argument is invalid
Now consider this argument :
- Adam loves Beth. Beth loves Cathy. So Adam loves Cathy.
This argument is not valid, for it is possible that the premises are true and yet the conclusion is false. Perhaps Adam loves Beth, but does not want Beth to love anyone else. So Adam actually hates Cathy. The mere possibility of this situation is enough to show the argument is not valid.
Let's call these situations invalidating counterexamples to the argument. Basically, we are defining a valid argument as an argument with no possible invalidating counterexamples. To sharpen your skills in evaluating arguments, it is therefore important that you are able to discover and construct such examples.
Notice that a counterexample does not need to be real in the sense of being an actual situation. It may turn out that Adam, Beth and Cathy are members of the same family and they love each other. But the above argument is still invalid since the counterexample constructed is a possible situation, even if it is not actually real. All that is required of a counterexample is that the situation is a coherent one in which all the premises of the argument are true and the conclusion is false.
So remember this:
An argument can be invalid even if the conclusion and the premises are all actually true.
Here is another invalid argument with a true premise and a true conclusion:
- "Paris is the capital of France. So Rome is the capital of Italy." It is not valid because it is possible for Italy to change its capital (say to Milan), while Paris remains the capital of France.
Another point to remember is that it is possible for a valid argument to have a true conclusion even when all its premises are false.
Here is an example:
- All pigs are purple in color. Anything that is purple is an animal. So all pigs are animals.
Before proceeding any further, please make sure you understand why these claims are true and can give examples of such cases.
- The premises and the conclusion of an invalid argument can all be true.
- A valid argument should not be defined as an argument with true premises and a true conclusion.
- The premises and the conclusion of a valid argument can all be false.
- A valid argument with false premises can still have a true conclusion.
§4. A Reminder
The concept of validity provides a more precise explication of what it is for a conclusion to follow from the premises. Since this is one of the most important concepts in this course, you should make sure you fully understand the definition.
When we give our definition, we are making a distinction between truth and validity. In ordinary usage "valid" is often used interchangeably with "true" (similarly with "false" and "not valid"). But here validity is restricted to arguments and not statements, and truth is a property of statements, but not arguments. So never say things like "this statement is valid" or "that argument is true"!
Are these arguments valid? Click each box for the answer.
Source: Joe Lau and Jonathan Chan, https://philosophy.hku.hk/think/arg/valid1.php
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 License.