市ヶ谷リベラルアーツセンター（ILAC）ILAC Course
PHL100LA（哲学 / Philosophy 100）論理学ⅡLogic II
菅沢 龍文Tatsubumi SUGASAWA
授業コードなどClass code etc
| 学部・研究科Faculty/Graduate school | 市ヶ谷リベラルアーツセンター（ILAC）ILAC Course |
| 添付ファイル名Attached documents | |
| 年度Year | 2024 |
| 授業コードClass code | Q1154 |
| 旧授業コードPrevious Class code | P1094 |
| 旧科目名Previous Class title | 論理学Ⅱ |
| 開講時期Term | 秋学期授業/Fall |
| 曜日・時限Day/Period | 水2/Wed.2 |
| 科目種別Class Type | |
| キャンパスCampus | 市ヶ谷 |
| 教室名称Classroom name | 市富士‐F309 |
| 配当年次Grade | 法文営国環キ1～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:
Students will first learn the basic ideas of Western philosophers, beginning with Bacon and Descartes, about logic, which is the mainstay of modern scientific knowledge. Then, students will learn modern propositional logic beginning with Boolean logic, as well as the fundamentals of predicate logic, and learn how to use logical language. In addition, students will deepen their understanding of logical wording by acquiring various methods of expression, such as logical algebra, truth tables, and Venn diagrams. This will enable students to learn about the logical foundations of modern science and the fundamentals of logically correct wording.
Students will learn the rudiments of philosophical logic, modern propositional logic, and predicate logic.
(1) Students will be able to clarify the logical basis of modern science by means of philosophical logic.
(2) Students will be able to produce logically correct sentences by means of propositional logic.
(3) Students will be able to clarify the logical meaning of sentences by 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
「論理学Ⅱ」では現代における文（ぶん）の論理学を取り上げます（「論理学Ⅰ」では概念の論理学を主に取り上げました）。それに先立ち、近・現代科学の哲学的論理について、ベーコンやデカルトから始まる西洋の哲学者たちの思想を初歩的に学びます。そして文の論理学として、現代の命題論理学、さらに述語論理学の基礎を習得して、論理的な言葉遣いを学びます。また、論理代数、真理表、ベン図といった３つの表現方法を身につけて、論理的言葉遣いの理解を深めます。これにより、近・現代科学の論理的基礎や、論理的に正しい言葉遣いの基礎について学ぶことができます。
到達目標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
（１）口頭で説明するときの発音を大きな声でゆっくり明確に行い、聞き取りやすくする。
（２）授業内容は基礎的なものとはいえ多いので、整理して見通しよく説明する。
（３）問題解答は、板書等により、解き方が具体的につかめるようにする。
学生が準備すべき機器他Equipment student needs to prepare
法政大学の学習支援システム（Hoppii）にインターネット接続して、確認テストをするためのパソコン（推奨）やタブレット、スマホが必要です。