Различие типа и токена — разница между именованием класса (типа) объектов и именованием отдельных экземпляров (токенов) этого класса. Поскольку каждый тип может быть представлен несколькими лексемами, то, как правило, лексем больше, чем типов объекта. Например, предложение «», содержит три типа слов: три лексемы типа «a», три лексемы типа «rose» и две лексемы типа «is». Это различие важно для таких дисциплин, как логика, лингвистика, металогика, типографика и компьютерное программирование.
Обзор Различие между типами и токенами разделяет типы (абстрактные описательные понятия) и токены (объекты, реализующие понятия). Например, в предложении «the bicycle is becoming more popular» слово «bicycle» представляет абстрактное понятие велосипеда и является типом, в то время как в предложении «the bicycle is in the garage» оно представляет конкретный объект и, следовательно, является токеном. Аналогично, тип слова «letter» использует только четыре типа букв: L, E, T и R. Тем не менее, в нём дважды используются и E, и T. Можно сказать, что тип слова «letter» имеет шесть буквенных лексем, причем по две лексемы приходится на буквы E и T. При создании слова количество образованных буквенных лексем равно количеству вхождений букв в тип слова.
Некоторые логики считают, что тип слова — класс входящих в него токенов. Другие логики утверждают, что тип слова обладает постоянной и неизменной структурой, не присущей классу используемых в нём токенов. Тип остаётся неизменным, в то время как класс его токенов постоянно приобретает новые и теряет старые составные единицы.
В компьютерном программировании различают классы и объекты, хотя в данном контексте «класс» иногда обозначает набор объектов (с атрибутами или операциями на уровне класса), а не описание объекта в наборе, как это было бы с «типом».
Типографика В типографике, различие типа и токена, используется для определения наличия текста, напечатанного, при ручном наборе, подвижным шрифтомHerbert E. Brekle: Die Prüfeninger Weiheinschrift von 1119. Eine paläographisch-typographische Untersuchung, Scriptorium Verlag für Kultur und Wissenschaft, Regensburg 2005, , p. 23:
Чарльз Сандерс Пирс Различия между использованием слов в качестве типов или токенов были впервые сформулированы американским логиком и философом Чарльзом Сандерсом Пирсом, в 1906 году с применением созданной им терминологииCharles Sanders Peirce, Prolegomena to an apology for pragmaticism, Monist, vol.16 (1906), pp. 492–546.. Различие между типами и токенами Пирс применил к словам, предложениям, абзацам и т.д.: ко всему, что входит во вселенную дискурса теории символьных строк, или теории конкатенации.
В оригинале, слова Пирса, звучат следующим образом:
См. также
Соотношение карты и территории Ментальные модели Универсалия Металогика Теория типов Теория идентичности
Примечания
Литература
Baggin J. and Fosl P. (2003) The Philosopher's Toolkit. Blackwell: 171-73. . Peper F., Lee J., Adachi S., Isokawa T. (2004) Token-Based Computing on Nanometer Scales, Proceedings of the ToBaCo 2004 Workshop on Token Based Computing, Vol.1 pp. 1–18.
Внешние ссылки
Linda Wetzel. Types and Tokens. In Zalta, Edward N. (ed.). Стэнфордская философская энциклопедия.
Категория:Лингвистика Категория:Философия языка Категория:Понятия метафизики Категория:Абстракция Категория:Представление знаний Категория:Металогика Категория:Логика