Métodos de las ciencias formales y naturales: diferencias y características

Método de las ciencias formales

Las ciencias formales no precisan comprobación empírica: utilizan el método deductivo, es decir, mediante deducción. Partiendo de unas premisas se obtiene una primera conclusión de forma deductiva.

Ejemplo: Todos los seres humanos somos mortales. Sócrates es un ser humano. → Premisas. Lógicamente, Sócrates es mortal. → Conclusión.

El método de las ciencias formales tiene o usa un lenguaje propio, un sistema simbólico. Dispone de un alfabeto y de unas reglas que establecen las combinaciones de símbolos correctas (bien formadas) o no. Esto forma el lenguaje formal de las ciencias formales.

Existe un mecanismo deductivo que permite derivar unas fórmulas a partir de otras. Esto da lugar a un sistema formal puramente sintáctico y con una precisión superior a la del lenguaje natural.

Para que un sistema axiomático sea adecuado debe cumplir dos condiciones:

• Corrección: todos los teoremas demostrables en el cálculo deben ser leyes válidas en el campo que se trata de formalizar. La corrección implica la consistencia, ya que no pueden existir dos leyes válidas tal que una sea la negación de la otra.
• Completitud: todas las leyes válidas demostrables en el cálculo formal; si no lo fuesen, el cálculo sería incompleto.

Método de las ciencias naturales

También llamado método hipotético-deductivo, aunque es un método inductivo. La inducción va de lo concreto a lo general (leyes universales) y parte de la experiencia. Inducir y razonar es un proceso que parte de la observación de una serie de casos concretos (todos iguales) hasta llegar a una conclusión general.

La inducción puede ser:

• Completa: se conocen todos los casos del ámbito de estudio.
• Incompleta: solo se conocen algunos casos; la conclusión no es verdadera sino probable, con mayor o menor probabilidad según el número de casos comprobados.

Niveles del método

Se organiza en tres niveles:

• Enunciados protocolarios: describen hechos o cosas que podemos percibir u observar en la experiencia.
• Leyes: enunciados que describen regularidades en la naturaleza, hechos que siempre ocurren del mismo modo (hecho A → consecuencia B). Las leyes son hipótesis: pueden ser o no verdaderas, ya que necesitan comprobación en la realidad.
• Teorías: conjunto de leyes que describen una parte de la realidad, enunciados universales de los que se deducen todas las leyes de una ciencia y se formulan nuevas leyes.

Camino del método hipotético-deductivo

1. A partir de la observación y la experimentación se formula un problema no resuelto y se proponen hipótesis explicativas mediante la imaginación del investigador.
2. Las hipótesis se formulan matemáticamente y se deducen de ellas consecuencias empíricamente comprobables. Este momento es el deductivo del método.
3. Las consecuencias deducidas se comprueban empíricamente mediante:
   • Verificación: los hechos observados coinciden con los deducidos de la hipótesis.
   • Falsación: los hechos observados no coinciden con los deducidos de la hipótesis.
4. Comprobada la hipótesis en un cierto número de casos, se formula la ley, con validez general.