Some students initially have difficulty understanding why this is a valid form of argument. Think of it this way: We know that if P, then Q. Now suppose for the sake of argument that P is true. Then Q would have to be true, too, right? Since if P, then Q. But we know that Q is not true!--this is one of our premises. So our supposition that P is true must be wrong: it leads us to something that we know is false. That is, it must be the case that not-P.
This kind of reasoning is known as reductio ad absurdum: you accept some hypothesis for the sake of argument, and then you show that the hypothesis leads to a contradiction, or to some other conclusion you know independently to be false. Hence the hypothesis can't be true. It has to be rejected.
It can be disorienting when you come across a philosopher employing a reductio, if you misunderstand him as actually subscribing to the contradiction he derives. You have to recognize that the philosopher who offers a reductio does not endorse the contradiction himself. He's arguing that the contradiction is something that follows from his opponent's view.
Here's an example of a reductio. (I got this wonderful example from my colleague Tim Maudlin.)
A computer scientist announces that he's constructed a computer program that can play the perfect game of chess: he claims that this program is guaranteed to win every game it plays, whether it plays black or white, with never a loss or a draw, and against any opponent whatsoever. The computer scientist claims to have a mathematical proof that his program will always win, but the proof runs to 500 pages of dense mathematical symbols, and no one has yet been able to verify it. Still, the program has just played 20 games against Gary Kasparov and it won every game, 10 as white and 10 as black. Should you believe the computer scientist's claim that the program is so designed that it will always win against every opponent?This is a reductio. We assumed some hypothesis for the sake of argument and showed that it leads to an absurd result. Hence the hypothesis must be false.
No. Here's why: Suppose for the sake of argument that a perfect chess program that always wins were possible. Then we could program two computers with that program and have them play each other. By hypothesis, the program is supposed to win every game it plays, no matter who the opponent is, and no matter whether it plays white or black. So when the program plays itself, both sides would have to win. But that's impossible! In no chess game can both white and black be winners. So the supposition that a perfect chess program is possible leads to an absurd result. So that supposition must be false. A perfect chess program with the abilities the computer scientist claims must not be possible.
There's a metaphorical sense of the word "snake" in which premise 1 might have some plausibility. But for premise 2 to be plausible, we have to understand the word "snake" there in its literal sense. There's no single sense of the word "snake" which makes both premises plausible. So this argument does not establish its conclusion: it equivocates on the word "snake."
Here are some trickier examples of equivocation:
Nature is governed by fixed and unchangeable laws. But every law is the work of some legislator. Therefore, there is some legislator responsible for the governing of Nature.
It's impossible for two objects to be separated by a vacuum. For if a vacuum is to separate them then nothing can be between them. But if nothing is between them, then they obviously aren't separated.
That dog over there is a father. In addition, that dog over there is yours. So that dog must be your father.
To beg the question is to assume the very point at issue in attempting to argue for it. This is also sometimes called "circular reasoning." Here is an example of an argument which begs the question:
We know that God exists, because it says so in the Bible. And we can trust the Bible on this matter because it's the Word of God, and so must be correct.This argument begs the question because one of its premises says that the Bible is the Word of God. Presumably, one would only accept this premise if one already believed that God exists. But that's precisely what we're supposed to be arguing for!
A good rule of thumb is the following: if an argument contains a premise or step that would not be accepted by a reasonable person who is initially prone to doubt the argument's conclusion, then the argument begs the question.
We will seldom see obvious cases of begging the question in our readings. It's the unobvious cases of begging the question which are really dangerous, because they're so hard to spot.
[BAD] P has not been shown to be false. So it must be true.
If however, P is some claim which seems intuitively to be true, or if in our dispute or investigation there is some presumption that P is true, then anyone who seeks to prove not-P bears what we call the burden of proof. If he doesn't succeed in proving not-P--if we can show that his arguments that not-P are no good--then we're entitled to go on believing P.
In such a case, we're legitimately reasoning as follows:
[OK] There is some presumption that P is true. And P has not been shown to be false. So we can reasonably continue to accept P.
Of course, this isn't a deductive argument that P. There might be some reason why P is in fact false--we just haven't thought of it yet.
Here's an example of this sort of argument:
The CIA carefully scrutinized Margaret Thatcher for years, and never found her guilty of any terrorist activities or conspiracies. Nor is she known to associate with any terrorist organizations. Hence, until we acquire evidence to the contrary, we can reasonably accept that Margaret Thatcher is not a terrorist.There is some presumption that Margaret Thatcher is not a terrorist. So unless a convincing proof that she is a terrorist turns up, it's reasonable to believe that she's not a terrorist. The burden of proof is on the person who wants us to believe that she is a terrorist.
As you can imagine, philosophers often seek to establish that it's their opponents, and not they themselves, who bear the burden of proof.
Where the burden of proof lies will sometimes depend on the dialectical situation. For example, contrast these two situations:
Imposing the death penalty for murder is hypocritical and inconsistent. You only punish people for murder because you believe killing to be wrong. But then the death penalty itself must be wrong, because it too involves killing someone. And two wrongs don't make a right. So imposing the death penalty is just as bad as killing someone in cold blood.Lefty is trying to convince us that we have to take the same view of murder and of capital punishment, else we're being inconsistent.
Now suppose Righty comes along, and criticizes Lefty's argument as follows. (Again, credit for the example to Tim Maudlin.)
You say capital punishment is supposed to be analogous to murder. Well, then, you should also count other activities committed by the state as analogous to those same activities when committed by criminals. In particular, since kidnapping--confining someone against their will--is wrong when committed by criminals, so too must it be wrong for the state to confine people against their will (in jails). Hence, if your argument that capital punishment is inconsistent is successful, then by the same reasoning, it would also be inconsistent to jail kidnappers. That is clearly an unacceptable result. So there must be something wrong with your analogy. Murder and capital punishment are similar in some respects. But there are important differences between them, too. And these differences are morally important.Of course, Righty hasn't established here that the death penalty is morally acceptable; he's only criticized Lefty's argument that the death penalty is unacceptable. There might be other arguments against the death penalty, which are better than Lefty's.
In this exchange, we've seen an example of shifting the burden of proof. Lefty pointed out an analogy between murder and capital punishment and urged that they be regarded similarly. This puts the burden of proof on Righty, who wishes to regard the cases differently: Righty has to find some disanalogy, or to argue that the cases aren't genuinely analogous.
In our exchange, Righty argues that if Lefty's analogy were good, then so too should a second analogy be good, but the second analogy leads to clearly absurd results. So Righty concludes that the original analogy must be bad too.
This shifts the burden of proof back on Lefty, who has to argue that the cases really are analogous after all.
In an argument of this sort, P and R are called "the horns" of the dilemma. If you want to reject a dilemma, then you have several choices:
A dilemma where the options do not exhaust the relevant possibilities is called a false dilemma. Here's an example:
Caliph Omar ordered the destruction of the Library at Alexandria, proclaiming that the books either contained the same doctrines as the Koran, and so were unnecessary, or else they contradicted the Koran, and so were pernicious. In either case, they should be destroyed.
This isn't a good argument that the books should be destroyed, because it hasn't considered all the possibilities: what if the books at Alexandria talk about different things than the Koran, and so neither contain the same doctrines nor contradict the Koran?
Here's another example of a false dilemma. Can you explain why?
Should we allow the government to take total control of the software industry, or must we allow companies like Microsoft to be completely free of government regulation?
The following site describes even more forms of bad argument:
But the kinds of arguments described above are the main ones you'll encounter in philosophical discussion, and they are the only ones you need to familiarize yourself with right now.