授業スライド こちらから 授業要約 こちらから

前回の復習 ホームズ論法 自然数論（復習） 矛盾律 矛盾律は「正当」か？

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

授業第十八回目は、新しい論理規則を受け入れるとはどういうことかという話をします。 つまり、最小論理に、新しい論理規則「矛盾律」を付加し、論理体系「直観主義論理」へと拡大します。この拡大は保存拡大ではなく、この規則については哲学的な議論も続い…

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

前回の復習 証明の正規化 正規化定理の応用

授業第十七回目は、「論理結合子の意味とは何か」に関する話のまとめとして、「証明の正規化」の話をします。また、その後、正規化の話を軸に、記号の書き換え体系が論理と呼ばれるための条件について考えたいと思います。具体的には、最小命題論理では全て…

申し訳ありませんが、本日と来週は休講です。なお、次回授業は以下の予定です： 次回授業 11月19日（火）