How does Aristotle think about sentences like ‘Every x is y’ in the Prior Analytics? A recently popular answer conceives of these sentences as expressing a mereological relationship between x and y: the sentence is true just in case x is, in some sense, a part of y. I argue that the motivations for this interpretation have so far not been compelling. I provide a new justification for the mereological interpretation. First, I prove a very general algebraic soundness and completeness (...) result that unifies the most important soundness and completeness results to date. Then I argue that this result vindicates the mereological interpretation. In contrast to previous interpretations, this argument shows how Aristotle’s conception of predication in mereological terms can do important logical work. (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)