当サイトを閲覧いただきありがとうございます。 本記事は「抜き打ちテストのパラドックス(予期しない絞首刑のパラドックス)」について解説します。
先生が「来週のどこかで抜き打ちテストをやります。どの曜日にやるかは事前に分かりません」と宣言します。ところが頭の良い学生が論理的に推理すると、このテストは実施不可能だという結論に至ります。しかし実際には水曜日にテストが行われ、学生はちゃんと驚く——という不思議な話です。
学生の推論
学生はこう考えます。
「もし金曜日まで待ってもテストがなかったら、テストは金曜日しかありえない。そうすると木曜の夜の時点で金曜にテストがあると分かってしまう。これは『事前に分からない』という条件に反する。だから金曜日にはテストはできない」
金曜日が消えました。
「金曜日がないなら、木曜日まで待ってテストがなければ、残りは木曜日しかない。同じ理由で木曜にも実施できない」
木曜日も消えました。同じ論理を繰り返すと、水曜日、火曜日、月曜日も順番に消えます。
結論:テストはどの曜日にも実施できないので、テストは行われない。
学生は安心して勉強をしませんでした。ところが水曜日に先生がテストを行い、学生は完全に不意を突かれます。先生の予告は正しかったのです。
どこがおかしいのか
学生の推論は一見すると論理的に完璧ですが、結論は明らかに間違っています。テストは実際に行われ、学生は驚いたのですから。
このパラドックスが厄介なのは、学生の推論のどこに穴があるのかが非常に分かりにくいことです。
一つの分析は、学生の推論が「自己破壊的」であるという点です。学生が「テストは行われない」と結論づけた瞬間、テストが行われればそれは「予期しない」ものになります。つまり、「テストは行われない」と信じることこそが、テストを抜き打ちにしてしまうのです。
言い換えると、学生の推論は「テストが予期できないこと」を前提にして「テストが予期できる(から実施されない)」と結論づけていますが、結論が前提と矛盾しているため推論の連鎖が自壊しているわけです。
元は「絞首刑」の話
このパラドックスの原型は「予期しない絞首刑」として知られています。
囚人が裁判官から「来週のどこかの日に絞首刑を執行する。どの日に執行されるかは当日の朝まで分からないだろう」と宣告されます。囚人は上記と同じ推論で「絞首刑は論理的に実行できない」と結論づけて安心しますが、水曜日に予期せず処刑されます。
この形で1940年代にスウェーデンで広まったとされ、その起源は第二次世界大戦中のスウェーデンのラジオ放送で「来週のどこかで民間防衛演習を行う。いつ行うかは事前に知らされない」と告知されたことだとも言われています。その後マーティン・ガードナーが1963年に『Scientific American』のコラムで紹介し、多くの論理学者や哲学者が取り組みました。
なぜ解決が難しいのか
このパラドックスは70年以上にわたって議論されていますが、完全に合意された解決策は存在しません。
問題の根は、「予期しない」という言葉の意味が曖昧であることにあります。「論理的に推論して分かる」のと「実際に予期する」のは同じではありません。また、学生の推論は自分の推論の結論を前提に使うという循環構造を含んでおり、ここに問題が潜んでいる可能性があります。
提案されている解決アプローチ
認識論的アプローチ:学生の推論の最初のステップ(金曜日の排除)は正しい。しかし、金曜日を排除した後の知識状態が変わっているため、次のステップ(木曜日の排除)には同じ前提が使えない。つまり、後退帰納法の連鎖が途中で崩壊するという見方です。
論理的アプローチ:先生の宣言「テストがあり、かつ予期できない」を形式化すると自己言及的な構造を持ち、ゲーデルの不完全性定理と同じくその宣言の真偽を体系内で証明できないという分析です。
実用的アプローチ:学生の誤りは、「テストが実施不可能」と結論づけてそれを信じた点にある。仮に「テストは行われない」と信じた時点で、テストが行われれば必然的に予期しないものとなり、先生の条件は満たされる。つまり、学生の推論は正しく完了するが、結論を行動に移した瞬間に自らの前提を覆すのです。
学校の先生や教授がこのパラドックスを出題して学生の反応を見るのは、哲学や論理学の授業では定番の光景だそうです。
自己言及の関連パラドックス
抜き打ちテストのパラドックスと同じく自己言及的な推論が生む矛盾を扱う関連パラドックスです。
まとめ
本記事は「抜き打ちテストのパラドックス」について解説しました。如何だったでしょうか。
論理的に不可能だと証明したはずの出来事が実際に起きてしまう。推論と現実の間にある微妙なギャップを体感できる、非常に魅力的なパラドックスです。
パラドックスの一覧に戻りたい方は以下のリンクからどうぞ。
それでは次の記事も閲覧いただけると幸いです。

