■
後期授業は10月11日(火)よりの開講となります。教室は前期と同じく第9講義室の予定です。
本日の授業内容
前期は、最小述語論理という体系について、論理結合子の導入規則と除去規則を意味を考えずに紹介してきました。
後期授業の初回である今回は、「論理結合子の意味とは何か」について考えてみたいと思います。
この問題を考えるためには、最初に「『論理結合子の意味』という言葉の意味とは何か」を考える必要があります。具体的には、二種類のアプローチの仕方(モデル論的意味論と証明論的意味論)の基本的なアイディアを紹介し、あわせて、モデル論的意味論におけるスリングショット論法などについても検討します。
授業内容
- 前期の復習
- 命題論理の論理記号の導入・除去規則
- 述語論理の論理記号の導入・除去規則
- 論理結合子の意味とは?
- モデル論的意味論
- 証明論的意味論
本日の授業資料
授業スライド
こちらから
授業要旨
こちらから
参考文献
スリングショット論法の典型例は以下を参照して下さい。
- 作者: ドナルド・デイヴィドソン,野本和幸,金子洋之,植木哲也,高橋要
- 出版社/メーカー: 勁草書房
- 発売日: 1991/05/01
- メディア: 単行本
- 購入: 2人 クリック: 53回
- この商品を含むブログ (30件) を見る
- 作者: 飯田隆
- 出版社/メーカー: 講談社
- 発売日: 2005/12/16
- メディア: 単行本(ソフトカバー)
- クリック: 3回
- この商品を含むブログ (44件) を見る