Ciencia formal y ciencia factica 

En este proceso, construye un mundo artificial ese creciente cuerpo de ideas llamado "ciencia" que puede caracterizarse como conocimiento racional, sistemático, exacto, verificable y por consiguiente falible.
tenemos así una primera gran división de las ciencias en formales o facticas, esta ramificación preliminar tiene en cuenta el objeto o tema de las respectivas disciplinas: también da cuenta de la diferencia de especie entre los enunciados que se proponen establecer las ciencias formales y las facticas mientras los enunciados formales consisten en relaciones entre los signos, los enunciados de las ciencias facticas se refieren, en su mayoría  a entes extracientificos a sucesos y procesos

las ciencias facticas necesitan mas que la lógica foral para confirmar sis conjeturas necesitan de la observación y/o experimente. En otras palabras, las ciencias facticas tiene que mirar las cosas y siempre que les sea posible , deben procurar cambiarlas deliberadamente para intentar descubrir en que medida sus hipótesis se adecuan a los hechos

Las matemáticas y la lógica son, en suma, ciencias deductivas. el proceso constructivo en que la experiencia desempeña un papel de sugerencias, se limita a la formación de los puntos de partida (axiomas)
En matemática la verdad constituye, por esto, en la coherencia del enunciado dado con un sistema de ideas admitido previamente; por esto, la verdad matemática no es absoluta, sino relativa a este sistema.

Las ciencias formales demuestran o prueban; las ciencias facticas verifican (confirman o disconfirman) hipótesis que en su mayoría son provisionales. la demostración es completa y al final; la verificación es incompleta y por ellos temporaria

Ambos rasgos de la ciencia factica, la racionalidad y la objetividad, están intuitivamente soldados. Así  por ejemplo, lo que usualmente se verifica por medio del experimento es alguna consecuencia, extraída por vía deductiva de alguna hipótesis.