Course information | 2022_論理学(99FM020)

2022_論理学(99FM020)

授業名	論理学(99FM020)	授業名（英）	Logic
教員名	小山　虎
開講年度学期	2022年度前期
曜日時限	金曜4限
開講学科	工学部機械工学科

単位	2.0	学年	1～3年
区分	一般科目(人間科学)　講義・演習	課程	選択

概要	論理学は数学や哲学と同様に2000年以上の歴史を持つ分野ですが、現代の論理学は「記号論理学」や「数理論理学」と呼ばれており、数式のような記号を用いて「論理」に関わる現象を厳密に取り扱うことで、数学や哲学、コンピューターの基礎となっています。この授業では、論理学がどのようなものかを理解するために、命題論理や述語論理、様相論理などの基本的な論理体系について学びます。
達成目標	(1)把握：論理学がどのような分野かを把握する。 (2)理解：論理学の基礎的内容を理解する。 (3)吟味：日常で見られる推論を記号化し、吟味できるようになる。
学習教育目標	目標(A) 広い視野での社会観と責任能力を持つ技術者：　○ 目標(B) コミュニケーション能力　　　　　　　　　：　目標(C) 数学・自然科学・情報技術の知識の習得　　：　目標(D) 技術を実践する能力の養成　　　　　　　　：　目標(E) 電気電子情報工学の知識に関する能力の養成：　目標(F) エンジニアリングデザイン能力の養成　　　：
成績評価方法	「達成目標」の達成度を下記評価項目・評価基準を用いて確認します（数値は評価割合[%]）。小テスト：45（把握30、理解15）中間レポート：15（把握10、理解5）最終レポート：40（把握10、理解20、吟味10） S：90～100点、A：80～89点、B：70～79点、C：60～69点（以上、合格）、D：59点以下（不合格）再試験：　無
教科書	教科書は使用せず、参考書に沿った資料を配布します。
参考書	URL URL
履修上の注意	講義や小テスト、レポートの提出など、全てオンラインで実施します。URL等の詳細はmoodleを参照してください。

授業計画

【授業外学習の指示】
授業後に配布資料の再読と講義動画の再視聴をして内容を復習しておくことに加えて、各回の授業前にも前回の配布資料を再読して復習しておくこと。

1回　論理とは何か
2回　命題論理の構文論　人工言語
3回　命題論理の意味論　真理値表
4回　論理的帰結と妥当性
5回　タブロー
6回　様相論理の構文論　様相演算子
7回　様相論理の意味論　可能世界意味論
8回　述語論理の構文論　量化子
9回　述語論理の意味論　モデル論的意味論
10回　表現と計算
11回　同一性と個数
12回　非古典論理　厳密含意
13回　直観主義論理の構文論　二重否定
14回　直観主義論理の意味論　フレーム
15回　多値論理

注意