教 授 要 目 |
| 共通分野 | 論理学(2) |
| Logic(2) | |
| 1 年 2 単位 選択科目 | |
| 担当教員 山田圭一 | |
| 【 科目概要・到達目標 】 「論理的に正しい」とはどのような正しさなのだろうか。本授業では、この問いを基本的なテーマとしながら、命題論理の構文論を実際の問題演習を通じて学んでいく。加えて、述語論理を含めたその他の論理体系の基本的な考え方を理解することを通じて、論理学がもつ哲学的な面白さを発見してほしい。 |
|
| 【 成績評価 】 学期末試験（８０点）、授業内に数回行う小テスト（２０点） |
|
| 【 履修心得 】 前期の論理学（１）の内容を習得済みであることを前提に授業を進めていくので、履修済みか自学によってその内容を習得済みであることが望ましい。 |
|
| 【 授業計画 】 １．イントロ：論理的に正しいとはどういうことか ２．命題論理の構文論（１）公理系 ３．命題論理の構文論（２）規則と証明１ ４．命題論理の構文論（３）規則と証明２ ５．命題論理の構文論（４）規則と証明３ ６．命題論理の構文論についての問題演習 ７．述語論理とはどのような論理か ８．全称量化と存在量化 ９．述語論理の意味論 １０．述語論理の構文論（１） １１．述語論理の構文論（２） １２．述語論理の問題演習 １３．その他の様々な論理学 １４．後期のまとめ １５．学期末試験 |
|
| 【 教科書 】 特になし。授業内で毎回レジュメを配布する。 |
|
| 【 参考書 】 『論理学』、野矢茂樹、東京大学出版会 |
|
| 【e-mail address】 オンライン版では非公開です。 |
|
| 【 学生へのメッセージ 】 この授業は積み重ねなので、毎回出席することが前提となります。 |
|
| 【 オフィスアワー 】 月曜日１６時以降 |
|
| | 目 次 | 科目一覧 | |