休講：10/23 平常授業：10/30

本日紹介した反転原理についてはこちらが詳しいです。Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)作者: Dag Prawitz出版社/メーカー: Dover Publications発売日: 2006/03メディア: ペーパーバック購入: 1人 クリック: 18回…

授業要旨・宿題 こちらから 授業スライド こちらから

前回の復習 反転原理 証明の正規化 ダメットのハーモニー

授業第十六回目は、「論理結合子の意味とは何か」の続きで「反転原理」を取り上げます。前回紹介したように、トンクは体系を自明化するという本質的な欠陥を持っていましたが、トンクの導入規則は∨、除去規則は∧と同じであり、それ自身としては問題がないは…