(subalternante de I) A E (subalternante de O)

(subalterno de A) I O (subalterno de E)

Subcontrarios

contrarios

Los valores de verdad de

estos juicios están

relacionados entre si, y

estas relaciones permiten

realizar ciertas inferencias

inmediatas.

En los cuadros que se desarrollan a

continuación

se muestra gráficamente que puede inferirse

acerca del valor de verdad de los restantes

juicios cuando se conoce

el valor veritativo

de uno de ellos.

(Se simboliza: verdadero (V);

falso (F). Lógicamente

indeterminado.

CUADRO 1: A es verdadero CUADRO 2: E es verdadero

A E A E

I O I O

CUADRO 3: A es falso CUADRO 4: E es falso

F ? ? F

A E A E

V F F V

V F F V

? I O V

V I ?

Las proposiciones categóricas de

forma típica que tienen los

mismos términos sujeto y

predicado pueden diferir entre sí

en la calidad, cantidad o en

ambas. Los lógicos de otros

tiempos dieron a este género de

diferencias el nombre técnico de

“oposición” y establecieron

importantes relaciones entre los

valores de verdad de las

proposiciones que difieren en los

aspectos mencionados.

Dos proposiciones son contradictorias

si una de ellas es la negación de la otra,

esto es, si no pueden ser ambas

verdaderas

y no pueden ser ambas falsas. Es

indudable

que dos proposiciones categóricas

de forma típica que tienen el mismo

sujeto

y el mismo predicado, pero que difieren

tanto en cantidad como en calidad,

son contradictorias. Así, las

proposiciones

A y O.

Todos los jueces son abogados.

Y

Algunos jueces no son abogados.

Que se oponen tanto en cantidad

como en calidad, son obviamente

contradictorias. Al menos una de

ellas es verdadera y al menos una

es falsa. Observar el cuadro de

oposición que aparece a

continuación.

Su

ba

ltern

ació

n

Su

ba

ltern

ació

n

Subalterna Subalterna

(Agunos S son P) I Subcontrarios O (Algunos S no son P)

Contradictorias

(Todo S es P) A Contrarias E (Ningún S es P)

Subalternamente Subalternamente

Se pensaba que las relaciones

diagramadas

en este cuadro de oposición suministraban

una base lógica para justificar ciertas

formas

de razonamiento elementales. A este

respecto,

se acostumbra a distinguir entre inferencia

mediata

e inferencia inmediata. Inferir es extraer una

conclusión de una o más premisas.

Es el esquema mediante el que 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.

(Copi M, 1971, pág. 137 a la 140)