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