教 授 要 目 |
| 共通分野 | 論理学(1) |
| Logic(1) | |
| 1 年 2 単位 選択科目 | |
| 担当教員 山田圭一 | |
| 【 科目概要・到達目標 】 「論理的に考えなさい！」と言われることがある。しかし「論理的に考える」とは何をすることなのだろうか。この授業ではこの素朴な疑問を基本テーマとしながら、命題論理の意味論を中心に論理学の基本的な考え方を理解するとともに、論理的に考える能力を身につけることを目指す。 |
|
| 【 成績評価 】 学期末試験（８０点）、授業内に数回行う小テスト（２０点） |
|
| 【 履修心得 】 論理とは何かに興味があること。実際に手を動かして考えることが嫌いでないこと。 |
|
| 【 授業計画 】 １．イントロ：論理学とはどのような学問か ２．帰納的推論と演繹的推論 ３．飛躍のある推論 ４．命題論理の意味論（１）真理表（否定、連言） ５．命題論理の意味論（２）真理表（選言、条件文） ６．命題論理の意味論（３）真理値分析 ７．命題論理の意味論（４）トートロジー ８．命題論理の意味論（５）推論の判定 ９．命題論理の意味論についての問題演習 １０．命題論理とコンピュータ １１．推論の技術（１）：三段論法 １２．推論の技術（２）：背理法と消去法 １３．様々な誤謬推論 １４．前期のまとめ １５．学期末試験 |
|
| 【 教科書 】 特になし。授業内で毎回レジュメを配布する。 |
|
| 【 参考書 】 『論理学』、野矢茂樹、東京大学出版会 |
|
| 【e-mail address】 オンライン版では非公開です。 |
|
| 【 学生へのメッセージ 】 この授業は積み重ねなので、毎回出席することが前提となります。 |
|
| 【 オフィスアワー 】 月曜日１６時以降 |
|
| | 目 次 | 科目一覧 | |