Clasificacion

Muchos, sino la mayoría, hablan de una división entre ciencias formales y fácticas, evaluando para esta división tanto el objeto de estudio, el tipo de enunciados que produce cada una como así también el método utilizado para validar las hipótesis.

En general, se puede decir que las ciencias formales tiene como objeto de estudio entes ideales sin existencia real; mientras que las ciencias fácticas se ocupan del estudio de los hechos, los procesos, los objetos y las cosas.

Respecto del tipo de enunciados producidos por las ciencias formales, se los suele describir como relaciones entre entes ideales; mientras que las ciencias fácticas producen relaciones entre los hechos, los procesos, objetos o cosas, que son objeto de su estudio.

Los métodos si bien tienen aspectos en común, ya que ambas ciencias utilizan la lógica, difieren en el valor que le dan a la misma. Para las ciencias formales la existencia de la lógica es suficiente para intentar deducir hipótesis a partir de ella, que en caso de demostrarse como verdaderas habrán confirmado la hipótesis sin más problemas.

Las ciencias fácticas, por su parte, consideran la existencia de la lógica necesaria pero no suficiente. Es por eso que necesitan contrastar sus hipótesis con la realidad objetiva para comprobar si los enunciados se verifican en la realidad.