授業スライド・宿題 こちらから

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

スリングショット論法の典型例は以下を参照して下さい。真理と解釈作者: ドナルド・デイヴィドソン,野本和幸,金子洋之,植木哲也,高橋要出版社/メーカー: 勁草書房発売日: 1991/05/01メディア: 単行本購入: 2人 クリック: 53回この商品を含むブログ (30件) を…

前期は、最小述語論理という体系について、意味を考えずに論理結合子の導入規則と除去規則を紹介してきました。 授業第十三回目、後期初回の今回は、今度は「論理結合子の意味とは何か」について考えてみたいと思います。具体的には、二種類のアプローチの仕…