En este Cuadrado los vértices simbolizan las cuatro proposiciones categoricas:Universales afirmativas (A). Universales negativas (E).
Particulares afirmativas (I) y Particulares negativas (O).
Las diagonales representan las relaciones de oposición: Contradicción, Contrariedad, Subcontrariedad y Subalternación; y que dan lugar a determinadas inferencias
¿En qué sentido en la Proposición Todos los hombres son mortales se puede producir una relación de oposición contradictoria en base a la pertenencia y en en base a la cantidad?
¿De las expresiones siguientes: ¿Cuál crees que es la inferencia inmediata que podría deducirse a partir de la relación de oposición contradictoria existente entre las proposiciones [A-O]-[E-I]?
¿En qué sentido en la Proposición Todos los hombres son mortales se puede producir una relación de contrariedad ?
Aunque la primera inferencia inmediata de la relación de Contrariedad nos dice que una universal afirmativa (A) y una universal negativa (E) no pueden ser ambas verdaderas.
¿En qué sentido en la Proposición Todos los cuervos son negros se puede producir una relación de Subalternación ?
¿En qué sentido en la Proposición Algunos cuervos son negros se puede producir una relación de Subalternación ?
¿En qué sentido en la Proposición Algunos hombres son justos se puede producir una relación de subcontrariedad con otra Proposición, de tal forma que ambas sean ciertas?
a) ¿En qué sentido la verdad de una proposición particular afirmativa (I), por ejemplo, "Algunos hombres son justos", no implicaría la falsedad de su subcontraria ?
b) ¿En qué sentido la falsedad de una proposición particular afirmativa (I), por ejemplo, "Algunos hombres son justos", si implicaría la verdad de su subcontraria?
GRUPOA: A=Todos los hombres son mortales O=Algún hombre no es mortal
GRUPOB: E=Ningún hombre es inmortal I=Algún hombre es inmortal
En el GRUPOA, se produce oposición porque en un caso (A) se afirma que la mortalidad es algo que pertenece a todos los hombres, mientras que en el 2º caso (O) se niega que tal mortalidad pertenezca a todos los hombres.
En el GRUPOB, se produce oposición porque en un caso (E) se niega que la inmortalidad pertenezca a todos hombres, mientras que en el otro caso (I) se afirma que tal mortalidad si pertenece a algún hombre.
Al mismo tiempo, en el GRUPOA, el caso primero (A) afirma una cantidad (todos) mientras que en el caso segundo (O) se niega esa misma cantidad.
Por otro lado, en el GRUPOB, en el primer caso (E) se niega una cantidad total (ninguno) mientras que en el otro (I) se afirma esa cantidad total negada.
GRUPO DE CONTRARIEDAD: A=Todos los hombres son mortales E=Ningún hombre es mortalLa relación de Contrariedad implica, como inferencia inmediata, que una Proposición universal afirmativa (A) y una Proposición universal negativa (E) no pueden ser ambas verdaderas.
Si es verdadera la Proposición universal afirmativa, (A) "Todo negro es americano" entonces no puede ser, tambien, verdadera, por contrariedad, la Proposición universal negativa (E) "Ningún negro es americano".
Además, si fuera verdadera la Proposición universal negativa,(E) "Ningún negro es americano" no podría ser, tambien, cierta la proposición universal afirmativa, (A) "Todo negro es americano">
Ahora bien, estamos hablando de la verdad de la proposición afirmativa y de la verdad de la proposición negativa. Y hemos establecido que si una de ellas es verdadera no puede ser, tambien, verdadera la otra. No estamos diciendo, por tanto, que la otra sea falsa, unicamente que no pueden ser verdaderas las dos al mismo tiempo.
Ahora bien, ¿Qué sucede si hablamos de la falsedad de la proposición afirmativa y de la falsedad de la proposición negativa?
En principio, lo lógico parece suponer que si son falsas, entonces sus opuestos no pueden ser, tambien, falsos. ¿Es así?
Supongamos que es falsa la Proposición afirmativa "Todo negro es americano", [pues, en último término hay negros que viven en Zambia], entonces en ese caso, no debería de ser falsa su contraria, [Ningún negro es americano] la Proposición universal negativa. Pero ello no sucede así: Si fuera falso "todo negro es americano" no significa que no pueda ser falso, tambien, que "Ningún negro es americano". En este caso, parece que las dos son falsas. Y es que cuando decimos que es falsa la proposición "todo negro es americano", lo que realmente estamos diciendo es que algunos americanos no son negros, no que ninguno lo sea.
GRUPO DE SUBALTERNACIÓN: A=Todos los cuervos son negros I=Algunos cuervos son negrosLa relación de Subalternación implica, como inferencia inmediata, que una Proposición universal afirmativa (A) implica necesariamente a una Particular afirmativa (I).
GRUPO DE SUBALTERNACIÓN: A=Todos los cuervos son negros I=Algunos cuervos son negrosLa relación de Subalternación implica, como inferencia inmediata, que una Proposición universal afirmativa (A) implica necesariamente a una Particular afirmativa, (I) pero no que una Particular afirmativa, (I) implique necesariamente a una Universal afirmativa. (A)
GRUPO DE SUBCONTRARIEDAD I=Algunos hombres son justos O=Algunos hombres no son justosLas relaciones de subcontrariedad se producen entre Particulares afirmativas (I) y Particulares negativas (O). En este contexto, la proposición "Algunos hombres son justos" (I) se opone por subcontrariedad a la proposición "Algunos hombres no son justos" (O).
GRUPO DE SUBCONTRARIEDAD I=Algunos hombres son justos O=Algunos hombres no son justosLa subcontrariedad se produce entre Proposiciones particulares afirmativas (I) y Proposiciones particulares negativas (O).