PHIL 220. Introduction to Logic
We reason to persuade someone to accept a claim on the basis of something they already accept.
You and I toss a coin. We learn the outcome of our coin toss but we have no access to the other coin. We each make a guess as to the outcome of the other coin toss. We win if at least one of us makes guesses correctly the outcome of the other coin toss. We are allowed to agree on a common strategy even before the coins are tossed.
What strategy guarantees a win, no matter how the coins land?
The coin tosses are independent from each other. How can we make one of us guesses correctly the outcome of the other coin toss?
Take a moment: why does the strategy work?
Once the two coins are tossed, they either match or they do not.
If they match, my guess is guaranteed to succeed:
If they do not match, your guess is guaranteed to succeed:
Either way, one of our guesses will succeed, and we win.
From a body of statements — the premises — to a statement they are meant to support — the conclusion.
A gift card is better than a postcard. A postcard is better than nothing. Therefore, a gift card is better than nothing.
premises
conclusion, marked by ‘therefore’
Either the outcomes of our tosses match or they do not. If they match, I’m guaranteed to succeed. If they do not, you are guaranteed to succeed. Either way, at least one of us is guaranteed to succeed.
premises
conclusion, marked by ‘so’
An argument is a sequence of declarative sentences, the premises, and a declarative sentence marked as the conclusion.
There is no fixed order. ‘So’, ‘thus’, ‘therefore’, ‘it follows that’ mark the conclusion wherever it appears.
We use declarative sentences to make statements, which are true or false. Contrast interrogative and imperative sentences, which ask and command.
declarative (statements)
It is raining outside.
No one can change the past.
✓ true or false
interrogative (questions)
Is it raining outside?
Can anyone change the past?
✗ neither true nor false
imperative (commands)
Bring an umbrella!
Do not attempt to change the past.
✗ neither true nor false
Only declarative sentences can serve as premises or conclusion in an argument.
Time travel is impossible. For if time travel were possible, then a time traveler could change the past. Nothing, however, can change the past.
Which sentence is the conclusion?
Notice that the conclusion is the very first sentence. The last two sentences, marked by ‘for’, are premises offered in support of the conclusion.
If I speak both English and Spanish, then I’m bilingual. Therefore, I’m bilingual. For after all, I speak both English and Spanish.
Which sentence is the conclusion?
Notice that the conclusion, marked by ‘therefore’, is the second sentence. The last sentence is a premise that supports it, not a further conclusion.
Some arguments seem risk-free in that the truth of the premises is sufficient to guarantee the truth of the conclusion.
Whales live underwater. Few mammals live underwater. Therefore, whales are not mammals.
People are now carrying umbrellas on the street. Therefore, it must be raining.
All Things Considered is a radio program. All radio programs are broadcast at least once a week. So All Things Considered is broadcast at least once a week.
No one carries an umbrella on the street unless it is raining. Someone is now carrying an umbrella on the street. Therefore, it is raining.
If there is gas in the tank, the engine will start. There is gas in the tank. So the engine will start.
Either the butler did it or the gardener did it. The butler did not do it. So the gardener did it.
We use \(p\) and \(q\) as placeholders for English declarative sentences. Notice that the pattern never takes you from true premises to a false conclusion, no matter what \(p\) and \(q\) may stand for.
An argument is valid if, and only if, it is an instance of a valid argument form.
What is a valid argument form, you ask?
The course will develop a toolkit designed to answer this question. In the meantime, note that …
So to show that an argument form is invalid, it suffices to produce one instance with true premises and a false conclusion.
The premise is true, since William Shakespeare wrote Hamlet.
The conclusion is false, since Mark Twain did not write Hamlet.
One such instance suffices to rule out the validity of the argument form.
The truth value of premises and conclusion is determined by that of \(p\) and \(q\):
| \(p\) | \(q\) | \(p\) or \(q\) | \(p\) and \(q\) |
|---|---|---|---|
| T | T | T | T |
| T | F | T | F |
| F | T | T | F |
| F | F | F | F |
Choose something true for \(p\) and something false for \(q\). Then the premises will be true and the conclusion will false, e.g., it is false that Shakespeare and Twain wrote Hamlet, but true that one did.
Likewise:
We will look for the form of an argument, and we will build a language in which a wide family argument forms can be written down precisely.