真に最難関の論理パズル

真に最難関の論理パズル とは、アメリカの哲学者で論理学者のジョージ・ブーロスがそう呼んでいた、1996年に「//The Harvard Review of Philosophy//」で掲載された論理パズルである 。問題を解決する複数の方法がブーロスの論説にあり、イタリア語翻訳が「世界で最も危険なパズル」というタイトルで、新聞ラ・レプッブリカに掲載された。

その問題とは以下の通り。

3柱の神様A、B、Cは、それぞれ誰かが真、偽、ランダムです。真は必ず真実の答えを、偽は必ず嘘の答えを言いますが、ランダムが真実を答えるか嘘を答えるかは完全にランダムです。あなたは3つのイエス・ノー質問group="注釈"をして、A、B、Cの正体を決めてください。1つの質問には1柱の神様しか答えてくれません。神様は私たちの言葉を理解しますが、返答は私たちの言葉ではなく、神の言葉「Da」と「Ja」で返します。DaとJaのどちらがイエスでどちらがノーを意味するかは分かりません。

ブーロスは以下の注釈も付けている。単一の神様に複数の質問をしてもよい。前回質問の答えに依存した質問をしてもかまわない。ランダムの性質は彼の脳内に隠されている公正なコインを弾いた裏表に準じており、それが表側なら真実を語り、裏ならば嘘を語る。

1. 歴史
-----

ブーロスは、論理学者のレイモンド・スマリヤンがこのパズルの創始者であり、ジョン・マッカーシーがdaとjaの意味を知らないという難しさを追加したと評している。関連するパズルはスマリヤンの著作から見つけることができる。例えば、『この本の名前は何？////』の中で彼は、住民の半分がゾンビと半分が人間であるハイチ島のパズル問題を書いている。彼はこう解説する「全ての原住民が英語を完全に理解しているにもかかわらず、島の古代のタブーで、彼らが非母国語を使ってしゃべることを禁じている状況が、非常に煩わしい。そのため、彼らにイエス・ノー質問をするたびに、彼らはBalまたはDaと答える。どちらか一方の意味はイエスで、他方がノーである。厄介なのは、BalかDaのどちらがイエスで、どちらがノーなのか分からない点である」。他の類似パズルは『シェヘラザードの謎かけ』にもある 。

今回のパズルは、騎士と悪党問題に基づいている。常に真実を伝える騎士と、常に嘘をつく悪党だけが住む架空の島という設定のパズルだ。 島の訪問者は、どうしても知る必要があるものを発見するためにいくつかのイエスノー質問をしなければならない。これらパズルのあるバージョンは、1986年のファンタジー映画『ラビリンス/魔王の迷宮』によって大衆化された。守衛が2人いる2つのドアがある。 1人の守衛は嘘つきで、もう1人は違う。 1つのドアは城に通じており、もう1つは「確実な死」に導かれる。 そこでのパズルは、どちらの扉が城に通じているかを知るために、守衛のうち1人に1つだけ質問をするというもの。 映画の中で、主人公サラはこう尋ねている「彼は、このドアが城に通じていると私に教えてくれますか？」。

2. 解決法
------

ブーロスは、パズルを紹介した同じ記事内に自身の解答を提示した。「最初にすることは、ランダムではないと確定できる神、つまり真か偽のどちらか、を見つけることだ」とブーロスは述べている。様々な質問でこの結果にはたどりつくだろう。1つの戦略としては、あなたの質問で複雑な論理接続を使うことにある。

ブーローズの質問はAに尋ねるもので、

もしBがランダムである場合で、もしあなたが真である場合なら、daはイエスという意味ですか？ ロバーツ そしてラベーン達  はそれぞれ独立に、ある種の反事実的条件法を使ってパズルの解を単純化できることを見出した。これを解く鍵は、「任意のイエスノー質問Qに対して、その質問には真実または虚偽のどちらなのか」と尋ねることにある。

もし私があなたにQを尋ねたら、あなたはjaと言うでしょうか？仮に、Qに対する真実の答えがイエスであれば答えはjaになり、Qに対する真実の答えがノーであれば答えはdaとの結果をもたらす。こうなる理由は、質問に対して予想される答えの論理形式を研究することによって見えてくる。この論理形式は次のように展開される。

どのようにして神がQに答えることを選ぶかは、Qと神との間における排他的論理和の否定により与えられる
¬ 
神により与えられる答えがJaか否かは、前の結果とJaとの間における排他的論理和の否定により再度与えられる。
¬  ) ⊕ Ja )
ステップ2の結果は、質問に対する真実の答えをもたらす。「私があなたにQを尋ねたら、あなたはJaと言うでしょうか？」 神が与えるだろう答えは、ステップ1で使ったのと同様の論法を使うことにより確認することが可能となる。
¬  ) ⊕ Ja ) ) ⊕ God )
最後に、この答えがJaかDaかを明らかにするために、Jaとステップ3の結果との排他的論理和の否定が必要とされる。
¬  ) ⊕ Ja ) ) ⊕ God ) ) ⊕ Ja )この最終表現は、仮に答えがJaの場合は真、それ以外は偽と評価する。以下8つのケースが生じる。

一番左と一番右の列を比較すると、質問に対する答えが「イエス」の場合にのみ、答えがJaであることがわかる。 代わりにこんな質問でも同じ結果が適用される「私があなたにQを尋ねたら、あなたはDaと言いますか？ 」。なぜなら、反事実的条件法の評価は、表面的にJaとDaの意味に依存しないからである。 8つのケースそれぞれは、下の言葉で等しく推論されるgroup="注釈"。

jaがイエス、daがノーの意味だと仮定する。
真が尋ねられ、返答がja。彼は真実を語っているので、Qについて真実の答えはJa、これはイエスを意味する。
真が尋ねられ、返答がda。彼は真実を語っているので、Qについて真実の答えはda、これはノーを意味する。
偽が尋ねられ、返答がja。彼は嘘をついているので、あなたがQを彼に質問した場合に、彼はdaの代わりとして答えていることになる。彼は嘘をついているので、Qについて真実の答えはJa、これはイエスを意味する。
偽が尋ねられ、返答がda。彼は嘘をついているので、あなたがQを彼に質問した場合に、彼は実際にはjaと答えていることになる。 彼は嘘をついているので、Qについて真実の答えはda、これはノーを意味する。
jaがノー、daがイエスの意味だと仮定する。
真が尋ねられ、返答がja。彼は真実を語っているので、Qについて真実の答えはda、これはイエスを意味する。
真が尋ねられ、返答がda。彼は真実を語っているので、Qについて真実の答えはJa、これはノーを意味する。
偽が尋ねられ、返答がja。彼は嘘をついているので、あなたがQを彼に質問した場合に、彼は実際にはjaと答えていることになる。 彼は嘘をついているので、Qについて真実の答えはda、これはイエスを意味する。
偽が尋ねられ、返答がda。彼は嘘をついているので、あなたがQを彼に質問した場合に、彼はdaの代わりとして答えていることになる。 彼は嘘つきであり、Qについて真実の答えはJa、これはノーを意味する。質問された神が嘘をついているかどうかに関係なく、どちらの言葉がイエスの意味でどちらがノーなのかにも関係なく、Qについての真実の答えがイエスかノーかを決定することが可能である。

下にある3つの質問の解決法は、上述の補題を利用した構成となっている。

Q1：神Bに尋ねます「私が「Aはランダムですか？」とあなたに尋ねたら、あなたはjaと言いますか？」。もしBがjaと答えれば、Bがランダムか、もしくはBはランダムではなく、答えは実際にAがランダムということになる。いずれにせよ、Cは非ランダム。もしBがdaと答えた場合、Bがランダムか、もしくはBはランダムではなく、答えは実際にAが非ランダムということになる。いずれにせよこの時点で、あなたは非ランダムな神を知っている。Q2：前の質問で非ランダムと識別できた神に行って、彼に尋ねます「もし私が「あなたは偽ですか？」と尋ねたら、あなたはjaと言いますか？」。彼は非ランダムなので、daの答えは彼が真であることを示し、jaの答えは彼が偽であることを示す。この質問は「「da」は「イエス」を意味しますか？」に簡略化することもできる。Q3：同じ神に質問します「私が「Bはランダムですか？」とあなたに尋ねたら、あなたはjaと言いますか？」。答えがjaの場合、Bがランダム。答えがdaの場合、あなたがまだ話していない神がランダムである。残りの神は、消去法によって特定することができる。以下がそのパターン図となる。



2.1. ランダムの行動
------------

ブーロスの3つ目の注釈は、ランダムの行動を以下のように説明している。

ランダムが真実を話すかどうかは、脳に隠されたコイン弾きに応じて考えるべきである。コインの表側が来れば彼は真実を話し、裏側なら虚偽である。果たして、コイン弾きは質問の度になのか、または「セッション」つまり一連の質問全体に対してなのか、が述べられていない。仮にセッションの最後まで単一のランダム選択が続いていると解釈した場合、2つの質問だけでこのパズルを解決できることをラベーン達は示している。これは、回答者 が真実の証人なのか嘘つきなのかに関係なく、Qに対する真実の答えが明らかになるよう反事実的条件法が設計されているためである。

反事実的条件に直面した時のランダム行動のもう一つ可能な解釈として、彼は頭の中にあるコイン弾きをした後で全体の質問に返答するが、質問が尋ねられている間は、以前の心の状態でQに対する答えを出している、ということがある。これはもう一度、反事実的条件をランダムに尋ねることが無意味になる。仮にこの場合だと、上述の質問に対する小さな変更が、ランダムから常に有意義な回答を引き出す質問を生むようになる。変更は次のとおり。

もし私があなたの現在の精神状態であなたにQを尋ねたら、あなたはjaと言うでしょうか？これは、ランダムから真実の証人と嘘つきの人格を効果的に引き出し、しかも彼にそれらの片方だけを強制させてしまう。そうすることで、パズルは完全に些細なものになる。つまり、真実の答えを簡単に得ることができる。しかしながら、質問に対する正しい答えを決定する前に、嘘をつくか真実を語るかをランダムが決定すると仮定する、そうしたことはパズルや注釈で述べられていない。

神Aに質問する「もし私があなたに「あなたはランダムですか？」とあなたの現在の精神状態に尋ねたら、あなたはjaと言いますか？」。
もしAがjaと答えるなら、Aがランダム。そこでBに質問する「もし私があなたに「あなたは真ですか？」と尋ねたら、あなたはjaと言いますか？」。
Bがjaと答えるなら、Bは真、Cは偽。
Bがdaと答えるなら、Bは偽、Cは真。どちらの場合もパズルは解決される。
もしAがdaと答えるなら、Aは非ランダム。そこでAに質問する「もし私があなたに「あなたは真ですか？」と尋ねたら、あなたはjaと言いますか？」。
Aがjaと答えるなら、Aは真。
Aがdaと答えるなら、Aは偽。
Aに質問する「もし私があなたに「Bは真ですか？」と尋ねたら、あなたはjaと言いますか？」。
Aがjaと答えるなら、Bがランダム。CはAの反対。
Aがdaと答えるなら、Cがランダム。BはAの反対。 ブーロスにより明確化されたオリジナル問題を解決する過程において、意図的で無記述な仮定に頼らずとも、質問にさらなる変更を加えることによって、真実の答えを簡潔に得ることができる。

「もし私があなたにQを尋ねたら、そして仮にあなたがこの質問に答えているように正直にあなたが答えていたとすれば、あなたはjaと言うでしょうか？」ここで唯一の仮定は、質問に答えている際にランダムが正直に答えているかまたは偽って答えているかであり、これは明白にブーロスの注釈の一部である。修正なしのオリジナル問題は、このように、最も洗練された分かりやすい見た目の解決法を有する「真に最難関の論理パズル」だと見なされている。

ラベーン達は、ランダムが実際のランダムになるように、ブーロスのオリジナルパズルを改正するよう提案している。その修正はブーロスの第3の明確な注釈を以下のものに置き換えることである。

ランダムがjaかdaを言うかどうかは、彼の頭脳に隠されたコイン弾きに応じて考えられるべきである。もしコインが表なら、彼はjaと言い、裏だったら彼はdaと言う。この修正があると、パズルの解決には解決法項目の冒頭で与えられたものよりもさらに慎重な神への審問が必要になる。

3. 返答不能な質問と爆発する神の頭
------------------

「真に最難関の論理パズルの簡単な解決法」の論文で、ラベーン達はパズルの改作を提案している。パラドックスに直面した神は、jaもdaもどちらも言わずに、一切答えなくなってしまう。例えば、「あなたはこの質問に、あなたの言葉でノーを意味する言葉で答えるつもりですか？ 」という質問が真実になると、彼は真実を答えることができない。。この「爆発頭」が許される場合には、3つではなく2つの質問でパズルを解決する可能性が出てくる。このパズルに対する2質問解決法の裏付けとして、著者は2つの質問だけで同様の簡単なパズルを解決する。

3つの神A、B、Cはこう呼ばれている、順不同で ゼファー、エウロス、アイオロスgroup="注釈"である。神々は常に真実を話す。あなたの任務は、イエス・ノー質問をしてA、B、Cの正体を決めること。それぞれの質問は正しく1つの神に置く必要がある。神々は人間の言葉を理解し、人間の言葉で答える。このパズルは3つの質問で自明に解決されることに着目しなさい。さらに、2質問でパズルを解くための、次の補題は証明済みである。

嘘つき気質の補題。もし我々がAに尋ねるとする「こんな場合{[] または