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