Lógica

La lógica de clases analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento o individuo a una determinada clase. Es lainterpretación de una proposición o enunciado lingüístico bajo la formalización de la teoría de conjuntos, representada por Diagramas de Venn y símbolos delálgebra de conjuntos.

Por clase se entiende un conjunto de individuos que tienen una propiedad común. Nótese que la propiedad define a la clase, no al individuo,lo que lo diferencia esencialmente de la lógica de predicados. En este caso, por tanto, el valor de verdad viene dado por la relación binaria o dicotomía:pertenencia o no pertenencia a una clase. Por ello, la tabla de valores de verdad se explicita como tablas de pertenencia. Todos los conjuntos son clases, perono todas las clases son conjuntos. Un conjunto es una clase que al menos contiene una clase, pero no a sí mismo.

La clase tiene sentido aun cuando noexistan individuos. Así, la clase hombre, como concepto de hombre, existe como propiedad o concepto aunque no existan los hombres. De la misma forma que existe elconcepto de "caballos con alas", aun cuando no existan pegasos. Pero ni el concepto pegaso es un "pegaso" ni el concepto hombre es un "individuo humano" quepertenezca al conjunto.1

Así, no es lo mismo decir: "Hs = Sócrates es un hombre" (donde atribuimos una cualidad que atañe al ser mismo de Sócrates), quedecir: "S \in H = Sócrates pertenece a la clase de los hombres."

Actualmente la lógica llamada tradicional, silogística, se interpreta como lógica de clases.