CIENCIAS FORMALES

En las ciencias formales las proposiciones analiticas o contradictorias recogen los enunciadis de las matemáticas y la lógica que en general construyen las ciencias formales.El positivismo logico considera a estas ciencias no empiricas.

Las ciencias formales están divididas de una forma radical, por un lado las ciencias reales y por otro lado las ciencias empiricas. las empiricas  deben satisfacer determinados requisitos lógicos en inferencias y deben adaptarse a las formalizaciones derivadas de la logica matematicas.

Las ciencias formales no se refieren a nada que se encuentre en la realidad, por eso no pueden utilizar nuestros contactos con la realidad para convalidar sus fórmulas.

Lógica

La lógica estudia la estructura o forma del pensamiento humano (como proposiciones, conceptos y razonamiento) para establecer leyes y principios válidos para obtener criterios de verdad.

Matemática

Se dedica al estudio de las propiedades de los entes abstractos y de sus relaciones. Esto quiere decir que las matemáticas trabajan con números, símbolos, figuras geométricas, etc.