Distinción de tipo-token
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 ser ejemplificado 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 símbolos de palabras del tipo a , tres símbolos de palabras del tipo rosa y dos símbolos de palabras del tipo es . La distinción es importante en disciplinas como la lógica , lingüística , metalógica , tipografía yprogramación informática .
La frase " conducen el mismo coche " es ambigua. ¿Conducen el mismo tipo de automóvil (el mismo modelo) o la misma instancia de un tipo de automóvil (un solo vehículo)? La claridad requiere que distingamos las palabras que representan tipos abstractos de las palabras que representan objetos que encarnan o ejemplifican tipos. La distinción tipo-token separa los tipos (conceptos descriptivos abstractos) de los tokens (objetos que instancian conceptos).
Por ejemplo: "bicicleta" representa un tipo: el concepto de bicicleta; mientras que "mi bicicleta" representa una ficha de ese tipo: un objeto que instancia ese tipo. En la frase "la bicicleta se está volviendo más popular", la palabra "bicicleta" representa un tipo que es un concepto; mientras que en la oración "la bicicleta está en el garaje", la palabra "bicicleta" representa una ficha: un objeto particular.
(La distinción en programación informática 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 " escriba "lo haría.)
Las palabras tipo, concepto, propiedad, calidad, característica y atributo (todos usados para describir cosas) tienden a usarse con diferentes verbos. Por ejemplo, supongamos que un rosal se define como una planta que es "espinosa", "floreciente" y "tupida". Se podría decir que un rosal ejemplifica estos tres tipos, o encarna estos tres conceptos, o exhibe estas tres propiedades, o posee estas tres cualidades, características o atributos.
Los tipos de propiedad (por ejemplo, "altura en metros" o "espinosos") a menudo se entienden ontológicamente como conceptos. Las instancias de propiedad (por ejemplo, altura = 1,74) se entienden a veces como valores medidos y, a veces, como sensaciones u observaciones de la realidad.
