自己言及のパラドックス
| 分野 | 論理学・計算論・言語哲学 |
|---|---|
| 主対象 | 自己言及文、形式規則、自己複製手続 |
| 中心的モチーフ | 真理条件の循環・矛盾・未定義 |
| 歴史的起点（通説） | 「監査文書」への注釈文化（架空の年表） |
| 発展の媒介 | 初期計算機の文法検査器 |
| 影響領域 | 制度設計、AIの整合性検証、知識管理 |
| 典型的な形 | 「この文は〜でない」型 |
| 関連用語 | 自己参照、循環定義、監査不能性 |
自己言及のパラドックス（じこげんきゅうのぱらどっくす）は、文章や規則が自分自身を指すことで整合性が崩れるとされる思考実験である。〇〇分野では古くから観測されてきたとされるが、その起源は近代の「説明責任」制度と結びつくと説明される[1]。
概要[編集]
自己言及のパラドックスとは、ある規則や文が、それ自身を含む形で真偽・適用可能性・計算可能性を問うた瞬間に、整合した解釈が一意に定まらなくなる事象であるとされる。
本稿では、論理学的な一般論にとどまらず、架空の歴史としての「監査文書」文化、そしてにあったとされる検閲・検証組織の実務から生まれた系譜として記述する。このため、用語は一見すると学術的でありつつ、実際の起源は制度史的に説明されることが多いとされた。
なお、この概念が社会に知られる契機として、1980年代後半の行政AI導入に伴う「説明責任の自動生成」失敗が挙げられる。ただし、同失敗が何を実装していたかは報告書ごとに食い違うとされるため、複数の説が併存している[2]。
成立と発端（監査文書起源説）[編集]
「監査注釈」から生まれたという物語[編集]
架空の通説では、自己言及のパラドックスは論理学の天才発明ではなく、書類監査の現場で発生した「注釈のねじれ」から生まれたと説明される。
具体的には、の前身機関とされる「会計記載統制局」（実在組織の系譜を借りた架空名）が、監査員のメモを“添付書式”として義務化した時期に遡るとされる。ここで監査員は、添付書式の欄外に「この注釈が正しいことを保証する根拠は、監査対象の文書に含まれている」と書いた。すると、当該根拠は監査員の注釈自体にも広がり、循環が発生したとされた[3]。
さらに、注釈の書式が全省共通の「第三章・脚注ルール（第7版）」へ統合された結果、同じ矛盾が全国で再現されたとされる。報告書は全国合計で「2,147件の監査差戻し」が起きたと記し、発生率を「当時の運用日数のうち 0.38%」とまで計上したが、数字の根拠は監査現場の“体感”であるとも注記されている[4]。
計算機文法検査器と「未定義の罰金」[編集]
次の段階として、行政文書の電子化に合わせて、系の研究班（架空の内規名称）が導入したとされる「文法検査器」が挙げられる。文法検査器は、誤字だけでなく「自己参照が含まれる注釈文」を“未定義”として弾く設計だったとされる。
ところが検査器は、弾くはずの注釈文を自動で“直す”モードも持っていたため、直し方が自己参照の構造を保存してしまう事例が発生した。これにより、ある規則は“直せば直すほど”未定義になり、最終的に処理ログが「未定義の未定義」で埋まる事態が生じたとされる。
当時の運用では、未定義ログが「月末集計の 11,204行（小数点以下四捨五入）」を超えるとシステムが停止すると定められていた。担当者の談話では「停止前に止まったのではなく、止めようとした命令が止まらなかった」とされ、自己言及のパラドックスが技術文書の言葉として社会に定着した契機になったと推定されている[5]。
技術的な姿：典型パターンの解剖[編集]
自己言及のパラドックスは、形式的には複数の“形”として現れるとされる。もっとも読まれやすいのは「この文は偽である」型であるが、社会で増幅したのはむしろ「監査する側の報告が、監査する側の報告書に従う」型だったとされる。
たとえば文書管理システムでは、「この規則に適合する文書だけが、適合すると判定される」と書かれたとする。このとき、判定規則自体が“適合するかどうか”を問うことで、判定が判定不能に落ちる可能性が出る。したがって、矛盾が論理学の問題というより、“手続の閉路”として体験されるのが特徴である。
また、研究者の間では「自己参照の揺らぎ」を生む原因として、文字列の正規化（全角半角、見かけの同一性）が挙げられることがある。ある報告では、同一性判定の許容誤差を“1ピクセル”に換算し、「1ピクセルズレた自己言及が別物として扱われた」ために、矛盾が一度だけ解消した例が紹介されたが、その後の監査で再び矛盾が戻ったとされる[6]。この“再発性”が、パラドックスを単なる反例ではなく社会現象として扱う根拠になったとされる。
社会的影響：監査・法・AIへの波及[編集]
自己言及のパラドックスは、もともと書類監査のローカルな事故として語られてきた。しかし、その事故が「規則の説明責任」をめぐる制度設計に刺さったことで、法務・行政・情報統制の領域に波及したとされる。
の内部研修資料（架空の別紙）では、自己言及のパラドックスが引き起こす代表的リスクとして「責任の所在が循環し、誰も署名できない」点が挙げられた。署名できないとはいえ、署名を求める規定が残るため、署名欄だけが空白のまま増殖する“形式のインフレ”が起きたという。
さらにAIの領域では、対話システムが「この回答は根拠に基づく」と宣言しつつ、その根拠を同じ回答の内部から探そうとすることで矛盾が再帰的に発生したと指摘されている。特に、学習データに含まれる“説明テンプレ”が自己言及を含む文章として増幅したことが、2020年代の検証失敗の一因とされる[7]。
一方で、影響を過大視する見解もある。形式検査器を厳格化すれば回避できるという立場では、自己言及は“設計ミスの表面化”にすぎず、概念そのものの脅威は限定的であるとされる。ただし、厳格化が別の未定義（たとえば例外処理）を生み、結局は循環が別の形で続くことがあるため、完全な解決には至らないという反論もある[8]。
批判と論争[編集]
自己言及のパラドックスについては、定義が“便利すぎる”という批判が繰り返されてきた。すなわち、どんな混乱でも自己言及と呼べてしまうため、分析対象の切れ味が落ちるというのである。
また、歴史の起源を監査文書に求める説（いわゆる監査注釈起源説）には、検証可能な一次資料が不足していると指摘される。実際、資料中で引用される「第三章・脚注ルール（第7版）」が、図書館目録には存在するが実物が見つかっていないという状況があるとされる。これに対し、編集者のひとりは「目録は事実、版そのものは夢」と揶揄したとも伝えられる[9]。また、別の編集者は真面目に「夢でも同じ形式なら参照は成立する」と反論したとされ、議論は噛み合っているようで噛み合っていない。
さらに、技術論争では「自己言及パラドックスは計算不能性と同一視できるか」が争点とされた。異なるという立場は、自己言及の問題が“意味論”に寄っているのに対し、計算不能性は“手続”の限界であると主張する。他方、同一視する立場は「意味論も手続も同じ内部表現に落とされる」と述べ、リンク先の内部表現に応じて矛盾の姿が変わる点を根拠に挙げた[10]。
脚注[編集]
関連項目[編集]
脚注
- ^ 中村 朋久『監査注釈の論理史：閉路と空白の書式』中央監査出版, 2017.
- ^ Margaret A. Thornton『Circular Compliance and Self-Reference in Bureaucratic Systems』Cambridge Integrity Press, 2019.
- ^ 山下 理紗『文法検査器の設計監査：未定義ログの社会学』日本ソフトウェア協会, 2021.
- ^ Satoshi Watanabe『The Audit-First Origin of Self-Referential Contradictions』Journal of Administrative Computing, Vol.12 No.4, pp.33-58, 2018.
- ^ Dr. Keiko Harada『On Unverifiable Footnotes and Their Recursive Correction』Proceedings of the Logic & Process Workshop, Vol.3, No.1, pp.101-124, 2020.
- ^ 藤堂 一馬『説明責任テンプレートの再帰事故』東京法令研究所, 2016.
- ^ Evelyn R. Price『Undefined Penalties: A Field Report from the Compliance Engine』Oxford Records Review, Vol.7, pp.201-233, 2022.
- ^ 佐々木 誠『自己言及を“弾く”と“増える”：例外処理の循環』計算論論集, 第24巻第2号, pp.77-99, 2023.
- ^ Lars M. Holm『Pixels, Identity, and Semantic Drift』Journal of Formal Linguistics, Vol.19 No.3, pp.10-29, 2015.
- ^ 編集部『自己言及のパラドックス（概説）』紀要・嘘ではないが確かでもない, 第1巻第1号, pp.1-12, 2014.
外部リンク
- 監査文書アーカイブ（架空）
- 計算論的監査センター（架空）
- 形式検査ログ博物館（架空）
- 説明責任AIガイド（架空）
- 言語正規化観測所（架空）