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

今週24日は、大学祭の後片付けの日のためお休みです。 補講は11月27日（金）の予定ですが、実施の方向で調整中です。しばらくお待ち下さい。

今週こそは授業をします！ 乞うご期待！さて、授業・後期第三回目は、「論理結合子の意味とは何か」の続きで「反転原理」を取り上げます。 前回紹介したように、トンクは体系を自明化するという本質的な欠陥を持っていましたが、トンクの導入規則は∨、除去規…