La distinción tipo-token es la diferencia entre nombrar una clase (tipo) de objetos y nombrar las instancias individuales (tokens) de esa clase. Dado que cada tipo puede ejemplificarse mediante múltiples tokens, generalmente hay más tokens que tipos de un objeto. Por ejemplo, la oración " Una rosa es una rosa es una rosa " contiene tres tipos de palabras: tres fichas de palabras del tipo a , tres fichas de palabras del tipo rosa y dos fichas de palabras del tipo es . La distinción es importante en disciplinas como la lógica , la lingüística , la metalógica , la tipografía y la programación informática .
La distinción tipo-token separa los tipos (conceptos descriptivos abstractos) de los tokens (objetos que instancian conceptos). Por ejemplo, en la oración " la bicicleta se está volviendo más popular " la palabra bicicleta representa el concepto abstracto de bicicletas y este concepto abstracto es un tipo, mientras que en la oración " la bicicleta está en el garaje ", representa un objeto particular y este objeto en particular es una ficha. De manera similar, el tipo de palabra 'letra' utiliza solo cuatro tipos de letras : L , E , T y R. Sin embargo, utiliza tanto E como T dos veces. Se puede decir que el tipo de palabra 'letra' tiene seis fichas de letras, con dos fichas para cada uno de los tipos de letras E y T. Siempre que se inscribe un tipo de palabra, la cantidad de fichas de letras creadas es igual a la cantidad de apariciones de letras en el tipo de palabra.
Algunos lógicos consideran que un tipo de palabra es la clase de sus tokens. Otros lógicos responden que el tipo de palabra tiene una permanencia y constancia que no se encuentran en la clase de sus tokens. El tipo sigue siendo el mismo, mientras que la clase de sus tokens gana continuamente nuevos miembros y pierde miembros antiguos. [ cita necesaria ]
La distinción en programación de computadoras entre clases y objetos está relacionada, aunque en este contexto, "clase" a veces se refiere a un conjunto de objetos (con atributos u operaciones a nivel de clase) en lugar de una descripción de un objeto en el conjunto, como "tipo". " haría. [ cita necesaria ]
En tipografía , la distinción tipo-token se utiliza para determinar la presencia de un texto impreso con tipos móviles : [1]
El criterio definitorio que debe cumplir una impresión tipográfica es el de la identidad tipográfica de las distintas formas de letras que componen el texto impreso. En otras palabras: cada forma de letra que aparece en el texto debe mostrarse como una instancia particular ("token") de un mismo tipo que contiene una imagen inversa de la letra impresa .
Las distinciones entre el uso de palabras como tipos o símbolos fueron hechas por primera vez por el lógico y filósofo estadounidense Charles Sanders Peirce en 1906 utilizando la terminología que él mismo estableció. [2] La distinción tipo-token de Peirce se aplica a palabras, oraciones, párrafos, etc.: a cualquier cosa en un universo de discurso de la teoría de cadenas de caracteres o teoría de la concatenación .
Las palabras originales de Peirce son las siguientes.
Una forma común de estimar la cantidad de materia en un libro impreso es contar el número de palabras. Normalmente habrá unas veinte 'thes' en una página y, por supuesto, cuentan como veinte palabras. Sin embargo, en otro sentido de la palabra "palabra", sólo hay una palabra "the" en el idioma inglés; y es imposible que esta palabra esté visiblemente en una página, o sea escuchada en cualquier voz... Tal... Forma, propongo denominarla Tipo. Un Único... Objeto... como esta o aquella palabra en una sola línea de una sola página de una sola copia de un libro, me atreveré a llamar un Token. .... Para que un Tipo pueda usarse, tiene que estar incorporado en un Token que será un signo del Tipo y, por tanto, del objeto que significa el Tipo.
— Peirce 1906, también Ogden y Richards, 1923, 280-1. [3]