Distinción de tipo-token - Type–token distinction
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 .
Visión general
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 "haría.)
Las palabras tipo, concepto, propiedad, calidad, característica y atributo (todas usadas 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.
Algunos tipos existen como descripciones de objetos, pero no como objetos físicos tangibles . Uno puede mostrarle a alguien una bicicleta en particular, pero no puede mostrarle a alguien, explícitamente, el tipo "bicicleta", como en " la bicicleta es popular". Este uso de propiedades semánticas tipológicamente similares pero diferentes aparece en modelos mentales y documentados, y a menudo se hace referencia a él en la conversación cotidiana.
Tipografía
En tipografía , la distinción tipo-símbolo se utiliza para determinar la presencia de un texto impreso por tipo móvil :
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 ("símbolo") de un mismo tipo que contiene una imagen inversa de la letra impresa .
Charles Sanders Peirce
- Solo hay 26 letras en el alfabeto inglés y, sin embargo, hay más de 26 letras en esta oración . Además, cada vez que un niño escribe el alfabeto se crean 26 letras nuevas.
La palabra "letras" se usó tres veces en el párrafo anterior, cada vez con un significado diferente. La palabra 'letras' es una de las muchas palabras que tienen "ambigüedad de tipo-símbolo". Esta sección elimina la ambigüedad de las 'letras' al separar los tres sentidos utilizando la terminología estándar en la lógica actual. Las distinciones clave fueron hechas por primera vez por el filósofo lógico estadounidense Charles Sanders Peirce en 1906 utilizando la terminología que él mismo estableció.
Las letras que se crean mediante la escritura son objetos físicos que pueden ser destruidos por varios medios: son letras TOKENS o letras INSCRIPCIONES. Las 26 letras del alfabeto son TIPOS de letras o FORMAS de letras.
La distinción tipo-símbolo de Peirce también 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 la teoría de la concatenación . Solo hay un tipo de palabra escrito el-ee-tee-tee-ee-ar, a saber, 'letra'; pero cada vez que se escribe ese tipo de palabra, se crea una nueva ficha de palabra.
Algunos lógicos consideran que un tipo de palabra es la clase de sus tokens. Otros lógicos replican que el tipo de palabra tiene una permanencia y una 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.
El tipo de palabra 'letra' utiliza solo cuatro tipos de letras: el, ee, tee y ar. Sin embargo, usa ee dos veces y tee dos veces. En terminología estándar, el tipo de palabra 'letra' tiene seis letras OCURRENCIAS y el tipo de letra ee OCURRE dos veces en el tipo de palabra 'letra'. Siempre que se inscribe un tipo de palabra, el número de fichas de letras creadas es igual al número de apariciones de letras en el tipo de palabra.
Las palabras originales de Peirce son las siguientes. "Un modo común de estimar la cantidad de materia en un ... libro impreso es contar el número de palabras. Por lo general, habrá unas veinte 'tes' en una página y, por supuesto, cuentan como veinte palabras. En otro sentido de la palabra 'palabra', sin embargo, hay una sola palabra 'the' en el idioma inglés; y es imposible que esta palabra se encuentre visiblemente en una página, o se escuche con cualquier voz ... ... Forma, propongo denominar un Tipo. Un solo ... 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 Token . .... Para que se pueda utilizar un Tipo, debe estar incorporado en una Ficha 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.
Estas distinciones son sutiles pero sólidas y fáciles de dominar. Esta sección termina utilizando la nueva terminología para eliminar la ambigüedad del primer párrafo.
- Hay 26 tipos de letras en el alfabeto inglés y, sin embargo, hay más de 26 ocurrencias de letras en este tipo de oración. Además, cada vez que un niño escribe el alfabeto, se crean 26 fichas de letras nuevas.
Ver también
Referencias
Fuentes
- Baggin J. y Fosl, P. (2003) The Philosopher's Toolkit . Blackwell: 171-73. ISBN 978-0-631-22874-5 .
- Peper F., Lee J., Adachi S., Isokawa T. (2004) Computación basada en fichas en escalas nanométricas , Actas del Taller ToBaCo 2004 sobre Computación basada en fichas, Vol. 1 págs. 1-18.
enlaces externos
- Linda Wetzel. "Tipos y fichas" . En Zalta, Edward N. (ed.). Enciclopedia de Filosofía de Stanford .