Resumen de Principios y conclusiones en una axiomatización de la astronomía de Acerca del cielo I de Aristóteles
En Acerca del cielo I se encuentran cuatro pruebas fundamentales de la cosmología aristotélica, a saber: la prueba de la existencia del éter, la prueba de la finitud del universo, la prueba de su unicidad y la prueba de su ingenerabilidad e incorruptibilidad. Ofrecemos una reconstrucción parcial del conjunto de estas cuatro pruebas para poner en evidencia que ellas utilizan un grupo semejante de premisas y definiciones. En efecto, nuestro propósito es mostrar que dicho conjunto de pruebas utiliza los mismos principios y, de este modo, que en una reconstrucción axiomática del total de pruebas podemos hallar un número semejante, o incluso mayor, de premisas que de conclusiones. Así, encontramos una forma alternativa para una axiomatización posible en Acerca del cielo de Aristóteles.
