ciencias

-Ciencia Formal (o ideal)
Ej. Lógica y Matemática, son racionales, sistemáticos y verificables, pero no son objetivos, no nos dan información acerca de la realidad. No se ocupan de los hechos, sinoque tratan sobre entes ideales abstractos que solo existen en la mente humana. Son ciencias deductivas. Las teorías matemáticas abstractas contienen términos no interpretados, a los que no se lesatribuye un significado fijo y que por lo tanto se le pueden atribuir distintos significados. Su objeto no son cosas ni procesos, sino formas escritas en lenguaje pictórico, en las que se puede verter unilimitado surtido de contenidos tanto facticos como empíricos. Esto significa que podemos establecer correspondencia entre estas formas y cosas o procesos de cualquier nivel de la realidad; para sermás claros estas ciencias establecen un puente con la realidad a través del lenguaje científico. El método por el cual ponen a prueba los enunciados para hacerlos verificables y demostrar su validezson sus teoremas, axiomas y proposiciones, por esto la verdad matemática no es absoluta, sino relativa a ese sistema, puesto que lo que es válido para una teoría puede dejar de serlo para otra. Estosentes lógicos pueden ser verdaderos o falsos dentro de un sistema dado de proposiciones.
En las ciencias formales las proposiciones analíticas o contradictorias recogen los enunciados de lasmatemá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 ladolas 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 lalógica matemática.
Las expresiones y formulas de la lógica y de las matemáticas no deben verificarse por ser analíticas, pero el resto de los enunciados científicos deben ser comprobados en la...