2017-12-19 ■ 今週こそは授業できますします!! 後期授業第六回目の今回は、前回学んだ直観主義論理の性質と、古典論理と排中律の紹介を行います。世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに排中律を付け加えると、古典論理となり、どのような変化がもたらされるかという話をします。 授業内容 前回の復習 存在具体性 古典論理と排中律 本日の授業資料 授業スライド こちらから 授業要旨・宿題 こちらから