文理学部シラバスTOP > 文理学部 > 総合 I 群 > 論理学2
日本大学ロゴ

論理学2

このページを印刷する

令和元年度以前入学者 論理学2
教員名 津留竜馬
単位数    2 学年 3・4 開講区分 文理学部
科目群 総合教育科目
学期 後期 履修区分 選択
授業の形態 課題研究(blackboardを利用した学習資料配信)

BlackboadコースID 20210080
授業概要 論理学とは「論理的に正しい推論」とは何かを研究する学問です。この授業では「自然演繹」と呼ばれる証明のシステムを使って、正しい推論を表示する方法を学んでいきます。
授業のねらい・到達目標 この授業の目標は、「自然演繹」という証明のシステムを使って、正しい推論を表示する証明図を書けるようになることです。

この科目は文理学部のDP及びCP1,3,4に対応しています。
経験や学修から得られた豊かな知識と教養に基づいて、倫理的な課題を理解して説明できる。(A-1-1)
仮説に基づく課題や問題を提示し、客観的な情報を元に論理的批判的に考察することの重要性を説明できる。(A-3-1)
事象を注意深く観察して、解決すべき問題を認識できる。(A-4-1)
授業の方法 授業の形式:講義
授業では、blackboardを通じて、毎回授業教材と授業課題を配信します。授業教材を使って学習をすすめ、メールを通して質疑応答をしていきます。課題を毎回出すので、それを提出してもらいます。提出された課題に対して、採点とフィードバックを行い、理解を深めます。
履修条件 論理学1を履修していることが望ましい。
授業計画
1 命題論理の論理式(A-1-1)(A-3-1)(A-4-1)
【事前学習】教科書で論理式について書かれた部分を読んで、ノートにまとめておく。 (2時間)
【事後学習】第1回の授業教材に出ている問題をすべて解きなおしておく。 (2時間)
2 自然演繹
【事前学習】教科書で自然演繹について書かれている部分を読んで、ノートにまとめておく。 (2時間)
【事後学習】第2回の授業教材に出ている問題をすべて解きなおしておく。 (2時間)
3 「かつ」の導入規則
【事前学習】教科書で「かつ」の導入規則について書かれている部分を読んで、ノートにまとめておく。おく。 (2時間)
【事後学習】第3回の授業教材に出ている問題をすべて解きなおしておく。 (2時間)
4 「かつ」の除去規則
【事前学習】教科書で「かつ」の除去規則について書かれている部分を読んで、ノートにまとめておく。 (2時間)
【事後学習】第4回の授業教材に出ている問題をすべて解きなおしておく。 (2時間)
5 「または」の導入規則
【事前学習】教科書で「まはた」の導入規則について書かれている部分を読んで、ノートにまとめておく。 (2時間)
【事後学習】第5回の授業教材に出ている問題をすべて解きなおしておく。 (2時間)
6 「ならば」の除去規則
【事前学習】教科書で「ならば」の除去規則について書かれている部分を読んで、ノートにまとめておく。 (2時間)
【事後学習】第6回の授業教材に出ている問題をすべて解きなおしておく。 (2時間)
7 「ならば」の導入規則
【事前学習】教科書で「ならば」の導入規則について書かれている部分を読んで、ノートにまとめておく。 (2時間)
【事後学習】第7回の授業教材に出ている問題をすべて解きなおしておく。 (2時間)
8 「でない」の除去規則
【事前学習】教科書で否定の除去規則について書かれている部分を読んで、ノートにまとめておく。 (2時間)
【事後学習】第8回の授業教材に出ている問題をすべて解きなおしておく。 (2時間)
9 「でない」の導入規則
【事前学習】教科書で否定の導入規則について書かれている部分を読んで、ノートにまとめておく。 (2時間)
【事後学習】第9回の授業教材に出ている問題をすべて解きなおしておく。 (2時間)
10 「または」の除去規則
【事前学習】教科書で「または」の除去規則について書かれている部分を読んで、ノートにまとめておく。 (2時間)
【事後学習】第10回の授業教材に出ている問題をすべて解きなおしておく。 (2時間)
11 ボトムの規則と二重否定除去則
【事前学習】教科書で二重否定除去規則について書かれている部分を読んで、ノートにまとめておく。 (2時間)
【事後学習】第11回の授業教材に出ている問題をすべて解きなおしておく。 (2時間)
12 証明の基本方針
【事前学習】教科書で自然演繹の推論規則について書かれている部分をすべて読んで、ノートにまとめておく。 (2時間)
【事後学習】第12回の授業教材に出ている問題をすべて解きなおしておく。 (2時間)
13 代表的な論理法則
【事前学習】教科書で命題論理の論理法則について書かれている部分を読んで、ノートにまとめておく。 (2時間)
【事後学習】第13回の授業教材に出ている問題をすべて解きなおしておく。 (2時間)
14 述語論理の論理式
【事前学習】教科書で述語論理の論理式について書かれている部分を読んで、ノートにまとめておく。 (2時間)
【事後学習】第14回の授業教材に出ている問題をすべて解きなおしておく。 (2時間)
15 述語論理の証明
【事前学習】教科書で述語論理の自然演繹について書かれている部分を読んで、ノートにまとめておく。 (2時間)
【事後学習】第15回の授業教材に出ている問題をすべて解きなおしておく。 (2時間)
その他
教科書 前原昭二 『記号論理入門』 日本評論社
成績評価の方法及び基準 授業参画度:毎回、課題を提出してもらい、それによって評価する。(100%)
オフィスアワー メールで対応します。

このページのトップ