La distinción entre tipo y token es la diferencia entre una clase (tipo) de objetos y las instancias individuales (tokens) de esa clase. Dado que cada tipo puede ser instanciado por 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 tokens de palabras del tipo a , dos tokens de palabras del tipo is y tres tokens de palabras del tipo rose . 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 entre tipo y 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 particular es un token. De manera similar, el tipo de palabra 'letra' usa solo cuatro tipos de letras: L , E , T y R. Sin embargo, usa tanto E como T dos veces. Se puede decir que el tipo de palabra 'letra' tiene seis tokens de letras, con dos tokens de cada uno de los tipos de letras E y T. Siempre que se inscribe un tipo de palabra, la cantidad de tokens de letras creados es igual a la cantidad de ocurrencias de letras en el tipo de palabra.
Algunos lógicos consideran que el tipo de una palabra es la clase de sus elementos. Otros lógicos argumentan que el tipo de una palabra tiene una permanencia y una constancia que no se encuentran en la clase de sus elementos. El tipo permanece igual mientras que la clase de sus elementos continuamente gana nuevos miembros y pierde miembros antiguos. [ cita requerida ]
En tipografía , la distinción entre tipo y ficha se utiliza para determinar la presencia de un texto impreso mediante 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 ("muestra") de un mismo tipo que contiene una imagen inversa de la letra impresa .
Las distinciones entre el uso de palabras como tipos o tokens fueron hechas por primera vez por el lógico y filósofo estadounidense Charles Sanders Peirce en 1906 usando la terminología que él estableció. [2] La distinción tipo-símbolo de Peirce se aplica a palabras, oraciones, párrafos, etc.: a cualquier cosa en un universo de discurso de teoría de cadenas de caracteres o teoría de concatenación .
Las palabras originales de Peirce son las siguientes.
Un modo común de estimar la cantidad de material en un libro impreso es contar el número de palabras. Por lo general, habrá alrededor de veinte "thes" en una página y, por supuesto, cuentan como veinte palabras. Sin embargo, en otro sentido de la palabra "word", solo hay una palabra "the" en el idioma inglés; y es imposible que esta palabra se encuentre visiblemente en una página o se escuche en cualquier voz. Propongo llamar a esa forma un tipo. A un objeto único, como esta o aquella palabra en una sola línea de una sola página de un solo ejemplar de un libro, me aventuraré a llamarlo un token. Para que se pueda usar un tipo, tiene que estar incorporado en un token que será un signo del tipo y, por lo tanto, del objeto que el tipo significa.
— Peirce 1906, también Ogden y Richards, 1923, 280-1. [3]