自己言及
自己言及とは
自己言及(Self-Reference)とは、あるものがそれ自身を指示・言及・含む状態を指す。「この文は偽である」というクレタ人のパラドックスは、文が自分自身の真偽について語るという自己言及の古典的例だ。自己言及は、論理学・数学・言語学・コンピュータ科学・哲学にまたがる根本的な概念であり、ダグラス・ホフスタッターがGEB(ゲーデル、エッシャー、バッハ)で徹底的に探求したテーマの核心をなす。
歴史的背景:パラドックスの危機と数学の基礎
20世紀初頭、数学者たちは数学の全てを矛盾なく公理化しようという野心的プロジェクトに取り組んでいた。ベルトラン・ラッセルは1901年、この夢を崩す自己言及的パラドックスを発見した。「自分自身を含まない集合の全体」を考えると、その集合自体は自分自身を含むのか含まないのかが決定不能になるというラッセルのパラドックスだ。
この発見はゲオルク・フレーゲの集合論的算術体系を破壊し、数学の基礎は自己言及を厳密に制限しなければならないという教訓を与えた。ラッセルは「型理論」を開発し、文が自分自身を含む集合について語れないよう階層化することでパラドックスを回避しようとした。
しかしクルト・ゲーデルは1931年、この制限の中でも数学体系が自己言及的な命題を構成できることを示した。ゲーデル数という巧妙な符号化により、数学の命題が自分自身の証明不可能性を主張できることを証明した。これが不完全性定理である。
自己言及のメカニズム:どのように機能するか
自己言及が興味深い効果を生み出すのは、それが通常の指示関係を「曲げる」からだ。
通常の言語使用では、言葉はそれ以外のものを指示する。「木」という語は木という物体を指す。しかし「この文は5単語からなる」という文は自分自身の構造について語っており、語と指示対象の通常の分離が崩れる。
奇妙な環はこの自己言及が生み出す最も重要な構造だ。階層を上昇または下降し続けると、出発点に戻ってきてしまうような閉じたループ。ホフスタッターはバッハのカノン、エッシャーの版画、ゲーデルの定理がいずれもこの奇妙な環の構造を持つと論じた。
形式体系における自己言及は、その体系が自分自身について語れるかどうかという「メタ数学」の問いと直結する。TNT(タイプノゴブラフィックセオリー)のような十分に表現力の高い形式体系は、自己言及的な命題を含まざるを得ない。
他概念との関係
再帰は自己言及の最も重要な計算論的形態である。関数が自分自身を呼び出すことで定義される再帰は、プログラミングにおける自己言及だ。再帰と自己言及は密接に関連するが同一ではない。全ての再帰は自己言及だが、全ての自己言及が再帰的構造を持つわけではない。
レベルの混同は自己言及が生み出すパラドックスのほとんどが、本来異なるレベル(メタレベルとオブジェクトレベル)を混同することから起きるという洞察だ。「この文は偽である」は、文の内容(オブジェクトレベル)と文の真偽評価(メタレベル)を一つの文に混在させているから矛盾を生む。
現代への示唆:AIと意識の問題
ホフスタッターが自己言及に最も深い関心を持ったのは、意識との接続のためだ。人間の自己意識は究極の自己言及だ――心が自分自身を対象として思考する能力。この「自分が考えているということを考える」能力はいかにして生まれるのか。
チューリングテストを巡る議論は、AIが真に自己言及的な理解を持てるかという問いと絡み合う。形式的な記号操作だけで自己言及を実現できるのか、それとも自己言及的な理解には何か形式を超えたものが必要か。この問いは今日のAI研究においても未解決のまま残っている。
自己言及は、システムが自分自身についての情報を保持・処理する能力の基盤でもある。DNAが自己を複製する仕組みも、コンピュータプログラムが自分自身を修正する仕組みも、広義の自己言及として理解できる。生命と知性の核心には自己言及が潜んでいるかもしれない。
この概念を扱う本
概念ネットワーク
線の太さは共通する本の数を表しています。ノードをクリックすると概念ページに移動します。
この概念を扱う本(2冊)
ダグラス・R・ホフスタッター
不完全性定理の証明技法として、またエッシャーの絵画やバッハの音楽における構造として、本書全体を貫くテーマ。
高橋昌一郎
不完全性定理の証明の核心にある技法として論じられる。形式体系の中に「私は証明不可能だ」と主張する命題を構成するためにゲーデル数を用いて自己言及を実現する手法が、論理的に精密に解説される。