| Course Name | Year | Term | Period | Faculty / Graduate School | All Instructors | Credits |
|---|---|---|---|---|---|---|
| 35694:Logic and Thinking (G1) | 2024 | Spring | Mon4 | College Of Economics,College of Science and Engineering,College of Gastronomy Management,College of Life Sciences,College of Pharmaceutical Sciences,College of Sport and Health Science (tentative name) | ISE TOSHIHIKO | 2 |
Campus
Class Venue
Language
Course Outline and Method
授業は、対面による講義形式で進め、各回に、manaba+Rを通じた理解度確認の小テスト、および授業についての質問や要望の受付を行う。
Student Attainment Objectives
・命題や論証の論理的性質を検討し、また論理的な推論を行なうために、図、表、記号などを場合に応じて柔軟に用いることができる。
・具体的状況において推理、判断能力を試す問題に対処することができる。
Recommended Preparatory Course
Course Schedule
| Lecture/Instructor(When there are multiple instructors) | Theme |
|---|---|
| Keyword, References and Supplementary Information | |
| 1 | 「論理的」とはどういうことか |
4枚カード問題、命題、反例、矛盾 |
|
| 2 | 命題を図と表で表現する |
もし○ならば△、ヴェン図、真理表 |
|
| 3 | 真理表と論理的性質・論理的関係 |
論理結合子、→(もし〜ならば〜)、¬(〜でない)、可能性/必然性、矛盾/必然的帰結 |
|
| 4 | 真理表と論証 |
論証の妥当性、∨(〜または〜)、∧(〜そして〜) |
|
| 5 | 真理関数とその表現 |
文の情報内容を真理関数としてとらえる |
|
| 6 | 真理関数とその表現(続き) |
一定の真理関数を表わす文を作る、ド・モルガン則、対偶則、必要条件と十分条件 |
|
| 7 | 真理関数とその表現(続き) |
真理関数と情報量、トートロジー、矛盾 |
|
| 8 | トートロジーと論証 |
(無)矛盾律、排中律、同一律 |
|
| 9 | 真理表と推理 |
推論規則、消去法 |
|
| 10 | 真理表と推理(続き) |
3つの要素を含む情報、犯人捜しゲーム |
|
| 11 | 一般命題と三段論法をヴェン図で表現する |
全称(普遍)命題、特称命題、存在命題、ヴェン図と情報量 |
|
| 12 | 一般命題の記号表現 |
存在量化子、全称(普遍)量化子 |
|
| 13 | 一般命題と一般命題、一般命題と単称命題の論理的関係 |
存在量化文と全称(普遍)量化文の関係、量化文と単称文の関係、例化、量化文と単称文を含む論証 |
|
| 14 | 一般命題を含む論証の記号表現 |
三段論法の問題を記号で解く |
|
| 15 | 全体の概観と補足 |
図と記号による表現、記号の操作、論理的概念の理解 |
Class Format
Recommendations for Private Study
Grade Evaluation Method
| Kind | Percentage | Grading Criteria etc. |
|---|---|---|
| Final Examination (Written) | 40 | 用語や概念、図表や記号の理解について論述問題によって確認する。 |
| Report Examination (A report to be submitted by the unified deadline) |
||
| Exams and/or Reports other than those stated above, and Continuous Assessment (Evaluation of Everyday Performance in Class) |
60 | 授業期間中の小テストを中心に、授業への参加と理解度のチェックを行う。 |
Grade Evaluation Method (Note)
Advice to Students on Study and Research Methods
Textbooks
Textbooks (Frequency of Use, Note)
Reference Books
| Title | Author | Publisher | ISBN Code | Comment |
|---|---|---|---|---|
| 形式論理学 | リチャード・ジェフリー | 産業図書 | 9784782800928 | 授業内容をより体系的に理解し、より進んだ内容に進めるために。 |
| まったくゼロからの論理学 | 野矢茂樹 | 岩波書店 | 9784000248297 | 記号論理を記号を使わないで一から説明する。 |
Reference Books (Frequency of Use, Note)
Web Pages for Reference
How to Communicate with the Instructor In and Out of Class(Including Instructor Contact Information)
Other Comments
URL:http://www.ritsumei.ac.jp//students/pathways-future/course/curriculum.html