不確実性非現実蓋然的幾何学における敷衍の誤謬
| 英語名称 | Uncertain-Irreal Probabilistic Geometry (UIPG) & its Erroneous Extension |
|---|---|
| 対象領域 | 蓋然性を付与した幾何的対象と、そこへの命題敷衍 |
| 上位学問 | 不確実性数理体系学（仮称） |
| 主な下位分野 | 非現実曲面敷衍論／蓋然幾何検算法／観測矛盾生成学 |
| 創始者 | 渡辺 精導郎（わたなべ せいどうろう） |
| 成立時期 | （学会設立の翌年とされる） |
| 関連学問 | 確率位相学、証明管理工学、観測言語学 |
不確実性非現実蓋然的幾何学における敷衍の誤謬（ふかくじつせいひげんじつがいぜんてききかがくにおけるふえんのごびゅう、英: On the Erroneous Extension in Uncertain-Irreal Probabilistic Geometry）は、不確実性を含む「非現実的」な幾何対象へ命題を拡張する際に生じる体系的な誤りであり、の中核概念とされる[1]。特に、証明の“敷衍”（広げること）が蓋然性の扱いをすり替える点が特徴とされる[2]。
語源[編集]
本概念名は、長大な命名であるにもかかわらず、当時の講義録では略して「敷衍誤謬」と呼ばれたとされる。まず「不確実性」は、幾何対象が観測されるたびに“わずかに歪む”前提を指す語として定着した[3]。
次に「非現実蓋然的幾何学」は、現実そのものではないが、確率論的に“それらしく観測される形”を扱う幾何として説明されることが多い。最後の「敷衍」は、局所的に成立した命題を、より広い空間へ無理に押し広げる行為を意味すると定義された[4]。なお、この命名は語呂を優先したとする編集者の証言があり、当該証言はの校訂版序文に残っている。
定義[編集]
敷衍誤謬とは、「非現実」な幾何対象に対して、局所的証明の蓋然性評価を保持したまま命題を延長（敷衍）することであるが、実際には蓋然性の“意味”が途中ですり替わることにより誤りが成立する現象とされる[5]。
広義には、確率変数を含む幾何命題が、座標変換や観測条件の変更のたびに“同じ確率”として扱われてしまう過失を指す。狭義には、敷衍の際に暗黙の条件（測度、観測窓、整合化手続）が省略されることで、結果として「成立確率が高い」から「真である」と誤推論される型を示すと定義した書誌もある[6]。
また、渡辺精導郎はこれを「確率の値ではなく確率の役割（何を“数える”か）が移植されない」誤謬であると述べ、さらに“非現実曲面”の例として、半径が1.7mごとに微修正される架空の像面を使ったと記されている[7]。この実験設定は、後年の追試で再現不能とされたが、講義の分かりやすさとしては高く評価された。
歴史[編集]
古代（前史とされる）[編集]
古代の起源としては、に記されたとされる「霧格子幾例抄」（きりこうしきれいしょう）がしばしば引用される。そこでは“見える格子”の間隔が毎夜変化するという記述があり、変化を確率として扱う前触れがあったと解釈された[8]。
一方で、真偽不明の系譜では、の写字生が「観測窓の更新」を行わずに図形を延長し、翌朝には“同じ図”に見えない現象を「神の角度調整」として記録したという逸話もある。もっとも、その記録は後世の模写本であり、数式らしきものが子細に挿入されているため、疑義が提出された[9]。
近代（学問化の段階）[編集]
近代の転機は、にの小規模勉強会が開催されたことに求められる。会の名称は「蓋然的幾何敷衍研究会」で、会場はの小館（当時の住所表示は現存しない）であったと伝えられている[10]。
この時期、渡辺精導郎（後に“敷衍誤謬の父”と呼ばれる）は、確率を含む命題の延長に関して「敷衍係数」を導入した。敷衍係数は“観測窓の更新率”を分数で表すもので、最初期の記録では更新率が毎分と報告され、説明のために“37は神聖な素数”として扱われた[11]。ただし、当時の時計の誤差を鑑みると、数字の由来は儀式的だったと指摘する研究者もいる。
また、近代にはの通信路経由で欧州側の研究者と連携が生まれ、「測度移植の検算」が作法として定文化された。渡辺は手紙の中で「条件は持っていくのではない、条件は結び目にして縛る」と比喩したとされるが、比喩の原文は失われており、要約だけが残っている[12]。
現代（応用と社会実装）[編集]
現代では、敷衍誤謬は数学的な議論に留まらず、社会の“説明の広がり”にも転用されるようになった。たとえばのでは、港の危険度表示が更新されるたびに「過去の説明」を敷衍して再利用しており、その際に誤謬が誘発されたとされる[13]。
具体的には、危険度スコアを「昨日の観測条件での蓋然性」として定義したにもかかわらず、表示担当が「今日も同じ条件だ」とみなして拡張したため、ある月の記録で警戒レベルが飛び上がったと報告された。公式報告書では原因を“計算ミス”として処理したが、内部メモでは「敷衍係数の置換漏れ」と記されていたという[14]。
なお、現代の教材では、敷衍誤謬を見抜くための“目視チェック”（図の陰影が同じ確率であると主張していないかを見る手順）が広く普及した。もっとも、この目視チェックが効くのは図形が3色以上に塗られている場合に限る、と主張する極端な学習法も存在する。
分野[編集]
不確実性非現実蓋然的幾何学における敷衍の誤謬は、広義には全体に内包される“誤りの型”として扱われる。狭義には、敷衍に関わる操作（延長、移植、対称化）のみを対象とし、誤謬の発生条件を分類する分野とされる[15]。
基礎研究では、敷衍操作を形式化し、確率の役割（何を数えるか）と確率の値（いくつ出るか）を分離して扱うことが主眼に置かれる。さらに、基礎は「条件保持型」と「条件省略型」に大別され、後者では測度と観測窓が欠落することで誤謬が増幅されるとされる[16]。
応用研究では、検算を自動化するための手続きが整備された。たとえば“整合化手続”は、延長前にごとの整合度を採点し、合格点を以上とするルールが提案されたとされるが、その点数の根拠は「直感的に高そうだったから」と書かれている[17]。
方法論[編集]
敷衍誤謬の検出には、まず「観測窓固定」「測度搬送」「延長許容量」という三段階の手続が置かれる。観測窓固定とは、延長対象に対して観測条件が変化していないことを明示する作業である。測度搬送は、確率変数の背後にある“数える仕組み”を、同型として移しているかを検算することと定義された[18]。
延長許容量は、命題の射程を拡げる際の上限を与える概念で、渡辺精導郎は「許容量は曲面の“息づき”で測れる」と述べ、曲面の呼吸周期をと設定した講義記録が残っている[19]。もっとも、後の改訂版ではに訂正されており、訂正理由は“息づきの回数を数えたら合わなかった”とだけ書かれている。
さらに実務では、「陰影一致テスト」「三角分割整合」「敷衍係数残差」の組合せが用いられる。特に残差は、敷衍係数の推定値と観測ログからの推定値の差として定義され、残差が以内であれば“条件が移植された可能性が高い”と扱われる[20]。ただし、この閾値は学会ごとに変動し、時には大会主催者の席札の色に合わせて決められたという逸話がある。
学際[編集]
本領域は、幾何学だけでなく、計算機科学、言語学、さらには行政実務の文書設計とも結び付くとされる。言語学との関係では、敷衍誤謬が“文の拡張”として現れることが指摘され、同じ文言が前提を変えたまま流用されると誤謬が起きる、と説明された[21]。
計算機科学との関係では、証明管理工学が合流し、延長の際に参照条件を自動で束ねる仕組みが検討された。たとえばの研究室では「前提札システム」が導入され、敷衍操作のたびに前提をタグとして添付することで誤謬を減らす設計が提案されたとされる[22]。
行政との結び付きでは、の都市交通局が、工事リスク説明を過去資料から敷衍したことが原因でクレームが増えたという報告が引用されることがある。報告書には“幾何ではなく行政文書で起きた誤謬”と明記されていたが、実際には文書にも図形が多用されていたため、学問境界が溶けた事例として扱われた[23]。
批判と論争[編集]
批判としては、概念が形而上学的であるために検証可能性が薄いという指摘が繰り返された。とくに「非現実蓋然的幾何学」という語が、実在の対象から乖離しているとして、学会では用語の統一を巡る採決が行われたとされる[24]。
また、敷衍誤謬が“説明の事故”に過ぎないのではないか、という反論もあった。これに対し、擁護側は「説明の事故は数学的事故の別名である」とし、行政や教育で起きる誤解を、測度の不整合に相当すると説明した[25]。
さらに、最も有名な論争は“敷衍係数の素因数”問題である。ある研究者は、敷衍係数がの倍数のとき必ず誤謬が減ると主張したが、別の研究ではの倍数で誤謬が最大化したと報告された。ここで当該研究者は「偶然だ」と述べたのち、翌年には「偶然ではない」と訂正したため、議長が「どちらが偶然だ」と皮肉った記録が残る[26]。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精導郎『不確実性非現実蓋然的幾何学講義録』蒼藍書房, 1892.
- ^ E. L. Hartmann『Erroneous Extension and Its Probabilistic Semantics』Journal of Irreal Geometry, Vol. 12, No. 3, pp. 201-247, 1908.
- ^ 小田切寛治『測度移植の検算法』幾何実務協会出版部, 1921.
- ^ M. Takahashi『Observation Window Invariants in Probabilistic Spaces』Proceedings of the International Society for Uncertain Geometry, 第4巻第2号, pp. 55-89, 1934.
- ^ K. Watanabe『The Uncertain-Irreal Framework: A Survey』Annals of Extension Errors, Vol. 7, No. 1, pp. 1-38, 1956.
- ^ 李承澤『文の敷衍における前提損失モデル』言語確率学会誌, 第19巻第4号, pp. 301-322, 1978.
- ^ 田村みなと『陰影一致テストの統計的妥当性』数理教材研究, pp. 77-104, 1999.
- ^ S. R. Moreno『Conditions That Refuse to Travel: A Note on Measurement Lapses』Bulletin of Probabilistic Geometry, Vol. 23, Issue 9, pp. 1410-1422, 2006.
- ^ 山下和朗『行政文書と敷衍誤謬の一致点』横浜政策科学紀要, 第33巻第1号, pp. 9-44, 2012.
- ^ R. K. Sato『Non-Real Curvature: Breathing Period Estimation Experiments』International Journal of Geometric Semantics, Vol. 51, No. 2, pp. 500-521, 2020.
外部リンク
- 不確実性非現実蓋然的幾何学アーカイブ
- 敷衍係数計算機（ログ閲覧）
- 観測窓固定ガイドライン集
- 前提札システム・サンプル集
- 拡張誤謬フォーラム（年次討論）