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.