IPC CBC UBA - Cátedra Dufour

Prof. Dr. Fernando M. Gallego

Apunte de clase: Copi, I. M. “Las proposiciones categóricas” 1

01. Contenidos

01.01. Conceptos de lógica de clases clásica (o aristotélica). Una “proposición

categórica” es una proposición que afirma una relación entre clases. Una “clase” es una colección
de objetos con una característica en común. Todas las proposiciones categóricas típicas posen un
esquema básico común: cuantificador + término sujeto + cópula + término predicado. Una
proposición categórica tiene una calidad que puede ser afirmativa o negativa y una cantidad que
puede ser universal o particular. Atendiendo a la calidad y la cantidad, las proposiciones
categóricas típicas puede ser clasificadas en cuatro tipos: 1) universales y afirmativas, 2)
universales y negativas, 3) particulares y afirmativas y 4) particulares y negativas. Las
proposiciones categóricas típicas de cantidad universal y cualidad afirmativa se simbolizan con
la letra “A”; las universales negativas con la letra “E”, las particulares afirmativas con la letra “I”
y las particulares negativas con la letra “O”. Se dice de una proposición categórica que distribuye
un término cuando se refiere a la totalidad de los miembros de su clase: las proposiciones de tipo
A distribuyen su término sujeto; las proposiciones de tipo E distribuyen tanto su término sujeto
como su término predicado; las proposiciones de tipo I no distribuyen ninguno de sus términos;
las proposiciones de tipo O distribuyen su término predicado. Se denomina “complemento” de
una clase a aquella otra clase que reúne la colección de todas las cosas que no pertenecen a la
clase original.

01.02. Cuadro de oposición e inferencias inmediatas. La lógica de clases aristotélica

no sólo estudia los tipos de proposición categórica sino también las relaciones típicas que existen
entre ellas. Este estudio permite identificar la existencia de cuatro relaciones típicas de oposición:
1) la contrariedad que se da entre A y E (no pueden ser ambas verdaderas pero sí ambas falsas);
2) la subalternación que se da entre A e I y entre E y O (la verdad de la subalternante implica la
verdad de la subalterna); 3) la subcontrariedad que se da entre I y O (no pueden ser ambas falsas
pero sí ambas verdaderas); y 4) la contradicción que se da entre A y O y entre E e I (no puede ser
ni ambas falsas ni ambas verdaderas).

01.03. Otras inferencias inmediatas. Inferir es extraer una conclusión a partir de una
premisa. Las inferencias pueden ser de dos tipos: inmediatas cuando se realizan a partir de una
única premisa, y mediatas cuando extraen su conclusión a partir de dos o más premisas. Además
de las cuatro relaciones típicas de oposición, la lógica de clases clásica o aristotélica identifica

1
Copi, I. M. 1995. Introducción a la lógica. EUDEBA, Buenos Aires, pp. 167-203.
 IPC CBC UBA - Cátedra Dufour
Prof. Dr. Fernando M. Gallego

otras cinco inferencias inmediatas: 1) la conversión que procede intercambiando el sujeto por el
predicado de la proposición y resulta válida para las proposiciones de tipo E e I; 2) la conversión
por limitación que intercambia el sujeto y el predicado, cambia la cantidad de la proposición de
universal en particular y resulta válida para las proposiciones de tipo A; 3) la obversión que
cambia la cualidad de la proposición, sustituye el término predicado por su complemento y resulta
válida para las proposiciones de tipo A, E, I y O; 4) la contraposición que reemplaza el sujeto por
el complemento del predicado y el predicado por el complemento del sujeto y resulta válida para
las proposiciones de tipo A y O; y 5) la contraposición por limitación que reemplaza al sujeto por
el complemento del predicado, al predicado por el complemento del sujeto, cambia la calidad de
la proposición y resulta válida para las proposiciones de tipo E.

01.04. Contenido existencial y falacia existencial. Una proposición categórica tiene

contenido existencial si afirma la existencia de objetos respecto de una clase específica. La lógica
de clases clásica o aristotélica entiende que todos los tipos de proposiciones categóricas poseen
contenido existencial. Por su parte, la lógica de clases moderna o booleana sólo atribuye contenido
existencial a las proposiciones categóricas de tipo I y O. Cualquier razonamiento que comete el
error de suponer que una clase posee miembros aun y cuando esto no haya sido afirmado
explícitamente, comete la falacia existencial. La lógica de clases moderna o booleana tan sólo
considera cómo válidas a las siguientes inferencias inmediatas: la contradicción, la obversión, la
conversión (no la que funciona por limitación) y la contraposición (no la que procede por
limitación).

01.05. Simbolización y diagrama de proposiciones categóricas. Las proposiciones

categóricas pueden ser representadas mediante símbolos. Las proposiciones categóricas típicas de
cantidad universal y cualidad afirmativa se simbolizan con la letra “A”; las universales negativas
con la letra “E”, las particulares afirmativas con la letra “I” y las particulares negativas con la
letra “O”. El término sujeto de una proposición categórica se simboliza con la letra “S”. El término
predicado de una proposición categórica se simboliza con la letra “P”. La clase nula se simboliza
“= 0”. El contenido existencial de una clase se simboliza “≠ 0”. La clase común o producto de
dos clases se simboliza “SP”. El complemento de una clase “A” se simboliza “Ā”. Las
proposiciones categóricas también pueden ser representadas mediante diagramas. Una clase se
representa con un círculo rotulado con el término que designa la clase. Una clase vacía se
representa con un círculo cuyo interior se encuentra completamente sombreado. El contenido
existencial de una clase se representa colocando una “x” en el interior del círculo que constituye
su diagrama. Para representar una proposición categórica se utiliza una intersección de dos
círculos, el primer de ellos representa al sujeto de la proposición y el segundo, al predicado.
 IPC CBC UBA - Cátedra Dufour
Prof. Dr. Fernando M. Gallego

02. Guía de lectura

02.01. ¿Qué es una proposición categórica? ¿Cuál es el esquema básico de cualquier

proposición categórica?
02.02. ¿Cuántos tipos de proposiciones categóricas distingue la lógica de Aristóteles?
Caracterice cada tipo atendiendo a su cantidad y su calidad.
02.03. ¿Qué símbolos se utilizan para representar los diversos tipos de proposición
categórica?
02.04. ¿Qué es una clase?
02.05. ¿En qué consiste la distribución de un término? Caracterice las proposiciones
categóricas atendiendo a su distribución.
02.06. ¿Cuáles son los diversos tipos de oposición que pueden establecerse entre dos
proposiciones categóricas típicas que tienen los mismos términos sujeto y predicado pero difieren
en calidad y/o cantidad? Caracterice cada tipo de oposición.
02.07. ¿Qué es el complemento de una clase?
02.08. ¿Qué es una inferencia inmediata? ¿En qué se distingue la inferencia mediata de
la inmediata?
02.09. ¿Qué son la conversión, la obversión y la contraposición? Caracterícelas.
02.10. ¿En qué se distingue la concepción booleana de la lógica de clases de la lógica
aristotélica? ¿Cuáles son las inferencias inmediatas aceptadas por la lógica booleana?
02.11. ¿Qué es el contenido existencial de una proposición? ¿Qué proposiciones
categóricas lo tienen?
02.12. ¿En qué consiste la falacia existencial?
02.13. ¿Cómo se simbolizan las “clases”? ¿Y la “clase nula”? ¿Y el contenido existencial
de una proposición categórica? ¿Y la “clase común”? ¿Y el complemento?
02.14. ¿Qué diagrama permite representar una clase? ¿Cómo se representa
diagramáticamente una clase vacía? ¿Y el contenido existencial de una clase? ¿Qué tipo de
diagrama permite representar una proposición categórica típica?