今後の授業日程 授業 11/28 休講 12/5 授業 12/12,19,26 後期授業第五回は、新しい論理規則を受け入れるとはどういうことかという話をします。 つまり、最小論理に、新しい論理規則「矛盾律」を付加し、論理体系「直観主義論理」へと拡大します。この拡大は…

大学祭が週の後半なので、予定通り授業です！後期授業第4回目は、「論理結合子の意味とは何か」という哲学的論理学話のまとめとして、「証明の正規化」の話をします。また、その後、正規化の話を軸に、記号の書き換え体系が論理と呼ばれるための条件について…

授業中にお話ししたとおり、以下の日を休講とします。 11/7（火） 11/14（火） 申し訳ありませんが、よろしくお願いいたします。