Teoría de las clases
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
Diccionario filosófico · 1965:454
Teoría de las clases
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.
No figura en el Diccionario de filosofía · 1984