http://75.2.66.110/mediawiki/index.php?action=history&feed=atom&title=%E6%8A%9C%E3%81%8D%E6%89%93%E3%81%A1%E3%83%86%E3%82%B9%E3%83%88%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 2026-04-28T07:10:47Z このウィキのこのページに関する変更履歴 MediaWiki 1.25.1 http://75.2.66.110/mediawiki/index.php?title=%E6%8A%9C%E3%81%8D%E6%89%93%E3%81%A1%E3%83%86%E3%82%B9%E3%83%88%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9&diff=7429&oldid=prev 2007-06-15T16:11:30Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">←前の版</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">2007年6月15日 (金) 16:11時点における版</td> </tr><tr><td colspan="2" class="diff-lineno" id="L38" >38行目:</td> <td colspan="2" class="diff-lineno">38行目:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[Category:パラドックス|ぬきうちてすとのはらとつくす]]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[Category:パラドックス|ぬきうちてすとのはらとつくす]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">[[de:Paradoxon der unerwarteten Hinrichtung]]</del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[en:Unexpected hanging paradox]]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[en:Unexpected hanging paradox]]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[<del class="diffchange diffchange-inline">es</del>:<del class="diffchange diffchange-inline">Paradoja del examen sorpresa]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">*</ins>[[<ins class="diffchange diffchange-inline">wiki</ins>:<ins class="diffchange diffchange-inline">抜き打ちテストのパラドックス</ins>]]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[fi:Hirtettävän paradoksi]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[fr:Paradoxe de l'interrogation surprise]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[gl:Paradoxo do exame sorpresa]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[he:פרדוקס בוחן הפתע]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[it:Paradosso dell'impiccagione imprevedibile]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[pt:Paradoxo do enforcamento inesperado]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[ru:Парадокс неожиданной казни]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[zh:老虎悖论</del>]]</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> </table>

キリカ http://75.2.66.110/mediawiki/index.php?title=%E6%8A%9C%E3%81%8D%E6%89%93%E3%81%A1%E3%83%86%E3%82%B9%E3%83%88%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9&diff=7428&oldid=prev 2007-06-15T16:11:09Z

<p>http://ja.wikipedia.org/w/index.php?title=抜き打ちテストのパラドックス&amp;oldid=12690974</p> <p><b>新規ページ</b></p><div>'''抜き打ちテストのパラドックス'''（ぬきうちテストのパラドックス）とは、[[様相論理学|様相論理]]の決定不能な[[命題]]を元にした、間違った[[推論]]である。「[[パラドックス]]」という言葉がついているが、正確には[[論理学]]的な意味のパラドックスではない。<br /> <br /> == 内容 ==<br /> ある先生は、学生たちに[[抜き打ちテスト]]を行うために、彼らの前で次のように宣告した。<br /> <br /> '''「来週の[[月曜日]]から[[金曜日]]までのいずれかの日に抜き打ちテストを行う」'''<br /> <br /> これを聞いたある学生は次のように推論した。<br /> <br /> 「抜き打ちテスト」という言葉を論理学的に推論しやすくするため、'''「ある日にテストが行われることが、前日までには予測できないテスト」'''であると[[定義]]する。すると、以下のように推論できる。<br /> <br /> # まず、金曜日に抜き打ちテストがあると仮定する。すると、月曜日から[[木曜日]]まで抜き打ちテストがないことになるから、木曜日の夜の時点で、翌日（金曜日）が抜き打ちテストの日であると予測できてしまう。これは、先ほどの「抜き打ちテスト」の定義に[[矛盾]]する。よって、金曜日には抜き打ちテストを行うことができないということが分かる。<br /> # 次に、木曜日に抜き打ちテストがあると仮定する。すると、月曜日から[[水曜日]]まで抜き打ちテストがないことになるから、水曜日の夜の時点で木曜日か金曜日のどちらかの日に抜き打ちテストがあることが予測できるが、1.により金曜日には抜き打ちテストがないことが既に分かっているので、翌日（木曜日）が抜き打ちテストの日であると予測できてしまう。これも、先ほどの「抜き打ちテスト」の定義に矛盾する。よって、木曜日にも抜き打ちテストを行うことができないということが分かる。<br /> # 以下同様に推論していくと、水曜日、[[火曜日]]、月曜日にも抜き打ちテストを行うことができないということが分かる。したがって、'''「先生はいずれの日にも抜き打ちテストを行うことができない」'''という結論になる。<br /> <br /> そして、抜き打ちテストが予告された週になった。木曜日まではこの学生の予想通りに抜き打ちテストは行われなかった。しかし、金曜日になって先生が「では、今から抜き打ちテストを行う。」と宣告したのである。<br /> <br /> すかさずこの学生が立ち上がり、前記の推論を述べて抜き打ちテストを行うことができないことを説明した。すると、先生はこう反論した。<br /> <br /> '''「君は今日抜き打ちテストが行われないと思っていた。ならば抜き打ちテストは成立しているじゃないか！」'''<br /> <br /> 学生は唖然とし、首をかしげたまま抜き打ちテストを受けることになった。以上が「抜き打ちテストのパラドックス」である。<br /> <br /> == 論点 ==<br /> このパラドックスには、いくつかの論点が含まれている。<br /> <br /> まずは、先生が宣告した内容が[[証明]]も[[反証]]もできない「決定不能な[[命題]]」であることである。その内容が真であるとして推論を行うと何らかの矛盾が導かれるのであるが、抜き打ちテストが成功したことから、一見矛盾がないように見えてしまうのである。<br /> <br /> その原因は、「抜き打ちテスト」という言葉の[[意味]]のすり替えにある。「抜き打ちテスト」の一般的な意味は'''「いつ行われるのか、直前まで分からないテスト」'''である。学生はこれを論理学的に定義するため、「抜き打ちテスト」を'''「ある日にテストが行われることが、前日までには予測できないテスト」'''と定義した。この定義から、論理学的に「どの日にも抜き打ちテストを行うことはできない」と結論することには矛盾はない。しかし、先生が生徒に反論して決行した「抜き打ちテスト」の意味は先ほどの論理学的に定義された意味ではなく、'''「論理学的に『抜き打ちテスト』が行えないことが証明される日に行われたテスト」'''という意味であり、論理学を逆用する形で、論理学から逸脱したものに意味をすり替えられているのである。つまり、先生が行った「抜き打ちテスト」は論理学からの逸脱があるため、論理学的に証明することも反証することもできない「決定不能な命題」なのである。<br /> <br /> また、そもそも「抜き打ちテスト」を学生のように「ある日にテストが行われることが、前日までには予測できないテスト」と定義すると、「来週の月曜日から金曜日までのいずれかの日」に限らず、期限を区切った場合にはすべて同様の証明で「どの日にも抜き打ちテストを行うことはできない」という結論が論理学的に導き出されてしまう。また特に期限を区切らずとも、暗黙のうちに「学生がその学校に在学している間」という期限が存在するため、先ほどと同じくどの日にも抜き打ちテストを行うことはできないので、学生の定義による「抜き打ちテスト」が行われることは論理学的には絶対にないのである。従って学生の「抜き打ちテスト」の定義は論理学的には誤っていないが、実際には行うことが不可能なテストであり、論理学とは別の現実的なところで誤っているのである。<br /> <br /> 結論として、「抜き打ちテスト」という言葉に対して、'''学生が論理学的には誤っていないが現実的には誤っている定義をしてしまったところに問題があった'''と言えるのである。<br /> <br /> == 参考文献 ==<br /> * パラドックスの世界 （[[田村三郎]]、[[講談社ブルーバックス]]、[[1981年]]初版、ISBN 4061180673）<br /> <br /> [[Category:パラドックス|ぬきうちてすとのはらとつくす]]<br /> <br /> [[de:Paradoxon der unerwarteten Hinrichtung]]<br /> [[en:Unexpected hanging paradox]]<br /> [[es:Paradoja del examen sorpresa]]<br /> [[fi:Hirtettävän paradoksi]]<br /> [[fr:Paradoxe de l'interrogation surprise]]<br /> [[gl:Paradoxo do exame sorpresa]]<br /> [[he:פרדוקס בוחן הפתע]]<br /> [[it:Paradosso dell'impiccagione imprevedibile]]<br /> [[pt:Paradoxo do enforcamento inesperado]]<br /> [[ru:Парадокс неожиданной казни]]<br /> [[zh:老虎悖论]]</div>

キリカ