Distinción entre tipo y token

La distinción entre tipo y token radica en la diferencia entre un tipo de objeto (análogo a una clase ) y los tokens individuales de ese tipo (análogos a las instancias ). 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 palabras del tipo "una" , dos palabras del tipo " es" y tres palabras del tipo "rosa" . Esta distinción es importante en disciplinas como la lógica , la lingüística , la metalología , 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" 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 tokens de letras, con dos tokens de cada tipo de letra (E y T) . Siempre que se inscribe un tipo de palabra, el número de tokens de letras creados es igual al número de ocurrencias de letras en el tipo de palabra.

Algunos lógicos consideran que un tipo de palabra es la clase de sus tokens. Otros, en cambio, argumentan que el tipo de palabra posee una permanencia y constancia que no se encuentra en la clase de sus tokens. El tipo permanece inmutable, mientras que la clase de sus tokens incorpora continuamente nuevos miembros y pierde otros.

En tipografía , la distinción entre tipo y token se utiliza para determinar la presencia de un texto impreso con tipos móviles : ^{[ 1 ]}

El criterio fundamental que debe cumplir una impresión tipográfica es la identidad tipográfica de las distintas formas de las 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 invertida de la letra impresa .

Las distinciones entre usar palabras como tipos o tokens fueron establecidas por primera vez por el lógico y filósofo estadounidense Charles Sanders Peirce en 1906, utilizando la terminología que él mismo creó. ^{[ 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 concatenación .

Las palabras originales de Peirce son las siguientes:

Una forma común de estimar la cantidad de material en un libro impreso es contar el número de palabras. Normalmente habrá unas veinte palabras «the» en una página, y, por supuesto, cuentan como veinte palabras. Sin embargo, en otro sentido de la palabra «palabra», solo existe una palabra, «the», en el idioma inglés; y es imposible que esta palabra aparezca visiblemente en una página o se oiga en alguna voz. A tal forma la llamaré Tipo. A un solo objeto, como esta o aquella palabra en una sola línea de una sola página de un solo ejemplar de un libro, me atreveré a llamarlo Token. Para que un Tipo pueda usarse, debe estar incorporado en un Token que sea un signo del Tipo y, por lo tanto, del objeto que el Tipo significa.

• Baggin J. y Fosl P. (2003) El kit de herramientas del filósofo . Blackwell: 171-73. ISBN 978-0-631-22874-5.
• Peper F., Lee J., Adachi S., Isokawa T. (2004) Computación basada en tokens a escala nanométrica , Actas del taller ToBaCo 2004 sobre computación basada en tokens, vol. 1, págs. 1-18.

• Linda Wetzel . "Tipos y tokens" . En Zalta, Edward N. (ed.). Enciclopedia de filosofía de Stanford . ISSN  1095-5054 . OCLC  429049174 .