Reductio ad absurdum

Reductio ad absurdum
ARGVMENTA
Argumento ad antiquitatem
Argumento ad baculum
Argumento ad consequentiam
Argumento ad crumenam
Argumento ad hominem
Argumento ad ignorantiam
Argumento ad logicam
Argumento ad nauseam
Argumento ad novitatem
Argumento ad populum
Argumento ad verecundiam
Reductio ad absurdum

El Reductio ad absurdum (también llamado Reducción al absurdo) es un método de demostración (formalizado y a menudo usado por Aristóteles como un argumento lógico) partiendo de una hipótesis que queremos demostrar que es verdadera, y suponemos como válida su opuesta, a partir de ella y mediante una cadena de deducciones lógicas válidas obtenemos un resultado absurdo, por lo que concluimos que la hipótesis de partida (la negación de la original) ha de ser falsa, por lo que la original es verdadera. Este método es también conocido como prueba por contradicción o prueba ad absurdum. Parte de la base es el cumplimiento de la ley de exclusión de intermedios: una afirmación que no puede ser falsa, ha de ser consecuentemente verdadera.

En matemáticas

Supongamos que se desea demostrar la proposición P. El procedimiento consiste en demostrar que asumiendo como cierta la falsedad de P (o sea, P negada) conduce a una contradicción lógica. Esta P no puede ser falsa, por lo que ha de ser verdadera.

Por ejemplo, consideremos la proposición "no existe un número racional mínimo mayor que cero". En una reducción al absurdo, comenzaríamos por asumir lo contrario que existe un mínimo número racional y que es mayor que cero; llamémoslo r0.

Ahora, hagamos x = r0/2. Por lo tanto, x es un número racional mayor que cero; y x es más pequeño que r0. Pero eso es absurdo, contradice nuestra hipótesis de partida de que r0 era el número racional mínimo. Por lo tanto, debemos concluir que la proposición que asumimos como cierta: "hay un número racional mínimo mayor que cero" es falsa.

No es inusual utilizar este tipo de razonamiento con proposiciones como la indicada, acerca de la inexistencia de cierto elemento matemático. Se asume que ese elemento existe y se prueba que eso conduce a una contradicción; por lo tanto, ese objeto no existe. Por ejemplo, se puede probar de esta manera que la raíz cuadrada de 2 es irracional.

La demostración por reducción al absurdo es un tipo de argumento lógico muy empleado en las demostraciones matemáticas. Consiste en demostrar una proposición matemática probando que el que no lo sea conduce a una contradicción.

Un ejemplo es la demostración de que la raíz cuadrada de 2 es un número irracional. La afirmación inicial es la contraria: imagínese que es un número racional, es decir, que

\sqrt{2} = \frac{p}{q}, donde p y q son números enteros, y que q es distinto de 0. Sin pérdida de generalidad, se puede suponer que p y q son positivos (si los dos son negativos, basta con multiplicarlos por -1), y que son primos entre sí, es decir, que no comparten ningún factor común (en caso contrario, basta con dividirlos entre su máximo común divisor).

Elevando al cuadrado:

2 = \frac{p^2}{q^2}

Multiplicando por q^2 \,\! se tiene:

2q^2 = p^2 \,\!

La expresión 2q^2 \,\! es un número par, así que p^2 \,\! también lo es. Eso implica que p \,\! es par, porque, de no serlo, p^2 \,\! no sería par, con lo que no se podría cumplir la igualdad. Sea p=2n \,\!, donde n \,\! es un número entero. Así, la expresión queda:

2q^2=(2n)^2=4n^2 \,\!

Simplificando, se tiene:

q^2=2n^2 \,\!

Por el mismo razonamiento de antes, 2n^2 \,\! es un número par, así es que q^2 \,\! también es par, y q \,\! también es par.
Como p \,\! y q \,\! son los dos pares, eso quiere decir que tienen al menos un factor común, que es 2 \,\!. Esto entra en contradicción con la forma en que se han elegido los números p \,\! y q \,\! para que no tuvieran ningún factor común. Como esta elección de p \,\! y q \,\! se hizo sin pérdida de generalidad y el razonamiento posterior es correcto, eso quiere decir que la premisa inicial de que \sqrt{2} era racional es falsa.
Luego \sqrt{2} es irracional, Q.E.D.

Es importante advertir que para construir una prueba válida, debe demostrarse que, dada una proposición P \,\!, "no P \,\!" implica una propiedad que es falsa en el sistema matemático utilizado. El peligro es la falacia lógica de la argumentación por ignorancia, donde se prueba que "no P \,\!" implica una propiedad "Q \,\!" que parece falsa pero que realmente no se ha demostrado que lo es. Un ejemplo clásico de esta falacia es la falsa demostración de un quinto postulado de Euclides a partir de los anteriores. En el momento en que se establecieron esas pruebas, parecían correctas debido a que no se contemplaba otra geometría que la euclidiana; pero con la aparición de otras geometrías dio al traste con el sistema. Para una más profunda explicación de esos malentendidos, ver Morris Kline, Mathematical Thought: from Ancient to Modern Times.

Aunque se utiliza con gran libertad en demostraciones matemáticas, no todas las escuelas de pensamiento matemático aceptan la reducción al absurdo como universalmente válidas. En escuelas como la del intuicionismo, la ley de exclusión de intermedios no se acepta como válida. Desde este punto de vista, hay una diferencia muy significativa entre demostrar que algo que existe demostrando que sería absurdo que no lo hiciera y construyendo un ejemplo real de ese algo.

En lógica simbólica, la reducción al absurdo se representa:

si
S \cap \{ \neg P \} \vdash F
entonces
S  \vdash P

En esta representación, P es la proposición a demostrar, y S es una serie de proposiciones previas que tomamos como ciertas (por ejemplo, los axiomas de la teoría en la que trabajamos o los teoremas anteriores que ya han sido demostrados). Consideramos la negación de P en conjunto con S. Si esto lleva a una contradicción F, entonces podemos concluir que S nos conduce necesariamente a P.

En palabras de G. H. Hardy, "La Reducción al absurdo, que Euclides tanto amaba, es una de las mejores armas de la matemática. Es mucho mejor gambito que cualquiera de los del ajedrez: un jugador de ajedrez puede ofrecer el sacrificio de un peón u otra pieza, pero un matemático ofrece la partida".

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Reductio ad absurdum — (Latin for reduction to the absurd ), also known as an apagogical argument, reductio ad impossibile, or proof by contradiction, is a type of logical argument where one assumes a claim for the sake of argument and derives an absurd or ridiculous… …   Wikipedia

  • reductio ad absurdum — index counterargument Burton s Legal Thesaurus. William C. Burton. 2006 reductio ad absurdum …   Law dictionary

  • Reductio ad absurdum —         (лат.) сведение к нелепости. Приём опровержения. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983 …   Философская энциклопедия

  • reductio ad absurdum — лат. (рэдукцио ад абсурдум) доведение до нелепости (как способ доказательства). Толковый словарь иностранных слов Л. П. Крысина. М: Русский язык, 1998 …   Словарь иностранных слов русского языка

  • reductio ad absurdum — 1741, Latin, lit. reduction to the absurd …   Etymology dictionary

  • reductio ad absurdum — (izg. redùkcio ȁd apsùrdum) DEFINICIJA log. dovođenje do besmisla; metoda dokazivanja kada se nastoji dokazati istinitost neke tvrdnje pokazujući neistinitost ili apsurdnost njezine suprotnosti …   Hrvatski jezični portal

  • reductio ad absurdum — is a method of proving the falsity of a premise by showing that the logical consequence is absurd. An example is that if eating less makes one healthier, the logical conclusion is to eat nothing …   Modern English usage

  • reductio ad absurdum — [ri duk′tē ō΄ ad ab sʉr′dəm, ri duk′shē ō΄] n. [L, reduction to absurdity] Logic the proof of a proposition by showing its opposite to be an obvious falsity or self contradiction, or the disproof of a proposition by showing its consequences to be …   English World dictionary

  • Reductio ad absurdum — Die Reductio ad absurdum (von lat. für Zurückführung auf das widrig Klingende, Ungereimte, Unpassende, Sinnlose) ist eine Schlussfigur und Beweistechnik in der Logik. Bei der Reductio ad absurdum wird eine Aussage widerlegt, indem gezeigt wird,… …   Deutsch Wikipedia

  • reductio ad absurdum — /ri duk tee oh ad ab serr deuhm, zerr , shee oh /, Logic. a reduction to an absurdity; the refutation of a proposition by demonstrating the inevitably absurd conclusion to which it would logically lead. [1735 45; < L reductio ad absurdum] * * * ▪ …   Universalium

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”