Cuadro de oposición de los juicios

Se llama cuadro de oposición de los juicios al 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. En su día fue con considerado por el mismo Aristóteles.

A= UNIVERSAL AFIRMATIVO. Sujeto tomado en su extensión universal; predicado particular; relación afirmativa. Todo S es P.

E = UNIVERSAL NEGATIVO. Sujeto tomado en su extensión universal; predicado universal; relación negativa. Ningún S es P.

I = PARTICULAR AFIRMATIVO. Sujeto tomado en su extensión particular; predicado en su extensión particular; relación afirmativa. Algún S es P.

O = PARTICULAR NEGATIVO. Sujeto tomado en su extensión particular; predicado en su extensión universal; relación negativa. Algún S no es P.

Cuadro de oposición.

Se llaman juicios opuestos a los que teniendo los mismos términos difieren en cantidad, en cualidad o en ambas. Se representan en cada uno de los vértices del cuadrado de oposición, estableciéndose las siguientes relaciones:

A y E son contrarios porque difieren en cualidad siendo universales.

I y O son subcontrarios, porque siendo particulares difieren en la cualidad.

A con respecto a O, e I con respecto a E son contradictorios, porque difieren en cantidad y cualidad.

A con respecto a I, y E con respecto a O son subalternos porque difieren en la cantidad.

Las relaciones con respecto al valor de verdad en relación de unos y otros se muestran en el siguiente cuadro:

Los contradictorios, si uno es verdadero el otro es falso y viceversa. Ni ambos verdaderos, ni ambos falsos.

Los contrarios, no pueden ser ambos verdaderos, pero pueden ser los dos falsos.

Los subcontarios pueden ser ambos verdaderos, pero no pueden ser los dos falsos.

Para otras posibles inferencias directas a partir de un juicio es necesario hacer unas operaciones que producen nuevos juicios: la conversión y la obversión, contraposición e inversión.

Cuadro de oposición - Valores de Verdad

	A	E	I	O
A es verdadero	V	F	V	F
A es falso	F	Ind.	Ind.	V
E es verdadero	F	V	F	V
E es falso	Ind.	F	V	Ind.
I es verdadero	Ind.	F	V	Ind.
I es Falso	F	V	F	V
O es Verdadero	F	Ind.	Ind.	V
O es Falso	V	F	V	F

V= Verdadera F=Falsa Ind.= Indeterminada

Enlaces

• Silogismo
• Conversión lógica
• Obversión lógica
• contraposición lógica

Referencias

• MITCHELL, D (1968). Introducción a la lógica. Editorial Labor, Barcelona. 

• FERRATER MORA, J. (1979). DICCIONARIO DE FILOSOFÍA. ISBN 84-206-5299-7.