タイプとトークン

なぜタイプとトークンの区別が重要か

「ハムレット」という戯曲は世界に何冊存在するか。一冊か、それとも何百万冊か。この問いへの答えは「どちらも正しい」だ。シェイクスピアの書いた作品としての「ハムレット」は一つだが、その物理的な本の数は無数にある。哲学的に言えば、前者が「タイプ（Type）」であり後者が「トークン（Token）」である。

このタイプとトークンの区別は、GEB（ゲーデル、エッシャー、バッハ）における形式体系・意識・自己の議論において、記号の「種類」と「具体的事例」を区別するために重要な役割を果たす。

概念の核心：種類と具体例

タイプ（Type）: 抽象的な種類・パターン・カテゴリ。「犬」という語のタイプは、英語の辞書に一度だけ載っている語の種類だ。

トークン（Token）: 具体的な事例・実現・物理的なインスタンス。あなたが今読んでいる「犬」という文字はトークンだ。この文には「犬」という語のトークンが今一回出現している。

哲学者チャールズ・サンダース・パースが導入したこの区別は、言語・論理・数学・コンピュータ科学で基礎的な役割を持つ。

隣接概念との比較

形式体系における記号は、タイプとトークンの二重の性質を持つ。形式体系の規則は記号タイプについての規則（「∀というタイプの記号の後には変数タイプが続く」）として定義されるが、実際の証明は特定のトークンの操作として行われる。

ゲーデル数の仕組みはタイプとトークンの関係に深く関わる。ゲーデル数は記号タイプに数を割り当て、証明という記号タイプの列全体を一つの数として表現する。この数も算術の中のトークンとして扱えることが、自己言及の鍵となる。

意味と形式との関係では、タイプは意味の側に、トークンは形式の側に傾く。「犬」というタイプが持つ意味は、多数のトークン（様々な文脈での「犬」という語の出現）を統一する抽象的なパターンだ。

自己言及の分析にもタイプ/トークン区別は不可欠だ。「この文は偽である」というパラドックスでは、「この文」というトークンが文のタイプを指示しながら、そのタイプが問題のトークン自体を含んでいるというレベルの混乱が起きている。

誤解と修正

よくある誤解は「タイプとトークンは単純な一般と特殊の関係だ」というものだ。しかし関係はより複雑だ。タイプ自体が別のタイプのトークンになりうる（「語」というタイプは「言語的カテゴリ」というタイプのトークンだ）。この入れ子構造が哲学的に興味深い問いを生む。

「タイプは抽象的に存在するか」という問いも誤解を招く。プラトン的な立場では、タイプは物理的世界とは独立した抽象的実体として存在する。ノミナリストの立場では、タイプはトークンのパターンへの呼び名にすぎず独立した存在を持たない。GEBは後者に近い立場から、タイプはトークンから創発するパターンとして理解する。

実践的含意

コンピュータプログラミングでは、「クラス（class）」と「インスタンス（instance）」の区別がタイプとトークンの関係そのものだ。Dogクラスというタイプを定義し、dog = Dog()というトークン（インスタンス）を生成する。オブジェクト指向プログラミングはタイプ/トークン区別を計算の基本原理として使っている。

言語学では、語彙素（lexeme）とその語形変化・活用形（wordform）の区別がタイプ/トークンに対応する。「走る」「走った」「走れ」は同じ語彙素タイプの異なるトークンだ。テキスト分析では「type-token ratio」（総トークン数に対するユニークタイプ数の比率）が語彙の豊かさを測る指標として使われる。

奇妙な環の文脈では、タイプとトークンの区別が崩れる瞬間——トークンがタイプとして機能し始める瞬間——に奇妙な環が発生する。この崩れが制御された形で起きるとき（バッハ、エッシャー、ゲーデル）、それが知的な美しさの源泉となる。