ワニのパラドックスは、ワニ詭弁としても知られ、嘘つきのパラドックスと同じ種類の論理的パラドックスです。[1]前提は、子供を誘拐したワニが、親がワニの次の行動を正しく予測した 場合のみ、子供を返すと約束するというものです。
親が子供が返還されると予測した場合、取引は論理的にはスムーズだが予測不可能である。一方、親が子供が返還されないと予測した場合、ワニにとってジレンマが生じる。ワニが子供を預けることに決めた場合、彼は条件に違反する。親の予測は当たっており、子供は返還されるべきである。しかし、ワニが子供を返すことに決めた場合、たとえそれが以前の結果に基づいていたとしても、彼は条件に違反する。親の予測は外れており、子供は返還されるべきではない。したがって、ワニがどうすべきかという問題は逆説的であり、正当な解決策は存在しない。[2] [3] [4]
ワニのジレンマは、メタ知識がもたらす論理的問題のいくつかを明らかにする。この点において、それはリチャード・モンタギュー （1960）が知識に関する以下の仮定を組み合わせて検証すると矛盾することを実証するために用いた予期せぬ吊り下げのパラドックスと構造的に類似している。[2]
- ρが真であるとわかっている場合は、 ρ です。
- (i) であることが知られています。
- ρ がσを意味し、ρ が真であるとわかっている場合、 σも真であるとわかっています。
ワニのジレンマについて初めて議論したのは古代ギリシャの文献である。[1]
参照
- パラドックスのリスト
- 自己言及
- 停止問題- その決定不能性の通常の証明は同様の矛盾を用いる
注記
- ^ ab バリレ、マルゲリータ。 「ワニのジレンマ – MathWorld」。2009 年 9 月 5 日に取得。
- ^ J. Siekmann編 (1989).人工知能講義ノート. Springer-Verlag. p. 14. ISBN 3540530827。
- ^ ヤング、ロナルド E (2005)。東への旅。アイユニバース。ページ 8–9。ISBN 0595795846。
- ^ マレー、リチャード（1847年）『マレー論理学大要』159ページ。
