授業科目名 論理学
履修期 春 2単位 履修基準年度 1年
授業目的 / Course Objectives
この授業では、記号を使用することによって、最も基本的な論理である演繹論理を学ぶ。文章の論理的内容を記号化できるようになること、さらにその妥当性を厳密な方法で判断できるようになること、などがこの授業の目標である。
到達目標 / Attainment Objectives
-
授業時間外の学習 (準備学習等について) / Study Required Outside of Class (Preparation etc.)
二回に一回程度、練習問題を課題として提出してもらいます。
授業計画 / Class Overall Plan
1 イントロダクション
2 論証の妥当性
3 「かつ」と「または」
4 条件法
5 双条件法と論理的同値性
6 さまざまな論証
7 矛盾と整合性
8 トートロジー
9 記号言語の文法
10 述語、名前、量化子
11 量化子を含んだ文の解釈
12 量化子を含んだ論証の妥当性
13 実際の論証
14 補足
教科書 / Textbook(s)
-
参考文献 References Books
-
授業方法 / Method of Instruction
講義と課題演習。
学生による授業評価の方法 / Course Evaluation by Students
学期末のアンケート
成績評価 / Evaluation Criteria/Method
定期試験の成績と課題の提出状況をあわせて評価する。
備考 / Note
-
検索キーワード / Keywords
演繹/妥当性/真理表/命題論理/述語論理