論理学
| 項目 | 有無 |
|---|---|
| 出席 | なし |
| 課題 | なし |
| テスト | 期末 |
人文選択必修。今年から開講された授業で、出席や課題はなく資料はすべてWebClassで配信されます。オンデマンド授業が三回ありました。人文ですが
みたいなのが出現します。文系科目は嫌いだ、みたいな人にはぴったりなのかもしれません。授業は論理学の基礎から始まり、命題論理、述語論理、自然演繹、健全性定理、完全性定理まで扱います。
授業の進行は早めです。授業中に問題を解く時間が取られますが、私は間に合いませんでした。成績は持ち込みなしの期末一発勝負ですが、授業中の問題より難しいものが出題されたように思います。ペンの音より紙をめくる音の方が大きい試験でした。
講義一覧
| 回 | 日付 | 内容 | タグ |
|---|---|---|---|
| 1 | 04/08 | ガイダンス、論理学とは、反例、推論の正しさ | 論理学 |
| 2 | 04/15 | 命題論理の記号化 | 論理学 命題論理 |
| 3 | 04/22 | 述語論理の記号化、量化子 | 論理学 述語論理 |
| 4 | 05/13 | 真理条件意味論、真理表、トートロジー、モデル | 論理学 意味論 モデル |
| 5 | 05/20 | 充足可能性、モデル構成、多重量化 | 論理学 モデル 充足可能性 |
| 6 | 05/27 | 証明論入門、数理論理学の歴史 | 論理学 証明論 |
| 7 | 06/10 | 自然演繹（→I, →E, ∀E, ∀I） | 論理学 自然演繹 |
| 8 | 06/17 | 自然演繹（∨I, ∨E, ∃I, ∃E）、直観主義 | 論理学 自然演繹 直観主義 |
| 9 | 06/24 | 自然演繹まとめ、完全性定理予告、試験案内 | 論理学 自然演繹 |
| 10 | 07/08 | 等号、健全性定理、完全性定理（命題論理＋述語論理） | 論理学 完全性定理 健全性 |
| 11 | 07/15 | 完全性定理（続き）、Lemmas概略 | 論理学 完全性定理 |
| 12 | 07/22 | 完全性定理（Lemma 4〜8）→ 証明完了！ | 論理学 完全性定理 リンデンバウム |