Reducción Al Absurdo
Reducción Al Absurdo
Reducción Al Absurdo
(Lgica)
conjunto de afirmaciones
formado por las premisas y la negacin de su conclusin lleva a una contradiccin (ver
ejemplo). Equivale a razonar de la siguiente manera: si el hecho de suponer verdadera
A (no-A) nos lleva a una contradiccin, entonces A es necesariamente verdadera y A
necesariamente falsa. Recibe tambin el nombre de prueba indirecta. A veces, la
reduccin al absurdo slo prueba que un conjunto de premisas es inconsistente (ver
ejemplo).
Histricamente, el uso de razonamientos indirectos es normal en geometra; las
paradojas de Zenn han sido contempladas tambin como razonamientos por
reduccin al absurdo,
FUENTE: Diccionario de filosofa en CD-ROM, Herder, Barcelona.
Autores: Jordi Corts Morat y Antoni Martnez Riu, 1998.