論理学 I

授業科目区分

教養科目
教養科目 人文科学系

まちラボとわくらぼの使用について:使用しない
選択科目 2単位 3年次 前期




担当教員

安藤 友晴

研究室のホームページ,SNSなど

NDC

110/410.96

科目分類コード

1001

オフィスアワー

この科目のキーワード

命題論理/述語論理/証明

到達目標

本授業の目標は、論理学の基礎を学ぶことで、推論の形式に慣れるとともに、日常生活で論理を正しく扱えるようにすることである。

授業の簡単な概要

論理学、特に記号論理学もしくは数理論理学と呼ばれる分野のうち、「命題論理」と「述語論理」の基礎について学ぶ。

学習内容

  1. 導出と否定
  2. 「かつ」と「または」
  3. ならば (1)
  4. ならば (2)
  5. ならば (3)
  6. 命題論理と証明
  7. 公理系と意味論
  8. 命題論理と真理関数
  9. トートロジーと推論
  10. 真理表から論理式へ
  11. シェファーの縦棒
  12. 述語論理 (1)
  13. 述語論理 (2)
  14. 述語論理 (3)
  15. 述語論理 (4)
  16. 学期末試験

授業時間外での学修

特になし。

成績評価の基準と方法

・命題論理の意味論と構文論について理解している ・命題論理の知識を、日常的な言語生活で用いられる演繹に応用できる ・述語論理の概要について理解している ・述語論理の知識を、日常的な言語生活で用いられる演繹に応用できる

達成度評価(評価方法:合計100点)

試験:      100 / 100
レポート:    / 100
小テスト(中間テストなど含む): / 100
小レポート(中間レポートなどを含む): / 100
作品:      / 100
ポートフォリオ: / 100
その他:

教科書・テキスト

プリントを配布する。

参考図書・参考文献等

・野矢茂樹『入門!論理学』ISBN: 978-4121018625 ・野矢茂樹『新版 論理トレーニング』ISBN: 978-4782802113 ・野矢茂樹『論理学』ISBN: 978-4130120531

履修もしくは取得していなければいけない科目

特になし。

学習支援

・LMS上の教材で復習することが望まれる。 ・LMS上のフォーラムを利用されたい。

その他この科目を履修するために必要な条件

高等学校の「数学I」「数学A」で学んだ知識を使う。授業中に適宜説明する。