Distinction type–jeton - Type–token distinction

Bien que ce troupeau soit composé du même type d'oiseau, chaque oiseau est un jeton différent .

La distinction type-jeton est la différence entre nommer une classe (type) d'objets et nommer les instances individuelles (jetons) de cette classe. Étant donné que chaque type peut être illustré par plusieurs jetons, il y a généralement plus de jetons que de types d'un objet. Par exemple, la phrase « Une rose est une rose est une rose » contient trois types de mots : trois mots de type a , trois mots de type rose et deux mots de type is . La distinction est importante dans des disciplines telles que la logique , la linguistique , la métalogique , la typographie et laprogrammation informatique .

Aperçu

La phrase « ils conduisent la même voiture » est ambiguë. Conduisent-ils le même type de voiture (le même modèle) ou la même instance d'un type de voiture (un seul véhicule) ? La clarté nous oblige à distinguer les mots qui représentent des types abstraits des mots qui représentent des objets qui incarnent ou illustrent des types. La distinction type–jeton sépare les types (concepts descriptifs abstraits) des jetons (objets qui instancient des concepts).

Par exemple : « vélo » représente un type : le concept de vélo ; alors que "mon vélo" représente un jeton de ce type : un objet qui instancie ce type. Dans la phrase « le vélo devient de plus en plus populaire », le mot « vélo » représente un type qui est un concept ; alors que dans la phrase "le vélo est dans le garage" le mot "vélo" représente un jeton : un objet particulier.

(La distinction dans la programmation informatique entre les classes et les objets est liée, bien que dans ce contexte, "classe" se réfère parfois à un ensemble d'objets (avec un attribut ou des opérations au niveau de la classe) plutôt qu'une description d'un objet dans l'ensemble, comme " tapez" serait.)

Les mots type, concept, propriété, qualité, caractéristique et attribut (tous utilisés pour décrire les choses) ont tendance à être utilisés avec des verbes différents. Par exemple, supposons qu'un rosier soit défini comme une plante « épineuse », « fleurissante » et « buissonnante ». Vous pourriez dire qu'un rosier instancie ces trois types, ou incarne ces trois concepts, ou présente ces trois propriétés, ou possède ces trois qualités, caractéristiques ou attributs.

Les types de propriétés (par exemple « hauteur en mètres » ou « épineux ») sont souvent compris ontologiquement comme des concepts. Les instances de propriété (par exemple hauteur = 1,74) sont parfois comprises comme des valeurs mesurées, et parfois comprises comme des sensations ou des observations de la réalité.

Certains types existent en tant que descriptions d'objets, mais pas en tant qu'objets physiques tangibles . On peut montrer à quelqu'un un vélo particulier, mais on ne peut pas montrer à quelqu'un, explicitement, le type "vélo", comme dans " le vélo est populaire". Une telle utilisation de propriétés sémantiques typologiquement similaires mais différentes apparaît dans les modèles mentaux et documentés, et est souvent référencée dans la conversation de tous les jours.

Typographie

En typographie , la distinction type–jeton est utilisée pour déterminer la présence d'un texte imprimé en caractères mobiles :

Le critère déterminant qu'une impression typographique doit remplir est celui de l'identité de type des différentes formes de lettres qui composent le texte imprimé. En d'autres termes : chaque forme de lettre qui apparaît dans le texte doit être représentée comme une instance particulière (« jeton ») d'un seul et même type qui contient une image inversée de la lettre imprimée .

Charles Sanders Peirce

Il n'y a que 26 lettres dans l' alphabet anglais et pourtant il y a plus de 26 lettres dans cette phrase . De plus, chaque fois qu'un enfant écrit l'alphabet, 26 nouvelles lettres sont créées.

Le mot « lettres » a été utilisé trois fois dans le paragraphe ci-dessus, chaque fois dans un sens différent. Le mot « lettres » est l'un des nombreux mots ayant une « ambiguïté type-jeton ». Cette section lève l'ambiguïté des « lettres » en séparant les trois sens en utilisant la terminologie standard en logique aujourd'hui. Les distinctions clés ont été faites pour la première fois par le philosophe et logicien américain Charles Sanders Peirce en 1906 en utilisant la terminologie qu'il a établie.

Les lettres créées par l'écriture sont des objets physiques qui peuvent être détruits par divers moyens : ce sont des JETONS de lettres ou des INSCRIPTIONS de lettres. Les 26 lettres de l'alphabet sont des TYPES de lettres ou des FORMES de lettres.

La distinction de type jeton de Peirce, applique également aux mots, des phrases, des paragraphes, etc.: à quoi que ce soit dans un univers du discours de la théorie chaîne de caractères, ou la théorie de la concaténation . Il n'y a qu'un seul type de mot orthographié el-ee-tee-tee-ee-ar, à savoir, « lettre » ; mais chaque fois que ce type de mot est écrit, un nouveau jeton de mot a été créé.

Certains logiciens considèrent un type de mot comme la classe de ses jetons. D'autres logiciens rétorquent que le mot type a une permanence et une constance que l'on ne trouve pas dans la classe de ses tokens. Le type reste le même tandis que la classe de ses jetons gagne continuellement de nouveaux membres et perd d'anciens membres.

Le type de mot « lettre » utilise seulement quatre types de lettres : el, ee, tee et ar. Néanmoins, il utilise ee deux fois et tee deux fois. Dans la terminologie standard, le type de mot 'lettre' a six OCCURRENCES de lettres et le type de lettre ee OCCURS deux fois dans le type de mot 'lettre'. Chaque fois qu'un type de mot est inscrit, le nombre de jetons de lettres créés est égal au nombre d'occurrences de lettres dans le type de mot.

Les mots originaux de Peirce sont les suivants. « Un mode courant pour estimer la quantité de matière dans un… livre imprimé consiste à compter le nombre de mots. un autre sens du mot « mot », cependant, il n'y a qu'un seul mot « le » dans la langue anglaise ; et il est impossible que ce mot doit se trouver visiblement sur une page, ou être entendu dans n'importe quelle voix .... Un tel ... Forme, je propose d'appeler un Type. Un Unique ... Objet ... tel que tel ou tel mot sur une seule ligne d'une seule page d'un seul exemplaire d'un livre, je me risquerai à appeler un Token ..... Afin qu'un Type puisse être utilisé, il doit être incorporé dans un Token qui doit être un signe du Type, et donc de l'objet que le Type signifie." – Peirce 1906, également Ogden et Richards, 1923, 280-1.

Ces distinctions sont subtiles mais solides et faciles à maîtriser. Cette section se termine en utilisant la nouvelle terminologie pour lever l'ambiguïté du premier paragraphe.

Il y a 26 types de lettres dans l'alphabet anglais et pourtant il y a plus de 26 occurrences de lettres dans ce type de phrase. De plus, chaque fois qu'un enfant écrit l'alphabet, 26 nouvelles lettres sont créées.

Voir également

Les références

Sources

  • Baggin J., et 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) Token-Based Computing on Nanometer Scales , Actes de l'atelier ToBaCo 2004 sur Token Based Computing, Vol.1 pp. 1–18.

Liens externes