注意：授業は予定通りやるつもりですが、もしかしたら不測の事態が起こる可能性があります。クラシスのメールおよび本ブログを注意して下さい 授業第十八回目は、新しい論理規則を受け入れるとはどういうことかという話をします。 つまり、最小論理に、新し…

すみません、既に授業中にアナウンスしていたので、安心してしまいここに書き忘れていましたが、11月11日は休講でした。

授業第十七回目は、「論理結合子の意味とは何か」に関する話のまとめとして、「証明の正規化」の話をします。また、その後、正規化の話を軸に、記号の書き換え体系が論理と呼ばれるための条件について考えたいと思います。具体的には、最小命題論理では全て…