Различие между типом и токеном — это разница между наименованием класса (типа) объектов и наименованием отдельных экземпляров (токенов) этого класса. Поскольку каждый тип может быть выражен несколькими токенами, то, как правило, токенов больше, чем типов объекта. Например, предложение « Роза — это роза — это роза » содержит три типа слов: три словесных токена типа a , три словесных токена типа роза и два словесных токена типа is . Это различие важно в таких дисциплинах, как логика , лингвистика , металогика , типографика и компьютерное программирование .
Различие типа и токена отделяет типы (абстрактные описательные понятия) от токенов (объектов, которые создают экземпляры концепций). Например, в предложении « велосипед становится все более популярным » слово « велосипед» представляет собой абстрактное понятие велосипедов и, таким образом, является типом, тогда как в предложении « велосипед находится в гараже » оно представляет конкретный объект и, следовательно, является типом. жетон. Аналогично, в слове типа «буква» используются только четыре типа букв : L , E , T и R. Тем не менее, он использует E и T дважды. Можно сказать , что слово типа «буква» имеет шесть буквенных токенов, по два на каждый буквенный тип E и T. Всякий раз, когда вписывается тип слова, количество создаваемых буквенных жетонов равно количеству вхождений букв в тип слова.
Некоторые логики считают типом слова класс его токенов. Другие логики возражают, что тип слова обладает постоянством и постоянством, которых нет в классе его токенов. Тип остается тем же, в то время как класс его токенов постоянно пополняется новыми членами и теряет старых. [ нужна цитата ]
Различие в компьютерном программировании между классами и объектами связано с этим, хотя в этом контексте «класс» иногда относится к набору объектов (с атрибутами или операциями уровня класса), а не к описанию объекта в наборе, как «тип». " бы. [ нужна цитата ]
В типографике различие типа и токена используется для определения наличия текста, напечатанного подвижным шрифтом : [1]
Определяющим критерием, которому должна соответствовать типографская печать, является идентичность типа различных буквенных форм , составляющих печатный текст. Другими словами: каждая буквенная форма, встречающаяся в тексте, должна быть представлена как конкретный экземпляр («лексема») одного и того же типа, содержащий обратное изображение печатной буквы .
Различия между использованием слов в качестве типов или токенов были впервые проведены американским логиком и философом Чарльзом Сандерсом Пирсом в 1906 году с использованием установленной им терминологии. [2] Различие типа и лексемы Пирса применимо к словам, предложениям, абзацам и т. д.: ко всему в мире дискурса теории символьных строк или теории конкатенации .
Оригинальные слова Пирса следующие.
Распространенный способ оценки количества материала в… печатной книге — подсчет количества слов. Обычно на странице бывает около двадцати «те», и, конечно, они считаются двадцатью словами. Однако в другом смысле слова «слово» в английском языке есть только одно слово «the»; и невозможно, чтобы это слово лежало видимым образом на странице или было слышно каким-либо голосом.... Такую... Форму я предлагаю назвать Типом. Единый... Предмет... такой, как то или иное слово на одной строке одной страницы единственного экземпляра книги, я рискну назвать Знаком. .... Чтобы можно было использовать Тип, он должен быть воплощен в Токене, который должен быть знаком Типа и, следовательно, объекта, который обозначает Тип.
- Пирс, 1906 г., а также Огден и Ричардс, 1923 г., 280–1. [3]