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

記号論理１

このページを印刷する

科目名 記号論理１
教員名 古田　智久
単位数    2 学年 1･2 開講区分 文理学部
科目群 哲学科
学期 前期 履修区分 選択必修
授業テーマ タブローの方法による証明（命題論理）
授業のねらい・到達目標 「論理」という言葉には、一般に「思考する際の（正しい）道筋」、「誰もが納得できる考え方」といったような意味がある。この授業では、このような日常的な意味での「論理」ではなく、学問としての論理学への入門となる「記号論理」を習得していただく。 具体的には、命題論理の範囲で、論理的真理と論理的推論を判別できるようになることを目標とする。
授業の方法 証明方法を解説し（講義形式）、練習問題を解いてもらう（演習形式）、という作業を繰り返しながら、着実に証明方法を習得していただく。授業はテキストに沿って進めていくが、テキストで説明や練習問題が不足している箇所については、適宜解説・補足を加える。
事前学修・事後学修，授業計画コメント 授業は前回の授業で学習したことが理解できているという前提で進行する（授業中に復習のために時間を割かない）ので、必ず復習をしておくこと。
「記号論理１」は基礎からの積み重ねの授業である。前回までの授業で理解できていない部分があると、授業についていけなくなるので、復習は必須である。
適宜課題を出すので、次回の授業までにやっておくこと。
授業計画
1 授業のテーマや到達目標及び授業の方法について説明する。
「論理」とはいかなる学問か、「記号論理」とはいかなるものか
2 命題論理の記号言語（１）論理式の定義
［準備］テキストの６頁から９頁を読んでおくこと。
3 命題論理の記号言語（２）論理式と命題とを対応させる
［準備］テキストの９頁から１３頁を読んでおくこと。
4 真理表（１）「否定 ¬」、「連言 ∧」、「選言 ∨」
［準備］テキストの１４頁から１５頁を読んでおくこと。
5 真理表（２）「条件法 →」、「双条件法 ↔」
［準備］テキストの１６頁から１８頁を読んでおくこと。
6 練習問題
［準備］テキストの１８頁から２２頁を読んでおくこと。
7 日本語の文の記号化（１）基礎的な問題
［準備］第６回の授業で指示した宿題をやっておくこと。
8 日本語の文の記号化（２）発展的な問題
［準備］第７回の授業で指示した宿題をやっておくこと。
9 シェファー・ストローク
［準備］テキストの２２頁から２６頁を読んでおくこと。
10 命題論理のタブロー（１）命題論理のタブローの定義
［準備］テキストの２７頁から３５頁を読んでおくこと。
11 命題論理のタブロー（２）タブローによる証明
［準備］テキストの３５頁から３９頁を読んでおくこと。
12 命題論理のタブロー（３）論理的に正しい推論
［準備］テキストの３９頁から４２頁を読んでおくこと。
13 練習問題を解いてもらい、模範解答について解説を行う。
［準備］第１２回の授業で指示した宿題をやっておくこと。
14 第２回目から第１３回目までの講義内容に関して、質疑応答及びフィードバックを行う。
［準備］第２回目から第１３回目までの講義内容を復習し、質問を考えておくこと。
15 授業内試験とその解説
［準備］前期の授業で学習したことをすべて復習し、理解が十分でない部分があれば理解を完璧にしておくこと。
その他
教科書 丹治信春 『タブローの方法による論理学入門』 朝倉書店 1999年
参考書 授業中に適宜指示する。
成績評価の方法及び基準 授業内テスト(70%)、授業参画度(30%)
オフィスアワー 火曜日5時限目終了後　2号館11階古田研究室

↑このページのトップ