市ヶ谷リベラルアーツセンター（ILAC）ILAC Course
PHL100LA（哲学 / Philosophy 100）論理学ⅡLogic II
菅沢 龍文Tatsubumi SUGASAWA
授業コードなどClass code etc
| 学部・研究科Faculty/Graduate school | 市ヶ谷リベラルアーツセンター（ILAC）ILAC Course |
| 添付ファイル名Attached documents | |
| 年度Year | 2022 |
| 授業コードClass code | Q1154 |
| 旧授業コードPrevious Class code | |
| 旧科目名Previous Class title | |
| 開講時期Term | 秋学期授業/Fall |
| 曜日・時限Day/Period | 火2/Tue.2 |
| 科目種別Class Type | |
| キャンパスCampus | 市ヶ谷 |
| 教室名称Classroom name | 各学部・研究科等の時間割等で確認 |
| 配当年次Grade | 法1年S～W／法文営国環キ2～4年 |
| 単位数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 | |
| 選択・必修Optional/Compulsory | |
| カテゴリー（2017年度以降）Category (2018~) |
2017年度以降入学者 ILAC科目 100番台 基盤科目 1群（人文分野） |
| カテゴリー（2016年度以前）Category (2017) |
すべて開くShow all
すべて閉じるHide All
Outline (in English)
Elements of Modern Philosophical Logic of Knowledge, Propositional Logic and Predicate Logic:
At first we learn the logical thoughts of modern European philosophers, beginning with F. Bacon and R. Descartes: in what way the knowledge of modern sciences is logically formed. In the second place we learn the elementary logic of our times, from the Boolean propositional logic down to the predicate logic. We use some means of expression like logical algebra, truth-chart and Venn diagram and apprehend the logic clearly. Therefor we can learn the essential philosophical logic of modern sciences and the elements of the propositional logic.
Students will learn the rudiments of philosophical logic of modern science, modern propositional logic, and predicate logic.
(1) To be able to think about the nature of modern science through philosophical logic.
(2) To be able to think about the meaning of logical truth through propositional logic.
(3) To be able to think about the relations between individualities through predicate logic.
[Learning activities outside of classroom]
The preparation (2 hours): To understand what we learn in our class next time.
The brush-up (2 hours): (1) To try mini-examination on "Hoppii". (2) To review the lesson.
[Grading Criteria / Policy]
The grades are given in terms of the philosophical logic of the modern science, the propositional logic of our time and the predicate logic elementary understood. In this regard the following two aspects are respected. (1) 70%: The score of the mini-examinations, the attendance and the attitudes. (2) 30%: The score of the final examination.
授業で使用する言語Default language used in class
日本語 / Japanese
授業の概要と目的（何を学ぶか）Outline and objectives
哲学的論理学、命題論理学および述語論理学の初歩。
近代の科学的知識の論理について、ベーコンやデカルトから始まる西洋の哲学者たちの思想を初歩的に学ぶ。そして、ブール論理学から始まる現代の命題論理学、さらに述語論理学の基礎を習得する。また、論理代数、真理表、ベン図などの多様な表現方法で命題論理学の理解を深める。これにより、近代科学の論理や19世紀以降の命題論理の基礎について学ぶことができる。
到達目標Goal
近代科学の哲学的論理学、現代の命題論理学、述語論理学の初歩を学ぶ。
①哲学的論理学によって、近代科学の本質を考えることができる。
②命題論理学によって論理学的真理の意味を考えることができる。
③述語論理学によって個物どうしの関係について考えることができる。
この授業を履修することで学部等のディプロマポリシーに示されたどの能力を習得することができるか（該当授業科目と学位授与方針に明示された学習成果との関連）Which item of the diploma policy will be obtained by taking this class?
各学部のディプロマ・ポリシーのうち、以下に関連している。法学部・法律学科：DP3・DP4、法学部・政治学科：DP1、法学部・国際政治学科：DP1、文学部：DP1、経営学部：DP3、国際文化学部：DP2、人間環境学部：DP2、キャリアデザイン学部：DP1
授業で使用する言語Default language used in class
日本語 / Japanese
授業の進め方と方法Method(s)（学期の途中で変更になる場合には、別途提示します。 /If the Method(s) is changed, we will announce the details of any changes. ）
参加者は
（1）テキスト、プリント、プロジェクターを用います。
（2）授業内では、必要に応じて板書で問題を解きます。
（3）毎回「学習支援システム」で確認小テストを解いて提出します。
（4）授業の初めに前回の確認小テストを用いて復習します。
アクティブラーニング（グループディスカッション、ディベート等）の実施Active learning in class (Group discussion, Debate.etc.)
なし / No
フィールドワーク（学外での実習等）の実施Fieldwork in class
なし / No
授業計画Schedule
授業形態/methods of teaching：対面/face to face
※各回の授業形態は予定です。教員の指示に従ってください。
1[対面/face to face]：オリエンテーション
F・ベーコンの考えたこと
（１）授業について
（２）イドラ説
（３）表を用いた帰納法
2[対面/face to face]：帰納法と演繹法
（１）ミルの帰納法
（２）自然の斉一性
（３）デカルトと演繹法
3[対面/face to face]：哲学的論理
（１）ライプニッツ 充足理由律
（２）カント 超越論的論理学
（３）ヘーゲル 弁証法
4[対面/face to face]：命題論理学 ― 命題の真偽・論理的結合・複合命題の真理値
（１）命題
（２）論理的結合子
（３）真理表とベン図
―複合命題の真理値―
（１）否定
（２）連言
5[対面/face to face]：複合命題の真理値
―複合命題の真理値―
（３）選言
（４）条件
（５）等値
―論理代数を用いて考える―
6[対面/face to face]：問題を解く
（１）複合命題の反例となる命題
（２）複合命題に対応する事象の確率
（３）複合命題の論理代数化
7[対面/face to face]：恒真命題（１）
（１）恒真命題
（２）恒偽命題・総合命題
（３）恒真命題の判定（真理表）
8[対面/face to face]：恒真命題（２）
（１）恒真命題の判定（真理表と帰謬法）
9[対面/face to face]：恒真命題と推理の妥当性
（１）恒真命題の判定（帰謬法）
（２）推理の妥当性
10[対面/face to face]：G.フレーゲ、B.ラッセル
（１）クラス理論
（２）嘘つきのパラドックス
（３）タイプ理論
11[対面/face to face]：述語論理学のはじめ（Ⅰ）
（１）命題関数
（２）限量記号
（３）概念の述語化
12[対面/face to face]：述語論理学のはじめ（Ⅱ）
（１）対当推理を考える
（２）多項述語で考える
13[対面/face to face]：総復習
秋学期全体について
14[対面/face to face]：問題を解く
試験問題を解いて到達度を確認する
授業時間外の学習（準備学習・復習・宿題等）Work to be done outside of class (preparation, etc.)
本授業の準備・復習時間は、各２時間を標準とします。
《予習》次回の内容についてテキストやプリント（「学習支援システム」上で前日にPDFで配布が原則）で概観しておく。
《復習》「学習支援システム」で毎回の確認小テストを提出し、前回の授業内容を復習して理解を確実にしておく。
テキスト（教科書）Textbooks
大貫・白根・菅沢・中釜著『論理学の初歩』（梓出版社）
※第2回(3)～第3回および第10～14回は、プリントをテキストとします。
参考書References
適宜、授業内で提示します。
成績評価の方法と基準Grading criteria
近代科学の哲学的論理学、現代の命題論理学、述語論理学の初歩に関して、次の２方面から総合評価する。
（１）平常点（参加姿勢、確認小テストの評価など）
（２）最終回に行う全体についての試験の点数
これらのうち（１）を70％（２）を30％の割合で総合して評価する。
学生の意見等からの気づきChanges following student comments
（１）口頭で説明するときの発音を大きな声でゆっくり明確に行い、聞き取りやすくする。
（２）授業内容は基礎的なものとはいえ多いので、整理して見通しよく説明する。
（３）問題解答は、板書等により、解き方が具体的につかめるようにする。