検索したい科目／教員名／キーワードを入力し「検索開始｣ボタンをクリックしてください。
※教員名では姓と名の間に１文字スペースを入れずに、検索してください。
記号論理１
| 令和２年度以降入学者 | 記号論理１ | ||||
|---|---|---|---|---|---|
| 令和元年度以前入学者 | 記号論理１ | ||||
| 教員名 | 古田智久 | ||||
| 単位数 | 2 | 学年 | 1･2 | 開講区分 | 文理学部 |
| 科目群 | 哲学科 | ||||
| 学期 | 前期 | 履修区分 | 選択必修 | ||
| 授業の形態 | オンデマンド型授業（録画授業配信・スライド資料配信） Blackboard コース ID：20211177 |
|---|---|
| 授業概要 | 「論理」という言葉には、一般に「思考する際の（正しい）道筋」、「誰もが納得できる考え方」といったような意味がある。この授業では、このような日常的な意味での「論理」ではなく、学問としての論理学への入門となる「記号論理」を講義する。 |
| 授業のねらい・到達目標 | 命題論理の範囲で、論理式の恒真性と論理的推論の妥当性を、タブローの方法によって証明できるようになる。 この科目は文理学部（学士（文学））のディプロマポリシーDP3, 4及びカリキュラムポリシーCP93, 4に対応している。 自他の主張や論証を論理的に(再)構成したり、批判的に評価したりすることができる。（A-3-2） 文献や資料の読解・解釈を通じて、あるいは、現代の思想的状況を注意深く考察することによって、哲学的問題を発見することができる。（A-4-2） |
| 授業の方法 | タブローによる証明方法を解説し（講義形式）、練習問題を解いてもらう作業を繰り返しながら、着実に証明方法を学ぶ。授業は教科書に沿って進めていくが、教科書で説明や練習問題が不足している箇所については、適宜解説・補足を加える。 授業は前回の授業で学習したことが理解できているという前提で進行する（授業中に復習のために時間を割かない）ので、必ず復習をしておくこと。 「記号論理１」は基礎からの積み重ねの授業である。前回までの授業で理解できていない部分があると、授業についていけなくなるので、復習は必須である。 テストのフィードバックであるが、試験後に模範解答を提示する。希望者に得点を開示する。 |
| 授業計画 | |
|---|---|
| 1 |
論理学とはいかなる学問か、記号論理とはいかなるものかについて説明する。 授業のテーマや到達目標及び授業の方法について説明する。 【オンデマンド型】 【事前学習】シラバスと教科書を事前に確認しておくこと。 （1.5時間） 【事後学習】記号論理の特徴について復習しておくこと。 （1.5時間） |
| 2 |
命題論理の記号言語（１）論理式の定義について学ぶ。 【オンデマンド型】 【事前学習】教科書の６頁から９頁を読み、論理式の定義について理解しておくこと。 （2時間） 【事後学習】記号論理で使用する記号と、論理式の定義について復習しておくこと。 （2時間） |
| 3 |
命題論理の記号言語（２）論理式と命題とを対応させる。 【オンデマンド型】 【事前学習】教科書の９頁から１３頁を読み、日本語の文と論理式の対応関係について理解しておくこと。 （2時間） 【事後学習】「練習３」（１２頁）に解答しておくこと。 （2時間） |
| 4 |
真理表（１）「否定 ¬」、「連言 ∧」、「選言 ∨」について学ぶ。 【オンデマンド型】 【事前学習】教科書の１４頁から１５頁を読み、論理結合子「否定 ¬」、「連言 ∧」、「選言 ∨」について理解しておくこと。 （1.5時間） 【事後学習】両立的選言と排他的選言について復習しておくこと。 （2.5時間） |
| 5 |
真理表（２）「条件法 →」、「双条件法 ↔」について学ぶ。 【オンデマンド型】 【事前学習】教科書の１６頁から１８頁を読み、「条件法 →」、「双条件法 ↔」について理解しておくこと。 （1.5時間） 【事後学習】条件法の特殊性について復習しておくこと。 （2.5時間） |
| 6 |
真理値分析について学ぶ。 【オンデマンド型】 【事前学習】教科書の１８頁から２２頁を読み、命題の真理表を書くことができるようにしておくこと。 （1.5時間） 【事後学習】「練習１」（２１−２２頁）に解答しておくこと。 （3時間） |
| 7 |
日本語の文の記号化（１）基礎的な問題について学ぶ。 【オンデマンド型】 【事前学習】真理値分析の方法を復習しておくこと。 （1.5時間） 【事後学習】第７回の授業で指示した宿題をやっておくこと。 （2時間） |
| 8 |
日本語の文の記号化（２）発展的な問題について学ぶ。 【オンデマンド型】 【事前学習】第７回の授業で講義した日本語の文の記号化について復習しておくこと。 （1.5時間） 【事後学習】第８回の授業で指示した宿題をやっておくこと。（A-4-2） （2.5時間） |
| 9 |
シェファー・ストローク（１）「｜」について学ぶ。 【オンデマンド型】 【事前学習】教科書の２５頁から２６頁を読み、「｜」の真理表について理解しておくこと。 （1.5時間） 【事後学習】第９回の授業で指示した宿題をやっておくこと。 （2.5時間） |
| 10 |
シェファー・ストローク（２）「↓」について学ぶ。 【オンデマンド型】 【事前学習】教科書の２２頁から２４頁を読み、「↓」の真理表について理解しておくこと。 （1.5時間） 【事後学習】第１０回の授業で指示した宿題をやっておくこと。 （2.5時間） |
| 11 |
命題論理のタブロー（１）命題論理のタブローの定義と規則について学ぶ。 【オンデマンド型】 【事前学習】教科書の２７頁から３５頁を読み、命題論理のタブローの定義と規則について理解しておくこと。 （2時間） 【事後学習】タブローの規則を復習し暗記しておくこと。 （2時間） |
| 12 |
命題論理のタブロー（２）タブローによる証明について学ぶ。 【オンデマンド型】 【事前学習】教科書の３５頁から３９頁を読み、タブローによる証明方法について理解しておくこと。 （2時間） 【事後学習】「練習１」（３８頁）に解答しておくこと。 （3時間） |
| 13 |
命題論理のタブロー（３）論理的に正しい推論の証明方法について学ぶ。 【オンデマンド型】 【事前学習】教科書の３９頁から４２頁を読み、推論の妥当性の証明方法について理解しておくこと。 （1時間） 【事後学習】「練習２」（４２頁）に解答しておくこと。 （3時間） |
| 14 |
タブローによる証明の練習問題を解いてもらい、模範解答を示して解説を行う。 【オンデマンド型】 【事前学習】タブローの規則と証明証明方法を暗記しておくこと。（A-3-2） （1.5時間） 【事後学習】教科書の練習問題をもう一度解いてみること。 （2.5時間） |
| 15 |
授業内テストとその解説を行う。 【オンデマンド型】 【事前学習】前期の授業で学習したことをすべて復習し、理解が十分でない部分があれば理解を完璧にしておくこと。（A-4-2） （2時間） 【事後学習】試験で間違えた問題を正しく解答できるようにしておくこと。 （2時間） |
| その他 | |
|---|---|
| 教科書 | 丹治信春 『タブローの方法による論理学入門』 朝倉書店 1999年 |
| 参考書 | 授業で適宜指示する。 |
| 成績評価の方法及び基準 | 授業内テスト:授業内テストとして、小テストと期末テストを行い、総合的に評価する。(100%) ※本授業の達成目標である「A-3-2」と「A-4-2」のいずれも、授業での学修を積み重ねた結果、本授業の最後に達成される。そして、その評価は、授業内テストによって行われる。 |
| オフィスアワー | この授業はオンデマンド型授業なので、オフィスアワーの代わりに、メールで質問を受け付ける。メールは、Blackboard から送信すること。 ------------------------------------------------- 仮に前学期の途中で授業形式が全面的に対面授業に変更されることがあれば、オフィスアワーは、以下のとおり実施する。 水曜日6時限目 2号館11階古田研究室 |