授業動画公開：厳密含意の論理

2020年度の後期授業が始まりました。コロナをめぐる状況も徐々に変わっていますが、前期と同じように授業動画を作って、共有させてもらおうと思います。

後期は厳密含意から始まります。

レジュメ

「正しい論理」を求めて：厳密含意の論理

動画

youtu.be

youtu.be

次回は直観主義論理、その後は多値論理、関連性論理、様相演算子としての否定(否定様相の論理)と続きます。