logica

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 seniega del sujeto.2 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 distingueentre términos singulares («Sócrates», «Platón») y términos universales («hombre», «mortal»).3 Los términos singulares sólo pueden ser sujeto, mientras que los términos universales pueden ser tantosujeto como predicado (con ayuda de cuantificadores).3 Siguiendo estos criterios, Aristóteles clasificó distintos tipos de juicios y también construyó el cuadro de oposición de los juicios. La siguientetabla 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.
Algunoshombres 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.
Silogismos[editar]
Artículo principal:Silogismo
La noción central del sistema lógico de Aristóteles es el silogismo (o deducción, sullogismos).4 Un silogismo es, según la definición de Aristóteles, «un discurso (logos) en el cual, establecidasciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente».5 Un ejemplo clásico de silogismo es el siguiente:

Todos los hombres son mortales.
Todos los griegos sonhombres.
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ónmoderna de argumento deductivamente válido, pero hay diferencias.6

En los Primeros analíticos, Aristóteles construyó la primera teoría de la inferencia válida.7 Conocida como la silogística, la...