Тип-токен відмінність
У таких дисциплінах, як логіка, металогізація, типографія та комп'ютерне програмування, розпізнавання типу-токену - це відмінність, що відокремлює поняття від об'єктів, які є окремими прикладами поняття. Наприклад, особливий велосипед у вашому гаражі - токен типу речі, відомі як "Велосипед". Враховуючи те, що велосипед у вашому гаражі знаходиться в певному місці в певний час, це не стосується "велосипеда", що використовується в пропозиції: "Велосипед став нещодавно популярним". Це по суті таке ж, як і відмінність у програмуванні комп'ютера між класами та об'єктами. Типи часто розуміються онтологічно як поняття. Вони ніде не існують, зокрема, тому що вони не є фізичними об'єктами. Типи можуть мати багато токенів. Тим не менш, типи не є безпосередньо продуктивними, оскільки є токени. Наприклад, ви можете показати комусь велосипед у вашому гаражі, але ви не можете показати когось "велосипед" у тому сенсі, яке має на увазі, коли ми говоримо, що "велосипед стає все популярнішим". Токени завжди існують у певному місці і в часі, і можуть бути показані, що вони існують як конкретний фізичний об'єкт.