Talk:Reductio ad absurdum
Rolled back to previous version.
This is not a form of the straw man fallacy. Reductio ad absurdum is a logical argument which attempts to disprove a claim by assuming it as the major premise and demonstrating that the claim cannot be true by arriving at a false conclusion in a valid argument with a minor premise which is known to be true. The principle is that a logically valid syllogism is one where if both premises are true, the conclusion must be true. If the conclusion is false, one or more of the premises must be false. By demonstrating that the minor premise is true, the suspect premise must be false.  Sans Deity 20:48, 30 August 2006 (MST)

Umm... what "second premise"? The article only mentions a single premise, the one that ultimately gets rejected.  dcljr 01:58, 31 August 2006 (MST)Irrelevant now that above comment has been reworded.  dcljr 22:55, 1 September 2006 (MST)
I reworded my explanation above...and I'll try to get examples into the article soon.  Sans Deity 06:38, 31 August 2006 (MST)
Not already listed?
The part of the proof starting with "or it is divisible by a prime number which has not yet been listed" is not necessary since we already assumed we'd multiplied all the primes. It's like saying, "Assume 1, 2, and 3 are the only numbers. Now consider a new number, 4." If the premise is correct, then 4 must be one of the other three numbers and not something different! The previous version of the proof, while admittedly not as precise, didn't make any such immediately falsifiable statements along the way, and yet lead to an absurdity. I've reworded the proof yet again to be even more precise. The argument is now even closer to Euclid's (Elements, Book IX, Proposition 20). Unfortunately, it relies on a result that must be proved separately (Bk. VII, Prop. 31). Such is the cost of added precision...  dcljr 16:00, 16 October 2010 (CDT)
Whitehead and Russell's Principia Statement of Reductio ad Absurdum
Do you suggest that Whitehead and Russell's statement of the principle of reductio ad absurdum is incorrect or invalid? See the statement of *2.01 on page 104 of Volume 1: [1]. That is, (x → ~x) → ~x is a tautology and it is the application of this tautology which may be used. Thus, if one demonstrates x → ~x, one may use *2.01 together with the primitive proposition *1.1 on page 98 [2] which states that 'Anything implied by a true elementary proposition is true' (modus ponens) to conclude that ~x is true. Russell and Whitehead use principle to prove, for example, that it cannot be possible that (p = q) & (p = ~q) on page 129 [3]. The equivalent statement (~p → p) → p is given in *2.18. In the given proof of there being infinitely many primes, there are N primes implies there are greater than N primes (or, in other words, there are not N primes); therefore, we conclude that there are not N primes for any integer value of N. It does so by observing that the constructed number q must have a divisors other than the ones which were listed and that at least one of those divisors must have the properties of a prime number. This is in contrast to the previous proof which simply stated that that product plus one is prime which is false. The current version, however, is also a valid proof using modus tollens.  Dwharder 9:00, 17 October 2010 (EDT)
 I would not suggest that R&W are wrong, just that it's not relevant to this article. I don't believe reductio ad absurdum arguments are ever actually presented in the form, "Assume P; deduce not P; conclude not P." Instead, they're of the form, "Assume P; deduce a contradiction [Q and not Q]; conclude not P." Your reworked proof, in fact, is of this form ("Assume there are finitely many prime numbers... We can therefore list all N prime numbers... we have found a prime number not appearing in our list... There must be infinitely many prime numbers"). That is exactly in the form "Assume P; deduce Q and not Q; conclude not P."  dcljr 04:26, 22 October 2010 (CDT)