5.

Proposiciones Categricas1
5.1 Teora de la deduccin
5.2 Clases y proposiciones categricas
5.3 Los cuatro tipos de proposiciones categricas
5.4 Cualidad, cantidad y distribucin
5.5 El cuadrado de oposicin tradicional
5.6 Otras inferencias inmediatas

5.1 Teora de la deduccin

Un argumento deductivo es aquel cuyas premisas pretenden proporcionar bases concluyentes para la verdad de su
conclusin. Si la pretensin es correcta, esto es, si las premisas del argumento realmente aseguran la verdad de su
conclusin con necesidad, el argumento deductivo es vlido. Todo argumento deductivo realiza lo que afirma o no lo
hace, por lo tanto, todo argumento deductivo es vlido o invlido. Si es vlido es imposible que sus premisas sean
verdaderas sin que su conclusin tambin lo sea.
La teora de la deduccin tiene por objetivo, explicar las relaciones entre las premisas y la conclusin de un
argumento vlido. Tambin tiene por objetivo proveer tcnicas para la evaluacin de un argumento deductivo, es decir,
para discriminar entre deducciones vlidas e invlidas.
Aristteles (384-322 a.C.) despus de estudiar en la Academia de Platn, se convirti en el tutor de Alejandro
el Grande, despus fund su propia escuela, el Liceo, donde hizo contribuciones sustanciales a casi todos los campos del
saber humano. Sus grandes tratados sobre el razonamiento fueron compilados despus de su muerte y se les llam el
Organon, que significa literalmente el "instrumento", la herramienta fundamental del conocimiento. La palabra lgica
no adquiri su significado moderno hasta el siglo II d.C., pero por mucho tiempo se entendi que el objeto de estudio de
la lgica era de lo que trataba el Organon de Aristteles. La lgica aristotlica ha sido el fundamento del anlisis
racional por miles de aos. En el curso de esas centurias se ha refinado: su notacin ha mejorado mucho, sus principios
han sido cuidadosamente formulados y se ha completado su intrincada estructura.
5.2 Clases y proposiciones categricas
La lgica clsica trata principalmente con argumentos que se basan en las relaciones de clases de objetos entre s. Por
clase nos referimos a una coleccin de todos los objetos que tienen una caracterstica especificada en comn.
Dos clases se pueden relacionar al menos en tres formas:
1. Todos los miembros de una clase pueden ser incluidos en otra clase. As, la clase de todos los perros est incluida
completamente (o contenida completamente) en la clase de todos los mamferos.
2. Algunos, pero no todos, de los miembros de una clase pueden ser incluidos en otra clase. As, la clase de todos los y
las atletas est incluida parcialmente (o contenida parcialmente) en la clase de todas las mujeres.

Cfr. Copi, Irving M. y Cohen, Carl (2011). Introduccin a la lgica. Segunda edicin. Mxico, Editorial Limusa. Pp. 212
a 246.
~1~

3. Dos clases pueden no tener miembros en comn. As, la clase de todos los tringulos y la clase de todos los crculos
se excluyen una a otra.
Estas tres relaciones pueden aplicarse a las clases, o categoras, de cualquier tipo. En un argumento deductivo
presentamos proposiciones que establecen las relaciones entre una categora y alguna otra. De este modo, las
proposiciones con las que se formulan tales argumentos son llamadas proposiciones categricas.
En la descripcin clsica de la lgica deductiva, las proposiciones categricas son las unidades fundamentales,
las partes de un argumento.
Considera el siguiente argumento:
Ningn atleta es vegetariano.
Todos los jugadores de ftbol son atletas.
Por lo tanto, ningn jugador de ftbol es vegetariano.
Este argumento contiene tres proposiciones categricas. Cada una de las premisas es, de hecho, categrica: esto es, cada
premisa afirma, o niega, que una clase S se incluya en alguna otra clase P, de la cual es parte. En el argumento del
ejemplo, las tres proposiciones categricas versan sobre la clase de todos los atletas, la clase de todos los vegetarianos y
la clase de todos los jugadores de ftbol.
Por supuesto podemos discutir la verdad de las premisas, pero las relaciones de las clases expresadas en estas
proposiciones producen un argumento que definitivamente es vlido; si tales premisas son verdaderas, la conclusin
debe ser verdadera.
El primer paso importante para desarrollar una teora de la deduccin basada en clases, por lo tanto, es
identificar los tipos de proposiciones categricas y examinar las relaciones entre ellas.
5.3 Los cuatro tipos de proposiciones categricas
Slo pueden existir cuatro tipos de proposiciones categricas deforma estndar, ninguno ms.
1. Proposiciones universales afirmativas. En stas se asevera que todos los miembros de una clase estn incluidos o
contenidos en otra clase.
"Todos los polticos son mentirosos", es un ejemplo; aqu se asevera que cada miembro de una clase, la clase de
los polticos, es miembro de otra clase, la clase de los mentirosos.
Cualquier proposicin universal afirmativa puede escribirse esquemticamente como: Todo S es P, donde las
letras S y P representan los trminos sujeto y predicado, respectivamente.
Estas proposiciones afirman que la relacin de inclusin entre clases se sostiene entre dos clases y dicen que la
inclusin es completa o universal. Todos los miembros de S son miembros de P.
Las proposiciones con esta forma estndar son llamadas proposiciones universales afirmativas. Tambin son
llamadas proposiciones A.
~2~

2. Proposiciones universales negativas. El segundo ejemplo, "Ningn poltico es mentiroso", es una proposicin donde
se niega, universalmente, que cualquier miembro de la clase de los polticos sea miembro de la clase de los mentirosos.
Se afirma que la clase sujeto, S, est excluida completamente de la clase predicado, P.
Esquemticamente, las proposiciones categricas de este tipo se pueden escribir como: Ningn S es P, donde
otra vez S y P representan los trminos sujeto y predicado.
Este tipo de proposicin niega la relacin de inclusin entre los dos trminos y las niega universalmente. Nos
dice que ningn miembro de S es miembro de P.
Las proposiciones de esta forma estndar se llaman proposiciones universales negativas. Tambin se les llama
proposiciones E.
3. Proposiciones particulares afirmativas. El tercer ejemplo, "Algn poltico es mentiroso", afirma que algn miembro
de la clase de todos los polticos es miembro de la clase de todos los mentirosos. Pero no hace esta afirmacin
universalmente. Slo se dice que algn poltico o algunos polticos son mentirosos. Esta proposicin no afirma o niega
nada acerca de la clase de todos los polticos; no hace pronunciamientos acerca de la clase entera. Tampoco dice que
algn poltico no es mentiroso, aunque en algunos contextos pudiera sugerirse eso. La interpretacin literal y exacta de
esta proposicin es la aseveracin de que la clase de los polticos y la clase de los mentirosos tienen algn miembro o
algunos miembros en comn. Eso es lo que se entiende que significa esta forma estndar de proposicin.
Una proposicin particular afirmativa puede escribirse esquemticamente como: Algn S es P, que dice que
al menos un miembro de la clase designada por el trmino sujeto S tambin es miembro de la clase designada por el
trmino predicado P.
La proposicin afirma que la relacin de inclusin entre clases se sostiene, pero no lo afirma universalmente
de la primera clase, sino slo parcialmente, es decir, se afirma algo de algn miembro particular, o miembros
particulares, de la primera clase.
Las proposiciones en esta forma estndar se llaman proposiciones particulares afirmativas. Tambin se llaman
proposiciones I.
4. Proposiciones particulares negativas. El cuarto ejemplo, "Algn poltico no es mentiroso", como el tercero, no hace
referencia a los polticos universalmente, sino slo a algn miembro o miembros de esa clase; es particular. Pero a
diferencia del tercer ejemplo, no afirma la inclusin de un miembro o miembros de la primera clase en la segunda clase;
esto es precisamente lo que se niega.
Esquemticamente se escribe as: Algn S no es P, que dice que al menos un miembro de la clase designada
por el trmino sujeto S est excluido de toda la clase designada por el trmino predicado P. La negacin no es universal.
Las proposiciones de esta forma estndar se llaman proposiciones particulares negativas. Tambin se llaman
proposiciones O.
Los ejemplos utilizados en esta seccin emplean clases que simplemente se nominan: polticos, mentirosos,
vegetarianos, atletas, etctera. Pero los trminos sujeto y predicado en una proposicin de forma estndar pueden ser
~3~

ms complicados que stos. As, por ejemplo, la proposicin: "Todos los candidatos al puesto son personas de honor e
integridad", tiene la frase "candidatos al puesto" como trmino sujeto y la frase "personas de honor e integridad", como
trmino predicado. Los trminos sujeto y predicado pueden volverse ms intrincados an, pero en cada una de las
formas estndar se expresa una relacin entre la clase sujeto y la clase predicado.
Las cuatro proposiciones: A, E, I y O, son las partes fundamentales de los argumentos deductivos.

CUADRO SINOPTICO: Proposiciones Categricas de forma estndar

Ejemplo

Formas de la Proposicin

Nombre y tipo

Todo S es P

A - Universal afirmativa

Todos los abogados son personas ricas

Ningn S es P

E - Universal negativa

Ningn criminal es buen ciudadano

Algn S es P

I - Particular afirmativa

Algunos compuestos qumicos son venenosos

Algn S no es P

O - Particular negativa

Algunos insectos no son plagas

5.4 Cualidad, cantidad y distribucin

A. Cualidad
Como hemos visto, cualquier proposicin categrica de forma estndar afirma o niega alguna clase de relacin.
Si la proposicin afirma alguna inclusin de clase, ya sea completa o parcial, su cualidad es afirmativa.
As, la proposicin A, "Todo S es P", y la proposicin I, "Algn S es P', son ambas de cualidad afirmativa. Se cree que
sus nombres literales, A e I, se derivan del vocablo latino "Afflrmo", que significa: "Yo afirmo".
Si la proposicin niega una inclusin de clase, ya sea completa o parcial, es de cualidad negativa. As, la
proposicin E, "Ningn S es P", y la proposicin O, "Algn S no es P', ambas son de cualidad negativa. Se piensa que
sus nombres literales, E y O, provienen del vocablo latino "nEgO", que significa: "Yo niego".
Cualquier proposicin categrica tiene una cualidad o la otra, afirmativa o negativa.
B. Cantidad
Toda proposicin categrica de forma estndar tiene una clase como sujeto. La cantidad de una proposicin categrica
de forma estndar se conoce por la palabra con la que comienza, "todo", "ninguno" o "algn". "Todo" y "ninguno"
indican que la proposicin es universal; "algn" indica que la proposicin es particular. La palabra "ninguno" tambin
sirve, en el caso de la proposicin E, para indicar que es de cualidad negativa, como hemos visto.
Si la proposicin se refiere a todos los miembros de una clase designada por el trmino sujeto, su
cantidad es universal. As, la proposicin A, "Todo S es P", y la proposicin E, "Ningn S es P', son universales en
cantidad.
~4~

Si la proposicin se refiere slo a algunos miembros de la clase designada por el trmino sujeto, su
cantidad es particular. As, la proposicin I, "Algn S es P", y la proposicin O, "Algn S no es P", son ambas
particulares en cantidad.
Dado que toda proposicin categrica de forma estndar debe ser afirmativa o negativa, y debe ser universal o
particular, los cuatro nombres describen inequvocamente cada una de las cuatro formas estndar indicando su cantidad
y su cualidad:
Universal afirmativa (A),
Particular afirmativa (I),
Universal negativa (E),
Particular negativa (O).
C. Esquema general de las proposiciones categricas de forma estndar
Entre los trminos sujeto y predicado de toda proposicin categrica de forma estndar aparece alguna forma del verbo
"ser". Este verbo (acompaado por "no" en el caso de la proposicin O) sirve para conectar los trminos sujeto y
predicado, y se llama cpula. Al escribir las cuatro proposiciones esquemticamente, como se hizo antes (Todo S es P,
Algn S es P, etctera), slo aparecen las palabras "es" y "no es"; pero (dependiendo del contexto) algunas otras formas
del verbo "ser" pueden ser apropiadas. Podemos cambiar el tiempo verbal (por ejemplo, "Algunos emperadores romanos
eran unos monstruos" o "Algunos soldados no sern hroes"), o cambiar a plural la forma del verbo (por ejemplo,
"Todos los cuadrados son rectngulos"). En estos ejemplos, "eran" y "son", y "no sern", sirven como cpulas.
Pero el esqueleto general de las proposiciones categricas de forma estndar siempre consiste en slo cuatro
partes: primero el cuantificador, luego el trmino sujeto, luego la cpula y finalmente, el trmino predicado.
El esquema puede escribirse como sigue:
Cuantificador (trmino sujeto) cpula (trmino predicado).
D. Distribucin
Las proposiciones categricas se considera que versan sobre las clases de objetos designados por los trminos sujeto y
predicado. Hemos visto que una proposicin puede referirse a las clases en diferentes sentidos; puede referirse a todos
los miembros de una clase o referirse slo a algunos miembros de esa clase.
As, la proposicin "Todos los senadores son ciudadanos", se refiere a, o versa sobre, todos los senadores; pero
no se refiere a todos los ciudadanos. Esa proposicin no afirma que todo ciudadano sea un senador. De este modo, toda
proposicin A se refiere a todos los miembros de una clase designada por su trmino sujeto, S, pero no se refiere a todos
los miembros de la clase designada por su trmino predicado, P.
Para caracterizar las maneras como pueden aparecer los trminos en las proposiciones categricas,
introducimos el trmino tcnico distribucin.

~5~

Una proposicin distribuye un trmino si se refiere a todos los miembros de una clase designada por ese
trmino.
En las proposiciones A, E, I y O, los trminos que se distribuyen varan como sigue:
En la proposicin A (por ejemplo, "Todos los senadores son ciudadanos"): el trmino sujeto "senadores" est
distribuido, pero "ciudadanos" no.
En las proposiciones A (universales afirmativas) el trmino sujeto est distribuido, pero el trmino predicado
no est distribuido.
En la proposicin E (por ejemplo, "Ningn atleta es vegetariano"): el trmino sujeto, "atleta", est distribuido, porque
toda la clase de atletas est excluida de la clase de los vegetarianos. Pero tambin es el caso que, al aseverar que toda la
clase de atletas est excluida de toda la clase de vegetarianos, se asevera tambin que toda la clase de vegetarianos est
excluida de la clase de los atletas. De todos y cada uno de los vegetarianos, la proposicin dice que cada vegetariano no
es un atleta. Por lo tanto, una proposicin E se refiere a todos los miembros de la clase designada por su trmino
predicado, y, por lo tanto, tambin distribuye su trmino predicado.
Las proposiciones E (universales negativas) distribuyen tanto su trmino sujeto como su trmino predicado.
En la proposicin I (por ejemplo, "Algunos soldados son cobardes"): no se hace ninguna aseveracin sobre todos los
soldados en esta proposicin, y tampoco se hace ninguna aseveracin sobre todos los cobardes. No se dice nada sobre
todos y cada uno de los soldados, y no se dice nada sobre todos y cada uno de los cobardes. Ninguna de estas clases est
incluida o excluida totalmente de la otra.
En las proposiciones I (particulares afirmativas) ni el trmino sujeto ni el trmino predicado estn distribuidos.
En la proposicin O (por ejemplo, "Algunos caballos no son purasangre"): no se dice nada sobre todos los caballos. La
proposicin se refiere a algunos miembros de la clase designada por el trmino sujeto; se refiere a la parte de la clase de
los caballos que est excluida de la clase de todos los purasangre. Pero stos estn excluidos de toda la clase de los
purasangre. Dados los caballos referidos, la proposicin dice que cada uno y todos los miembros de la clase de los
purasangre no es uno de esos caballos particulares. Cuando se dice que algo est excluido de una clase, se alude a la
clase completa, justo como cuando una persona es excluida de un pas, todas las partes de ese pas estn prohibidas para
esa persona.
En las proposiciones O (particulares negativas) el trmino sujeto no est distribuido, pero el trmino predicado
s est distribuido.
Al comprender la distribucin, veremos que las proposiciones universales, tanto afirmativas como negativas, distribuyen
su trmino sujeto, mientras que las proposiciones particulares, ya sean afirmativas o negativas, no distribuyen su trmino
sujeto. As, la cantidad de una proposicin categrica de forma estndar determina si su sujeto est distribuido o no est
distribuido.
Tambin veremos que las proposiciones afirmativas, ya sean universales o particulares, no distribuyen su
trmino predicado; mientras que las proposiciones negativas, tanto universales como particulares, s distribuyen su
~6~

trmino predicado. De este modo, la cualidad de una proposicin categrica estndar determina si su predicado est
distribuido o no est distribuido.
En resumen: la proposicin A distribuye slo su trmino sujeto; la proposicin E distribuye el trmino
sujeto y el trmino predicado; la proposicin I no distribuye el trmino sujeto ni el trmino predicado; la
proposicin O distribuye slo su trmino predicado.
Saber cules de los trminos estn distribuidos en qu proposicin categrica de forma estndar se volver un
aspecto muy importante cuando se evalen silogismos.
El siguiente cuadro sinptico presenta todas estas distribuciones grficamente y puede ser til para ayudar a
recordar qu proposiciones distribuyen qu trminos.

Cantidad, cualidad y distribucin

Proposicin

Nombre literal

Cantidad

Cualidad

Distribucin

Todo S es P

Universal

afirmativa

slo S

Ningn S es P

Universal

negativa

SyP

Algn S es P

Particular

afirmativa

ninguna

Algn S no es P

Particular

negativa

slo P

5.5 El cuadrado de oposicin tradicional

El anlisis precedente de las proposiciones categricas nos permite mostrar las relaciones entre estas proposiciones, lo
que a su vez nos proporciona bases slidas para una buena parte del razonamiento que hacemos en la vida cotidiana.

~7~

Necesitamos un trmino ms tcnico: oposicin. Las proposiciones categricas de forma estndar que tienen los mismos
trminos sujetos y los mismos trminos predicados pueden (obviamente) diferir entre s en cualidad o cantidad, o en
ambas. Tradicionalmente, a cualquier tipo de estas diferencias se le ha llamado oposicin. El trmino se utiliza incluso
cuando no parece haber ninguna diferencia aparente entre las proposiciones. Los diversos tipos de oposicin (como
veremos) se correlacionan con algunas relaciones muy importantes de verdad.
A. Contradictorias
Dos proposiciones categricas de formas estndar que tienen los mismos trminos sujeto y predicado, pero difieren una
de otra tanto en cantidad como en cualidad son contradictorias.
Dos proposiciones son contradictorias si una es la negacin de la otra;
esto es, si ambas no pueden ser ciertas y falsas a la vez.
As, la proposicin A, "Todos los jueces son abogados", y la proposicin O, "Algunos jueces no son abogados", son
claramente contradictorias. Se oponen tanto en cualidad (una afirma, la otra niega) como en cantidad (una se refiere a
todos y la otra a algunos). Del par, una es verdadera y una es falsa. No pueden ser verdaderas las dos; no pueden ser
falsas las dos.
De manera similar, la proposicin E, "Ningn poltico es idealista", y la proposicin I, "Algn poltico es
idealista", se oponen tanto en cantidad como en cualidad y tambin son contradictorias.
Las proposiciones A y O son contradictorias: "Algn S no es P', contradice a: "Todo S es P".
Las proposiciones E e I tambin son contradictorias: "Algn S es P', contradice a: "Ningn S es P'.
B. Contrarias
Se dice que dos proposiciones son contrarias si no pueden ser ambas verdaderas; esto es, si la verdad de una implica
la falsedad de la otra. As, "Texas ganar el siguiente juego contra Oklahoma" y "Oklahoma ganar el siguiente juego
contra Texas", son contrarias. Si alguna de estas proposiciones (que se refieren al mismo juego, por supuesto) es
verdadera, entonces la otra tiene que ser falsa. Pero estas dos proposiciones no son contradictorias, porque el juego
podra empatarse y, entonces, las dos seran falsas. Las contrarias no pueden ser ambas verdaderas, pero a diferencia de
las contradictorias, ambas pueden ser falsas.
La descripcin tradicional de las proposiciones categricas sostena que las proposiciones universales (A y E)
que tienen los mismos trminos sujeto y predicado, pero difieren en cualidad (una afirmando y la otra negando) eran
contrarias. As, se deca que la proposicin A, "Todos los poetas son soadores", y su correspondiente proposicin E,
"Ningn poeta es soador", no podan ser ambas verdaderas, pero ambas podan ser falsas y se consideraban contrarias.
C. Subcontrarias
Se dice que dos proposiciones son Subcontrarias si no pueden ser ambas falsas, aunque las dos puedan ser
verdaderas.

~8~

La descripcin tradicional sostena que las proposiciones particulares (I y O) que tienen el mismo trmino
sujeto y predicado, pero que difieren en cualidad (una afirmando y la otra negando) son Subcontrarias. Se deca que la
proposicin I, "Algunos diamantes son piedras preciosas", y la proposicin O, "Algunos diamantes no son piedras
preciosas", podan ser ambas verdaderas, pero no podan ser ambas falsas, y, por lo tanto, deban considerarse como
Subcontrarias.
D. Subalternacin
Cuando dos proposiciones tienen los mismos trminos sujeto y predicado y tienen la misma cualidad (las dos afirman o
niegan), pero difieren en cantidad (una es universal, la otra particular), se llaman proposiciones correspondientes. sta
tambin es una forma de "oposicin", como se ha utilizado el trmino tradicional. As, la proposicin A, "Todas las
araas son animales de ocho patas", tiene una proposicin I correspondiente, "Algunas araas son animales de ocho
patas". De manera similar, la proposicin E, "Ninguna ballena es un pez", tiene una proposicin O correspondiente,
"Alguna ballena no es un pez". Esta oposicin entre una proposicin universal y su proposicin particular
correspondiente es conocida como Subalternacin. En cualquier par as de proposiciones correspondientes, la
proposicin universal se llama superalterna y la particular, subalterna.
En la Subalternacin (en el anlisis clsico), la superalterna implica la verdad de la subalterna. De este modo,
de la universal afirmativa "Todas las aves tienen plumas", se sostena que segua la particular afirmativa
correspondiente, "Algn ave tiene plumas". De manera similar, se sostena que de la universal negativa, "Ninguna
ballena es un pez", segua la correspondiente, "Alguna ballena no es pez".
Pero, desde luego la implicacin no se sostiene de la particular a la universal, de la subalterna a la
superalterna. De la proposicin "Algn animal es gato", es obvio que no se puede inferir que, "Todos los animales son
gatos". Y sera absurdo inferir que de "Algn animal no es gato", "Ningn animal es gato".
E. El cuadrado de oposicin
De este modo, existen cuatro maneras en que las proposiciones se pueden "oponer": como contradictorias, contraras,
subcontrarias, o bien, como subalternas o superalternas. stas se representan con un importante y muy utilizado
diagrama llamado el cuadrado de oposicin:

~9~

Las relaciones mostradas en este cuadrado de oposicin proveen las bases lgicas para validar ciertas formas
elementales de argumento. Para explicarlas, primero se debe distinguir entre inferencias inmediatas e inferencias
mediatas.
Cuando sacamos una conclusin de una o ms premisas debe existir alguna inferencia. Esa inferencia se dice
que es mediata cuando se apoya en ms de una premisa (como en el silogismo), porque la conclusin se obtiene de la
primera premisa a travs de la mediacin de la segunda. Pero cuando la conclusin se extrae slo de una premisa, no
existe tal mediacin, y se dice que la inferencia es inmediata.
Se puede obtener fcilmente una gran cantidad de inferencias muy tiles a partir de la informacin que nos
brinda el cuadrado de oposicin tradicional.
He aqu algunos ejemplos:
Si nuestra premisa es una proposicin A (verdadera), entonces (de acuerdo con el cuadrado de oposicin
tradicional) se puede inferir vlidamente que la proposicin O correspondiente (esto es, la proposicin O con los mismos
trminos sujeto y predicado) es falsa.
Si nuestra premisa es una proposicin A (verdadera), entonces, la proposicin I correspondiente es
verdadera.
Si nuestra premisa es una proposicin I (verdadera), su proposicin E correspondiente, que la contradice,
debe ser falsa.
Dada la verdad, o falsedad, de cualquiera de las cuatro proposiciones categricas de forma estndar, se ver que puede
inferirse inmediatamente la verdad o falsedad de alguna o de todas las dems. Existe una cantidad considerable de
inferencias inmediatas basadas en el cuadrado de oposicin tradicional; se listan enseguida:
Siendo A verdadera: E es falsa; I es verdadera; O es falsa.
Siendo E verdadera: A es falsa; I es falsa; O es verdadera.
Siendo I verdadera: E es falsa; A y O son indeterminadas.
Siendo O verdadera: A es falsa; E e I son indeterminadas.
Siendo A falsa: O es verdadera; E e I son indeterminadas.
Siendo E falsa: I es verdadera; A y O son indeterminadas.
Siendo I falsa: A es falsa; E es verdadera; O es verdadera.
Siendo O falsa: A es verdadera; E es falsa; I es verdadera.

~ 10 ~

5.6 Otras inferencias inmediatas

Otros importantes tipos de inferencia inmediata no se asocian directamente con el cuadrado de oposicin, a saber:
conversin y obversin.
A. Conversin
Es una inferencia que resulta de intercambiar el trmino sujeto y el trmino predicado de la proposicin.
"Ningn hombre es ngel", se convierte en "Ningn ngel es hombre", y estas proposiciones pueden inferirse
vlidamente una de otra. De manera similar, "Algunas mujeres son escritoras" y "Algunas escritoras son mujeres", son
lgicamente equivalentes, y por conversin, cualquiera se puede inferir vlidamente de la otra.
La conversin es perfectamente vlida para todas las proposiciones E e I. Se dice que una proposicin
categrica de forma estndar es, por lo tanto, la conversa de otra cuando simplemente se deriva por el intercambio del
trmino sujeto con el trmino predicado de esa otra proposicin.
La proposicin de la que se deriva es llamada la convertiente. De este modo, "Ningn idealista es poltico", es
la conversa de, "Ningn poltico es idealista," que es la convertiente.
La proposicin A presenta un problema especial aqu. Por supuesto que la conversa de una proposicin A no se
sigue, en general, de su convertiente. De: "Todos los perros son animales", definitivamente no inferimos que "Todos los
animales son perros". La lgica tradicional reconoca esto, por supuesto, pero afirmaba algo parecido a la conversin
era vlida para las proposiciones A.
Basndonos en el cuadrado de oposicin, podramos inferir de la proposicin A, "Todos los perros son
animales" su subalterna, la proposicin I, "Algunos perros son animales". La proposicin A dice algo acerca de todos los
miembros de la clase sujeto (perros), la proposicin I hace una aseveracin ms limitada, acerca de slo algunos de los
miembros de esa clase. En general, se sostena que se puede inferir "Algn S es P', de "Todo S es P'. Y, como vimos
antes, una proposicin I puede convertirse vlidamente; si algunos perros son animales, entonces, algunos animales son
perros.
As, si se tiene la proposicin A, "Todos los perros son animales", primero se infiere que "Algunos perros son
animales" por subalternacin y de la subalterna se puede inferir de manera vlida, por conversin, que "Algunos
animales son perros". Por lo tanto, por una combinacin de subalternacin y conversin, se avanza vlidamente de
"Todo S es P" a "Algn P es S".
Este patrn de inferencia, llamado conversin por limitacin (o conversin per accidens) resulta de
intercambiar los trminos sujeto y predicado y de cambiar la cantidad de la proposicin de universal a particular.
La conversin de una proposicin O en general no es vlida. La proposicin O, "Algunos animales no son
perros", es claramente verdadera; su conversa es la proposicin "Algunos perros no son animales", que es claramente
falsa. En general, una proposicin O y su conversa no son lgicamente equivalentes.
En todas las conversiones, la conversa de una proposicin dada contiene exactamente los mismos trminos
sujeto y predicado que el convertiente, con su orden al revs y siempre con la misma cualidad (de afirmacin o
~ 11 ~

negacin). En el siguiente cuadro se muestra el panorama completo de esta inferencia inmediata, como tradicionalmente
se le entiende.

CONVERSIONES VLIDAS
Convertiente

Conversa

A: Todo S es P.

I: Algn P es S (por limitacin).

E: Ningn S es P.

E: Ningn P es S.

I: Algn S es P.

I: Algn P es S.

O: Algn S no es P.

(conversin no vlida)

B. Clases y complementos de clase

Para explicar otros tipos de inferencia inmediata debemos examinar ms detalladamente el concepto de "clase" y
explicar qu se quiere decir por complemento de una clase. Toda clase, se ha dicho, es una coleccin de objetos que
tienen en comn cierto atributo al que es posible referirse como "caracterstica definitoria de la clase".
La clase de todos los humanos es la coleccin de todas las cosas que tienen la caracterstica de ser humanas,
su caracterstica definitoria de clase es el atributo de ser humano. La caracterstica definitoria de clase no necesita ser un
atributo "simple"; cualquier atributo puede determinar una clase. Por ejemplo, el atributo complejo de ser zurdo y
pelirrojo y estudiante, determina una clase, la clase de todos los estudiantes zurdos y pelirrojos.
Cada clase tiene, asociada a ella, una clase complementaria, o un complemento, que es la coleccin de todas
las cosas que no pertenecen a la clase original. El complemento de la clase de todas las personas es la clase de todas las
cosas que no son personas. La caracterstica definitoria de clase de esa clase complementaria es el atributo (negativo) de
no ser persona. El complemento de la clase de todas las personas no contiene a ninguna persona, pero contiene cualquier
otra cosa: zapatos, barcos, pegamento y coles, pero no reyes, ya que los reyes son personas. A menudo es conveniente
hablar del complemento de la clase de todas las personas como "la clase de todo lo que no son personas". Entonces el
complemento de la clase designada por el trmino S se designa como el trmino no-S; podemos decir que el trmino noS es el complemento del trmino S.
Observa que una clase es complemento (de clase) de su propio complemento. De manera similar, un trmino
es complemento (de trmino) de su propio complemento. Aqu interviene un tipo de regla de "doble negacin" para
evitar las cadenas de "no's" precediendo a un trmino. De este modo, el complemento del trmino "votante" es "no
votante", pero el complemento de "no votante" debera escribirse simplemente como "votante", en el lugar de "no-no
votante".
Debemos tener cuidado de no confundir los trminos contrarios en lugar de los trminos complementarios.
"Cobarde" y "hroe" son contrarios, pues ninguna persona puede ser cobarde y hroe a la vez. Pero no debemos
identificar a los "cobardes" con los "no hroes" porque no cualquiera, y definitivamente no todo, necesita ser lo uno o lo
otro. De manera similar, el complemento del trmino "ganador" no es "perdedor", sino "no ganador", pues aunque no
~ 12 ~

todas las cosas, ni siquiera todas las personas, son ganadores o perdedores, absolutamente todo es o ganador o no
ganador.
C. Obversin
La obversin es una inferencia inmediata fcil de explicar una vez que se ha entendido el concepto de complemento de
un trmino.
Para obvertir una proposicin: Se cambia su cualidad [afirmativa a negativa o negativa a afirmativa] y se
remplaza el trmino predicado con su complemento, pero el trmino sujeto contina sin cambios, al igual que la
cantidad de la proposicin obvertida.
Ejemplo: La proposicin A, "Todos los residentes son votantes", tiene su obversa en la proposicin E, "Ningn
residente es no votante" (se cambia su cualidad y se remplaza el trmino predicado con su complemento, pero el
trmino sujeto contina sin cambios, al igual que la cantidad de la proposicin obvertida), y estas dos proposiciones son
lgicamente equivalentes y cualquiera de las dos puede ser inferida vlidamente de la otra.
La obversin es una inferencia inmediata vlida cuando se aplica a cualquier proposicin categrica de forma estndar.
La proposicin E, "Ningn arbitro es parcial", tiene como obversa la proposicin A lgicamente
equivalente, "Todos los rbitros son no parciales".
La proposicin I, "Algunos metales son conductores", tiene como obversa la proposicin O, "Algunos
metales no son no conductores".
La proposicin O, "Algunas naciones no eran beligerantes", tiene como obversa la proposicin I, "Algunas
naciones eran no beligerantes".
La proposicin que sirve como premisa para la obversin se llama obvertiente-, la conclusin de la inferencia se llama
obversa. Toda proposicin categrica de forma estndar es lgicamente equivalente a su obversa; as, la obversin es
una forma vlida de inferencia inmediata para todas las proposiciones categricas de forma estndar.
Para obtener la obversa de cualquier proposicin, dejamos igual la cantidad (universal o particular) y el trmino
sujeto; cambiamos la cualidad de la proposicin y remplazamos el trmino predicado por el complemento. El siguiente
cuadro sinptico muestra un panorama completo de las obversiones vlidas.
OBVERSIONES
Obvertiente
A: Todo S es P.
E: Ningn S es P.
I: Algn S es P.
O: Algn S no es P.

Obversa
E: Ningn S es no P.
A: Todo S es no P.
O: Algn S no es no-P.
I: Algn S es no P.

Las preguntas acerca de las relaciones entre las proposiciones a menudo pueden contestarse explorando las varias
inferencias inmediatas que pueden obtenerse de una o de otra de ellas. De este modo, si una proposicin se supone falsa,
y surge la duda sobre la verdad o falsedad de alguna otra proposicin relacionada, el mtodo recomendado es empezar
obteniendo las inferencias inmediatas.
~ 13 ~