Si se parte de premisas que garantizan una conclusión, se está razonando deductivamente. Todos los hombres son mortales. Sócrates era un hombre. Por lo tanto, Sócrates era mortal. Si las premisas son verdaderas y la forma es válida, la conclusión debe ser verdadera. No hay lugar para la probabilidad. La deducción es la base de la lógica, las matemáticas y la demostración formal.

Aristóteles fue el primero en sistematizar la deducción, utilizando el silogismo como herramienta fundamental. Un silogismo consta de dos premisas y una conclusión, dispuestas de tal manera que la conclusión se deriva necesariamente. Los lógicos medievales perfeccionaron el sistema, y ​​lógicos modernos como Frege y Russell desarrollaron la lógica simbólica, que representa las formas deductivas mediante símbolos y reglas. La deducción preserva la verdad: no puede llevar de premisas verdaderas a una conclusión falsa. Sin embargo, no puede generar contenido nuevo más allá del que ya contienen las premisas. Por eso, la deducción es poderosa para la demostración, pero limitada para el descubrimiento.

Conceptos clave

• Validez. La conclusión se deriva necesariamente de las premisas.
• Sólida. Forma válida más premisas verdaderas.
• Silogismo. Dos premisas y una conclusión.
• Contraejemplo. Un caso que muestra un formulario no válido.

La deducción está presente en el razonamiento cotidiano, los argumentos legales, la programación informática y las demostraciones filosóficas. Cuando alguien dice "se deduce lógicamente", generalmente se refiere a la deducción.