後期 火曜日 2講時 川北キャンパスC202. 単位数/Credit(s): 2. 担当教員(所属)/Instructor (Position): 大森 仁 所属:情報科学研究科. 対象学部/Object: 2セメ:文系 工農/4セメ:理(地)工農. 開講期/Term: 2・4セメスター. 科目群/Categories: 全学教育科目基盤科目-人文科学. 履修年度: 2024. 科目ナンバリング/Course Numbering: ZFH-PRI101J. 使用言語/Language Used in Course: 日本語.
各学部の履修内規または学生便覧を参照。
形式論理学入門
Introduction to Formal Logic
論理学の歴史は古く、アリストテレスにまで遡ることができます。しかし、古いからといって、全てが明らかになっているわけではなく、今もなお多くの論理学者たちが、様々な問題と向き合っています。本講義では、古典命題論理・様相論理・古典述語論理に基づいて、現代の論理学の基本的な考え方を習得することを目的とします。
Logic has a long history, going back to Aristotle. This, however, does not mean that everything has been discovered, and there are still a number of logicians facing various questions. This course aims at providing students with the basics of modern logic through classical propositional logic, modal logic, and classical predicate logic.
論理学とはどのような学問であるのかを理解すること、及び現代の論理学において用いられる基本的な概念を理解することの二点を目的とします。
This course is designed for students (i) to understand what logic is, and (ii) to understand the basic notions in modern logic.
[1] ガイダンス / Introduction
[2] 古典命題論理の意味論(1)/ Semantics for classical propositional logic (1)
[3] 古典命題論理の意味論(2)/ Semantics for classical propositional logic (2)
[4] 古典命題論理の証明体系(1)/ Proof systems for classical propositional logic (1)
[5] 古典命題論理の証明体系(2)/ Proof systems for classical propositional logic (2)
[6] 古典命題論理の意味論と証明体系の関係 / Relation between semantics and proof systems in classical propositional logic
[7] 様相論理の意味論(1)/ Semantics for modal logic (1)
[8] 様相論理の意味論(2)/ Semantics for modal logic (2)
[9] 様相論理の証明体系 / Proof systems for modal logic
[10] 様相論理のいくつかの応用 / Some applications of modal logic
[11] 古典述語論理の意味論(1)/ Semantics for classical predicate logic (1)
[12] 古典述語論理の意味論(2)/ Semantics for classical predicate logic (2)
[13] 古典述語論理の証明体系(1)/ Proof systems for classical predicate logic (1)
[14] 古典述語論理の証明体系(2)/ Proof systems for classical predicate logic (2)
[15] まとめ / Summary
期末試験を主とし(60パーセント)、平常点(コメントペーパーの提出など)を加味します(40パーセント)。
The grade will be given based on the final exam (60%), and other small assignments (40%).
論理学の基本的な考え方を習得するためには、自分で手を動かすことが非常に大切です。授業時間外学修としては、本講義の復習、特に例題や練習問題に取り組むことが基本になります。
In order to understand the basics of modern logic, it is extremely important to think and calculate by yourself. Therefore, please make sure to review the lectures, and try examples and exercises by yourself.
不要 / No
コメントペーパーはGoogle Classroomを通しての提出です。講義はすべて対面で行う予定です。