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