Ciencias Formales

Las ciencias formales son conjuntos sistemáticos de conocimientos racionales y coherentes, que se ocupan del estudio de los procesos lógicos y matemáticos, (por lo que su objeto de estudio no es el mundo, ni la realidad físico-natural, sino formas vacías de contenido) 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.

Es aquella que trabaja con formas, es decir, con objetos ideales, que son creados por el hombre, que existen en su mente y son obtenidos por abstracción. Les interesan las formas y no los contenidos; no les importa lo que se dice, sino cómo se dice. La verdad de las ciencias formales es necesaria y formal.

Las ciencias formales son las ramas de la ciencia que estudian sistemas formales. Las ciencias formales validan sus teorías con base en proposiciones, definiciones, axiomas yreglas de inferencia. Todas ellas son analíticas, a diferencia de las ciencias sociales y las ciencias naturales, que las comprueban de manera empírica, es decir, observando el mundo real.