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

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

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