Se estudian las relaciones formales entre los diversos tipos de juicios Aristotélicos; A, E, I, O, considerando cada juicio con términos idénticos.
Tiene su origen en 4 oraciones que deben emplearse en el razonamiento logístico, las cuales son:
(A) UNIVERSAL AFIRMATIVO
Término Sujeto tomado en su
extensión universal; término Predicado
particular;cualidad afirmativa
Todas las naranjas son dulces
A con O. Difieren en cantidad y
cualidad, a estas se les llaman
contradictorias. A con I. Tienen
igual cualidad Afirmativa o
Negativa pero distinta cantidad,
a estas se llaman subalternas
(E) UNIVERSAL NEGATIVO
Término Sujeto tomado en su
extensión universal; término
Predicado universal;cualidad negativa
A con E. Tienen igual
cantidad Universal, pero
difieren en cualidad, a estas
se les llaman contrarias
Ninguna naranja es dulce
E con I. Difieren en cantidad y
cualidad, a estas se les llaman
contradictorias. E con O. Tienen igual
cualidad Afirmativa o Negativa pero
distinta cantidad, a estas se llaman
subalternas
(I) PARTICULAR AFIRMATIVA
Término Sujeto tomado en su extensión
particular; término Predicado en su
extensión particular; cualidad afirmativa
Algunas naranjas son dulces
I con O. Tienen igualdad en cantidad
Particular, pero difieren en cualidad,
a estas se les llama subcontrarias. E
con O . Tienen igual cualidad
Afirmativa o Negativa pero distinta
cantidad, a estas se llaman
subalternas
(O) PARTICULAR NEGATIVO
Término Sujeto tomado en su extensión
particular; término Predicado en su
extensión universal; cualidad negativa
Alunas naranjas no son duces
A con O. Difieren en cantidad y
cualidad, a estas se les llaman
contradictorias