Una clase es una colección cuyos miembros caen bajo un predicado o están clasificados por una regla. Por lo tanto, mientras que un conjunto puede definirse extensionalmente solo 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 modo que incluya aquellos conjuntos cuyos elementos se pretende que se recopilen sin un predicado o regla común, la distinción puede indicarse llamando a esos conjuntos "clase impropia".
Los filósofos a veces distinguen las clases de los tipos y las clases . Podemos hablar de la clase de los seres humanos, así como podemos hablar del tipo (o clase natural ), del ser humano o de la humanidad. ¿En qué se diferencian, entonces, las clases de los tipos? Uno bien podría pensar que en realidad no son categorías diferentes de seres , pero, por lo general, aunque ambos son tratados como objetos abstractos , las clases no suelen ser tratadas como universales , mientras que los tipos sí lo son. Se discute si las clases naturales deben considerarse universales; véase clase natural .
En cualquier caso, hay una diferencia en la forma en que hablamos de tipos o clases. Decimos que Sócrates es un ejemplar de un tipo, o una instancia de la clase 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 clase, los seres humanos. Tampoco diríamos que es un tipo (o clase) de una clase. Es un ejemplar (instancia) del tipo (clase). De modo que la diferencia lingüística es: los tipos (o clases) tienen ejemplares (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. Nótese que también crea una clase a partir de la extensión del conjunto intencional. Un tipo siempre tiene una clase correspondiente (aunque esa clase podría no tener miembros), pero una clase no necesariamente tiene un tipo correspondiente.
