Ciencias formales

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

Ciencia formal es aquella que busca comprender y destacar la verdad de las cosas. Utilizan la deducción como método de búsqueda de la verdad. 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, son ciencias formales la lógica y la matemática.

Es aquella que trabaja con formas, es decir, con objetos ideales, que son creados por el hombre, que existen en su mente y son obtenidos por abstracción. Les interesan las formas y no los contenidos, no les importa lo que se dice, sino como se dice. La verdad de las ciencias formales es necesaria y formal.

Las ciencias formales son las ramas 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.

Lista de ciencias formales[editar]

  ciencia fatica

ciencia humana En las ciencias formales las 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 empíricas.

Las ciencias formales están divididas de una forma radical, por un lado las ciencias reales y por otro lado las ciencias empíricas. Las empíricas deben satisfacer determinados requisitos lógicos en sus inferencias y deben adaptarse a las formalizaciones derivadas de la lógica matemática.