大変申し訳ありません、急に会議が入り、急遽休講となりました。 次回授業は、ちょっとあいて11月17日となります。 さて、授業・後期第三回目は、「論理結合子の意味とは何か」の続きで「反転原理」を取り上げます。 前回紹介したように、トンクは体系を自明…

先週は申し訳ありませんでした。今週こそは授業を行います！後期授業第二回目の今回は、「論理結合子の条件」について、証明論的意味論の立場から考えてみたいと思います。具体的には、意味の理論IIの素朴な解釈である素朴な推論主義「論理結合子の意味は導…

急な話で申し訳ありませんが、会議準備のため、10月13日（火）は休講とします。 大変申し訳ありませんが、よろしくお願いいたします。

後期授業は10月6日(火)よりの開講となります。教室は前期と同じく第９講義室の予定です。 本日の授業内容 前期は、最小述語論理という体系について、論理結合子の導入規則と除去規則を意味を考えずに紹介してきました。 授業第十五回目、後期初回の今回は、…