| |
| 回数 | 授業スケジュール | 授業時間外学習・時間(分) |
|
| 1 | ガイダンス
述語論理の基礎(1)
・述語論理とは
(量化子∀「すべての…について」と∃「ある…について」)
・述語論理式に表す① | ・授業の復習、テーマ「格差について」に関する情報を収集する、関連文献を読む、思考を練る(60) |
|
| 2 | 述語論理の基礎(2)
・述語論理式に表す② | ・授業の復習、テーマ「格差について」に関する情報を収集する、関連文献を読む、思考を練る(60) |
|
| 3 | 述語論理の基礎(3)
・モデルを作る①
(集合のことば、論理式を真にするモデル) | ・授業の復習、テーマ「格差について」に関する情報を収集する、関連文献を読む、思考を練る(60) |
|
| 4 | 述語論理の基礎(4)
・モデルを作る②
(反証モデル＝論理式を偽にするモデル) | ・授業の復習、テーマ「格差について」に関する情報を収集する、関連文献を読む、思考を練る(60) |
|
| 5 | 述語論理の基礎(5)
・三段論法 | ・授業の復習、テーマ「格差について」に関する情報を収集する、関連文献を読む、思考を練る(60) |
|
| 6 | 自然演繹(1)
・命題論理の自然演繹を拡張する
(量化子に関する導入規則、除去規則) | ・授業の復習、テーマ「格差について」に関する情報を収集する、関連文献を読む、思考を練る(60) |
|
| 7 | 自然演繹(2)
・制約条件のある規則
(∀導入、∃除去規則)
・背理法を用いた証明 | ・授業の復習、テーマ「格差について」に関する情報を収集する、関連文献を読む、思考を練る(60) |
|
| 8 | 自然演繹(3)
・等号(=)を含む自然演繹 | ・授業の復習、テーマ「格差について」に関する情報を収集する、関連文献を読む、思考を練る(60) |
|
| 9 | 自然演繹(4)
・自然演繹の更なる練習 | ・授業の復習、テーマ「格差について」に関する情報を収集する、関連文献を読む、思考を練る(60) |
|
| 10 | 述語論理まとめ | ・授業の復習、テーマ「格差について」に関する情報を収集する、関連文献を読む、思考を練る(60) |
|
| 11 | 日常の思考と論理（述語論理）
・日常推論の述語論理による分析 | ・授業の復習、テーマ「格差について」に関する情報を収集する、関連文献を読む、思考を練る(60) |
|
| 12 | 議論の技法(1)
・批判するということ | ・授業の復習、テーマ「格差について」に関する情報を収集する、関連文献を読む、思考を練る(60) |
|
| 13 | 議論の技法(2)
・対話における論理 | ・授業の復習、テーマ「格差について」に関する情報を収集する、関連文献を読む、思考を練る(60) |
|
| 14 | レポート作成(1)
・テーマ 「格差について」
・下書きの作成
※テーマをあらかじめ指定するのは、時間をかけて情報を集め、文献を読み、思考を練ってもらいたいからです。 | ・テーマ「格差について」に関する情報を収集する、関連文献を読む、思考を練る(60) |
|
| 15 | レポート作成(2)
・レポートを完成させる
・まとめ | ・事前に前回作成した下書きを見直し、清書の準備を整える(60) |
|