| |
| 回数 | 授業スケジュール | 授業時間外学習・時間(分) |
|
| 1 | はじめに：論理学の対象
論理学の対象について，また，正しい推論とはどのようなものかについて概観します． | 小テストの問題を次の授業時までに解いておくことが必要です(30)． |
|
| 2 | 文の記号化
日常言語で表現された文章を論理学の記号による表現に置き換える仕方について学びます． | 小テストの問題を次の授業時までに解いておくことが必要です(30)． |
|
| 3 | 文の真偽
文の真偽を，真理表と呼ばれる表を作成しながら確かめます．同時に，論理の基本概念と基本法則を学びます． | 小テストの問題を次の授業時までに解いておくことが必要です(30)． |
|
| 4 | ド・モルガンの法則／条件文消去の法則
「ならば」という接続語を含む文を条件文といいます．この回では，条件文の真偽の定義と条件文についての同値法則を学びます． | 小テストの問題を次の授業時までに解いておくことが必要です(30)． |
|
| 5 | 条件文の逆・裏・対偶・否定
前回に引き続き，条件文についての同値法則，特に，対偶の法則や対偶法による証明を学びます． | 小テストの問題を次の授業時までに解いておくことが必要です(30)． |
|
| 6 | 切断／アリバイの原理
正しい推論と間違った推論を真理表を作成することにより区別する方法を学びます． | 小テストの問題を次の授業時までに解いておくことが必要です(30)． |
|
| 7 | 三段論法
妥当な推論と健全な推論の違いを学びます．また，三段論法と対偶を組み合わせた練習問題を解きます． | 小テストの問題を次の授業時までに解いておくことが必要です(30)． |
|
| 8 | 両刀論法（ジレンマ）
場合分けの証明や，二分法の誤りなどについて学びます． | 小テストの問題を次の授業時までに解いておくことが必要です(30)． |
|
| 9 | 分配法則を含む推論
論理演算における分配法則を学び，推論や論証の中で，どのように応用できるかを学びます． | 小テストの問題を次の授業時までに解いておくことが必要です(30)． |
|
| 10 | Excelによる真理表作成
Excelを用いて真理表を作成することにより，推論の妥当性について復習します． | 小テストの問題を次の授業時までに解いておくことが必要です(30)． |
|
| 11 | 述語と集合
これまでに学んだ命題論理学を拡張し，その基礎となる述語や集合などについて学びます． | 小テストの問題を次の授業時までに解いておくことが必要です(30)． |
|
| 12 | 存在命題を含む推論
「～が存在する」という主張を記号化する仕方と，それを含む推論について学びます． | 小テストの問題を次の授業時までに解いておくことが必要です(30)． |
|
| 13 | 拡張されたド・モルガンの法則
「どの矛によっても貫かれない盾が存在する」という命題を否定するには，どのようにすればよいでしょうか？拡張されたド・モルガンの法則により，このような問題を考えます． | 小テストの問題を次の授業時までに解いておくことが必要です(30)． |
|
| 14 | 必要十分条件/パラドクスとウソつき問題
「うそつきのパラドクス」や，「ラッセルのパラドクス」などを紹介します．また，ウソつきのパラドクスの考え方を応用して，「ウソつき問題」を解きます． | 小テストの問題を次の授業時までに解いておくことが必要です(30)． |
|
| 15 | まとめと復習テスト
論理学の基本概念について理解しているかどうか，また，それらを応用して正しい推論と間違った推論を区別できるかどうかなどを確認します． | |
|