自主レポートは1月15日までに、文学部教務係に提出してください。

授業スライド こちらから 宿題 はなし。

古典論理の復習 古典論理と直観主義論理の関係 グリベンコの定理の証明 今後の予定・成績について

授業第十九回目、本日は最終回です。直観主義論理と古典論理の関係としてグリベンコの定理の話をもう一回します。

授業スライド こちらから 宿題 はなし。

論理学の歴史 真理値とトートロジー（古典命題論理） 自然演繹以外の古典命題論理の体系 古典述語論理の意味論 健全性と完全性（古典述語論理）

授業第十八回目、本日は古典論理の話をします。本授業では、最小論理を中心に、非古典論理を取り上げてきましたが、世間の論理学の教科書は古典論理中心です。従って、今のままでは、古い論文や教科書を読むときに、面食らう恐れがあります。ですので、今回…