🔢 mathematics

Classification and deontic explosion for contrary-to-duty obligations

この論文は、Carmo と Jones の条件付き義務に関する論理体系について、最新のシステムにおける限定的な道徳的爆発（deontic explosion）の存在を示す否定的な結果と、1997 年の最強のシステムに対する単一の禁止された可能世界によるモデルの驚くべき分類という肯定的な結果を提示しています。

原著者： Bjørn Kjos-Hanssen

公開日 2026-04-21

📖 1 分で読めます🧠 じっくり読む

CC BY 4.0

原著者： Bjørn Kjos-Hanssen

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

この論文は、**「道徳的なルール（義務）を数学的に厳密に定義しようとしたとき、予想もしない奇妙な矛盾が生まれてしまう」**という話です。

著者のビョルン・ジョス＝ハンセン氏は、コンピュータのプログラムのように「もし～なら、～すべきだ」というルールを数学の公理（基本法則）として組み立て、それがどう動くかを検証しました。

以下に、専門用語を排し、身近な例え話を使って解説します。

1. 舞台設定：「理想のルール」と「現実の矛盾」

まず、この研究が扱っているのは**「対立する義務（Contrary-to-Duty）」**という問題です。
これは、以下のようなジレンマを指します。

理想： 「あなたは隣人にお金を貸すべきだ（義務 A）。」
現実： 「でも、もしあなたが隣人にお金を貸さなかったら、せめて謝罪の電話をすべきだ（義務 B）。」
さらに現実： 「実際には、あなたは隣人にお金を貸さなかったし、電話もしなかった。」

「どうすれば正しいのか？」を数学的に解こうとしたのが、カモとジョーンズという研究者たちが提案した**「CJ システム」**というルールセットです。彼らは 1997 年から 2022 年にかけて、このルールを何度も改良してきました。

2. 発見された「爆発的な矛盾」：C 評価の強制

著者は、この最新のルールセット（2022 年版）を使って、ある**「奇妙な爆発（Deontic Explosion）」**を見つけました。

【例え話：学生と試験の成績】
学生ジェームズが試験を受けるとします。成績は A（最高）から F（最悪）まであります。

前提 1： 「もし A か B なら、A になるべきだ。」（最高を目指すべき）
前提 2： 「もし C か D なら、C になるべきだ。」（最低でも合格ラインは守るべき）

ここまでは常識的です。しかし、CJ のルールを数学的に適用すると、以下のような**「バグ」**が起きます。

「A か C になるべきだ」という結論が導き出されます。
さらに、**「もし A が取れなかった場合（つまり B, C, D の世界）」**に話を絞ると、ルールが暴走します。
結論： 「A が取れなかったなら、C になるべきだ」。

何が問題か？
「A が取れなかった（B や D かもしれない）」という状況で、なぜ**「C（ただの合格点）」が義務化されてしまうのでしょうか？
本来、「A が取れなかったら、B でも D でも、できる限りの努力をするべき」と考えるのが自然ですが、この数学モデルでは「A がダメなら、C 以外は何も許されない」**という極端な結論になってしまいます。

【比喩：恋愛の悲劇】
これを恋愛に例えると、以下のようになります。

A：大好きなアリスと結婚する。
B：アリスの妹のビートリスと結婚する（まあまあ好き）。
C：独身でいる。
D：嫌いなディアードレと結婚する。

「アリスと結婚できないなら、ビートリスと結婚するべきだ」というのが普通です。
しかし、このモデルのルールでは**「アリスと結婚できないなら、ビートリスでもダメ。独身（C）になるべきだ」という、「君がいなければ、誰もいらない」**という悲劇的な結論（ビー・ジーズの歌『If I Can't Have You』）に達してしまいます。

これが**「道徳的爆発」**です。少しの欠陥が、システム全体を破綻させ、不合理な結論を導いてしまいます。

3. 悲観から希望へ：数学的な美しさ

この矛盾（バグ）を見つけると、「道徳を数学で定義するのは無理だ」と絶望したくなるかもしれません。実際、他の研究者も「これは不可能だ」と言っています。

しかし、著者は**「この矛盾があるからこそ、面白い数学的な構造が見えてきた」**と反論します。

【比喩：迷路の出口】
このルールセット（CJ97 年版の最強バージョン）を完全に分析すると、「モデル（世界のあり方）」はたった 3 種類しか存在しないことがわかりました。

何もしない世界： 義務が何もない。
何でも許される世界： 何もしなくてもいい。
「禁断の果実」がある世界：
- この世界には**「たった 1 つの『悪い世界（禁止された世界）』」**が存在します。
- 義務とは、**「その 1 つの悪い世界を避けること」**だけなのです。

【例え話：避けるべき「黒い箱」】
このモデルでは、複雑な「A なら B、C なら D」というルールは不要です。
「『黒い箱（最悪の状況）』だけは絶対に中に入らないで！」というたった一つのルールがあれば、すべての義務が説明できてしまうのです。
「A が取れなかったら C になるべき」という奇妙な結論も、実は「A という最善を逃したら、C という『黒い箱（最悪）』に落ちるのを防ぐための防衛反応」として数学的に説明できてしまいます。

4. この論文の結論

この研究は、2 つの重要なメッセージを持っています。

警告（ネガティブな結果）：
現在の「CJ システム」には欠陥があり、少しの条件変化で**「理不尽な義務が強制される」**というバグ（爆発）が起きます。これは、AI や法律のシステムを作る際に注意すべき点です。
発見（ポジティブな結果）：
しかし、そのシステムを徹底的に調べると、**「道徳的な義務の構造は、実は『1 つの悪い世界を避ける』という単純な形に分類できる」**という、驚くほど美しい数学的な真理が見つかりました。

まとめ

この論文は、**「道徳を数式で表そうとすると、バグが出て大変だ（爆発する）けど、そのバグを解き明かすと、実は道徳の核心は『最悪の事態を避ける』というシンプルな形に収束している」**という、矛盾と美しさが共存する物語です。

著者は、この発見を証明するために、コンピュータ（Lean というツール）を使って数学的に厳密にチェックしており、**「直感では気づけない、数学の深淵にある真理」**を私たちに示してくれました。

論文概要：相反義務（Contrary-to-Duty）における道徳的爆発とモデルの分類

著者: Bjørn Kjos-Hanssen
対象: Carmo と Jones が 1997 年から 2022 年にかけて提案した、条件付き義務（conditional obligation）の公理系。

1. 問題設定 (Problem)

道徳的論理（Deontic Logic）における古典的な課題である「相反義務（Contrary-to-Duty: CTD）」のパラドックスを扱う。CTD とは、「本来の義務（A）が履行されなかった場合、その代わりに履行すべき別の義務（B）が生じる」という構造（例：「隣人を訪ねるべき。もし訪ねるなら、来ることを知らせるべき。しかし、実際には訪ねない」）を指す。

Carmo と Jones は、この問題を解決するために、可能な世界（possible worlds）の集合 $W$ と、文脈 $Y$ における義務集合 $X$ の関係を定義する関数 $ob$ に対して、一連の公理（5(a)〜5(g)）を提案してきた。
本研究の目的は、彼らの最新のシステム（2022 年提案）に潜む論理的な欠陥（「道徳的爆発」）を明らかにし、同時に、より強力な初期のシステム（1997 年版）の数学的構造を完全に分類することである。

2. 手法 (Methodology)

公理系の分析: Carmo と Jones が提案した公理（5(a)〜5(g)）の組み合わせを論理的に検証する。
反例の構築（道徳的爆発の証明）: 特定の公理（5(b), 5(e), 5(f)）のみを用いて、直観に反する結論（パラドックス）が導き出されることを示す。具体的には、学生試験の成績（A, B, C, D, F）や結婚の選択肢などのシナリオを用いた思考実験を行う。
モデルの分類定理: 1997 年のシステム（公理 5(a)〜5(e) の強力版）を満たすすべてのモデルを数学的に分類する。
最小モデルの特定: 特定の「義務（Ought）」の仮定の下で、公理を満たす最小のモデル（least model）を構成し、その性質を記述する。
形式検証: 全ての数学的主張は証明支援系 Lean によって検証され、一部は Maple による計算機数学システムを用いて発見された。

3. 主要な貢献と結果 (Key Contributions & Results)

A. 道徳的爆発（Deontic Explosion）の発見

Carmo と Jones の最新のシステム（特に公理 5(b), 5(e), 5(f) の組み合わせ）には、**「弱い形式の道徳的爆発」**が存在することが示された。

シナリオ: 学生 James が試験を受け、成績が A（最良）または B の場合、A であるべきである。成績が C または D の場合、C であるべきである。
導出されるパラドックス:
1. 公理 5(b) により、「C または D の場合、A または C であるべき」という結論が導かれる。
2. 公理 5(f) により、「A, B, C, D のいずれの場合も、A または C であるべき」となる。
3. ここで公理 5(e)（部分文脈における義務の保持）を適用すると、「A が不可能な場合（つまり B, C, D の文脈）」でも、「A または C であるべき」という義務が維持される。
4. さらに公理 5(b) を適用すると、「B, C, D の文脈において、C であるべき」と結論付けられる。
意味: 最良の結果（A）が得られないことが確定した場合、2 番目に良い結果（B）ではなく、3 番目（C）が「義務」として強制されてしまう。これは「A が取れないなら、C でさえも義務になる」という直観に反する「道徳的爆発」であり、システムが現実の道徳的推論を適切に捉えきれていないことを示している。

B. モデルの完全な分類（Classification Theorem）

一方、Carmo と Jones の 1997 年提案のシステム（公理 5(a), 5(b), 5(c)（強力版）, 5(d), 5(e)）については、そのモデルが驚くほど単純に分類可能であることが示された（定理 6）。
有限な可能世界の集合 $W$ に対して、この公理系を満たす関数 $ob$ は、以下の 3 つのケースのいずれかに帰着される：

空集合: 全ての文脈で義務は存在しない（ $ob(X) = \emptyset$ ）。
包含関係: 全ての文脈で、その文脈を含む集合が義務となる（ $ob(X) = \{Y \mid \emptyset \neq X \subseteq Y\}$ ）。
単一の「禁止された世界」: 1 つの特別な世界 $a$ $a$ （禁止世界）が存在し、義務は「 $a$ $a$ を含まない世界」または「 $a$ $a$ を含むが、 $a$ $a$ 以外の世界をすべて含む集合」として定義される。
- 直感的には、「唯一の義務は、この特定の『悪い世界』を避けることである」という構造に限定される。

C. 最小モデルの構成

特定の CTD 義務（例：「A であるべき、かつ A でないなら B であるべき」）を満たす最小モデルについて、以下の 2 つの構造（canon2 と canon2,II）が特定された。これらは、異なるアプローチ（文脈の制限や集合の交差の扱い）による CTD 義務の解決策に対応している。

D. 公理の独立性

公理 5(a)〜5(e) は、互いに独立していることが証明された（定理 7）。つまり、どの 4 つの公理から残りの 1 つを導くこともできない。

4. 意義 (Significance)

論理的限界の明示: Carmo と Jones のシステムが、CTD 義務を扱う際に「道徳的爆発」という重大な欠陥を抱えていることを示し、道徳的論理の構築における難しさを再確認させた。Hage が指摘した「理想論」と「現実の行動論」の両立の困難さを、具体的な公理的矛盾として裏付けた。
数学的構造の解明: 道徳的直感に基づいて構築された公理系が、数学的には極めて単純な構造（単一の禁止世界による分類）に収束することを示した。これは、道徳的論理の公理系が持つ数学的豊かさと、同時にその限界（多様な道徳的シナリオを網羅できない可能性）を浮き彫りにした。
今後の研究への指針: 強力な公理 5(c) を弱体化した場合など、部分システムの分類や、より現実的な道徳的推論に適したシステムの構築が今後の課題として提示された。

結論

本論文は、Carmo と Jones の道徳的論理システムに対して、**「特定の公理の組み合わせが直観に反する爆発的結論を招く（否定的結果）」ことと、「強力な公理系の下ではモデルが『単一の禁止世界』による構造に完全に分類される（肯定的結果）」**ことを同時に示した。これは、道徳的論理の形式化における理論的限界と数学的構造の両面からの重要な洞察を提供するものである。