文理学部シラバスTOP > 文理学部 > 哲学科 > 記号論理1
日本大学ロゴ

記号論理1

このページを印刷する

科目名 記号論理1
教員名 古田 智久
単位数    2 学年 1・2 開講区分 文理学部
科目群 哲学科
学期 前期 履修区分 選択必修
授業テーマ タブローの方法による証明(命題論理)
授業のねらい・到達目標 「論理」という言葉には、一般に「思考する際の(正しい)道筋」、「誰もが納得できる考え方」といったような意味がある。この授業では、このような日常的な意味での「論理」ではなく、学問としての論理学への入門となる「記号論理」を習得していただく。 具体的には、命題論理の範囲で、論理的真理と論理的推論を判別できるようになることを目標とする。
授業の方法 (1)証明方法の解説(講義形式)、(2)練習問題を解く(演習形式)、という作業を繰り返しながら、着実に証明方法を習得していただく。授業はテキストに沿って進めていくが、テキストで説明・練習問題が不足している箇所については、適宜解説・補足を加える。
事前学修・事後学修,授業計画コメント 授業は前回の授業で学習したことが理解できているという前提で進行するので、必ず復習をしておくこと。
できれば、予習をしておくことが望ましい。
授業計画
1 ガイダンス
2 命題論理の記号言語(1)
3 命題論理の記号言語(2)
4 真理表(1)
5 真理表(2)
6 練習問題
7 日本語の文の記号化(1)
8 日本語の文の記号化(2)
9 シェファー・ストローク
10 命題論理のタブロー(1)
11 命題論理のタブロー(2)
12 命題論理のタブロー(3)
13 練習問題
14 理解度の確認
15 講義内容の整理と質疑
その他
教科書 丹治信春 『タブローの方法による論理学入門』 朝倉書店 1999年
参考書 授業中に適宜指示する。
成績評価の方法及び基準 平常点(30%)、授業内テスト(70%)
オフィスアワー 水曜日5時限目終了後 2号館11階古田研究室

このページのトップ