Reductio ad absurdum. Expresión latina que significa
literalmente reducción al absurdo, es un método de demostración lógico.
Es usado para demostrar la validez de proposiciones
categóricas; se parte por suponer como hipotética la negación o falsedad de la
tesis de la proposición a demostrar, y mediante una concatenación de inferencias
lógicas válidas se pretende derivar una contradicción lógica, un absurdo; de
derivarse una contradicción, se concluye que la hipótesis de partida (la
negación de la original) ha de ser falsa, y la original es verdadera y la
proposición o argumento es válido.
A este método también se le conoce
como prueba por contradicción o prueba ad absurdum. Parte de la
base es el cumplimiento del principio de exclusión de intermedios: una
proposición que no puede ser falsa necesariamente es verdadera.
No hay comentarios:
Publicar un comentario
Nota: solo los miembros de este blog pueden publicar comentarios.