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.

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