授業スライド p.43-45 を参考にしてください。 レポート問題 授業スライド p.44-45 を見てください（日頃の宿題の出来に自身がある人は提出する必要はありません）。

平常授業： 12/20：古典述語論理の完全性 1/11：古典論理の演習 1/18(最終回) ：カリー・ハワード対応（エクストラ） 授業なし： 12/27, 1/3

授業スライド こちらから

前回の復習 古典命題論理の健全性 古典述語論理の健全性 他の体系 今後の予定

授業第二十三回目、本日は、メタの帰納法により、古典命題論理と古典述語論理の健全性定理の証明をします。 また、ヒルベルト流(Hilbert style)や推件計算(sequent calculus)などの、自然演繹とは異なったスタイルの論理体系の書き方を紹介します（紹介して…

訂正：レポート問題〆切は1/17（火）の授業終了後とします。

授業スライド p.43-45 を参考にしてください。

平常授業： 12/20：古典述語論理の完全性 1/11：古典論理の演習 1/18(最終回) ：カリー・ハワード対応（エクストラ） 授業なし： 12/27, 1/3

授業スライド こちらから

前回の復習 宿題の答え合わせ 命題論理の完全性 述語論理の完全性 宿題

授業第二十二回目、本日は古典命題論理と古典述語論理の完全性定理の話をします。 今回はまず、古典命題論理の完全性定理を、反例を作るときに昔から使用される「分析的推論」を一般化した証明探索樹を使った真理関数の構成法を解説します。また、古典述語論…

12/06：休講 12/13：平常授業（古典論理の完全性定理1） 12/20：平常授業（古典論理の完全性定理2） 1月：2回程度（カリー・ハワード対応） 1月の授業は、エクストラ扱いで、成績にはカウントしません。 また、12/13に成績（および必要な人のための特別課題…

12/6（火）は休講です。

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

前回の復習 宿題の答え合わせ 古典論理と排中律 命題論理と真理表 古典述語論理とモデル 宿題

授業第二十一回目の今回は古典論理の話です。世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに排中律を付け加えると、古典論理となり、どのような変化がもたらされるかという話をします。 古典論…

今週は休講です。 次回は11/29で、古典論理のモデルの話を紹介します。

平常授業：11/15, 11/29, 12/13, 12/20 休講：11/22, 12/06

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

前回の復習 クリプキ・フレーム（命題論理） クリプキ・フレーム（述語論理） 宿題

授業第二十回目は直観主義論理のクリプキ・フレームの話の続きです。これまでの授業でやったやりかたでは、排中律など、ある論理式が直観主義論理で証明できないことを示すのが大変でした。クリプキフレームを使用すると、ある論理式が証明できないことを示…

11/15：平常授業（直観主義述語論理のクリプキ・フレーム） 11/22：休講 11/29：平常授業（古典論理のモデル） 12/06：休講 12/13：平常授業（古典論理の完全性定理1） 12/20：平常授業（古典論理の完全性定理2） 1月：2回程度（カリー・ハワード対応） 1月…

平常授業：11/08, 11/15, 11/29, 12/13, 12/20 休講：11/22, 12/06

直観主義論理の登場の持った哲学的インパクトについての解説は、以下の文献を参考にして下さい。ダメットにたどりつくまで (双書エニグマ)作者: 金子洋之出版社/メーカー: 勁草書房発売日: 2006/04/11メディア: 単行本購入: 1人 クリック: 19回この商品を含…

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

前回の復習 宿題の答え合わせ 直観主義論理 クリプキ・フレーム 宿題

授業第十九回目は直観主義論理の話です。前半では、直観主義論理の持つ「構成性」を支える二つの性質（Existence property, Disjunction property）を説明します。後半では、直観主義論理を提唱したブラウアーの「数学は精神的な構成である」という立場のモ…

矛盾許容論理の解説は、以下の文献等を参考にして下さい。In Contradiction: A Study of the Transconsistent作者: Graham Priest出版社/メーカー: Oxford Univ Pr発売日: 2006/04/04メディア: ハードカバー クリック: 20回この商品を含むブログ (9件) を見…

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

前回の復習 宿題の答え合わせ 矛盾律 矛盾律は「正当」か？ 宿題