Class (philosophy)

Group of things derived from extensional or intensional definition A class is a collection whose members either fall under a predicate or are classified by a rule. Hence, while a set can be extensionally defined only by its elements, a class has also an intensional dimension that unites its members. When the term 'class' is applied so that it includes those sets whose elements are intended to be collected without a common predicate or rule, the distinction can be indicated by calling such sets "improper class." Philosophers sometimes distinguish classes from types and kinds. The class of human beings is discussed, as well as the type (or natural kind), human being, or humanity. While both are typically treated as abstract objects and not different categories of being, types not classes are usually treated as universals. Whether natural kinds ought to be considered universals is vexed; see natural kind. Types and kinds are discussed differently. Socrates is considered a token of a type (or an instance of the natural kind, human being) but a member of the class of human beings. He is a token (instance) not member of the type (kind), human being. He is a member not type (or kind) of a