ASK A QUESTION

RECENT RESPONSES

CONCEPT CLOUD






  • Panelist Login

How do you tell the difference between a reductio and a surprising conclusion?

October 10, 2005

Response from Amy Kind on October 10, 2005

The conclusion of a reduction need not be surprising. Suppose I am trying to prove that 2+3 =5. I might proceed as follows: Assume that 2+3 does not equal 5. Since 2 = 1+1, and 3 = 1+1+1, that would mean that (1+1) + (1+1+1) does not equal 5. But (1+1) + (1+1+1) does equal 5. So our original assumption must be false, in other words, 2+3=5.

This example isn't that interesting, but the point is to show that you can use the reductio strategy without ending up with a surprising conclusion.

Response from Alexander George on October 11, 2005

A reductio ad absurdum argument has the following form: we assume that X is true, deduce some absurdity from it, and then conclude that not-X must be true after all. You can view reductio as a rule of inference that allows us to infer not-X from our derivation of an absurdity from X. Why does this work? Because deduction is a process that leads from true assumptions to true conclusions. (See also here.) But an absurdity cannot be true. Therefore, our assumption X is not true. But either X is true or not-X is true. Consequently, it must be not-X that's true.

I agree with Amy that the final upshot of a reductio argument needn't be surprising, so I'll interpret the question differently. Perhaps you're asking the following: when we deduce our absurdity, how do we know whether it's so absurd that we have no choice but to consider it false and thus to conclude, by reductio, not-X — or whether instead to conclude that, contrary to what one might have thought, the alleged absurdity is true after all! You might say, one man's reductio is another's surprising discovery.

The conclusion that not-X must be true is only as strong as one's judgment that the deduced absurdity is false. Typically, in mathematics or logic, that judgment is indubitable because the absurdity is a contradiction (and contradictions are always false); as that rule of inference is employed in logic and mathematics, nothing short of deducing a contradiction would allow it to be applied. Outside those disciplines, however, the absurdity might fall short of a contradiction. The absurdity will often be a claim that is inconsistent with what the proponent of the argument takes to be obviously true. But if someone presented with the argument chooses instead to revise his beliefs in such a way as to permit embrace of the alleged absurdity, there's nothing in the argument itself that can stop him. More general considerations about what it is to be reasonable would have to enter into the picture at that point.

Response from Daniel J. Velleman on October 11, 2005
There's an interesting example from mathematics that might be relevant here. The Axiom of Choice (AC) is an axiom of mathematics that was quite controversial when Zermelo introduced it in 1904. It is less controversial today, perhaps because Godel showed in 1940 that if the other axioms of mathematics are consistent, then adding AC cannot introduce a contradiction into mathematics. But AC does lead to some very surprising conclusions. One of the most famous is the Banach-Tarski Theorem, sometimes also called the Banach-Tarski Paradox because it is so surprising. The Banach-Tarski Theorem says that it is possible to decompose a ball of radius 1 into a finite number of pieces and rearrange those pieces to make two balls of radius 1. (The "pieces" are actually more like clouds of scattered points that, together, fill up the entire ball.)

Should the Banach-Tarski Theorem be considered a reductio ad absurdum proof that AC is false? It certainly doesn't count as a mathematical proof that AC is false, because, as Alex says above, in mathematics nothing short of a contradiction--"P and not-P", for some P--counts as a reductio. But some might consider the Banach-Tarski Theorem so strange that it provides a good reason for deciding not to accept AC as an axiom.

A couple of good references:

Moore, G. H., Zermelo's Axiom of Choice: Its Origin, Development, and Influence, Springer-Verlag, 1982.

Wagon, S., The Banach-Tarski Paradox, Cambridge University Press, 1993.
Response from Peter Lipton on October 11, 2005

The crucial question is which is more plausible: the premise or the negation of the conclusion. Our answer may be influenced by diverse features of our broader 'web of belief'.


Print PRINT Send2friends E-MAIL
E-MAIL THIS ENTRY

Recipient's e-address: required
(separate multiple e-addresses with commas)
Your name: required
Your e-address: required

Track TRACK

TRACK THIS ENTRY

If you provide your e-mail address, you will be automatically notified whenever this question receives a response. Your e-mail address will not be used for any other purpose, and it will not be given or sold to anyone.

E-mail:

SHARE
SHARE THIS ENTRY

del.icio.us
Digg! Digg
Facebook
Twitter
reddit
StumbleUpon