Hacia una formalización de los Tópicos de Aristóteles

Por • 17 nov, 2022 • Sección: Filosofía

Clarence Prolin

Presentamos un enfoque de primer orden de orden múltiple para formalizar los Temas de Aristóteles basado en una ontología simple que involucra individuos y predicados conectados por dos relaciones binarias primitivas que expresan ‘ser dicho de un sujeto’ y ‘estar en un sujeto’ de Aristóteles. Este enfoque se basa en la conclusión de Slomkowski de que los Tópicos deben verse como una proposición que expresa silogismos hipotéticos y relacionales y que Aristóteles estaba en posesión de las leyes básicas del cálculo proposicional así como de la introducción y Reglas de eliminación para cuantificadores universales. Los Temas son de considerable interés no sólo como parte del desarrollo temprano de la lógica aristotélica, sino también por la información que proporciona en torno a la práctica de la argumentación y la demostración lógicas en la Academia platónica y otras escuelas de filosofía antigua como la megariana y la estoicos. Este artículo contribuye al proyecto de llevar a cabo un análisis formal moderno de la lógica antigua  con el objetivo final de poder formalizar argumentos filosóficos antiguos y reconstruir axiomáticamente sistemas filosóficos antiguos. También presenta algunas ideas nuevas sobre cómo el debate antiguo puede verse como un juego formal basado en la lógica de primer orden. 

arXiv:2211.06447v1 [math.HO]

History and Overview (math.HO); Logic (math.LO)

Post to Twitter

Escribe un comentario