■

本日の授業内容

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

授業内容

1. 前期の復習
   1. 命題論理の論理記号の導入・除去規則
   2. 述語論理の論理記号の導入・除去規則
2. 論理結合子の意味とは？
3. モデル論的意味論
4. 証明論的意味論

参考文献

スリングショット論法の典型例は以下を参照して下さい。