Ciencia Formal y ciencia Factual

La tipo-logia mas eficiente y la que ha logrado un consenso mas extendido en la comunidad científica,  es la que clasifica las ciencias considerando cuatro conceptos ordenadores: naturaleza del objeto de estudio, metido de comprobación de proposiciones, criterio de verdad, carácter de los enunciados.

Uno de los autores que ha popularizado su version de esta tipologia es maria bunge