Este documento presenta los cuatro esquemas de silogismos válidos en la lógica aristotélica, incluyendo los modos de cada figura lógica y ejemplos de premisas y conclusiones. Explica que un silogismo es un argumento deductivo con dos premisas que comparan tres términos para inferir una conclusión sobre dos de los términos.

5. CLASE
DENOMINACIÓ
N
ESQUEMA
EXPRESIÓN-
EJEMPLO
Extensión de los
términos
A
Universal
Afirmativo
Todo S es P
Todos los hombres
son mortales
S: Universal P:
Particular
E
Universal
Negativo
Ningún S es P
Ningún hombre es
mortal
S: Universal P:
Universal
I
Particular
afirmativo
Algún S es P
Algún hombre es
mortal
S: Particular P:
Particular
O
Particular
Negativo
Algún S es no-
P
Algún hombre es
no-mortal
S: Particular P:
Universal

6. Silogismo es la argumentación en la que a partir de un antecedente (dos
juicios como premisas) que compara dos términos(Sujeto y Predicado de la
conclusión) con un tercero (término
Medio), se infiere o deduce un consecuente (un juicio como conclusión) que
une (afirma) o separa (niega) la relación de estos términos (Sujeto y
Predicado) entre sí.

7. PRISIPRE SEGPREPRE TERSUSU CUARPRESU
M P P M M P P M Premisa mayor
S M S M M S M S Premisa menor
S P S P S P S P Conclusión

8. FIGURA
LOGICA
Así los modos
válidos
Se memorizaban cantando
PRISIPRE
AAA, EAE, AII,
EIO
BARBARA, CELAREN, DARII, FERIO
SEGPREPRE
EAE, AEE, EIO,
AOO
CESARE, CAMESTRES, FESTINO, BAROCO
TERSUSU
AAI, IAI, AII,
EAO, OAO,
EIO
DARAPTI, DISAMIS, DATISI, FELAPTON,
BOCARDO, FERISON
CUARPRESU
AAI, AEE, IAI,
EAO, EIO
BAMALIP, CALEMES, DIMATIS, FESAPO,
FRESISON