Principios de la lógica de Aristóteles

Aristóteles ha pasado a la historia, entre otros cosas, como el primer sistematizador de la lógica. De hecho, sus propuestas en este campo, junto a las aportaciones de los estoicos, han constituido prácticamente toda la lógica hasta el siglo XIX.

Las obras de lógica de Aristóteles (Categorías, Sobre la interpretación, Primeros analíticos, Analíticos posteriores y Tópicos) fueron agrupadas en un conjunto llamado Organon, que los filósofos interpretaron tradicionalmente como una propedéutica, una preparación para la filosofía.

A diferencia de la moderna lógica formal, la lógica aristotélica parte del supuesto de que las formas de pensamiento reproducen lo que ocurre en la realidad, o sea, que las cosas extramentales existen tal como son pensadas por la mente, por lo que las categorías de la mente son categorías objetivas, categorías de la realidad.

La lógica aristotélica se ocupa del estudio de los conceptos, dedicando especial atención a los predicables, y de las categorías (o predicamentos), que se completa con el análisis de los juicios y de las formas de razonamiento, prestando especial atención a los razonamientos deductivos categóricos o silogismos, como formas de demostración especialmente adecuadas al conocimiento científico.

Aristóteles se refiere a cinco predicables, o modos generales de atribución: género, especie, diferencia, propio y accidente. El género representa la parte de la esencia que es común a varias especies; la especie representa la esencia del ser; la diferencia expresa la parte de la esencia que no es común, sino característica de la especie; propio, o propiedad, expresa una cualidad que acompaña necesariamente a la especie, y el accidente expresa una cualidad contingente, que puede estar o no en el ser.(En los "Analíticos posteriores" nos habla sólo de ocho categorías accidentales, suprimiendo las dos últimas, que son englobadas como aspectos de las restantes). En la medida en que las categorías remiten a las formas de ser extramentales adquieren un marcado contenido ontológico, dando por supuesto que las cosas son captadas por la mente tal como son en realidad.