EL MÉTODO DE LAS CIENCIAS FORMALES

MÉTODO DE LAS CIENCIAS FORMALES

Las ciencias formales (lógica y matemática) utilizan el método axiomático-deductivo. 
Dicho método consiste en tomar como punto de partida una serie de axiomas (del griego αξιωμα: aquello que es considerado como verdadero sin necesidad de prueba o demostración) y, a partir de ellos proceder deductivamente. 
Es decir son conjuntos sistemáticos de conocimientos racionales y coherentes, pero cuyos conocimientos pueden ser aplicados a dicha realidad físico-natural. 
El método propio de las ciencias formales es el método deductivo.



Definiciones:

• Corrección: Modificación que se hace en una cosa o a una persona para corregir sus faltas, errores, defectos o imperfecciones.

• Consistencia: propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal y un aparato deductivo (axiomas y reglas de inferencia), no es posible deducir una fórmula y su negación.

• Completitud: En una lógica de primer órden, toda fórmula que es válida en un sentido lógico es demostrable.