Ritsumeikan University Syllabus

Course Name	Year	Term	Period	Faculty / Graduate School	All Instructors	Credits
30090:Logic and Thinking (T)	2022	Fall	Mon3	College　of　Science　and　Engineering,College　of　Life　Sciences,College　of　Pharmaceutical　Sciences	YAMAGUCHI SHO	2

BKC

Co-learning402

Japanese

論理とは、ことばや記号を媒介とする思考の根底にある構造である。この構造に支えられて、推理や論証という活動が可能になる。ことばや記号による表現の検討を通じ、論理のしくみを客観的に考えることによって、論理や論証の実践的技能の基礎作りを試みる。

・「意味論的妥当性」・「トートロジー」・「演繹可能」・「証明」などの論理的概念を理解し、それらを適切に活用することができる。
・論理と計算の関係を理解し、数論的な課題を解決するプログラムを作成することができる。

Lecture/Instructor（When there are multiple instructors)	Theme
Lecture/Instructor（When there are multiple instructors)	Keyword, References and Supplementary Information
1	講義への導入と概要
1	論証の妥当性の基準の探究としての論理学
2	論理学の基礎（１）
2	「ならば」の用法について
3	論理学の基礎（２）
3	量化について
4	命題論理の意味論（１）
4	意味論的妥当性
5	命題論理の意味論（２）
5	トートロジー
6	命題論理の意味論（３）
6	意味論的妥当性とトートロジーの関係
7	命題論理の意味論（４）
7	代入の法則（１）
8	命題論理の意味論（５）
8	代入の法則（２）
9	命題論理の構文論（１）
9	自然推論の体系の導入
10	命題論理の構文論（２）
10	公理系（１）
11	命題論理の構文論（３）
11	公理系（２）
12	メタ理論（１）
12	健全性定理
13	メタ理論（２）
13	完全性定理（１）
14	メタ理論（３）
14	完全性定理（２）
15	総括講義
15	到達目標の確認

＜授業実施形態欄＞
　【BCPレベル1～2の場合】
　・第1回をWEB（ライブorオンデマンド）で、第2回～第15回を対面にて実施。
　
　【BCPレベル3～4の場合】
　・第1回～第15回をＷＥＢ（ライブorオンデマンド）にて実施。

その都度の要点を確認し、疑問点を残さないように。復習が必須である。

Kind	Percentage	Grading Criteria etc.
Final Examination (Written)	100	定期試験を実施し、講義内容全体の理解を確認し、それを評価する。
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)

12月までに定期試験の中止が決定した場合は、レポート試験で評価する。
1月以降に定期試験の中止が決定した場合は、レポート課題（平常点）で評価する。

なお、「新型コロナに関わる定期試験配慮」等の申請が受理された学生には、定期試験の代わりにレポートを課す。

毎回オンラインでテキストを配布します。

プリントを使用する。

Title	Author	Publisher	ISBN Code	Comment
学んでみよう！記号論理	高崎　金久	日本評論社	978-4-535-78760-5
いかにして推理するかいかにして証明するか	内井　惣七	ミネルヴァ書房	3010-50703-8028

その他適宜紹介する。

Communication Paper,Talk with Students

【科目ナンバリング・カリキュラムマップはこちらから/Click here to see the Curriculum-Map and Course-Numbering】
URL:http://www.ritsumei.ac.jp//students/pathways-future/course/curriculum.html