Distinción Type/Token — Distinción lógica y metafísica introducida por Charles Sanders Peirce en “Prolegomena to an Apology for Pragmaticism” (The Monist, 1906), que separa dos maneras de contar entidades. Cuando se dice que la palabra “the” aparece decenas de veces en una página, “palabra” se usa en dos sentidos: el type es la palabra como categoría abstracta, la forma o el patrón único; los tokens son las ocurrencias concretas y particulares de esa palabra, cada una ocupando un lugar en el espacio y en el tiempo y dotada de propiedades físicas (color de la tinta, tamaño). La secuencia “gato gato” contiene, así, dos tokens pero un solo type. La relación entre ambos es de instanciación, análoga —aunque no idéntica— a la relación entre un universal y sus particulares: un type existe en la medida en que hay, o podría haber, tokens que lo realizan. En filosofía del lenguaje la distinción es omnipresente: las oraciones son types, las emisiones son tokens, y de ahí surge la cuestión de si el significado pertenece al type o al token. Nelson Goodman extendió la idea a las artes en Languages of Art (1968), tratando la obra musical como un type y cada interpretación como un token. En filosofía de la mente, ella estructura el debate sobre el fisicalismo: la teoría de la identidad type-type (Place, Smart) identifica cada tipo de estado mental con un tipo de estado neural, mientras que la identidad token-token de Donald Davidson, en “Mental Events” (1970), identifica solo ocurrencias particulares y niega leyes psicofísicas estrictas — es el monismo anómalo. El problema de la realizabilidad múltiple, planteado por Hilary Putnam, es la principal objeción a la identidad type-type.
← Glosario