Distinción Type/Token — Distinción lógica y metafísica introducida por Charles Sanders Peirce en los Collected Papers (particularmente Vol. 4, §537, y Vol. 8, varias secciones; escritos reunidos póstumamente). Peirce observa que cuando se dice que la palabra “the” aparece decenas de veces en una página de texto, se está usando “palabra” en dos sentidos: (1) el type — la palabra “the” como tipo o clase abstracta, la entidad lingüística única; y (2) los tokens — las instancias u ocurrencias particulares y concretas de esa palabra en la página. El ejemplo clásico: la secuencia “gato gato” contiene dos tokens (dos objetos particulares inscritos en el papel) pero solo un type (un único tipo de palabra).
Formulación Técnica
Peirce utiliza los términos “type” (tipo) y “token” (marca, ocurrencia). El type es una entidad abstracta — una forma, un patrón, una clase. El token es una instanciación particular y concreta de un type: ocupa un lugar en el espacio y en el tiempo y tiene propiedades físicas (color de la tinta, tamaño, etc.). La relación entre type y token no es la relación entre un universal y sus particulares (aunque es análoga): es una relación de instanciación. Un type existe en virtud de que hay (o puede haber) tokens que lo instancian.
Aplicaciones en Filosofía del Lenguaje
En lingüística y filosofía del lenguaje, la distinción es omnipresente. Las palabras son types; las ocurrencias de palabras en textos son tokens. Las oraciones son types; las emisiones son tokens. Esta distinción tiene consecuencias para la teoría del significado: ¿es el significado una propiedad de los types o de los tokens? Generalmente de los types — aunque los tokens en contextos particulares pueden adquirir significados derivados (indexicales, expresivos).
La distinción también aparece en la teoría de la música y las artes: una obra musical (la Quinta Sinfonía de Beethoven) es un type, y cada interpretación es un token. Esta observación, desarrollada por Nelson Goodman en Languages of Art (1968), plantea cuestiones sobre identidad artística y autenticidad.
Filosofía de la Mente: Identidad Type-Type versus Token-Token
En filosofía de la mente, la distinción es crucial para el debate sobre el fisicalismo y el problema mente-cuerpo.
La teoría de la identidad type-type (U.T. Place, “Is Consciousness a Brain Process?”, 1956; J.J.C. Smart, “Sensations and Brain Processes”, 1959) afirma que cada tipo de estado mental es idéntico a un tipo de estado físico (neural): el dolor = activación de las fibras-C (por ejemplo). Esta teoría es fuertemente reductiva.
La teoría de la identidad token-token (Davidson, “Mental Events”, 1970) afirma que cada ocurrencia particular de un estado mental es idéntica a una ocurrencia particular de un estado físico, pero niega que los tipos mentales sean idénticos a tipos físicos. Esta posición, el monismo anómalo, permite que los eventos mentales sean físicos sin que el vocabulario mental sea reducible al físico.
La teoría de la identidad type-type enfrenta el problema de la realizabilidad múltiple (Putnam, “Psychological Predicates”, 1967): un mismo tipo mental (dolor) puede ser realizado por tipos físicos muy diferentes en organismos distintos (fibras-C en humanos, otros procesos en pulpos). Si dolor = fibras-C, los pulpos no sentirían dolor — lo cual parece implausible. La identidad token-token y el funcionalismo son respuestas a este problema.
← Glosario