Cuando se trata de clasificar las ciencias se acostumbra a tomar como referencia cuatro criterios:

el objeto de estudio, los métodos, la clase de enunciados y el criterio de verdad.

CIENCIAS FORMALES: En las ciencias formales se ubican las matemáticas, la lingüística y la lógica. Es
aquella que busca comprender y destacar la verdad de las cosas. Estas ciencias parten de las ideas formuladas
por la mente humana. Estudia el pensamiento, algo que no podemos ver ni tocar. No pueden validar sus
fórmulas a través del contacto con la realidad ya que se refieren a lo abstracto. Se puede decir que estas
ciencias son autosuficientes por el hecho de que pueden alcanzar la verdad a partir de sus propios contenidos y
métodos de prueba. Se vale de fórmulas analíticas que pueden convalidarse por medio del análisis racional.
Estas ciencias además constituyen una herramienta conceptual para todas las otras ciencias y áreas del
conocimiento.

OBJETO DE ESTUDIO 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. En general, se
puede decir que las ciencias formales tienen como objeto de estudio entes ideales sin existencia real. Respecto
del tipo de enunciados producidos por las ciencias formales, se los suele describir como relaciones entre entes
ideales. El objeto de estudio de la ciencia formal no son las cosas ni los procesos, sino las relaciones abstractas
entre signos, es decir, se estudian ideas.

METODO: Método axiomático-deductivo. Dicho método consiste en tomar como punto de partida una serie de
axiomas (En griego: Aquello que es considerado como verdadero sin necesidad de prueba o demostración) y, a
partir de ellos proceder deductivamente. Utilizan la deducción como método de búsqueda de la verdad 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.

CLASE DE ENUNCIADO: Prueban sus enunciados con base en principios lógicos o matemáticos, pero no los
confirman experimentalmente. Son analíticos, su verdad o falsedad no depende de la correspondencia con la
realidad empírica sino de la coherencia o no de los componentes internos de sus enunciados.

CRITERIO DE VERDAD: Finalmente, acerca del criterio referido al tipo de verdad involucrado en estos
enunciados, es la coherencia o no contradicción, le corresponde una verdad necesaria y formal, relacionada con
la coherencia lógica.
1.1.2 Las ciencias fácticas.

Las disciplinas que integran estas ciencias se caracterizan porque recortan como tema de estudio
determinado campo de la realidad empírica. Así la física, la biología, la química y la economía tienen sus
temáticas propias y recortan determinados fenómenos como sus campos de estudio.

El rasgo principal que diferencia a las ciencias fácticas de las formales es el siguiente: debido a que refieren a
aspectos de la realidad empírica tienen que contrastar sus afirmaciones con esa realidad, deben poner a prueba
la verdad o falsedad de sus enunciados, confrontándolos con los hechos de la experiencia sensible. En cuanto a
sus enunciados, son fundamentalmente enunciados sintéticos, son a posteriori, dependen de la experiencia.
Son contingentes, es decir no son necesariamente verdaderos ni necesariamente falsos sino que pueden ser
tanto verdaderos como falsos. El criterio para establecer esa verdad o esa falsedad es la correspondencia o no
con la realidad empírica.

Pero las ciencias fácticas utilizan también enunciados de las ciencias formales como procedimientos auxiliares
(por ejemplo, la física necesita de las matemáticas).

Los entes con que trabajan las ciencias fácticas como objeto de estudio son los hechos de la experiencia, son
entidades materiales del mundo natural o social.

Y finalmente, los métodos que utilizan las ciencias fácticas son: el método hipotético-deductivo y el método
inductivo (en sus distintas variantes)