Класс — это коллекция, члены которой либо попадают под предикат, либо классифицируются правилом. Следовательно, в то время как множество может быть экстенсионально определено только его элементами, класс также имеет интенсиональное измерение, которое объединяет его членов. Когда термин «класс» применяется так, что он включает те множества, элементы которых предназначены для сбора без общего предиката или правила, различие можно обозначить, назвав такие множества «неправильным классом».
Философы иногда различают классы от типов и видов . Обсуждается класс человеческих существ, а также тип (или естественный вид ), человеческое существо или человечество. Хотя оба обычно рассматриваются как абстрактные объекты , а не различные категории бытия , типы, а не классы, обычно рассматриваются как универсалии . Следует ли считать естественные виды универсалиями, является спорным; см. естественный вид .
Типы и виды обсуждаются по-разному. Сократ считается маркером типа (или экземпляром естественного рода, человека), но членом класса людей. Он является маркером (экземпляром), а не членом типа (вида), людей. Он является членом, а не типом (или видом) класса. Терминология заключается в том, что типы (или виды) имеют маркеры (или экземпляры), в то время как классы имеют членов.
Класс концептуализируется аналогично множеству, определяемому его членами. [1] Класс является экстенсиональным. Множество, определенное интенсионально, — это множество вещей, которые удовлетворяют некоторым требованиям, чтобы быть членом. Такое множество создает тип. Оно также создает класс из расширения интенсионального множества. Тип всегда имеет соответствующий (потенциально пустой) класс, но класс не обязательно имеет соответствующий тип.
