Filosofía en español
Teoría lógica. Conceptos fundamentales: clase, elemento de clase. Aseveraciones básicas: sobre la pertenencia de un elemento de clase (x) a una clase (A): x ∈ A; sobre la existencia de una clase universal (1) y de una clase vacía (0): sobre cuatro tipos de identidad entre las clases: de dos clases arbitrarias A y B, o bien una se incluye en otra (el su subclase), por ejemplo A ⊂ B, o, por el contrario, B ⊂ A, o A y B coinciden a menudo, o no tienen ningún elemento común. En la teoría de las clases se definen las operaciones con clases: 1) intersección A ∩ B, o sea, formación de una nueva clase con elementos comunes tanto a A como a B; 2) unificación A ∪ B, es decir, formación de una clase cuyos elementos pertenecen a A o a B o a ambas; 3) complementación A, es decir, formación de una clase con todos los elementos de una clase universal que no forma parte de A. Las leyes de la relación entre las clases y las operaciones que con ellas se realizan, se examinan en el denominado cálculo de las clases, que constituye una de las interpretaciones (Interpretación y modelo) del álgebra de la lógica. Por otra parte, suponiendo que la expresión x ∈ A corresponde a la función proposicional, los cálculos de clases son interpretados como cálculos de predicados monádicos.
Diccionario filosófico · 1965:454
Diccionario de filosofía · 1984