真実は発見されない 画像: AI生成

私たちの宇宙の開かれた世界には、発見すべき真実は存在しない。しかし私たちは真実を宣言することができ、宣言された真実は、それが開いた世界の中でのみ真である。これは冷笑ではない。物理学であり、その次に法である。

光はいつも遅れて到着する

いかなる観測も光の速さを超えない。

夜空の星を見る。その光は数千年前に発たれた。いま見ているのは星ではなく、はるか昔に星があったという主張だ。その星はすでに消えているかもしれない（Speed of light, Wikipedia）。

これを遠い星の話とだけ考えないでほしい。手に持ったコップを見る。コップから跳ね返った光が目に届くまでに時間がかかる。とても短いが0ではない。私たちが見るコップは、いつもほんの少し前のコップだ。いまこの瞬間のコップには決して届かない。出来事は起きた瞬間に過去へと消える。光よりも速く。私たちに残るのは出来事ではなく、出来事が送った使者だけだ。そして使者は、いつも出来事がすでに死んだ後に到着する。

0ホップの観測はない

光が網膜に届く瞬間は、純粋な伝達ではなく変換だ。光子がタンパク質の形を変え、その変化が連鎖反応を起こし、信号が神経を伝って上り、脳がそれを「赤」と呼ぶ（Visual phototransduction, Wikipedia）。この鎖のすべての段階が再解釈だ。私たちの視神経は世界へ開かれた窓ではなく、世界についての推論モデルである（Unconscious inference, Wikipedia）。

だから最も出来事に近い観測 — たった今光子が跳ね返った網膜 — さえ、すでに一ホップ以上離れた推論だ。0ホップの観測は存在したことがない。私たちは世界を直接触れたことが一度もない。カメラがコップを「見る」と言うとき、それがセンサーの推論であることを私たちは知っている。人間の目も変わらない。特権的な直接接触チャネルではなく、ただ一つのセンサーだ。

開かれた世界には真実がない — ただ主張だけ

では開かれた世界で私たちに何が残るのか。証拠と主張。そして少し覗いてみれば、証拠は主張の別名にすぎない。

「カメラがこのコップを見た」は証拠だ。しかしそれは「センサーが、この時刻に、この信頼度で、このようなコップがあると主張した」というそれ以上でもそれ以下でもない。証拠を掘り下げればその中にもう一つの主張があり、その主張の根拠を掘り下げればまた一つの主張がある。底はない。「これはただ真だ」で止まる地点がどこにもない。

だから私が設計する意味論的言語 GEUL には「事実（Fact）」型がない。わざと外したのではなく、開かれた世界を収める場所には入れられなかった。入れた瞬間に嘘になるからだ。最も基礎的に見える主張 — 「この二つは同じ対象である」 — さえ、確定と候補に分かれ、その二つを分けるのは別途の「事実の印」ではなく、ただ信頼度（confidence）が付いているか否かだ。確実な事実と不確実な推測は種類が違うのではない。同じ構造に信頼度というラベルが付いているか否かの違いにすぎない。これは哲学的な宣言ではなくビットレイアウトだ。哲学が崩れればスキーマが崩れるように組まれている。

ところが真実は存在する — 閉じられた世界に

開かれた世界には発見すべき真実がない。しかし真実がまったくないわけではない。

小説を見よ。「洪吉童（Hong Gil-dong）は庶子だった」はその世界の中で真実だ。作家がそう書いたからだ（Fiction — Truth in Fiction, SEP）。検証する外部世界がなく、作家こそがその世界の唯一の出典であり最終審級だ。ここでは観測が要らない。作家が宣言すればそれがすなわち存在する。出来事が宣言より先にあるのではなく、宣言がすなわち出来事だ。

数学も同じ構造だ。「2足す2は4」は公理が閉じた世界の中で真だ。公理が作家であり、定理はその世界の登場人物だ。物理世界を観測して得たものではなく定義から演繹されたものなので、光の速さがここには適用されない（Formalism in the Philosophy of Mathematics, SEP）。だから真実が失敗するのは真実自体が間違っているからではなく、閉じられていない世界に真実を書くからだ。物理的実在には世界を閉じる権威がない。しかし小説と公理系にはその権威がある。

真実は発見されず宣言される

二種類の文がある。一つは世界を描写する。「コップがここにある。」すでにある何かを指そうとする試みだ。だから光の速さに阻まれ、永遠に主張にとどまる。もう一つは世界を創造する。「これをもって二人を夫婦と宣言します。」この文は結婚を描写しない。結婚を作り出す。発話以前に指す対象がない。発話が対象を生む（Speech Acts, SEP）。

最初の文は真／偽を問うことができる。二つ目の文には真／偽を問えない — 発話がすなわち出来事だから。閉じられた世界が真実を持ちうる本当の理由がこれだ。世界が閉じているからではなく、その世界たちが宣言によって建てられる世界だからだ。だから真実は発見されない。真実は製作される。そして人間文明のほぼすべて — 法、貨幣、契約、約束、国家、小説 — は、この製作された真実の上に立っている。

裁判は投影であり、判決は演算だ

法がこの原理の最も精巧な実現だ。裁判官は真実を発見しない。裁判官は数学者だ。しかし彼は二つの仕事を続けて行う。

裁判とは実在世界を法的世界に投影する過程であり、判決とは法的世界に投影された事実を演算した結果だ。 最初の動作は投影だ。無限で開かれた実在を、法的世界という有限で閉じた座標系へと下ろす。証拠採用がまさにこの投影であり、あらゆる投影がそうであるように損失がある — 実在の大部分は法廷に入れず、入ったものだけが事実になる。開かれた世界の主張が法廷に採用される瞬間、それは実在についての主張であることをやめ、法的世界の中で事実として機能し始める。しかしこれは開かれた世界の絶対的真実へと昇格したのではなく、ただこの閉じられた世界の中でのみ事実として機能する主張だ。

二つ目の動作は演算だ。投影が終わって世界が閉じれば、法文を公理として判決が決定論的に計算される。最初は作家の動作（世界を宣言する）であり、二つ目は数学者の動作（定理を演繹する）だ。裁判官が独特な存在であるのは、この二つを一人が続けて行うからだ。

この観点は虚空から出た思弁ではない。証拠法は古くから形式的真実（formal legal truth）と実体的真実（substantive truth）を区別してきた。裁判が狙う理想は実体的真実だが、証拠規則と立証責任と時間の限界がその到達を阻み、「実際に起きたこと」と「法的に確定したこと」が分かれる（Summers, Formal Legal Truth and Substantive Truth in Judicial Fact-Finding, Cornell Law）。哲学者ジョン・サール（John Searle）はこの変換の文法を明らかにした — 制度的事実は常に「Xが文脈CでYとみなされる（X counts as Y in context C）」という形式を持ち、そのみなしを発動させるのは観測ではなく宣言だ（Searle, Constitutive Rules, Argumenta; Social Ontology, SEP）。社会学者ニクラス・ルーマン（Niklas Luhmann）は法体系全体をこの原理で説明した — 法は認知的に開かれ規範的に閉じており、ただ合法／違法という二項コードでのみ処理する（Critical Legal Thinking, Niklas Luhmann: What is Autopoiesis?）。私が投影と演算に分けた二つの動作が、ルーマンにとっては認知的開放と規範的閉鎖だった。

誤審が宣言と発見を分ける

閉じられた世界の中で判決は真実だ。しかしその世界が実在と一致するかは依然として主張だ。

裁判官が「有罪」と言えば、法的世界の中で彼は有罪だ。数学的に。真犯人でないかもしれないことと無関係に。誤審という概念が成り立つ理由がまさにこれだ — 法的真実（閉じられた世界の判決）と物理的主張（実際に何が起きたか）が互いに異なる層位であるため、二つが食い違いうる（Miscarriage of justice, Wikipedia）。もし判決が物理的真実であるなら誤審は論理的に不可能だろう。しかし私たちは誤審を語ることができる。その言葉が成り立つという事実そのものが、宣言された真実が発見された真実ではないことを証明する。

いまLLMは事件記録のない裁判官だ

LLM は閉じた数学で作られている。行列を掛け、確率を計算し、定まったアルゴリズムで次のトークンを選ぶ。その内部演算は数学的に閉じている。しかしLLMが扱う入力は開かれた世界から来る。質問は文脈が不完全で、学習された知識は出典と時点が入り混じっており、検索結果とユーザーの主張は互いに衝突する。モデルはそのうち何を事実として採用したかを残さないまま（Measuring Attribution in NLG, arXiv:2112.12870）、開かれた世界をパラメータの中で一時的に閉じて答えを計算する。

現在のLLMは、事件記録も証拠採用手続きもない裁判官のようなものだ。どの主張を採用しどの主張を棄却したか、どの時点の世界を扱うのか、何が変われば事件を再び開かねばならないのか — これらが残らない。ところが答えは判決文のように断定的に出る（Survey of Hallucination in Natural Language Generation, arXiv:2202.03629）。モデルの数学が間違っていなくても誤審は発生する。開かれた世界を閉じる投影が暗黙的で、再現されず、誰もその境界に責任を負わないからだ。より大きなモデルとより多くのパラメータはこの問題を緩和することはできても消せない（Hallucination is Inevitable, arXiv:2401.11817; Why Language Models Hallucinate, arXiv:2509.04664）。開かれた世界全体をパラメータの中に完全に閉じることは不可能だ。

計算可能な世界をまず宣言せよ

LLM に必要なのは、より完璧な記憶だけではなく、法治主義のような明示的な閉鎖手続きだ（The Rule of Law, SEP）。

まず開かれた世界から入ってきたすべてを主張（Claim）として受け取る — 誰が、いつ、何を根拠に、どの範囲で、どれほど信頼して主張したのか。次に特定の質問のために世界を閉じる — どの主張を採用し、棄却し、保留するかを定め、計算可能な認定事実へと投影する。この認定事実は絶対的真実へと昇格されない。特定の閉じられた世界の中でのみ事実として機能する主張だ。その上で判決を演算し、新しい証拠が来れば事件を再び開けるようでなければならない。

これが GEUL のやるべきことだ。GEUL は開かれた世界の主張を失わずに保存する。その上でトゥールミン論証エンジンが、採用された根拠と反駁の閉じたグラフを入力として受け取り、判決を決定論的に演算する（Argumentation framework, Wikipedia）。エンジンは真実を判定しない。裁判官が数学者であるのとまったく同じように、エンジンも数学者だ。判断者ではなく実行者だ。目標はLLMを無誤謬にすることではなく、誤審を構造化し、投影の誤りと演算の誤りを分離し、誰が何を認定したかを明らかにし、新しい証拠の前で控訴できるようにすることだ。

宣言には責任が伴わねばならない

しかし宣言が安くなれば世界が汚染される。誰もが何でも宣言できるなら真実はインフレーションを起こす — いまインターネットが、AIが吐き出す文がそうだ。だから必要なのは真実ではなく責任だ。

宣言には権威が必要であり、権威には責任が伴わねばならない（Moral Responsibility, SEP）。裁判官でない人が「有罪」と叫んでも何の世界も閉じないように、宣言は真／偽の対象ではなく有効性の対象だ。そして責任は結局お金で負う — 測定可能で、移転可能で、過失の分だけ分けられる唯一の手段だからだ（Legal liability, Wikipedia）。そのためにはまず宣言が識別されねばならない。誰が、どんな権限で、何から、それを宣言したのか。これが GEUL がすべての主張に出典と時点と信頼度を強制的に同封させる理由だ。責任を問うには、まず宣言を貨幣化可能な単位へと切り分けねばならない。

真実は発見されない。しかし真実は宣言できる。そしてそれで十分だ。光はいつも遅れて到着する。宇宙で最も速いにもかかわらず。

関連記事

出典

物理 — 観測と光

  • Speed of light (Wikipedia) — 光の速さは情報・物質の有限な上限であり、すべての観測者に同一だ。地球で見る星の光ははるかな過去のものだ
  • Lookback time / Cosmic time (Wikipedia) — 光の移動時間のため、遠い対象ほどより過去の姿として観測される
  • Meter (NIST) — 1983年の再定義により光の速さが毎秒299,792,458mに固定された
  • Visual phototransduction (Wikipedia) — 網膜は光を受動的に伝達せず、生化学的連鎖で変換する
  • Unconscious inference (Wikipedia) — ヘルムホルツ（Helmholtz）の無意識的推論：知覚は直接接触ではなく、感覚入力の原因を推定する統計的推論だ

真実 · 宣言 · 閉じられた世界

  • Speech Acts (Stanford Encyclopedia of Philosophy) — オースティンの遂行文／記述文の区別：ある発話はそう言うことによって事実を作る
  • Performative utterance (Wikipedia) — 遂行文は実在を描写するのではなく社会的実在を変える。真／偽ではなく成功／失敗の対象
  • Fiction — Truth in Fiction (Stanford Encyclopedia of Philosophy) — 小説の中の真実は作家が規定するという作家中心の理論
  • Formalism in the Philosophy of Mathematics (Stanford Encyclopedia of Philosophy) — 数学的な真は体系の規則の中で証明可能であることであり、物理実在との対応ではない
  • Axiomatic system (Wikipedia) — 公理から定理を演繹する構造

法 — 投影 · 演算 · 責任

  • Formal Legal Truth and Substantive Truth in Judicial Fact-Finding (Robert S. Summers, Cornell Law) — 裁判が狙う実体的真実と、証拠法・立証責任・時間制約が作る形式的な法的真実の食い違い
  • Constitutive Rules (John R. Searle, Argumenta) — 制度的事実の形式「X counts as Y in context C」と、宣言が実在を創造する力
  • Social Ontology (Stanford Encyclopedia of Philosophy) — 制度的事実・地位機能が集団的承認と宣言言語行為によって課される
  • How the Facts Enter Into the Law (Springer) — 法は規範的秩序であるため「実在の事実」を「法的事実状態」へと変換してのみ処理できるという観点
  • Niklas Luhmann (Wikipedia) — 社会体系は作動上閉じていながら環境に情報的に開かれている（規範的閉鎖、認知的開放）
  • Miscarriage of justice (Wikipedia) — 誤判は法的判決と事実的無罪が分かれることを示す
  • The Rule of Law (Stanford Encyclopedia of Philosophy) — 事前に宣言された一般規則を個人の裁量ではなく非人格的に適用して予測可能性を作る
  • Moral Responsibility (Stanford Encyclopedia of Philosophy) — 責任の応答可能性・制裁可能性の系統
  • Legal liability (Wikipedia) — 法的責任は契約・不法行為・租税・罰金にわたる、強制・支払い可能な義務だ

LLM — 認識論と幻覚

変更履歴

  • 2026-07-23: 初版