 | Эта статья поднимает множество проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалить эти сообщения-шаблоны ) ( Узнайте, как и когда удалить этот шаблон сообщения )
|
По крайней мере , один источник, [1] класс представляет собой набор , в котором индивидуальный элемент может быть признан в одном или обоих из двух способов: а) он входит в экстенсиональном определение целого набора (список элементов множества) б) он соответствует внутреннему определению одного члена множества. Напротив, «тип» - это интенсиональное определение; это описание, достаточно обобщенное, чтобы соответствовать каждому члену множества.
Философы иногда различают классы от типов и видов . Мы можем говорить о классе людей точно так же, как мы можем говорить о типе (или естественном виде ), человеке или человечности. Чем же тогда классы могут отличаться от типов? Можно было бы подумать, что на самом деле они не являются разными категориями бытия , но обычно, хотя оба они рассматриваются как абстрактные объекты , классы обычно не рассматриваются как универсалии , в то время как типы обычно. Спорный вопрос, следует ли считать естественные виды универсалиями; видеть естественный вид .
В любом случае есть разница в том, как мы говорим о типах или видах. Мы говорим , что Сократ является лексема типа, или экземпляр естественного вида, человек существо . Но обратите внимание, что вместо этого мы говорим, что Сократ - член класса людей. Мы бы не сказали, что Сократ является «членом» того типа или рода, людей. Мы также не сказали бы, что он тип (или разновидность) класса. Он является токеном (экземпляром) типа (вида). Итак, лингвистическая разница заключается в следующем: типы (или виды) имеют токены (или экземпляры); классы, с другой стороны, имеют членов.
Концепция класса аналогична концепции набора, определяемого его членами. [2] Здесь класс экстенсионален. Если, однако, набор определен интенсионально, то это набор вещей, отвечающих некоторым требованиям для членства. Таким образом, такой набор можно рассматривать как создание типа. Обратите внимание, что он также создает класс из расширения интенсионального набора. Тип всегда имеет соответствующий класс (хотя этот класс может не иметь членов), но класс не обязательно имеет соответствующий тип.
Ссылки [ править ]
- ^ «От Аристотеля до EA: теория типов для EA» [ ненадежный источник? ]
- ^ Энтони Флю . Философский словарь . п. 64.
Внешние ссылки [ править ]
- «Класс» как аналитический термин в философии , Philosophypages.com
- «Класс» как аналитический признак любой Категории или Категориального термина на языке дедуктивных рассуждений.
- «Класс» как аспект логики и, в частности, « Principia Mathematica» Бертрана Рассела.
- «От Аристотеля до EA: теория типов для EA», цитата 26.10.2014.
