Arrow-Type Impossibility for Genuinely Modal Judgments

複雑なトピックについて、単一の統一された決定を下そうとする友人のグループを想像してください。通常、私たちはこれらのトピックを単純な事実として捉えます。「雨が降っている」「会議は午後 2 時だ」「アリスはニューヨークにいる」といった具合です。もし全員が事実について合意すれば、グループも合意します。しかし、もし事実が厄介なものであったらどうでしょうか？もしグループが、「雨が降っているに違いない」「雨が降っているかもしれない」「雨が降っているはずがない」といったことを決定しようとしているとしたらどうでしょう？

この論文は、非常に具体的な問いを投げかけています：もし私たちがグループに対して、これらの「かもしれない/に違いない/はずがない」（モダリティ）命題のみについて投票することを強制した場合、一貫したグループ決定を下す唯一の方法が、一人の人間をボス（独裁者）に任せることになってしまう状況に陥るのでしょうか？

論理学と投票の分野では、これは「アロー型の不可能性」として知られています。これは、「いかに公平な投票規則であっても、状況の論理が独裁を強制する」ということを言い換えた、少し仰々しい表現です。

以下に、著者たちが発見した内容を、日常的なアナロジーを用いて簡潔に解説します。

1. 古い問題：「教義のパラドックス」

新しい発見を理解するには、古い問題を知る必要があります。裁判のケースを想像してください。

• 事実 A: 被告は契約を破棄した。
• 事実 B: 被告は過失があった。
• 結論: 被告は責任がある（A と B の両方が真でなければならないため）。

3 人の裁判官が投票するとします：

• 裁判官 1：A に賛成、B に賛成、責任に賛成。
• 裁判官 2：A に賛成、B に反対、責任に反対。
• 裁判官 3：A に反対、B に賛成、責任に反対。

もし各事実について個別に投票すれば、過半数は A に「賛成」、B に「賛成」となります。したがって、論理的にはグループも「責任」に「賛成」とすべきです。しかし、もし「責任」について直接投票すれば、過半数は「反対」となります。その結果、グループは矛盾した混乱に陥ります。

この論文の著者たちは、次のことを知りたがっていました：もし単純な事実（A と B）を取り除き、「に違いない/かもしれない」バージョンのみについて投票した場合でも、この混乱は起こるのでしょうか？

2. 新しい発見：「モダリティの罠」

著者たちは言います：はい、罠は依然として存在します。

彼らは、グループが「X であることは必要である」や「Y であることは可能である」といった命題のみについて投票することを許されるシナリオを構築しました。彼らはすべての単純な事実を取り除きました。規則をより抽象的で「曖昧」なもの（可能性と必然性を用いる）にすることで、論理的なつながりが緩み、合意しやすくなるかもしれないと考えたかもしれません。

驚き： 著者たちは、「可能性」と「必然性」の構造そのものが、独自の隠れた罠を生み出すことを発見しました。単純な事実がなくても、「かもしれない」と「に違いない」の間の論理的なつながりは非常に緊密であり、一人の人間が答えを決定しない限り、グループを矛盾に追い込むのです。

3. アナロジー：「円形のダンスフロア」

これを証明するために、著者たちは番号付きのスポット（0, 1, 2, ...）がある円形のダンスフロアのような数学的モデルを使用しました。

• ルール： あなたがスポットに立っていると想像してください。あなたは、あなたから一定数のステップ離れたスポットのみを「見る」（アクセスする）ことができます。
• 投票： グループは、自分たちのスポットから何が見えるかに基づいて、ある命題が真かどうかを決定しなければなりません。
• 「シフト」： 著者たちはマジックのようなトリックを発見しました。ダンスフロアが完全に対称的であるため、特定のステップ数だけ位置をずらすと、「かもしれない」と「に違いない」の複雑な連鎖が、新しいスポットに関する単純な命題へと収束するのです。

比喩：
テーブルを重なり合う毛布（「モダリティ命題」）で覆おうとしていると想像してください。

• 通常の部屋では、毛布を衝突させずに配置できるかもしれないと考えます。
• しかし、この特定の円形のダンスフロアでは、著者たちは毛布が、特定の避けられないパターンで必ず重なるように形作られていることを示しました。
• 矛盾を避けるように配置しようとすると、毛布がテーブル全体を覆い、公平な妥協の余地がなくなることに気づきます。混沌を止める唯一の方法は、一人の人間が「毛布の配置は私が決める」と言うことです。

4. なぜこれが重要なのか（論文によると）

この論文は、主に 2 つの点を提起しています：

1. 罠は避けられない： 単純な事実から複雑な「モダリティ」判断へ切り替えるだけで、「独裁者問題」から逃れることはできません。論理そのものの幾何学が対立を生み出します。人々が投票が下手だからではなく、ゲームの規則（可能性の論理）が独裁を強制するのです。
2. 朗報（効率性）： 彼らは、すべての命題を個別に投票しようとする場合、独裁は避けられないことを証明しましたが、同時に、すべての点で独立しようとしない場合、プロセスを効率的にする方法も見出しました。

彼らは、「モダリティ」命題が、毛布でテーブルを覆うような単純な数学問題に還元できるため、コンピュータが特定のステップバイステップの投票方法を用いれば、公平で独裁的ではない結果を素早く計算できることを示しました。それは、パズルのすべてのピースを同時に推測して解くことはできなくても、特定のパターンに従えば非常に素早く解けることに気づいたようなものです。

まとめ

• 問い： 「に違いない/かもしれない」命題のみについて投票した場合でも、独裁を強制する論理的矛盾に陥るのでしょうか？
• 答え： はいです。「可能性」と「必然性」の構造は、単純な事実と同じ行き詰まりに至る、独自の硬直的な論理的連鎖を生み出します。
• 手法： 彼らは、これらの論理的連鎖がどのように接続するかを示すために、円形で対称的なモデル（ダンスフロアのようなもの）を使用しました。
• 結果： 純粋な「たぶん」と「に違いない」の世界であっても、論理は非常に緊密であるため、一人が指揮をとらない限りグループは合意できません。ただし、彼らはまた、グループが特定の非独立な投票手順に従うことをいとわない場合、グループ決定に到達するための高速でコンピュータに優しい方法も見出しました。