コギト・ヴェリタスの定理
| 分野 | 認識論・形式論理学・意思決定理論 |
|---|---|
| 提唱 | 欧州の研究者グループ（後述） |
| 成立時期 | 19世紀末〜20世紀前半の研究史として語られる |
| 中心命題 | 「疑う行為」と「真理への整合性」を同一系で扱える |
| 関連概念 | 反証可能性、自己参照、検証コスト |
| 応用 | 公開審査手続、法廷推論、ナレッジマネジメント |
コギト・ヴェリタスの定理（英: Cogito Veritas Theorem）は、思考と真理の関係を定式化したとされる学術的な命題である。主にとの交差領域で参照され、情報倫理や意思決定手続にも波及したとされる[1]。
概要[編集]
コギト・ヴェリタスの定理は、「思考（コギト）」が一定の条件下で「真理（ヴェリタス）」に接続されることを示す、と説明される命題である[1]。そのため、単なる哲学的比喩ではなく、検証手続に落とし込める“計算可能な真理”として語られる場合が多い。
とくに、と呼ばれる概念が定理の周辺に据えられ、「真であること」と「真とみなすために必要な手続」が同時に管理されるようになった、とされる[2]。この管理の形式化は、のちにやへ流用されたという。
一方で、原典の書誌情報は断片的であり、初期の草稿が転売されたという噂もある。このため「定理がどのモデルを指すのか」は複数に分岐しており、同名の定理が少なくとも3系統存在したとする指摘もある[3]。ただし、それらはいずれも“本物らしい口調”で引用されるため、学会の議論でも判別が難しいとされている。
成立の背景[編集]
定理の成立は、19世紀末の「証明文化」の熱狂と結びつけて語られることが多い。具体的には、の学術サロンで、数学者と検察官が同じ机で議論する“合同審査会”が流行し、真理の採否が手続の速さで左右されることが問題化したという[4]。
この“速さ問題”に対して、当時の研究者は「思考する主体が、どこまでを自分の責任として引き受けられるか」を形式化しようとした。そこで鍵として持ち込まれたのが、思考過程そのものを観測可能な記号列に還元するという発想である[5]。これが、のちのコギト・ヴェリタスという二重ラベル（主体と真理）につながったとされる。
また、定理が社会制度と結びついたのは、1908年に欧州で導入が検討された「市民公開記録（市民が疑義を提出できる仕組み）」と同時期だったためとも説明されている[6]。疑う権利が制度化される一方で、疑義が“無限に膨らむ”欠陥が指摘され、一定の打ち切り条件が求められた。その打ち切り条件が、結果的に定理の“整合性”の部分を増幅したとされる。
ただし、当時の記録は筆写が多く、日付の写し間違いがある。たとえばの会議記録がとして編纂されたことがあるとされ、これが定理の成立年を巡る混乱の原因になったとも推定される[7]。
誰が“コギト”を測定したのか[編集]
定理の草案に関わったとされる人物は、哲学者ではなく計算係のような専門家が中心だったと語られる。文書では、思考の“開始”と“停止”を示す印（スタンプ）が連続して記録され、そこから自己参照の構造が復元されたとされる[5]。この手法は後に研究の前段階として引用されるが、原典では測定手順がやけに細かく、A4換算で“紙幅19.7センチ”の統一が推奨されていたという[8]。
“ヴェリタス”は真理ではなく整合性だった[編集]
定理の「ヴェリタス」は、必ずしも古典的真理概念を意味しないと解釈されることがある。ある注釈では、ヴェリタスを“系が破綻しないという整合性”とし、矛盾が観測されるまでを真理の代理として扱う、と説明されている[2]。この立場は、制度設計の現場に都合がよかったため、法務部門で人気が出たともされる。
定理の内容と形式化[編集]
コギト・ヴェリタスの定理は、しばしば「疑いの操作が、一定の検証予算内で矛盾なく繰り返されるなら、その操作は真理の近傍に収束する」という趣旨で説明される[1]。ここでいう“近傍”は曖昧にされがちだが、定理の解説書では次のように数値化された例がある。
ある解説（第3改訂版）では、検証予算を「1操作につき最大41ステップ」と置き、最大誤差を「符号付き確信度で±0.12」とする近似が示されたとされる[9]。この値は数学的必然というより、印刷上の余白と監査手続の都合で決められた、と裏話めいて語られることがある。
さらに、定理は“自己参照の危険性”を伴うため、形式化では安全弁としてが組み込まれた、とされる[3]。具体的には、疑いが一定回数を超えた場合には、対象を別カテゴリ（保留・要再調査）へ移す規定が併記された。この併記が行政文書に転用されたことで、定理は一気に社会的存在感を得たとされる。
ただし、その形式化の写本には例外があり、ある地域の適用指針だけが“例外時の再計算回数を17回”と定めていたという記述が見つかっている[10]。17回という数は宗教的・象徴的に都合がよかったため、定理の解釈が地域ごとに揺れた原因になったと指摘されている。
図式化された三相モデル[編集]
定理は解釈の便宜上、三相モデルとして図式化されたとされる。すなわち、第1相で疑いを入力し、第2相で記号列へ変換し、第3相で整合性を出力するという分業が想定された[6]。この“分業”が、後にの業務設計へも波及した。
社会への影響[編集]
コギト・ヴェリタスの定理は、学術界の小さな話では終わらなかったとされる。特に、制度の導入時に「疑義提出の受理基準」を一種のアルゴリズムとして説明できたことが評価されたという[2]。
たとえば、の一部自治体では、住民からの問い合わせを“疑義”として受理し、その後の調査を打ち切る判断に定理の考え方を援用した、と記録が残る[11]。このときの打ち切り条件は、住民の誠実性ではなく、検証予算が尽きたことによって決められるように設計された。この制度設計が、行政の恣意性を抑えるとして歓迎された反面、住民側には“疑うほど冷たくなる”感覚が広がった。
また、法廷の場では、弁護士が相手の主張を「反証可能性が不足している」と攻撃する際に、定理の文言を引用する習慣が生まれた。そこでは、争点の真偽よりも「検証ステップの整備状況」が注目されるようになったとされる[3]。結果として、法廷文書は“真理”の叙述から“手続”の叙述へと重心が移った。
さらに、教育分野では、学習者の疑いを“悪”ではなく“燃料”として扱う教材が作られた。教材の付録には「疑いの回数が月あたり最大12回を超えた場合は、学習経路を変更する」という運用が書かれていたという[12]。ただし、この教材がどこまで正確に再現されたかは不明であり、版によって数字が入れ替わったとも指摘されている。
日本への伝播（推定）[編集]
定理がに本格的に紹介されたのは、戦間期の翻訳出版であると語られる。ある雑誌の編集後記では、定理の紹介記事が“夜間校正のために誤植があった”と記され、誤植のせいで「定理の成立条件」が逆向きに読めるようになったという[7]。それがかえって日本の制度改革の雰囲気と合ったため、誤読が流行した可能性があるとされる。
批判と論争[編集]
コギト・ヴェリタスの定理には、常に懐疑がつきまとった。批判は大きく二方向で、第一に「真理を整合性にすり替えている」という点、第二に「検証予算という会計的概念を epistemic（認識）へ持ち込むことの妥当性」に向けられた[2]。
また、定理の原典が“監査記録”の体裁で残っているため、どの部分が論理学的主張でどの部分が運用規則なのかが曖昧だとされる[1]。さらに、定理の引用研究では、根拠となる写本が同じラベルで別日付に付け直されていたことがある、と報告されている[10]。この“ラベル付けの揺れ”は、研究者同士の議論を堂々巡りにし、定理の評価を定量化できなくした。
一方で擁護派は、定理の価値は真偽の哲学ではなく、手続を透明化し、疑いの暴走を抑える点にあると主張した[6]。とくに、疑義提出が急増した時期において、検証予算の考え方が現実の混乱を鎮めたとする証言があるという。
ただし、実務の現場では“予算が尽きると真理が来ない”という皮肉も生まれた。ある裁判官のメモには「本件は41ステップで打ち切られたため、真理に到達しなかった」という趣旨が残されているとされる[9]。このメモの出所は不明とされ、真偽は争われた。
関連する人物と出来事（研究史のスケッチ）[編集]
定理に関わった人物像は伝聞が多いが、整理された系図が作られている場合もある。とくに、とが“同じ机で議論した”とされる逸話は定番である[5]。ただし資料によって、彼らの役割が「論理設計」と「監査設計」で入れ替わっているため、編集者の解釈が入った可能性が指摘される[3]。
また、1906年頃にで開かれた「十三夜の自己参照会議」が、定理の安全弁（打ち切り条件）を強化した転機とされる[6]。会議の席上では、自己参照の暴走を止めるために“呼気回数を測る”という奇妙な冗談が出たというが、同時に「誤差±0.12の許容が必要だ」との真面目な議論へ接続したと記録されている[9]。誤差の話が呼気とどう結びつくのかは不明とされる。
さらに、ある会計係が、定理の運用実験において“監査対象を1日あたり最大312件まで”と設定したところ、翌月に急激に減少した事例が伝わる[12]。減少理由は、住民が疑いを抑えたからとも、あるいは運用が嫌われたからとも説明されるが、いずれにせよ制度の反応が定理の信頼感を左右したとされる。
このような逸話が積み重なり、コギト・ヴェリタスの定理は「思考の理論」としてだけでなく、「社会がどう疑うか」という技術として語られるようになったとまとめられている[11]。
脚注[編集]
関連項目[編集]
脚注
- ^ Marta I. Schneider『The Cogito-Validity Interface: A Practical Reading』Springer, 1932.
- ^ Johann Großmann『監査記録における真理の代理』ウィーン大学出版局, 1909.
- ^ Clara Fischer『検証予算と整合性の公理』Journal of Procedural Epistemics, Vol. 12 No. 4, pp. 201-233, 1916.
- ^ Erik van der Meer『Systems of Doubt and Their Limits』Cambridge University Press, 1927.
- ^ 佐伯清三『疑いの会計学：手続に宿る真理』東京学術書院, 1938.
- ^ Ludwig Kessler『反証可能性の運用規則』Bulletin of Logico-Legal Methods, 第3巻第2号, pp. 55-88, 1941.
- ^ Helena Ortiz『Knowledge Management as Epistemic Budgeting』Oxford Academic Press, 1950.
- ^ Ruth B. Tanaka『行政における整合性モデルの誤読史』京都法制研究会叢書, 1962.
- ^ Albert J. McClure『The Fourteen-Step Theorem and Related Theories』Harvard Letters, Vol. 8 No. 1, pp. 9-40, 1897.
- ^ Hiroshi Murota『コギト・ヴェリタスの定量化：誤差±0.12の由来』神田計算論叢, 第1巻第1号, pp. 1-22, 1979.
外部リンク
- Cogito Veritas Archive
- Procedural Epistemics Society
- 検証予算研究所（Research Lab of Verification Budget）
- 公開審査制度資料館
- 自己参照図式ギャラリー