Reductio ad absurdum

{{title-italics}}
{{logicnav}}{{Sources needed}}
'''''Reductio ad absurdum''''' is the technique of reducing an [[argument]] or [[hypothesis]] to absurdity, by pushing the argument's premises or conclusions to their logical limits and showing how ridiculous the consequences would be, thus disproving or discrediting the argument.

This has roots in the [[Socratic method]], and has been employed throughout the history of [[logic]], [[mathematics]], [[philosophy]], and the [[philosophy of science]].

As an example, one of the central tenets of [[homeopathy]] is the (unfounded) assertion that [[water]] retains a "[[water memory|memory]]" of substances dissolved in it, even when the solution becomes so weak that no trace of the original substance is present.<ref>[https://www.nature.com/news/2004/041004/full/041004-19.html The memory of water: Nature News]</ref>  However, if we accept this hypothesis, then any quantity of tap water would have already acquired all the benefical chemicals, and all the harmful ones too. This patently absurd scenario weakens the hypothesis of water memory.

Note that reductio ad absurdum is not the same as a [[straw man]] argument. While reductio ad absurdum recognizes the argument before pushing it to its limits, a straw man argument sets up a weaker revision of the argument, then refutes this misrepresented version. However, reductio ad absurdum is often used on a straw man.

==Validity and fallacious use==
''Reductio ad absurdum'' is only valid when it builds on assertions which are actually present in the argument it is deconstructing, and not when it misrepresents them as a [[straw man]]. For example, any [[creationism|creationist]] argument that takes the form of "if [[evolution]] were real, we'd see fish turning into monkeys and monkeys turning into people all the time" only serves to ridicule itself, since it mischaracterises the [[theory of evolution]] to an extreme degree.

In mathematics and logical systems in general, reductio ad absurdum or '''proof by contradiction''' holds if and only if the law of the excluded middle also holds in said system. The law of the excluded middle states that either a well-defined proposition is true or its converse is true, but not both or neither (in symbols: F∨¬F and ¬(F∧¬F)). Intuitionism in logic and mathematics rejects this patently obvious law and therefore proof by contradiction as a whole: thankfully, it may safely be stated that mainstream mathematics also rejects this method of logic, preserving the several hundreds of important and elegant proofs that rely upon proof by contradiction.

The [[argument from adverse consequences]] is a similar but more flawed technique. While ''reductio ad absurdum'' rejects an argument on the basis that its logical consequences/premises are so unlikely that the argument cannot possibly be sound, the argument from adverse consequences rejects an argument because its consequences are undesirable, or because accepting it could mean accepting something we would prefer not to acknowledge; this can become the [[moralistic fallacy]]. 

''Reductio ad absurdum'' should also not be confused with [[appeal to ridicule]], although both see extensive use in satire. Appeal to ridicule simply dismisses a position as ridiculous, without explaining or arguing why, while ''reductio ad absurdum'' actually pursues the logical consequences of an argument.

==In mathematics==
In [[mathematics]] and formal logic, ''reductio ad absurdum'', also known as "proof by contradiction" and "proof by assuming the opposite", is the establishing of an argument (or [[theory]]) by showing that its denial would lead to absurd consequences.

[If ''A'' is <u>not</u> true, then ''B'' <u>is</u> true (and therefore ''C'' is true' ... etc. ), which results in a contradiction. Therefore ''A'' must be true. [[Quod erat demonstrandum|QED]]!]

The formal argument is

# Assume '''P'''.
# It follows that '''Q'''.
# It also follows that not-'''Q'''.
# Therefore, '''P''' is false.

As this is a logical argument, possibly with many steps between the initial premise and the ultimate conclusion, it is often open to varying interpretations and alternate steps which might not prove the conclusion. In mathematics, it has been a key [[proof]] since Euclid and is a well-accepted method (often ending with a statement that some property is not equal to itself, thus showing the absurdity). In philosophy and [[science]], it is less hard and fast, as there is often dispute in the causal relationship ''(then)'' between steps of the argument.

An example found in Euclidean geometry.

Hypothesis: Two distinct straight lines that intersect do so in one and only one point.

# Let "'''l'''" and "'''r'''" be two distinct straight lines that intersect in two or more points (we deny the hypothesis).
# Let "'''A'''" and "'''B'''" be two of the points where '''l''' and '''r''' intersect, therefore '''A''' and '''B''' are both points of '''l''' and '''r'''.
# (2) is absurd, as it contradicts an axiom (two distinct points determine one and only one straight line) therefore (1) is impossible and two distinct straight lines can't intersect in more than one point.

==In philosophy==

In philosophy (although it is really the same form as in mathematics), a ''reductio ad absurdum'' is an argument formed from a valid argument (i.e there is no case where the premise is true and the conclusion false) in which the conclusion is false. The negation of this argument's premise is the conclusion of the ''reductio'' and the rest of the premises are the premises of the ''reductio''. It is ''always'' a valid argument. Here is an example:

(1) If I am a human being, I can run up a building.

(2) I am a human being.

(3) Therefore, I can run up a building. 

Assume: It is not true that I can run up a building. (3•)

Therefore, ''reductio'':

(2) and (3•) entails not (1) : it’s not true if I am a human being, I can run up a building.

(1) and (3•) entails not (2) by the rule: Modus Tollens. P -> Q. ~Q! Therefore, not P

Therefore, there’s no logically possible case where (1) and (2) are true but 3 is false. Assuming 3 is false leads to a contradiction.

==See also==
*[[Epistemological nihilism]]
*[[Principle of explosion]]
*[[Slippery slope]]
{{otherlang
|fr=Reductio ad absurdum (français)}}

==External links==
*[https://www.iep.utm.edu/reductio/ Nicholas Rescher, "Reductio ad Absurdum," "Internet Encyclopedia of Philosophy"]

==References==
{{reflist}}

{{logfal}}

[[ru:Доведение до абсурда]]
[[Category:Arguments]]
[[Category:Latin phrases]]
[[Category:Logic]]
[[Category:Valid logical methods]]

Categories: Arguments, Latin phrases, Logic, Valid logical methods