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 entre clases y tipos y clases . Se analiza la clase de los seres humanos, así como el tipo (o clase natural ), ser humano o humanidad. Si bien ambos suelen tratarse como objetos abstractos y no como categorías diferentes de seres , los tipos, no las clases, suelen tratarse como universales . Se discute si las clases naturales deben considerarse universales; véase clase natural .
Los tipos y las clases se analizan de forma diferente. Sócrates es considerado un ejemplo de un tipo (o una instancia de la clase natural, el ser humano), pero un miembro de la clase de los seres humanos. Es un ejemplo (instancia), no un miembro del tipo (clase), los seres humanos. Es un miembro, no un tipo (o clase) de una clase. La terminología es que los tipos (o clases) tienen ejemplos (o instancias), mientras que las clases tienen miembros.
Una clase se conceptualiza de manera similar a un conjunto definido por sus miembros. [1] La clase es extensional. Un conjunto definido intencionalmente es un conjunto de cosas que cumplen algún requisito para ser miembro. Un conjunto de este tipo crea un tipo. También crea una clase a partir de la extensión del conjunto intencional. Un tipo siempre tiene una clase correspondiente (potencialmente vacía), pero una clase no necesariamente tiene un tipo correspondiente.
