基礎演習 I 論理学

京都大学文学部の「基礎演習 I 論理学」(毎週火曜日16:30〜18:00)の授業Blogです。

2013-10-08から1日間の記事一覧

参考文献

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

本日の授業資料

授業スライド こちらから 授業要旨 こちらから 宿題 なし

授業内容

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

後期から教室が変更になります: 変更前:文学部新館第4講義室 変更後:文学部新館第8演習室 前期は、最小述語論理という体系について、論理結合子の導入規則と除去規則を意味を考えずに紹介してきました。 授業第十五回目、後期初回の今回は、「論理結合子の…