なんでblrしてるん

先生は、学生たちに抜き打ちテストを行うために、彼らの前で次のように宣告した。

「来週の月曜日から金曜日までのいずれかの日に抜き打ちテストを行う」

これを聞いたある学生は次のように推論した。

「抜き打ちテスト」という言葉を論理学的に推論しやすくするため、「ある日にテストが行われることが、前日までには予測できないテスト」であると定義する。すると、以下のように推論できる。

まず、金曜日に抜き打ちテストがあると仮定する。すると、月曜日から木曜日まで抜き打ちテストがないことになるから、木曜日の夜の時点で、翌日（金曜日）が抜き打ちテストの日であると予測できてしまう。これは、先ほどの「抜き打ちテスト」の定義に矛盾する。よって、金曜日には抜き打ちテストを行うことができないということが分かる。
次に、木曜日に抜き打ちテストがあると仮定する。すると、月曜日から水曜日まで抜き打ちテストがないことになるから、水曜日の夜の時点で木曜日か金曜日のどちらかの日に抜き打ちテストがあることが予測できるが、1.により金曜日には抜き打ちテストがないことが既に分かっているので、翌日（木曜日）が抜き打ちテストの日であると予測できてしまう。これも、先ほどの「抜き打ちテスト」の定義に矛盾する。よって、木曜日にも抜き打ちテストを行うことができないということが分かる。
以下同様に推論していくと、水曜日、火曜日、月曜日にも抜き打ちテストを行うことができないということが分かる。したがって、「先生はいずれの日にも抜き打ちテストを行うことができない」という結論になる。

そして、抜き打ちテストが予告された週になった。木曜日まではこの学生の予想通りに抜き打ちテストは行われなかった。しかし、金曜日になって先生が「では、今から抜き打ちテストを行う。」と宣告したのである。

すかさずこの学生が立ち上がり、前記の推論を述べて抜き打ちテストを行うことができないことを説明した。すると、先生はこう反論した。

「君は今日抜き打ちテストが行われないと思っていた。ならば抜き打ちテストは成立しているじゃないか!」

学生は唖然とし、首をかしげたまま抜き打ちテストを受けることになった。以上が「抜き打ちテストのパラドックス」である。

1. my8tumblikeがrestr-eiからリブログしました
2. my8tumblikeがrestr-eiからリブログしました
3. phyllumがflatmountainからリブログしました
4. 3110v830がmnkyからリブログして、コメントを追加しました:

   これはシステム設計する人間も陥りやすいロジック。とにかく思考を展開させるために前提を欲する。ここでは抜き打ちテストという概念に立てた前提によって、その後の推論が現実的でなくなってしまった。

5. heartmetryがこの投稿を「スキ!」と言っています
6. unitribalがtoraumaboxerからリブログしました
7. asparaがbucketからリブログしました
8. toraumaboxerがbucketからリブログしました
9. bucketがyaruoからリブログしました
10. pag-yoshi-fujimoto-takumaがmasaro99からリブログしました
11. masaro99がyaruoからリブログしました
12. yoshinamがこの投稿を「スキ!」と言っています
13. qtaroqhojiがsezitakからリブログしました
14. blasnoがthe-whooooooooからリブログしました
15. oharicoがmasakaからリブログしました
16. awaodoriがroboxからリブログしました
17. the-whooooooooがmasakaからリブログしました
18. achseがこの投稿を「スキ!」と言っています
19. hikutuoがyaruoからリブログしました
20. goz5がmasakaからリブログしました
21. yngw1989がこの投稿を「スキ!」と言っています
22. atskhnがtowelmanからリブログしました
23. masakaがinfinity-dからリブログしました
24. towelmanがyaruoからリブログしました
25. girioがclumsy-kからリブログしました
26. kkazzouがycumsからリブログしました
27. zuma-mがinfinity-dからリブログしました
28. omaq09がこの投稿を「スキ!」と言っています
29. zaki123がclumsy-kからリブログしました
30. adzunjanがこの投稿を「スキ!」と言っています
31. stolbismがこの投稿を「スキ!」と言っています
32. charzredがatehakaからリブログしました
33. clumsy-kがbiggardenからリブログしました
34. naonanigashiがこの投稿を「スキ!」と言っています
35. biggardenがc-f-mからリブログしました
36. biggardenがc-f-mからリブログしました
37. qawsklpがこの投稿を「スキ!」と言っています
38. qawsklpがyaruoからリブログしました
39. infinity-dがyaruoからリブログしました
40. kennakがatehakaからリブログしました
41. zouzがこの投稿を「スキ!」と言っています
42. zouzがhakidamechantextからリブログしました
43. hakidamechantextがflatmountainからリブログしました
44. yukicorkboardがsawotomeからリブログしました
45. ling-tosite-ringoがこの投稿を「スキ!」と言っています
46. onykueがwayayayaからリブログしました
47. misokaがatehakaからリブログしました
48. teppeyがliquidstyleからリブログしました
49. uz96がwayayayaからリブログしました
50. hir0k1ku2sawa4がsaitenからリブログしました
51. もっと見る読込中…