たとえば、あなたがブログに何か意見を書いたとします。 それに対して、次のようなコメントが書かれた、としたらどうでしょうか。 あなたはそういう意見なのですか。何もわかっていないバカがよくそういう意見を言うんですよね。 確かに、形式論理からすると、「あなたはバカだ」とは一言も言っていません。「あなた」と「何もわかっていないバカ」の両者には包括関係はありません。 でも、書かれた側は腹が立ちますよね。 また、同じ状況で、次のようなコメントが返ってきたらどうでしょうか。 あなたはそういう意見なのですか。あなたはバカかもしれませんね。 これも確かに、形式論理からすると、「バカである可能性がゼロである」を否定しているだけです。バカではない証明はできない(バカではない例を挙げるだけでは不十分)以上は、誰もが「バカかもしれません」。ここでは「あなたはバカだ」とは言っていません。 でも、やっぱり書かれた側は腹