文理学部シラバスTOP > 文理学部 > 哲学科 > 記号論理２

検索したい科目／教員名／キーワードを入力し「検索開始｣ボタンをクリックしてください。

※教員名では姓と名の間に１文字スペースを入れて、検索してください。

日本大学ロゴ

ここからメインコンテンツ

記号論理２

科目名平成28年度入学者	記号論理２
科目名平成27年度以前入学者	記号論理２
教員名	古田　智久
単位数	2	学年	1･2	開講区分	文理学部
科目群	哲学科
学期	後期	履修区分	選択必修

授業テーマ	述語論理（タブローと自然演繹による証明）
授業のねらい・到達目標	「記号論理１」でタブローによる命題論理の証明方法を習得した後、後期開講のこの授業では、まずタブローによる述語論理の証明方法を習得し、次いで、自然演繹による証明方法を習得することになる。受講者が、最終的にタブローと自然演繹を自在に使いこなすことができるようになれば、この授業の目標は達成されたと考えられる。
授業の方法	授業は教科書に沿って進めていくが、自然演繹については教科書では説明されていないので、別途解説する。証明方法を解説し（講義形式）、練習問題を解いてもらう（演習形式）という作業を繰り返しながら、着実に証明方法を習得していただくことになる。
事前学修・事後学修，授業計画コメント	授業内容は「記号論理１」の続きなので（教科書第２部から始める）、「記号論理１」を履修せずに「記号論理２」のみ履修する学生は、教科書『タブローの方法による論理学入門』の第１部を理解しておくこと。授業は前回の授業で学習したことが理解できているという前提で進行する（授業中に復習のために時間を割かない）ので、必ず復習をしておくこと。「記号論理２」は基礎からの積み重ねの授業である。前回までの授業で理解できていない部分があると、授業についていけなくなるので、復習は必須である。適宜課題を出すので、次回の授業までにやっておくこと。

授業計画
1	ガイダンス「述語論理」とはいかなるものか
2	述語論理の記号言語（１）「∀」、「∃」［準備］テキストの５２頁から５５頁を読んでおくこと。
3	述語論理の記号言語（２）論理式の定義［準備］テキストの５５頁から６０頁を読んでおくこと。
4	日本語の文の記号化（１）基礎的な問題［準備］テキストの６０頁から６４頁を読んでおくこと。
5	日本語の文の記号化（２）発展的な問題［準備］第４回の授業で課した宿題をやっておくこと。
6	述語論理のタブロー（１）述語論理のタブローの定義［準備］テキストの８１頁から８８頁を読んでおくこと。
7	述語論理のタブロー（２）タブローによる証明［準備］テキストの８８頁から９７頁を読んでおくこと。
8	自然演繹（∧と∨の導入・消去）［準備］第７回の授業で課した宿題をやっておくこと。
9	自然演繹（→の導入・消去）［準備］第８回の授業で課した宿題をやっておくこと。
10	自然演繹（￢の導入・消去）［準備］第９回の授業で課した宿題をやっておくこと。
11	自然演繹（∀の導入・消去）［準備］第１０回の授業で課した宿題をやっておくこと。
12	自然演繹（∃の導入・消去）［準備］第１１回の授業で課した宿題をやっておくこと。
13	練習問題［準備］第１２回の授業で課した宿題をやっておくこと。
14	理解度の確認［準備］第１３回の授業で課した宿題をやっておくこと。
15	講義内容の整理と質疑［準備］後期の授業で学習したことをすべて復習し、理解が十分でない部分がないか確認しておくこと。

その他
教科書	丹治信春『タブローの方法による論理学入門』朝倉書店 1999年
参考書	授業中に適宜指示する。
成績評価の方法及び基準	平常点(30%)、授業内テスト(70%)
オフィスアワー	月曜日5時限目終了後　2号館11階古田研究室

↑このページのトップ