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