| 授業名 | 論理学(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回 多値論理 |
| 注意 |
- 教員: 小山 虎
背景色
フォント
フォントカーニング
文字の大きさ
画像の可視性
文字間隔
行の高さ
リンクの強調
文字の色