类 (哲学) 类class是共有某种特定属性的对象的汇集这种共同属性叫作类的定义特征classdefining characteristic举例来说所有人的类就是所有具有是人这个特征的事物的集合属性是人就是这个类的定义特征类的定义特征不一定是简单的属性任何一个属性都可以确定一个类比如左撇子有红头发并且是学生这个复杂属性就确定了一个类所有是左撇子有红头发的学生的类 所有的类都有一个相应的补类或简称补complement即不属于原来的类的所有东西的汇集比如所有人的类的补就是所有不是人的东西组成的类该类的定义特征是不是人这样一个否定的属性所有人的类的补包括除人之外的所有东西鞋子轮船苹果等等但不包括国王因为国王是人把所有人的类的补称为非人的类更简洁一些词项S所指称的类的补则由词项非S指称因而可以说词项非S就是词项S的补 哲学家有时将类与类型type区分开来虽然两者都被视为抽象的对象但类通常不被视为共相universal而类型通常被视为 类的概念类似于由其成员定义的集合的概念类是外延的然而如果集合是内涵定义的那么它就是满足某些成为其成员的条件的集合因此这样的集合可以被视为创建了一种类型要注意的是它还从内涵性集合的外延创建了一个类类型总是有对应的类尽管该类可能没有成员但类不一定有对应的类型