■ - 基礎演習 I 論理学

後期授業開講＠火曜日5限５講

本日の授業内容

前期は、最小述語論理という体系について、論理結合子の導入規則と除去規則を意味を考えずに紹介してきました。
後期授業の初回である今回は、「論理結合子の意味とは何か」について考えてみたいと思います。
この問題を考えるためには、最初に「『論理結合子の意味』という言葉の意味とは何か」を考える必要があります。具体的には、二種類のアプローチの仕方（モデル論的意味論と証明論的意味論）の基本的なアイディアを紹介し、あわせて、モデル論的意味論におけるスリングショット論法などについても検討します。