Ciencias formales: el surgimiento de las geometrías no euclideanas
Conocimientos previos
Se detallan los conocimientos previos para las dos temáticas principales: Lógica y Sistemas axiomáticos.
Lógica
Contamos con la noción intuitiva de razonamiento y verdad. Suponemos que han tenido una comprensión inicial de puesta a prueba de las teorías, y que pueden distinguir las nociones de consecuencia, corroboración, refutación.
Sistemas axiomáticos
Contamos con las nociones de recta, punto, plano y rectas paralelas.
Teorías
Geometrias euclideanas
Las ciencias formales organizan el conocimiento estructurandolo en torno a sistemas axiomáticos. Esta tradición que echa mano de métodos de razonamiento deductivos se remonta a los comienzos de la ciencia en la antigüedad. La ciencia aristotélica en ocasiones utilizaba esta metodología.
Los Elementos (de geometría) de Euclides es un caso paradigmático en el que se exhibe el conocimiento en una estructura de axiomas y teoremas. Este tratado describe la teoría de la geometría euclideana que podemos llamar hoy geometría plana.
En esta unidad abordamos el estudio de las ciencias formales.
Teoría 1
Lógica
En este apartado nos ocupamos de los temas de lógica relevantes para la puesta a prueba de las teorías y el modo en que se pueden realizar inferencias. Uno de los aspectos importantes para la filosofía de la ciencia es poder decidir para cada razonamiento qué grado de respaldo obtenemos para asegurar o decidir sobre la verdad de la conclusión de ese razonamiento. Este aspecto y varios otros son abarcados por la lógica.