En este artículo, me propongo mostrar que la discusión de Boecio sobre la compatibilidad de la libertad humana y la praescientia divina es una elaborada doctrina que une elementos neoplatónicos y lógica aristotélica. Según argumento, la discusión está conectada a la preocupación anterior sobre este tema mantenida por los estoicos, y sus principales líneas de desarrollo van a influir en pensadores como Santo Tomás de Aquino, L. Valla y G.W. Leibniz. En lo esencial, la doctrina de Boecio dice que no (...) es la sola razón humana lo que hace al hombre libre, sino su fin, que es Dios como ser eternamente presente a los procesos necesarios y contingentes del universo. Esto está supuesto en sus palabras finales sobre el poder de la oración. (shrink)

En este artículo se describen los contenidos de un tratado sobre lógica aristotélica escrito por Boecio en el VI d. C, llamado por nuestras ediciones modernas De syllogismo categórico. A través de sus contenidos, es posible mostrar: la importancia de este tratado en el proceso de transmisión de la lógica de Aristóteles al medioevo latino; su relación con otro tratado monográfico similar, titulado por la crítica moderna Introductio ad syllogismos categóricos y su relación temática con DSC; las fuentes más probables (...) de ambos tratados; y, finalmente, su influencia en el medioevo latino. La hipótesis que se defiende en este artículo es que los contenidos lógicos de este tratado, en particular la clasificación de las proposiciones categóricas, contenida en el corazón del DSC, entregan no solo el objeto temático al tratado, sino también coherencia argumentativa y unidad. En especial, el estudio de esta clasificación permite demostrar la unidad de DSC y en particular que el segundo libro de DSC es genuino y no espurio como sostuvieron, no hace mucho, los estudiosos Murari y McKinlay; además, esta misma clasificación permite apreciar su diferencia con ISC, por el hecho de que este último tratado posee una clasificación diferente a la de DSC. La base de la hipótesis propuesta se halla en que la clasificación mencionada es un intento por generar, a partir de los elementos preposicionales, las principales operaciones lógicas definidas por Aristóteles en sus escritos lógicos, asunto que en la revisión de De Rijk no quedó totalmente establecido. (shrink)

This paper presents a restructured set of axioms for categorical logic. In virtue of it, the syllogistic with indefinite terms is deduced and proved, within the categorical logic boundaries. As a result, the number of all the conclusive syllogisms is deduced through a simple and axiomatic methodology. Moreover, the distinction between immediate and mediate inferences disappears, which reinstitutes the unity of Aristotelian logic.