Truth of Statements, Validity of Reasoning
Peter Suber, Philosophy Department, Earlham College

True Premises, False Conclusion
0.ValidImpossible: no valid argument can have true premises and a false conclusion.
1.InvalidCats are mammals.
Dogs are mammals.
Therefore, dogs are cats.
True Premises, True Conclusion
2.ValidCats are mammals.
Tigers are cats.
Therefore, tigers are mammals.
3.InvalidCats are mammals.
Tigers are mammals.
Therefore, tigers are cats.
False Premises, False Conclusion
4.ValidDogs are cats.
Cats are birds.
Therefore, dogs are birds.
5.InvalidCats are birds.
Dogs are birds.
Therefore, dogs are cats.
False Premises, True Conclusion
6.ValidCats are birds.
Birds are mammals.
Therefore, cats are mammals.
7.InvalidCats are birds.
Tigers are birds.
Therefore, tigers are cats.

The distinction between truth and validity is the fundamental distinction of formal logic. You cannot understand how logicians see things until this distinction is clear and familiar.

The seven sample arguments above help us establish the following general principles of logic:

Therefore, while the truth of propositions and the validity of reasoning are distinct, the relationship between them is not entirely straightforward. We cannot say that truth and validity are utterly independent because the impossibility of "case zero" (a valid argument with true premises and false conclusion) shows that one combination of truth-values is an absolute bar to validity. When an argument has true premises and a false conclusion, it must be invalid. In fact, this is how we define invalidity.

On the other hand, this partial reliance of validity on truth-value only exists for what logicians call the semantic concept of validity. In a few weeks we'll encounter a syntactic concept of validity which makes no reference to truth at all.

Despite these wrinkles, we should never be misled by true premises or true conclusions to suppose (automatically) that an argument is valid. Nor should we be misled by false premises or false conclusions to suppose that it is invalid. Nor should we be misled by valid reasoning to suppose that statements are true, or by invalid reasoning to suppose that statements are false. If we recognize this, then we have already far surpassed "common sense" in protecting ourselves from deception.

Truth and validity are combined in the concept of soundness. An argument is sound if (and only if) all its premises are true and its reasoning is valid; all others are unsound. It follows that all sound arguments have true conclusions.

Here's another version of our table, this time showing that only one of the argument types is sound.

TypeAll premises true?Conclusion true?Reasoning valid?Possible?Sound?
0yesnoyesIMPOSSIBLEN/A
1yesnonopossibleunsound
2yesyesyespossibleSOUND
3yesyesnopossibleunsound
4nonoyespossibleunsound
5nononopossibleunsound
6noyesyespossibleunsound
7noyesnopossibleunsound

Empirical scientists and private detectives tell us whether statements are true. Logicians tell us whether reasoning is valid.

How do logicians test validity? Basically, they test for invalidity. We know exactly what invalidity in an argument is: to have true premises and a false conclusion. An argument is valid in a weak sense if it simply is not invalid. This weak sense of validity turns out to suffice for all the purposes of rigorous reasoning in science, mathematics, and daily life.

But to test for invalidity, we must know when we are dealing with true premises and a false conclusion. However, logicians do not know whether statements are true or false. (They are not empirical scientists or private detectives.) But despite this ignorance, logicians can still test validity. One way is to assume that an argument's premises are all true and the conclusion false (i.e. assume invalidity) and see whether we can get away with it. Another way is to make all possible assumptions about the truth and falsity of those statements. If there is a "possible universe" in which the premises are all true and the conclusion is false, then the argument is invalid for all universes. (Can you see why?)


This file is an electronic hand-out for the course, Symbolic Logic.

[Blue
Ribbon] Peter Suber, Department of Philosophy, Earlham College, Richmond, Indiana, 47374, U.S.A.
peters@earlham.edu. Copyright © 1997, Peter Suber.