Distinction type-jeton
La dichotomie type–jeton est la différence entre le fait de nommer une classe (type) d'objets et le fait de nommer les instances individuelles (jetons) de cette classe. Comme chaque type peut être représenté par plusieurs jetons, il y a généralement plus de jetons que de types d'un objet. Par exemple, on pourra alors associer un jeton « Einstein» à un type comme « être humain ». La formulation « Einstein est un être humain » est alors sans ambiguïté sur la formulation « est un ». « Est-un » est parfois utilisé dans le langage pour relier directement un type à un type, comme dans l’exemple « l’humain est un animal », une des utilités de la dichotomie est de préciser la nature de la relation décrite par ce type de formule du langage naturel. Il arrive parfois qu’on fasse référence plusieurs fois à un « type » sans qu’il soit impliqué de jeton de ce type, on parle alors d’occurrence d’un type. La dichotomie peut être utilisée dans de multiples disciplines telles que la logique, la linguistique, la métalogique, la typographie, la programmation informatique et d’autres. En linguistique, elle permet par exemple d’exhiber des ambiguïtés sur la signification de certains mots qui désignent parfois un objet concret, et parfois utilisés de manière abstraite pour faire référence à tous les objets de ce type. La distinction est également pertinente pour certaines disciplines dans la description d’objets plus subjectifs comme les sensations ou les émotions, à condition d’identifier des états physiques mesurables à des types d’états mentaux. La phrase « ils ont la même voiture » est ambiguë. Il est possible que nos deux individus conduisent le même modèle de voiture. Il est également possible qu’ils soient en couple et conduisent tous deux la voiture unique du foyer. La distinction type-jeton permet de mettre en lumière et à résoudre ce type d’ambiguïté en séparant clairement dans l’univers du discours ce qui relève du concept abstrait et désigne une catégorie d’objet (ou d’événements), et ce qui désigne des exemples précis d’objet ou d’événement.