真に最難関の論理パズル
真に最難関の論理パズル（まさにさいなんかんのろんりパズル、The Hardest Logic Puzzle Ever）
とは、アメリカの哲学者で論理学者のがそう呼んでいた、1996年に「""」で掲載された論理パズルである 。問題を解決する複数の方法がブーロスの論説にあり、イタリア語翻訳が「世界で最も危険なパズル」というタイトルで、新聞ラ・レプッブリカに掲載された。
その問題とは以下の通り。
ブーロスは以下の注釈も付けている。単一の神様に複数の質問をしてもよい。前回質問の答えに依存した質問をしてもかまわない。ランダムの性質は彼の脳内に隠されているを弾いた裏表に準じており、それが表側なら真実を語り、裏ならば嘘を語る。
ブーロスは、論理学者のレイモンド・スマリヤンがこのパズルの創始者であり、ジョン・マッカーシーがdaとjaの意味を知らないという難しさを追加したと評している。関連するパズルはスマリヤンの著作から見つけることができる。例えば、『この本の名前は何？"(What is the Name of This Book?)"』の中で彼は、住民の半分がゾンビ（常に嘘つき）と半分が人間（常に真実を話す）であるハイチ島のパズル問題を書いている。彼はこう解説する「全ての原住民が英語を完全に理解しているにもかかわらず、島の古代のタブーで、彼らが非母国語を使ってしゃべることを禁じている状況が、非常に煩わしい。そのため、彼らにイエス・ノー質問をするたびに、彼らはBalまたはDaと答える。どちらか一方の意味はイエスで、他方がノーである。厄介なのは、BalかDaのどちらがイエスで、どちらがノーなのか分からない点である」。他の類似パズルは『シェヘラザードの謎かけ』にもある
今回のパズルは、騎士と悪党問題（）に基づいている。常に真実を伝える騎士と、常に嘘をつく悪党だけが住む架空の島という設定のパズルだ。 島の訪問者は、どうしても知る必要があるもの（出題の脚色により詳細は異なる）を発見するためにいくつかのイエスノー質問をしなければならない。これらパズルのあるバージョンは、1986年のファンタジー映画『ラビリンス/魔王の迷宮』によって大衆化された。守衛が2人いる2つのドアがある。 1人の守衛は嘘つきで、もう1人は違う。 1つのドアは城に通じており、もう1つは「確実な死」に導かれる。 そこでのパズルは、どちらの扉が城に通じているかを知るために、守衛のうち1人に1つだけ質問をするというもの。 映画の中で、主人公サラはこう尋ねている「彼（もう1人の守衛）は、このドアが城に通じていると私に教えてくれますか？」。
ブーロスは、パズルを紹介した同じ記事内に自身の解答を提示した。「最初にすることは、ランダムではないと確定できる神、つまり真か偽のどちらか、を見つけることだ」とブーロスは述べている。様々な質問でこの結果にはたどりつくだろう。1つの戦略としては、あなたの質問で複雑な論理接続（または同等構造のいずれか）を使うことにある。
ブーローズの質問はAに尋ねるもので、
ロバーツ(2001) そしてラベーン達 (2008) はそれぞれ独立に、ある種のを使ってパズルの解を単純化できることを見出した。これを解く鍵は、「任意のイエスノー質問Qに対して、その質問には真実または虚偽のどちらなのか」と尋ねることにある。
仮に、Qに対する真実の答えがイエスであれば答えはjaになり、Qに対する真実の答えがノーであれば答えはda（ラベーン達は、この結果を埋め込み質問の補題と呼ぶ）との結果をもたらす。こうなる理由は、質問に対して予想される答えのを研究することによって見えてくる。この論理形式（ブーリアン表現）は次のように展開される（もしQへの答えが「イエス」ならば「Q」は真、もし質問された神が真実の証人として行動するならば「神」は真、 もしJaの意味が「イエス」ならば「Ja」は真）。
この最終表現は、仮に答えがJaの場合は真、それ以外は偽と評価する。以下8つのケースが生じる（1は真、0は偽）。
一番左と一番右の列を比較すると、質問に対する答えが「イエス」の場合にのみ、答えがJaであることがわかる。 代わりにこんな質問でも同じ結果が適用される「私があなたにQを尋ねたら、あなたはDaと言いますか？ 」。なぜなら、反事実的条件法の評価は、表面的にJaとDaの意味に依存しないからである。（ここで図示した） 8つのケースそれぞれは、下の言葉で等しく推論される。
質問された神が嘘をついているかどうかに関係なく、どちらの言葉がイエスの意味でどちらがノーなのかにも関係なく、Qについての真実の答えがイエスかノーかを決定することが可能である。
下にある3つの質問の解決法は、上述の補題を利用した構成となっている。
以下がそのパターン図となる（便宜上、ランダムを「乱」と一部表記している。神の答えがランダムでイエス・ノー両方ともありうるケースは「両方」と表記）。
ブーロスの3つ目の注釈は、ランダムの行動を以下のように説明している。
果たして、コイン弾きは質問の度になのか、または「セッション」つまり一連の質問全体に対してなのか、が述べられていない。仮にセッションの最後まで単一のランダム選択が続いていると解釈した場合、2つの質問だけでこのパズルを解決できることをラベーン達は示している。これは、回答者 （この場合はランダム）が真実の証人なのか嘘つきなのかに関係なく、Qに対する真実の答えが明らかになるよう反事実的条件法が設計されているためである。
反事実的条件に直面した時のランダム行動のもう一つ可能な解釈として、彼は頭の中にあるコイン弾きをした後で全体の質問に返答するが、質問が尋ねられている間は、以前の心の状態でQに対する答えを出している、ということがある。これはもう一度、反事実的条件をランダムに尋ねることが無意味になる。仮にこの場合だと、上述の質問に対する小さな変更が、ランダムから常に有意義な回答を引き出す質問を生むようになる。変更は次のとおり。
これは、ランダムから真実の証人と嘘つきの人格を効果的に引き出し、しかも彼にそれらの片方だけを強制させてしまう。そうすることで、パズルは完全に些細なものになる。つまり、真実の答えを簡単に得ることができる。しかしながら、質問に対する正しい答えを決定する前に、嘘をつくか真実を語るかをランダムが決定すると仮定する、そうしたことはパズルや注釈で述べられていない。
ブーロスにより（「コインが表側ならば彼は真実を語り、もし裏ならば嘘を語る」と）明確化されたオリジナル問題を解決する過程において、意図的で無記述な仮定に頼らずとも、質問にさらなる変更を加えることによって、真実の答えを簡潔に得ることができる。
ここで唯一の仮定は、質問に答えている際にランダムが正直に答えている（「真実を語る」）かまたは偽って答えている（「嘘を語る」）かであり、これは明白にブーロスの注釈の一部である。修正なしのオリジナル問題（ブーロスの注釈付き）は、このように、最も洗練された分かりやすい見た目の解決法を有する「真に最難関の論理パズル」だと見なされている。
ラベーン達（2008）は、ランダムが実際のランダムになるように、ブーロスのオリジナルパズルを改正するよう提案している。その修正はブーロスの第3の明確な注釈を以下のものに置き換えることである。
この修正があると、パズルの解決には解決法項目の冒頭で与えられたものよりもさらに慎重な神への審問が必要になる。
「真に最難関の論理パズルの簡単な解決法」の論文で、ラベーン達はパズルの改作を提案している。パラドックスに直面した神は、jaもdaもどちらも言わずに、一切答えなくなってしまう。例えば、「あなたはこの質問に、あなたの言葉でノーを意味する言葉で答えるつもりですか？ 」という質問が真実になると、彼は真実を答えることができない。（この論文では、頭が爆発してしまうと表現している。「...彼らは絶対間違えない神です！でも彼らは一つ手段を持っている。頭が爆発する」）。この「爆発頭」が許される場合には、3つではなく2つの質問でパズル（修正済みとオリジナル）を解決する可能性が出てくる。このパズルに対する2質問解決法の裏付けとして、著者は2つの質問だけで同様の簡単なパズルを解決する。
このパズルは3つの質問で自明に解決されることに着目しなさい。さらに、2質問でパズルを解くための、次の補題は証明済みである。
この補題を使うと、2つの質問でパズルを解くことが簡単になる。ラベーン達（2008）は、きっかり2つの質問で元のパズルを解くために類似の手法（嘘つき気質のパラドックス）を使う。ウスキアノ（2010）は、修正済みパズルに対して2質問での解決法を提示するためにこれらの技法を使っている 
。オリジナルと修正済みパズルの両方に対する2質問の解決法は、一部の神が特定の質問に答えることができないという事実を利用している。真か偽のどちらも、次の質問に対する答えを提供することはできない。
修正済みランダムは本当に無作為で答えるので、真か偽のどちらも、ドゥシャンベがキルギスタンにあるかとの質問に、ランダムがdaまたはjaで答えるかどうかを予測できない。この知りえぬ事を与えられると、彼らは真実や嘘が語れなくなってしまう。したがって、彼らは沈黙する。しかしながら、無作為に無意味なことを口走るランダムは、daまたはjaのいずれかを口走っても問題ない。ウスキアノ（2010）は修正済みパズルに対する2質問の解決法を提示するために、この非対称性を流用している。しかし、神様は「ランダムの脳のコイン弾き以前であっても、ランダムの答えを予測するための謎めいた（いわゆる神託）能力」を有するとの仮定もあるだろう。この場合、2質問の解決法は、ラベーン達（2008）に採用されたスタイルの自己参照質問を使用することによって引き続き得ることができる。
て
ここでもまた、真か偽のどちらも、真実の証人と嘘つきの約束事をそれぞれ考えると、この質問に答えることができない。彼らは、自分が与えると約束された返答がdaで、これが彼らにできない場合にだけ、jaと答えるよう強制されている。前と同じように、彼らは頭爆発を経験するだろう。対照的に、ランダムは、無分別にたわごとを吐き出して、無作為にjaまたはdaと答えるだろう。ウスキアノ（2010）もまた、修正済みパズルに対する2質問の解決法を提示するために、この非対称性を利用している 。しかしながら、ウスキアノ独自のパズル修正（ランダムが「ja」「da」いずれかを答えるか、または沈黙することにより、この非対称性を解消するというもの）では、3つよりも少ない質問で解決することができなくなっている。