Son 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.
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 realidad o por observación.
La lógica y la matemática son ciencias formales, por
ocuparse de inventar 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 como empíricos.
Se pueden establecer correspondencias entre estas formas u
objetos formales relacionándolas con objetos o procesos pertenecientes a
cualquier nivel de la realidad.
No hay comentarios:
Publicar un comentario