文学部Faculty of Letters
PHL200BB(哲学 / Philosophy 200)科学哲学2科学哲学2
中釜 浩一Kouichi NAKAGAMA
授業コードなどClass code etc
学部・研究科Faculty/Graduate school | 文学部Faculty of Letters |
添付ファイル名Attached documents | |
年度Year | 2021 |
授業コードClass code | A2242 |
旧授業コードPrevious Class code | |
旧科目名Previous Class title | |
開講時期Term | 秋学期授業/Fall |
曜日・時限Day/Period | 木3/Thu.3 |
科目種別Class Type | |
キャンパスCampus | 市ヶ谷 |
教室名称Classroom name | |
配当年次Grade | |
単位数Credit(s) | 2 |
備考(履修条件等)Notes | |
他学部公開科目Open Program | ○ |
他学部公開(履修条件等)Open Program (Notes) | |
グローバル・オープン科目Global Open Program | |
成績優秀者の他学部科目履修制度対象Interdepartmental class taking system for Academic Achievers | |
成績優秀者の他学部科目履修(履修条件等)Interdepartmental class taking system for Academic Achievers (Notes) | |
実務経験のある教員による授業科目Class taught by instructors with practical experience | |
SDGsCPSDGs CP | |
アーバンデザインCPUrban Design CP | |
ダイバーシティCPDiversity CP | |
未来教室CPLearning for the Future CP | |
カーボンニュートラルCPCarbon Neutral CP | |
千代田コンソ単位互換提供(他大学向け)Chiyoda Campus Consortium | |
カテゴリーCategory | |
他学科公開科目 | |
クラスGroup | |
昼夜表記Day or Night |
すべて開くShow all
すべて閉じるHide All
Outline (in English)
To understand the meanings of modal concepts(necessity, contingency, possibility, impossibility) is a key to modern philosophy. We try to
master some skills of modal propositional logic in terms of tableau method, and deepen our thought about modality.
授業で使用する言語Default language used in class
日本語 / Japanese
授業の概要と目的(何を学ぶか)Outline and objectives
様相(必然、偶然、可能、不可能)は、現代の哲学の理解にとって必須の概念的装置である。科学哲学2では、科学哲学1に引き続いて、様相概念の意味と、それに関わる論理に習熟することを目指し、様相体系S4、S5と、時制論理への応用を扱う。
到達目標Goal
科学哲学1の十分な理解を前提とし、タブローの方法の様相論理の体系S4,S5までの拡張、および時制論理についての同様の取り扱いを習得する。
この授業を履修することで学部等のディプロマポリシーに示されたどの能力を習得することができるか(該当授業科目と学位授与方針に明示された学習成果との関連)Which item of the diploma policy will be obtained by taking this class?
ディプロマポリシーのうち、「DP1」「DP3」に関連
授業で使用する言語Default language used in class
日本語 / Japanese
授業の進め方と方法Method(s)(学期の途中で変更になる場合には、別途提示します。 /If the Method(s) is changed, we will announce the details of any changes. )
講義および練習問題とその解説によって進める。
授業の冒頭で課題の解答と解説を与える。
アクティブラーニング(グループディスカッション、ディベート等)の実施Active learning in class (Group discussion, Debate.etc.)
あり / Yes
フィールドワーク(学外での実習等)の実施Fieldwork in class
なし / No
授業計画Schedule
秋学期
※各回の授業形態は予定です。教員の指示に従ってください。
第1回:タブロー法と様相に関する復習
様々な様相概念
第2回:体系T(その1)
体系Tの概念の説明
第3回:体系T(その2)
タブロー法による妥当性判定
第4回:体系T(その3)
反証モデル
第5回:体系S4(その1)
体系S4の説明
第6回:体系S4(その2)
タブロー法のS4への適用
第7回:体系S4(その3)
S4反証モデル
第8回:中間のまとめ
練習問題の解答と解説
第9回:体系S5(その1)
体系S5の説明
第10回:体系S5(その2)
S5タブローの説明
第11回:体系S5(その3)
S5反証モデル
第12回:時制論理(その1)
時制論理の説明
第13回:時制論理(その2)
時間に関する様々なモデルとタブロー法
第14回:まとめ
練習問題の解答と解説
授業時間外の学習(準備学習・復習・宿題等)Work to be done outside of class (preparation, etc.)
練習問題を自分で解く。
論理学概論・科学哲学1の内容を理解しておく。
本授業の予習復習時間は毎回4時間を標準とする。
テキスト(教科書)Textbooks
テキストは使用しない。
参考書References
リチャードジェフリー「形式的論理学」(産業図書)
中釜他「論理学の初歩」(梓出版)Pries
Priest, An Introduction to Non-Classical Logic
成績評価の方法と基準Grading criteria
練習問題の回答:30%
中間試験:30%
期末の試験:40%
学生の意見等からの気づきChanges following student comments
練習問題の解説を丁寧に行う。
その他の重要事項Others
科学哲学1の内容の理解を前提とするので、科学哲学1を受講しておくこと。