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. 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:
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. Así por ejemplo, «Sócrates es hombre» y «todos los hombres son mortales» son juicios. Aristóteles llama
término a aquello que puede ser sujeto o predicado de un juicio, y distingue entre
términos singulares («Sócrates», «Platón») y
términos universales («hombre», «mortal»). Los términos singulares sólo pueden ser sujeto, mientras que los términos universales pueden ser tanto sujeto como predicado (con ayuda de
cuantificadores). 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:
Silogismos
La noción central del sistema lógico de Aristóteles es el
silogismo (o deducción,
sullogismos). Un silogismo es, según la definición de Aristóteles, «un discurso (
logos) en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente». Un ejemplo clásico de silogismo es el siguiente:
- Todos los hombres son mortales.
- Todos los griegos son hombres.
- Por lo tanto, todos los griegos son mortales.
En este ejemplo, tras establecer las
premisas (1) y (2), la
conclusión (3) se sigue por
necesidad. La noción de silogismo es similar a la noción moderna de
argumento deductivamente válido, pero hay diferencias.