la ciencia formal

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ógicoconsidera 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 debensatisfacer determinados requisitos lógicos en sus inferencias y deben adaptarse a las formalizaciones derivadas de la lógica matemática.
Las expresiones y formulas de la lógica y de las matemáticas no debenverificarse por ser analíticas, pero el resto de los enunciados científicos deben ser comprobados en la realidad o por observación.
La lógica y la matemática son ciencias formales, por ocuparse deinventar entes formales y establecer relaciones entre ellos. Estos objetos no son cosas ni procesos, sino formas en las que se puede verter un surtido ilimitado de contenidos, tanto facticos comoempíricos.
Se pueden establecer correspondencias entre estas formas u objetos formales relacionándolas con objetos o procesos pertenecientes a cualquier nivel de la realidad.
Los teoremas formales solodeben ser probados apoyados en la lógica.
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 susformulas.
Estas ciencias estudian conceptos abstractos, además de las leyes lógicas, es decir las leyes que permiten inferir proposiciones a partir de enunciados verdaderos. Su característica típicaes que demuestran o prueban sus enunciados con base en principios lógicos o matemáticos, pero no los confirman experimentalmente.
De esta forma las ciencias formales no dan información acerca de lanaturaleza, conformándose con ser recursos o instrumentos meramente formales, que el científico necesariamente tendrá que manejar en la practica de investigaciones, comprobaciones y verificaciones....