Fundamentos de la Lógica Deductiva y el Método Científico

La Deducción y los Sistemas Axiomáticos

La deducción (del latín "deductio": acción de conducir) es un razonamiento en el que, si las premisas son verdaderas, la conclusión ha de ser necesariamente verdadera (la verdad de las premisas garantiza la verdad de la conclusión). Es un proceder característico, aunque no exclusivo, de las ciencias formales.

La aplicación rigurosa y exclusiva de la deducción tiene lugar en los sistemas axiomáticos. Estos constan fundamentalmente de dos tipos de enunciados:

• Axiomas: Enunciados primitivos de los cuales se parte y que, por tanto, no se demuestran; solo se establecen considerándose en sí mismos verdaderos.
• Teoremas: Son enunciados derivados lógicamente de los axiomas o bien de otros teoremas ya deducidos a partir de los axiomas.

Este sistema requiere un lenguaje formal.

El Método Hipotético-Deductivo

Ideado por Galileo, este método consta de los siguientes pasos:

1. Observación

Punto de partida de toda investigación científico-natural. Se halla en la observación de algún hecho o fenómeno cuya explicación desconocemos y queremos conocer, para así plantear el problema.

2. Formulación de una hipótesis

Capaz de explicar el hecho o fenómeno observado. Esta es una posible solución que se acepta provisionalmente a fin de comprobar las consecuencias que se derivarían de ella.

3. Deducción de consecuencias a partir de la hipótesis

Consiste en deducir qué consecuencias se sacarían de ella; estas consecuencias son las que se someten a contrastación directa. Ejemplo: Vemos flotar un objeto cilíndrico y formulamos la hipótesis de que flota porque tiene forma cilíndrica. De esta cabe deducir una consecuencia: si lo que hace flotar el objeto es su forma, cualquier objeto cilíndrico habrá de flotar también.

4. Comprobación experimental

Se diseña un experimento que ponga a prueba las consecuencias derivadas de la aceptación de la hipótesis, interviniendo activamente.

Resultados de la Contrastación

• Falsada: Se formula otra hipótesis.
• Verificada: Se convierte en ley científica.

Ejemplos de Lógica y Silogismos

Silogismos Aristotélicos

Un ejemplo clásico de razonamiento deductivo es el siguiente:

• Premisa mayor: Todos los hombres son mortales.
• Premisa menor: Sócrates es hombre.
• Conclusión: Sócrates es mortal.

Estructuras de Inferencia Lógica

Dentro de la lógica formal, destacan estructuras como:

• Modus Ponens: Si A entonces B; ocurre A, por lo tanto, ocurre B. (A → B; A ⊢ B).
• Modus Tollens: Si A entonces B; no ocurre B, por lo tanto, no ocurre A. (A → B; ¬B ⊢ ¬A).