deductivo

Deductivo se refiere al razonamiento cuyo objetivo es derivar una conclusión que debe ser verdadera si las premisas son verdaderas y la inferencia es válida. En un argumento deductivo, la verdad de las premisas garantiza la verdad de la conclusión. Se distingue de la deducción por inducción en la que las conclusiones son probables, basadas en la observación, y no necesariamente ciertas.

El uso de lo deductivo es central en la lógica y en las matemáticas. Sus raíces se atribuyen a la tradición aristotélica de la silogística y se ha enriquecido con la lógica formal moderna (frecuentemente a través de la lógica de predicados y la demostración rigurosa). En matemáticas, las pruebas son ejemplos paradigmáticos de razonamiento deductivo: a partir de axiomas y definiciones se derivan teoremas mediante reglas de inferencia.

Estructura y conceptos clave: una deducción se compone de premisas, reglas de inferencia y una conclusión. Formas típicas incluyen el silogismo y, en sistemas formales, reglas como modus ponens (si A implica B y A es verdadera, entonces B es verdadera) y modus tollens. Una deducción es válida cuando la conclusión se deriva necesariamente de las premisas; es sólida cuando las premisas son verdaderas.

Ejemplos: todos los mamíferos producen leche; un animal es mamífero; por tanto, ese animal produce leche. En filosofía y ciencia, las teorías se someten a deducción para generar predicciones o demostrar consecuencias lógicas a partir de axiomas y postulados.

Limitaciones: la deducción no introduce nueva información más allá de lo que ya expresan las premisas; su poder depende de la verdad de dichas premisas y de la validez de las reglas empleadas.