Класс (философия) - Class (philosophy)

По крайней мере, в одном источнике[1] а класс представляет собой набор, в котором отдельный член может быть распознан одним или двумя из двух способов: а) он включен в экстенсиональный определение всего набора (список членов набора) б) он соответствует Интенсивное определение одного члена набора. Напротив, «тип» - это интенсиональное определение; это описание, которое достаточно обобщено, чтобы соответствовать каждому члену множества.

Философы иногда отличать классы от типы и виды. Мы можем поговорить о класс людей, так же как мы можем говорить о тип (или естественный вид), человек или человечество. Чем же тогда классы могут отличаться от типов? Можно подумать, что они на самом деле не разные категории бытия, но обычно оба рассматриваются как абстрактные объекты, классы обычно не рассматриваются как универсалии, тогда как типы обычно. Спорный вопрос, следует ли считать естественные виды универсалиями; увидеть естественный вид.

В любом случае есть разница в том, как мы говорим о типах или видах. Мы говорим что Сократ это жетон типа, или пример естественного вида, человек будучи. Но заметьте, что вместо этого мы говорим, что Сократ - член класса людей. Мы бы не сказали, что Сократ является «членом» того типа или рода, людей. Мы также не можем сказать, что он тип (или разновидность) класса. Он является токеном (экземпляром) типа (вида). Итак, языковая разница заключается в следующем: типы (или виды) имеют токены (или экземпляры); классы, с другой стороны, имеют членов.

Концепция класса аналогична концепции набора, определяемого его членами.[2] Здесь класс экстенсионален. Если, однако, набор определен интенсионально, то это набор вещей, отвечающих некоторым требованиям для членства. Таким образом, такой набор можно рассматривать как создание типа. Обратите внимание, что он также создает класс из расширения интенсионального набора. Тип всегда имеет соответствующий класс (хотя этот класс может не иметь членов), но класс не обязательно имеет соответствующий тип.

использованная литература

  1. ^ «От Аристотеля до EA: теория типов для EA»[ненадежный источник? ]
  2. ^ Энтони Флю. Философский словарь. п. 64.

внешние ссылки