パラドックス

【世界のパラドックス】ワニのパラドックス ─ 子供を返すか返さないか、ワニのジレンマ

【世界のパラドックス】ワニのパラドックス ─ 子供を返すか返さないか、ワニのジレンマ

当サイトを閲覧いただきありがとうございます。 本記事は「ワニのパラドックス(クロコダイルのジレンマ)」について解説します。

ナイル川のほとりで、ワニが母親の子供を攫います。ワニは言います。「私がこの子をどうするか当てたら返してやろう」これに対して母親が「あなたは子供を返さない」と答えたとき、ワニはどちらの行動も取れなくなります

古代ギリシャの論理学者たちが考案したこのパラドックスは、2400年以上経った現在でも論理学の本質的な問題を突きつけています。

図解

ワニと母親のやりとり

ワニの約束を整理してみましょう。

「母親の予測が正しければ子供を返す。間違っていれば返さない」

母親は「ワニは子供を返さない」と予測しました。ここで2つのケースを考えます。

ケース1:ワニが子供を返す場合 母親の予測(返さない)は外れたことになります。約束によれば、予測が外れた場合は子供を返さないはずですが、今、返そうとしています。矛盾が生じます。

ケース2:ワニが子供を返さない場合 母親の予測(返さない)は当たったことになります。約束によれば、予測が当たった場合は子供を返すはずですが、今、返さないとしています。これも矛盾です。

どちらの行動を取っても約束に矛盾するため、ワニは身動きが取れなくなります。

母親の戦略が生む不可解さ

注目すべきは、母親が他の答えを選んでいれば何の問題も起きなかったことです。

たとえば母親が「あなたは子供を返す」と答えていたらどうなるでしょうか。ワニが返せば予測は正しく、約束通り返すので矛盾しません。ワニが返さなければ予測は外れ、約束通り返さないのでやはり矛盾しません。どちらの場合もワニは自由に行動を選べます。

パラドックスが発生するのは、母親が「返さない」と答えた場合だけです。この答えは、ワニの約束の構造的な弱点を正確に突いています。母親は(意図的にせよ偶然にせよ)約束のシステムを内側から破壊する回答を選んだのです。

嘘つきのパラドックスとの関係

ワニのパラドックスは、嘘つきのパラドックスと同じ構造を持っています。

嘘つきのパラドックスでは「この文は嘘である」という一文が真でも偽でも矛盾を生みます。ワニのパラドックスでも、母親の答えがワニの行動を参照し、ワニの行動が母親の答えの正誤を参照するという循環的な自己言及構造がパラドックスの核にあります。

【世界のパラドックス】嘘つきのパラドックス ─ 「この文は嘘である」は真か偽か?senkohome.com/paradox-liar/

しかし、ワニのパラドックスには嘘つきのパラドックスにない特徴があります。嘘つきのパラドックスは純粋に言語内の問題ですが、ワニのパラドックスは「約束」という行為が絡みます。約束には履行という現実世界の行動が伴い、論理的矛盾が実際の行動の不可能性として現れます。

古代からの歴史

このパラドックスは古代ギリシャにまで遡ります。紀元前4世紀頃にはすでに知られており、ストア派の哲学者クリュシッポスが論じた「解決不可能な問題」の一つとして記録されています。

古代ローマの修辞学者クインティリアヌスも著書『弁論術教程』の中でこのパラドックスに触れており、弁論術の教育において「論理的に答えられない問い」の代表例として使われていたことが伺えます。

中世ヨーロッパでは「解決不能命題(insolubilia)」の研究が盛んに行われ、ワニのパラドックスもその文脈で繰り返し議論されました。14世紀のオックスフォードの論理学者たちは、このような自己言及的な命題を体系的に分類し、後のラッセルの型理論やタルスキの真理の定義不可能性定理につながる基礎を築いたのだと思います。

現代論理学からの分析

現代の論理学では、ワニのパラドックスは「約束の条件設定自体に矛盾が内在している」と理解されています。

形式的に言えば、ワニの約束は一種の「双条件文(biconditional)」です。「予測が正しい ↔ 子供を返す」と表現できます。母親が「返さない」と予測した時点で、この双条件文は「返さない ↔ 返す」という矛盾した形に帰着します。

つまり、問題は母親の賢さにあるのではなく、ワニが設定した約束の構造そのものが、特定の回答に対して論理的に整合しないのだと思います。ワニは最初から履行不可能な約束をしていたと言えるのではないでしょうか。

これは法学的にも示唆的です。契約が内部矛盾を含む場合(ある条件下で同時に相反する義務が生じる場合)、その契約は無効とされることがあります。ワニの約束は、まさにそのような「論理的に履行不可能な契約」の古典的な事例だと言えます。

類似の構造を持つ問題

日常の中にもワニのパラドックスに似た構造は潜んでいます。

たとえば、「この試験は予告なしに行う」と教師が宣言する予期せぬ試験のパラドックスも、自己言及的な構造を持っています。教師の行動(試験の実施)が生徒の予測に依存し、生徒の予測が教師の宣言に依存するからです。

【世界のパラドックス】抜き打ちテストのパラドックス ─ 予告された抜き打ちは論理的に不可能senkohome.com/paradox-unexpected-hanging/

また、ゲーム理論における「最後通牒ゲーム」でも、相手の行動を予測し、それに基づいて自分の行動を決めるという構造があります。相手の予測が自分の行動に影響し、自分の行動が相手の予測の正否を決定するという循環は、多くの戦略的状況に内在しているのです。

同じ形をした古代の裁判

ワニの話には、より現実味のある兄弟がいます。プロタゴラスとエウアトロスの逸話です。

古代ギリシアの弁論術教師プロタゴラスは、弟子のエウアトロスと次の契約を結びました。授業料の後払いを認めるが、「最初の裁判に勝ったときに支払う」という条件です。

ところがエウアトロスは学業を終えたあと、弁護士として活動しませんでした。授業料も払われません。

しびれを切らしたプロタゴラスは、エウアトロスを訴えます。そして法廷で次のように主張しました。

私が勝てば、判決によって彼は支払わねばならない。私が負ければ、彼は最初の裁判に勝ったことになり、契約によって支払わねばならない。どちらにせよ彼は支払う。

これに対しエウアトロスは、そっくり反転した論法で応じます。

私が勝てば、判決によって支払う必要はない。私が負ければ、最初の裁判に勝っていないので、契約によって支払う必要はない。どちらにせよ私は支払わない。

まったく同じ状況について、正反対の結論が同じ強さで導かれます

契約と判決の順序が抜けている

現代の目から見ると、この行き詰まりの原因ははっきりしています。契約の効力と判決の効力の、どちらが先に適用されるかが決まっていないためです。

適用の順序プロタゴラスの主張エウアトロスの主張
判決が先勝てば支払わせられる勝てば支払わなくてよい
契約が先負けても契約で回収できる負けても契約上は義務がない
順序が未定どちらも成立するどちらも成立する

法律の実務では、この種の循環を避けるために手続きの順序が細かく定められています。判決の確定時期、契約条項の解釈基準、条件成就の判定時点といった規定は、まさにこうした行き詰まりを防ぐためのものです。

条件付き債務:条件が成就したかどうかを判定する時点を明示する ・既判力:確定判決の効力が及ぶ範囲を限定する ・信義則:条件成就を意図的に妨げた側に不利な扱いをする

ワニの話が寓話にとどまるのに対し、プロタゴラスの逸話が長く語られてきたのは、契約書に自己言及を紛れ込ませると本当に困るという実務的な教訓を含んでいるからだと思います。

予測を織り込んだ約束の危うさ

ワニの話とプロタゴラスの逸話に共通するのは、相手の予測や勝敗を条件に組み込んだことです。

普通の約束は、外部の事実を条件にします。「雨が降ったら中止」のように、当事者の判断とは独立に決まる事柄です。

ところがワニは「私がどうするかを当てたら」という、自分の行動そのものを条件にしました。自分の行動が条件に含まれているので、条件を判定するには行動が決まっていなければならず、行動を決めるには条件の判定が必要になります。

安全な条件:当事者の意思と無関係に定まる事実 ・危うい条件:条件を判定する行為そのものが結果に影響する ・成立しない条件:条件の判定に、その判定の結果が必要になる

実務でも、業績連動報酬や成功報酬型の契約で似た問題が起きることがあります。評価される側が評価の基準そのものに影響を及ぼせる場合、条件が循環しかねません。

契約を作るときに、条件の判定が当事者の行動から独立しているかを確かめる。ワニの話は、その点検の必要性を極端な形で示していると思います。

自己言及の関連パラドックス

ワニのパラドックスと同じく自己言及が生む論理的矛盾を扱う関連パラドックスです。

まとめ

本記事は「ワニのパラドックス」について解説しました。如何だったでしょうか。

古代から人々を悩ませてきたこのパラドックスは、自己言及がいかに論理を破壊しうるかを示す古典的な例です。約束や契約の中に自分の行動への参照が入り込むと、論理的に解決不能な状況が生まれるという教訓を、ユーモラスな寓話の形で教えてくれます。

2400年を経ても色褪せない問いかけです。

パラドックスの一覧に戻りたい方は以下のリンクからどうぞ。

それでは次の記事も閲覧いただけると幸いです。

【世界のパラドックス一覧】哲学・数学・物理・経済まで有名パラドックスを完全解説senkohome.com/paradox-list/