文学部Faculty of Letters
PHL200BB（哲学 / Philosophy 200）科学哲学２科学哲学２
中釜 浩一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
様相（必然、偶然、可能、不可能）は、現代の哲学の理解にとって必須の概念的装置である。科学哲学２では、科学哲学１に引き続いて、様相概念の意味と、それに関わる論理に習熟することを目指し、様相体系S4、S5と、時制論理への応用を扱う。
到達目標Goal
科学哲学１の十分な理解を前提とし、タブローの方法の様相論理の体系Ｓ４，Ｓ５までの拡張、および時制論理についての同様の取り扱いを習得する。
この授業を履修することで学部等のディプロマポリシーに示されたどの能力を習得することができるか（該当授業科目と学位授与方針に明示された学習成果との関連）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（その１）
体系Tの概念の説明
第3回：体系T（その２）
タブロー法による妥当性判定
第4回：体系T（その３）
反証モデル
第5回：体系Ｓ４（その１）
体系Ｓ４の説明
第6回：体系Ｓ４（その２）
タブロー法のＳ４への適用
第7回：体系Ｓ４（その３）
S4反証モデル
第8回：中間のまとめ
練習問題の解答と解説
第9回：体系Ｓ５（その１）
体系S５の説明
第10回：体系S5（その２）
S5タブローの説明
第11回：体系S５（その3）
S5反証モデル
第12回：時制論理（その１）
時制論理の説明
第13回：時制論理（その２）
時間に関する様々なモデルとタブロー法
第14回：まとめ
練習問題の解答と解説
授業時間外の学習（準備学習・復習・宿題等）Work to be done outside of class (preparation, etc.)
練習問題を自分で解く。
論理学概論・科学哲学１の内容を理解しておく。
本授業の予習復習時間は毎回4時間を標準とする。
テキスト（教科書）Textbooks
テキストは使用しない。
参考書References
リチャードジェフリー「形式的論理学」（産業図書）
中釜他「論理学の初歩」（梓出版）Pries
Priest, An Introduction to Non-Classical Logic
成績評価の方法と基準Grading criteria
練習問題の回答：３０％
中間試験：３０％
期末の試験：４０％
学生の意見等からの気づきChanges following student comments
練習問題の解説を丁寧に行う。
その他の重要事項Others
科学哲学１の内容の理解を前提とするので、科学哲学１を受講しておくこと。