La ciencia aristotélica y los inicios del método axiomático
Juan Camilo Espejo-Serna
Universidad de la Sabana
El método deductivo-inductivo de Aristóteles
- Observación
- Inducción
- Principios generales
- Deducción
- Observación
- Oscurecimiento progresivo de la luna
- Principios inducidos
- La luz viaja en línea recta
- Los cuerpos opacos producen sombras
- Dos cuerpos opacos pueden estar en una relación espacial R tal que la sombra de uno cae sobre el otro
- La Tierra y la luna son cuerpos opacos
- La Tierra y la luna estarán en la posición R en dos meses
- Habrá un oscurecimiento de la luna en dos meses
La inducción nos permite pasar de observaciones particulares a principios generales ¿Inducción?
Enumeración simple
- S1 tiene corazón
- S2 tiene corazón
- S3 tiene corazón
- S4 tiene corazón
⋮
por lo tanto
- Todos los S tienen corazón
Inducción por intuición directa
"Intuición directa de aquellos principios esenciales que están ejemplificados en los Fenómenos. La inducción intuitiva es una cuestión de perspicacia. Esta es la capacidad para ver lo que es «esencial» en los datos de la experiencia sensible."
La deducción nos permite pasar de principios generales a predicciones particulares¿Deducción?
Deducción
Algunos silogismos válidos: BARBARA, CELARENT, DARII, FERIO, CESARE, CAMESTRES, FESTINO, BAROCO, DARAPTI
- A: Todos los H son M
- E: Ningún H es M
- I: Algunos H son M
- O: Algunos H no son M
Todas las deducciones según Aristóteles deben pertenecer a una de estas formas. ¿Pueden pensar en ejemplos de deducciones con premisas o conclusión que no se ajusten a este modelo?
Condiciones para la explicación
- Premisas verdaderas
- Premisas autoevidentes
- Premisas mejor conocidas que conclusión
- Premisas son las causas de la conclusión
¿Pueden pensar en ejemplos de explicaciones
que sí se ajusten a este modelo?
¿Pueden pensar en ejemplos de explicaciones
que no se ajusten a este modelo?
Cuando pensamos en la explicación (por ejemplo, las condiciones que debe cumplir una buena explicación), ¿hacemos filosofía o ciencia?
Ciencia: conjunto de enunciados organizados deductivamente
Física: principios básicos (principio de no-contradición, principio de identidad, principio de tercero excluido, etc.) + principios particulares de la ciencia (el movimiento natural es movimiento en dirección a su posición natural, el vacío no es posible, etc.)
¿En qué medida esta comprensión de la ciencia encaja con sus propias intuiciones sobre lo que hoy llamamos ciencia?
Encuentren el punto medio de una hoja de papel y de la mesa en la que están trabajando.
Parte de lo bonito del sistema geométrico antiguo es su economía y versatilidad. Todo se puede construir con 1) una regla sin marcas y 2) un compás que se cierra súbitamente una vez se levanta del papel.
Ideal de sistematización deductiva
- Axiomas son verdades evidentes
- Los axiomas y los teoremas están relacionados deductivamente
- Los teoremas concuerdan con las observaciones.
Es gracias a que los axiomas son verdaderos y que la deducción "preserva la verdad" que decirmos que los teoremas en los sistemas axiomáticos hablan del mundo
Elementos de Euclides
- definiciones, nociones comunes, postulados ("axiomas")
- proposiciones (teoremas)
Definiciones
- Punto
- Línea
- Plano
- Ángulos: recto, obtusos y agudos
- Línea perpendicular
- Figuras
- Triángulo: equilátero, rectángulo, isóceles
- Círculo: semicírculo, radio, centro y diámetro
- Cuadrilátero: cuadrado, rectángulo, rombo, romboide
- Líneas paralelas
Nociones comunes
- Cosas iguales a una tercera son iguales entre sí.
- Si a cosas iguales se añaden cosas iguales, los totales son iguales también.
- Si a cosas iguales se quitan cosas iguales, los restos son iguales también.
- Las cosas que coinciden entre sí son iguales entre sí.
- El todo es mayor que la parte.
Postulados
- Por dos puntos diferentes pasa una sola línea recta.
- Un segmento rectilíneo puede ser siempre alargado.
- Hay una sola circunferencia con un centro y un radio dados.
- Todos los ángulos rectos son iguales.
- Si una recta secante corta a dos rectas formando a un lado ángulos interiores, la suma de los cuales sea menor que dos ángulos rectos; las dos rectas, suficientemente alargadas se cortarán en el mismo lado.
Proposiciones
- Construir un triángulo equilátero
- Construir en un punto dado una recta igual a una recta dada
- Restar del mayor de dos segmentos dados un segmento igual al menor.
- Si dos triángulos tienen dos lados respectivos iguales, y tienen los ángulos comprendidos iguales, también tendrán las bases iguales, y los triángulos serán iguales, y los ángulos restantes serán iguales, concretamente los opuestos a los lados iguales.
Todo teorema se debe seguir deductivamente de los axiomas.
Desafortunamente, a Euclides se la van las luces y parece hacer trampa en algunas ocasiones en las que empieza a utilizar elementos que no están dentro de sus axiomas. (Por ejemplo para probar la proposición 3.)
A finales del siglo XIX, David Hilbert propose una nueva organización de la geometría euclideana en donde sí se siga todo de los axiomas y definiciones. Para ello, propone:
- 6 definiciones: de punto, línea y plano, junto a tres relaciones geométricas.
- 20 axiomas: sobre conexión, orden, líneas paralelas, congruencia, y continuidad.
El sistema axiomático
- Axiomas son verdades evidentes
- Los axiomas y los teoremas están relacionados deductivamente
- Los teoremas concuerdan con las observaciones.
Lecturas para la próxima clase
- Losee, J. (1976). Introducción histórica a la filosofía de la ciencia.
España: Alianza Editorial. Páginas 53-103 (★)