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

後期第三回授業は、「論理結合子の意味とは何か」の続きで、「反転原理」（inversion principle）を取り上げます。 前回紹介したように、トンクは体系を自明化するという本質的な欠陥を持っていましたが、言語全体というグロ−バルなレベルでは、「保存拡大性…

後期授業第二回目の今回は、「論理結合子の条件」について、証明論的意味論の立場から考えてみたいと思います。 具体的には、意味の理論IIの素朴な解釈である素朴な推論主義「論理結合子の意味は導入規則と除去規則によって完全に定められる」が正しいかどう…

後期授業開講＠火曜日5限５講 本日の授業内容 前期は、最小述語論理という体系について、論理結合子の導入規則と除去規則を意味を考えずに紹介してきました。 後期授業の初回である今回は、「論理結合子の意味とは何か」について考えてみたいと思います。 こ…