■

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