Lógica aristotélica

Aristóteles según un manuscrito de su Historia naturalis de 1457.

La lógica aristotélica es la lógica basada en los trabajos del filósofo griego Aristóteles, quien es ampliamente reconocido como el padre fundador de la lógica. Sus trabajos principales sobre la materia tradicionalmente se agrupan bajo el nombre Órganon («herramienta»), y constituyen la primera investigación sistemática acerca de los principios del razonamiento válido o correcto.[1]

Para Aristóteles, la lógica era una herramienta necesaria para adentrarse en el mundo de la filosofía y la ciencia. Sus propuestas ejercieron una influencia sin par durante más de dos milenios, a tal punto que en el siglo XVIII, Immanuel Kant llegó a afirmar:

Que desde los tiempos más tempranos la lógica ha transitado por un camino seguro puede verse a partir del hecho de que desde la época de Aristóteles no ha dado un sólo paso atrás. [...] Lo que es aun más notable acerca de la lógica es que hasta ahora tampoco ha podido dar un sólo paso hacia adelante, y por lo tanto parece a todas luces terminada y completa.

El trabajo de Aristóteles se consideraba desde los tiempos clásicos, y durante la época medieval en Europa y el Medio Oriente como la imagen misma de un sistema completamente elaborado. Sin embargo no estaba solo: los estoicos propusieron un sistema de lógica proposicional que fue estudiado por los lógicos medievales. También se estudió el problema de la generalidad múltiple. No obstante, no se consideraba que los problemas de la lógica aristotélica necesitaran soluciones revolucionarias.

En la actualidad, algunos académicos afirman que el sistema de Aristóteles no puede aportar mucho más que valor histórico, considerado como obsoleto por la llegada de la lógica matemática. Otros utilizan la lógica de Aristóteles en la teoría de la argumentación para ayudar a desarrollar y cuestionar críticamente los esquemas de argumentación que se utilizan en la inteligencia artificial y los argumentos legales.

Juicios

Según Aristóteles, los argumentos o silogismos se componen de juicios (o aserciones, apophanseis). Los juicios son oraciones con un sujeto y un predicado, en las cuales el predicado se afirma o se niega del sujeto.[3] Siguiendo estos criterios, Aristóteles clasificó distintos tipos de juicios y también construyó el cuadro de oposición de los juicios. La siguiente tabla resume los seis tipos de juicios:

Afirmación Negación
Universal Todo S es P.
Todos los hombres son mortales.
Ningún S es P.
Ningún hombre es mortal.
Indefinido Algunos S son P.
Algunos hombres son mortales.
Algunos S no son P.
Algunos hombres no son mortales.
Particular S es P.
Sócrates es mortal.
S no es P.
Sócrates no es mortal.
Other Languages