論理学FAQのブログ

きょうは、いつもとちがう形式です。せっかくツイッターで言及いただいたので。 ちなみにこの講義は、ふつう命題論理、一階述語論理、余裕があればほかの非古典論理、という順番ですすむところを、命題論理のつぎに様相論理をやり、そのあとで一階述語論理に入るという非常に興味深い（かつわたし自身も有効だとおもう）順…