前半は、<ないことの証明はほぼ不可能…悪魔の証明のわかりやすい説明>、<悪魔の証明の具体的な例を見ると、さらにわかりやすく…>などといった話です。また、後半には実は今使われている「悪魔の証明」という言葉の使い方は誤用なのではないか?という話についてもやっています。 ●ないことの証明はほぼ不可能…悪魔の証明のわかりやすい説明 2010/12/15:以前、悪魔の証明と題されたジョークを紹介して、そのときに普通「悪魔の証明」と言うときは別の意味ですよという話を書きました。で、いつかはその普通の意味について書こうと思っていたのですが、ずっと後回しで1年半近く経ってしまいました。 ところが、先日、詭弁【○○でないという証拠がないから○○である(未知論証・悪魔の証明)】 論理的な議論の仕方という、わかりやすく説明しているページを発見。Wikipediaだと「全称肯定命題」だとか、「特称否定命題」だとか