La lgica de clases

La lgica de clases investiga no ya las formas o estructuras que se dan entre

proposiciones dentro del razonamiento, sino que llevando ms all su anlisis,
considera tambin las relaciones formales existentes entre los trminos dentro de
cada proposicin.
Pero hay razonamientos que exigen considerar las relaciones existentes entre los trminos de la
proposicin, pues de sus relaciones mutuas surge la correccin del razonamiento. Verbigracia, el citado
razonamiento:
Todo hombre es mortal.
Todo chino es hombre,
luego todo chino es mortal.
Debe la validez de su conclusin al llamado trmino medio (hombre en este caso) que es el argumento o
enlace entre los otros dos trminos (chino y mortal). Por ende, si queremos conocer las leyes que rigen
esas argumentaciones habrn de tenerse en cuenta las relaciones formales entre los trminos.
Desde dos puntos de vista podemos considerar los conceptos y los trminos (que son su expresin
lgica): la extensin y la comprensin o intencin.
Comprensin y extensin. Propiedades de los conceptos
Comprensin es el conjunto de notas o conceptos ms generales que se hallan incluidos en un concepto.
No puedo poseer el concepto hombre, por ejemplo, sin poseer antes, aunque sea confusamente, los
conceptos ser animado o animal, viviente, ser corpreo, ser en general. El concepto objetivo hombre
supone todos esos conceptos previos. Su definicin es animal racional, y si quiero definir animal tendr
que apelar a viviente, etc.
Extensin, en cambio, es el conjunto de conceptos menos generales o de cosas concretas a las que puede
aplicarse (atribuirse) el concepto. As, la extensin del concepto hombre es el conjunto de seres
humanos, y el de europeo, el de los que habitan o han habitado nuestro continente.
Estas dos propiedades de trminos y conceptos (su comprensin y su extensin) permiten una doble
consideracin de los mismos, que es desarrollada por la lgica de predicados y la lgica de clases.
Nocin de clase
Clase es el conjunto de objetos a los que conviene un predicado determinado. Verbigracia, la clase de los
Navarros es el conjunto de individuos que cumplen la condicin de haber nacido en un determinado
reino espaol.
Conocer la extensin de un concepto supone conocer su comprensin o intencin. Cmo podemos
saber si una cosa pertenece a la extensin de un concepto, si desconocemos las notas de que consta dicho

concepto? Slo si sabemos que hombre incluye las nociones de animal y de racional podremos
aplicarlo a Juan, a Pedro, etctera, y separar as el conjunto de objetos que cumplen las mencionadas
propiedades.
De ah para la definicin precisa de las clases deba recurrirse precisamente a algunas nociones de la
llamada lgica de predicados.
La lgica de predicados adopta un punto de vista intencionalista o comprensivista al preocuparse de las
propiedades y su conveniencia con los individuos.
Sea la proposicin Juan canta . Esta proposicin consta de un predicado (canta) y de un sujeto (Juan).
El predicado tiene la caracterstica de poder determinar a gran nmero de individuos, lo cual permite
considerarlo un funtor. Al igual que el funtor de la negacin en la lgica proposicional poda determinar
un sinnmero de proposiciones, as el funtor canta puede referirse a Juan, a Pedro, a Suintila, etc. Y
de la misma manera que lo determinado por el funtor de la negacin se llama su argumento, as lo
determinado por canta ser su argumento. Argumento que en este caso es terminal, no proposicional
como el anterior.
En la lgica de predicados se descomponen las proposiciones en una funcin {f} y un argumento (x). La
funcin significa un predicado (o nombre de una cualidad) que est necesitado de complementacin con
un argumento del cual se predica. As, una proposicin como Elena es asturiana podra expresarse
por medio de la forma general f (a) si entendemos {f} como es asturiana y (a) como Elena . De
ah extraemos la forma enunciativa absolutamente general f (x), donde f es cualquier predicado y x
cualquier argumento de este predicado.
La lgica de clases tambin se ocupa de la composicin de las proposiciones, pero no desde el punto de
vista intencional, sino desde el punto de vista de la extensin. En una funcin proposicional se dice del
argumento que presenta una determinada nota o propiedad, mientras que en la lgica de clases se dir
que la extensin de un concepto est incluida en la de otro. La proposicin Juan canta no se
interpretar ya en el sentido de que Juan cumple la nota de cantar; se dir, por el contrario, que Juan
pertenece a la clase de los que cantan.