論理学FAQのブログ

今回はコメントへのリプライではなく、ひとつのまとまった話として。 古典論理の含意 は「 が偽であるかまたは が真であるときそのときにかぎり真」と定義されます。言い換えれば、 です。このようにして定義される含意を「実質含意」と呼びます。実質含意は、私たちの「ならば」についての理解とはかけ離れた、いろいろと…