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

論理学２

このページを印刷する

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

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

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

↑このページのトップ