2020-10-28 授業動画公開:直観主義論理(3)(4) 直観主義論理シリーズ第3,4回です。予想通り、6本で終わりそうです。今回の2本はテクニカルな説明がメインでわりと無味乾燥でしょうか。 前期からやってきて、帰納法による証明をようやく導入しましたが、ちょっと遅い気もしますね。でも、前期の内容(古典論理・様相論理)だと、ありがたみのわかる場面があんまりないんですよね。 わたし自身は帰納法を使えるようになったときに初めて論理学がおもしろいと感じるようになったので、学生さんもそうだとうれしいんですが、どうでしょうね。 youtu.be youtu.be