Método deductivo

«Todos los humanos son mortales; Sócrates es humano; por tanto, Sócrates es mortal.» Este célebre razonamiento resume la idea del método deductivo: si las premisas son verdaderas y el argumento está bien construido, la conclusión no puede ser falsa. Es la forma de razonar propia de la lógica y las matemáticas, y una pieza esencial del pensamiento científico.

¿Qué es el método deductivo?

El método deductivo es un procedimiento de razonamiento que parte de premisas generales (leyes, principios, definiciones) para llegar, mediante reglas lógicas, a conclusiones particulares. «Deducir» viene del latín deducere, «llevar de», «conducir desde»: la conclusión se extrae de lo que ya estaba contenido en las premisas.

Su rasgo definitorio es la necesidad lógica: en un argumento deductivo válido, la verdad de las premisas garantiza la verdad de la conclusión. Es el opuesto del método inductivo, que va de casos particulares a generalizaciones probables.

Características

• De lo general a lo particular: se aplica un principio a un caso concreto.
• Conclusión necesaria: si el argumento es válido y las premisas son verdaderas, la conclusión es verdadera.
• No amplía el contenido: la conclusión desarrolla lo que ya estaba implícito en las premisas.
• Formal: su corrección depende de la forma lógica, no del tema.
• Verificable: cada paso puede revisarse.

Validez y verdad: una distinción clave

Un argumento es válido cuando la conclusión se sigue lógicamente de las premisas; es sólido cuando, además, esas premisas son verdaderas. Un razonamiento puede ser válido y llegar a algo falso si parte de una premisa falsa:

• «Todos los pájaros vuelan. El pingüino es un pájaro. Luego el pingüino vuela.» Es válido en su forma, pero la primera premisa es falsa, así que la conclusión no es fiable.

Formas de razonamiento deductivo

Silogismo

Sistematizado por Aristóteles en los Analíticos primeros, consta de dos premisas y una conclusión. Ejemplo: «Todos los mamíferos tienen pulmones. Las ballenas son mamíferos. Por tanto, las ballenas tienen pulmones.»

Modus ponens

«Si P, entonces Q. P. Luego Q.» Ejemplo: si llueve, la calle se moja; llueve; luego la calle está mojada.

Modus tollens

«Si P, entonces Q. No Q. Luego no P.» Ejemplo: si ha llovido, la calle está mojada; la calle no está mojada; luego no ha llovido.

Cuidado con las falacias

Dos errores habituales imitan estas formas: afirmar el consecuente («la calle está mojada, luego ha llovido», cuando pudo ser un camión de riego) y negar el antecedente («no ha llovido, luego la calle no está mojada»). Ninguna es válida.

Ejemplos de aplicación

• Matemáticas: a partir de los axiomas y definiciones se demuestran teoremas. Los Elementos de Euclides son el gran modelo histórico de este método.
• Derecho: se aplica una norma general a un caso concreto para determinar la consecuencia jurídica.
• Medicina: si una enfermedad produce siempre cierto síntoma y el paciente no lo presenta, se puede descartar el diagnóstico.
• Informática: los sistemas basados en reglas deducen resultados a partir de condiciones establecidas.
• Vida cotidiana: «el museo cierra los lunes; hoy es lunes; no podré visitarlo».

El método hipotético-deductivo

En la ciencia, la deducción se combina con la observación en el llamado método hipotético-deductivo: se formula una hipótesis, se deducen de ella consecuencias comprobables y se contrastan con experimentos o datos. Si las predicciones fallan, la hipótesis se cuestiona; si se cumplen, queda corroborada, aunque no demostrada definitivamente. Karl Popper lo situó en el centro de su propuesta de la falsabilidad. Forma así parte del método científico.

Una aclaración habitual: los razonamientos de Sherlock Holmes se presentan como «deducciones», pero en rigor muchos son abducciones o inferencias a la mejor explicación, que no garantizan la conclusión.

Ventajas y limitaciones

Preguntas frecuentes

Referencias

• Aristóteles. Analíticos primeros.
• Copi, I. M. y Cohen, C. Introducción a la lógica. Limusa.
• Popper, K. (1934). La lógica de la investigación científica.