"Ciencia Formal y Ciencia Factica"

Ciencias Formales: Se puede denominar asi a la logica y a la matematica por ocuparse de inventar entes formales y de establecer relaciones entre ellos, sus objetos no son cosas,ni procesos.
De esta manera las ciencias formales jamas entran en conflicto con la realidad,sino que se emplean en la vida cotidiana. Tambien se contentan con la logica para demostrar rigurosamente sus teoremas.
Las Ciencias Formales demuestran o prueban,la demostracion es completa y final.

Ciencias Facticas: Necesitan mas que la logica formal: para confirmar sus conjeturas necesitan de la observacion y/o experimento. En otras palabras la ciencias facticas tienen que mirar las cosas y siempre que les sea posible,deben procurar cambiarlas deliberadamente para intentar descubrir en que medida sus hipotesis se adecuan a los hechos.
Las Ciencias Facticas verifican(confirman o disconfirman) hipotesis que en su mayoria son provisionales. La verificacion es incompleta y por eso temporaria. La naturaleza misma del metodo cientifico impide la confirmacion final de las hipotesis facticas.