12月27日は、27日こそ、古典論理での証明に関する問題演習とします。問題は当日配布します。

12月20日は、古典論理での証明に関する問題演習とします。問題は当日配布します。 講師体調不良のため、非常勤論理学授業は急きょ休講とします。問題演習は27日に行います！

かねてからのお知らせの通り、13日は休講です。

後期授業第七回目の今回は、古典論理と排中律、および古典論理のモデルの紹介を行います。世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに排中律を付け加えると、古典論理となり、どのような変…