Una clase es una colección cuyos miembros se encuentran bajo un predicado o están clasificados por una regla. Por tanto, mientras un conjunto puede definirse extensivamente sólo por sus elementos, una clase también tiene una dimensión intensional que une a sus miembros. Cuando el término "clase" se aplica de manera que incluya aquellos conjuntos cuyos elementos se pretenden recolectar sin un predicado o regla común, la distinción puede indicarse llamando a dichos conjuntos "clase impropia".
Los filósofos a veces distinguen clases de tipos y clases . Podemos hablar de la clase de seres humanos, del mismo modo que podemos hablar de tipo (o especie natural ), ser humano o humanidad. Entonces, ¿cómo podrían las clases diferir de los tipos? Bien se podría pensar que en realidad no son categorías diferentes del ser , pero normalmente, aunque ambas se tratan como objetos abstractos , las clases no suelen ser tratadas como universales , mientras que los tipos sí suelen serlo. Es discutible si las clases naturales deben considerarse universales; ver tipo natural .
Hay, en cualquier caso, una diferencia en cómo hablamos de tipos o clases. Decimos que Sócrates es la muestra de un tipo, o una instancia del tipo natural, el ser humano . Pero observemos que en cambio decimos que Sócrates es un miembro de la clase de los seres humanos. No diríamos que Sócrates es un "miembro" del tipo o especie de los seres humanos. Tampoco diríamos que es un tipo (o clase) de clase. Es una ficha (instancia) del tipo (clase). Entonces, la diferencia lingüística es: los tipos (o clases) tienen tokens (o instancias); las clases, por otro lado, tienen miembros.
El concepto de clase es similar al concepto de conjunto definido por sus miembros. [1] Aquí, la clase es extensional. Sin embargo, si un conjunto se define intencionalmente, entonces es un conjunto de cosas que cumplen algún requisito para ser miembro. Por lo tanto, se puede considerar que dicho conjunto crea un tipo. Tenga en cuenta que también crea una clase a partir de la extensión del conjunto intensional. Un tipo siempre tiene una clase correspondiente (aunque esa clase puede no tener miembros), pero una clase no necesariamente tiene un tipo correspondiente.
