Distinção tipo-espécime
De Wikipedia, a enciclopédia encyclopedia
Em disciplinas como a filosofia ou a representação de conhecimento, a distinção tipo-espécime (do inglês, type-token, token = espécime/instância) é uma distinção que separa um conceito abstrato dos objectos que são instâncias particulares do conceito. Por exemplo, a bicicleta particular numa garagem é um espécime do tipo de coisa chamada "a bicicleta". Enquanto que a bicicleta na garagem existe num lugar particular, num determinado tempo, o mesmo não é verdade para "a bicicleta" tal como é usada na frase "a bicicleta têm-se tornado mais popular nos nossos tempos". Ela é utilizada em disciplinas como a lógica, a linguística, a metalógica, a tipografia, e a programação de computadores para esclarecer o significado das palavras. Na lógica, a distinção é usada para clarificar o significado de símbolos em linguagem formal.
Foram assinalados vários problemas nesta página ou se(c)ção:
|
Os tipos são compreendidos muitas vezes, de maneira ontológica, como sendo objectos abstratos. Não existem em nenhum lugar em particular porque não são objectos físicos. Um tipo pode ter inúmeros espécimes. No entanto, os tipos não são directamente produzíveis. Pode-se, por exemplo, mostrar a alguém uma bicicleta que esteja numa garagem, mas não se pode mostrar a alguém "a bicicleta". Os espécimes existem sempre num lugar e tempo particular e podem ser mostrados como sendo objectos físicos concretos.
A frase "eles dirigirem o mesmo carro" é ambígua. Eles dirigem o mesmo tipo de carro (mesmo modelo) ou a mesma instância de um tipo de automóvel (um único veículo)? A clareza nos obriga a distinguir palavras que representam tipos abstratos de palavras que representam objetos que incorporam ou exemplificam tipos. A distinção tipo-espécime separa tipos (representando um resumo descritivo de conceitos) a partir de espécimes (que representam objetos que instanciam conceitos).
Por exemplo: "bicicleta" é um tipo que representa o conceito de uma bicicleta; considerando que "a minha bicicleta" é o espécime que representa um objeto que é instancia desse tipo. Na frase "a bicicleta está se tornando mais popular", a palavra "bicicleta" é um tipo que representa um conceito; considerando que na frase "a bicicleta está na garagem", a palavra "bicicleta" é um espécime que representa um objeto em particular.
(A distinção em programação de computadores, entre classes e objetos está relacionado, embora, nesse contexto, "classe", por vezes, refere-se a um conjunto de objetos (com nível de classe ou atributo de operações), ao invés de incluir uma descrição de um objeto em conjunto.)
O tipo das palavras, conceito, propriedade, qualidade, funcionalidade e atributo (todos usados para descrever as coisas) tendem a ser utilizado com verbos diferentes. i.e.: Suponha que uma roseira é definida como uma planta que é "espinhosa", "florida" e "espessa". Você pode dizer que uma roseira instancia esses três tipos, ou incorpora estes três conceitos, ou apresenta essas três propriedades, ou possui essas três qualidades, características ou atributos.
Tipos de propriedade (i.e. "altura em metros" ou "espinhosa") são muitas vezes entendido ontologicamente como conceitos. Instâncias de propriedade (i.e. altura = 1.74) às vezes são entendidos como valores medidos, e, por vezes, entendida como sensações ou observações da realidade.
Alguns dizem que tipos existem em descrições de objetos, mas não tangíveis, objetos palpáveis. Eles dizem que pode-se mostrar a alguém uma determinada bicicleta, mas não se pode mostrar a alguém o tipo "bicicleta", como em "a bicicleta é popular.". No entanto tipos existem no sentido de que eles aparecem em modelos imaginários.
Alguns dizem que os espécimes representam objetos que são tangíveis, que existem no tempo e no espaço físico de matéria e/ou energia. No entanto, os espécimes podem representar objetos intangíveis de tipos como "pensamento", "jogo de tênis", "governo" e "ato de bondade".