授業スライド こちらから

前回の復習 古典命題論理と真理表 意味論とモデル 古典述語論理とモデル 宿題

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