las ciencias formales

Son la rama de la ciencia que estudian sistemas formales. Las ciencias formales validan sus teorías con base en proposiciones, definiciones, axiomas y reglas de inferencia todas ellas son analíticas a diferencia de las ciencias sociales, y las ciencias naturales, que las comprueban de manera empírica, es decir observando el mundo real. Son proposiciones analíticas o contradictorias recogen los enunciados de las matemáticas y la lógica que en general constituyen las ciencias formales. El positivismo lógico considera a estas ciencias no realizan cosas.

Las ciencias formales son:

-       La ciencia de computación teórica

-       La ciencia de estadística

-       La ciencia de la lógica

-       La ciencia matemático

-       Ciencia de la teoría de la decisión

-       Ciencia de la teoría de información 

 

La clasificación de la ciencia en formales en lógica y matemáticas se debe a que lo formal tiene que ver con estructuras mentales que intentan explicar la realidad a partir de formas creadas por el hombre una de esas fórmulas es por ejemplo los números, de esta manera se intenta simplificar la complejidad del mundo es decir los científicos formales  los lógicos y los matemáticos, no trabajan con las cosas u objetos que existen en el mundo sino con realidades creadas por ellos mismos en su mente nuevamente coloco de ejemplo los números y letras a los símbolos se les denomina formulas y de ahí su nombre ciencias formales.

·         No se ocupan de los hechos

·         Objetivos son formas e ideas

·         Aplica el proceso deductivo

·         Sus enunciados son relaciones entre signos

Método:

La lógica para demostrar o probar rigurosamente los propuestos ejemplos las matemáticas.

Las ciencias formales consisten entre relaciones entre signos y usan la lógica para demostrar sus didemos.