学部・大学院区分
Undergraduate / Graduate
情報学部
時間割コード
Registration Code
1000073
科目区分
Course Category
専門基礎科目(人間・社会情報学科 対象)
科目名 【日本語】
Course Title
論理学2b
科目名 【英語】
Course Title
Logic 2b
コースナンバリングコード
Course Numbering Code
SIS-03-2004-J
担当教員 【日本語】
Instructor
久木田 水生 ○
担当教員 【英語】
Instructor
KUKITA Minao ○
単位数
Credits
1
開講期・開講時間帯
Term / Day / Period
秋2期 月曜日 2時限
Fall2 Mon 2
対象学年
Year
2年
2
授業形態
Course style
講義
Lecture
開講系(学部)・開講専攻(大学院)
Subject
共通(人社)
必修・選択
Required / Selected
選択


授業の目的 【日本語】
Goals of the Course(JPN)
論理学1において学んだ古典命題論理における条件文の問題を、様相論理や直観主義論理がどのように対処しているかを学ぶ。そのことを通じて数学、計算機科学、論理学に関連する哲学的問題の初歩について学ぶ。
授業の目的 【英語】
Goals of the Course
We will learn how modal logic and intuitionistic logic deal with problems concerning conditionals in classical propositional logic, which we studied in Logic 1. Through this, we will learn the basics of philosophical issues related to mathematics, computer science, and logic.
到達目標 【日本語】
Objectives of the Course(JPN)
論理学的方法に基づいて推論や認識などに関連する哲学的問題に取り組む方法を身に着けることを目指す。具体的には様相命題論理の構文論と「可能世界」に基づく意味論の基礎を学び、その意味論を用いて論理式の真偽や推論の妥当性を確かめることができるようになる。
到達目標 【英語】
Objectives of the Course
授業の内容や構成
Course Content / Plan
論理学1では「古典論理」と呼ばれる論理体系を扱った。この授業ではまず古典論理に「ありうる」「必ず」「知っている」「信じている」「義務である」「許される」などの演算子を加えて拡張した様相論理の基本的な発想について学ぶ。次いで様相論理のメジャーな意味論の一つである可能世界意味論を学び、それが条件文の分析にどのように使えるかを示す。さらに直観主義論理の基礎について学び、様相論理による直観主義論理の意味論について学ぶ。

1. ガイダンス
2. 古典命題論理の復習、含意の違和
3. 様相論理のアイディアと構文論
4. 可能世界意味論
5. 実質含意と厳密含意
6. クリプキ意味論と様々な様相論理の体系
7. 直観主義論理
8. 直観主義論理に対するクリプキ意味論
履修条件・関連する科目
Course Prerequisites and Related Courses
論理学1を履修していることが必要。
成績評価の方法と基準
Course Evaluation Method and Criteria
講義の復習と理解度チェックのための小課題を提出してもらう。その総計(100点満点)によって成績を評価する。成績評価基準については全学のそれに準拠する。
教科書・参考書
Textbook/Reference book
テキストはTACTを通じて配布する。参考文献については講義の際に紹介する。
課外学習等(授業時間外学習の指示)
Study Load(Self-directed Learning Outside Course Hours)
理解を深めるために課題を与える。
授業開講形態等
Lecture format, etc.
対面
遠隔授業(オンデマンド型)で行う場合の追加措置
Additional measures for remote class (on-demand class)
Zoomによる双方向質問タイムを設定する。