タイプとトークンの区別

タイプとトークンの区別（）とは、対象のクラス（タイプ）と、そのクラスに属する個々の事例（トークン）の区別である。タイプとトークンという対概念は、チャールズ・サンダース・パースによって導入された。

例えば、ガレージにあるあなたの特定・個別の自転車は、「自転車」というタイプの中のトークンとして理解される。このトークンとしての自転車は、時空の中の特定の位置を占めているが、タイプとしての自転車はそうではない。「最近自転車の人気が高まっている」と言うとき、この「自転車」はタイプとしての自転車を指して言っているのに対して、「あなたのガレージの中の自転車」と言うときの「自転車」はトークンとしての自転車である。

タイプは時空間に位置を持たない抽象的対象と考えられ、これは「特定の対象（particulars）」が時空間に位置を持っているのと対照的である。この「特定」という用語は単純に言えば「具体的で物理的な対象」というような意味である。タイプがトークンをまったく持たない場合も考えられる。例えば「二つの素数の和でないような偶数（ゴールドバッハの予想）」というタイプには、トークンが存在しない。

脚注

関連項目 
 抽象的対象
 メタ論理学
 形式主義
 型理論
 タイプ (形而上学)
 タイプ物理主義
 同一性
 付随性

外部リンク 
 Linda Wetzel (2006), Types and Tokens, スタンフォード哲学百科事典

形而上学の概念
心の哲学の概念
言語哲学の概念
論理学の哲学
言語学
知識表現
概念上の区別
抽象
メタ論理学
チャールズ・サンダース・パース