記号論理2検索したい科目/教員名/キーワードを入力し「検索開始」ボタンをクリックしてください。範囲で、論理式と論理的推論の妥当性を、タブローと自然演繹によって証明する方法を講義する。1」でタブローによる命題論理の証明方法を習得した後、後期開講のこの授業では、まずタブローによる述語論理の証明方法を習得する。自然演繹による証明方法を修得する。最終的にタブローと自然演繹を自在に使いこなすことができるようになる。自他の主張や論証を論理的に(再)構成したり、批判的に評価したりすることができる。(A-3-2)文献や資料の読解・解釈を通じて、あるいは、現代の思想的状況を注意深く考察することによって、哲学的問題を発見することができる。授業内容は「記号論理1」の続きなので(教科書第2部から始める)、「記号論理1」を履修せずに「記号論理2」のみを履修する学生は、教科書『タブローの方法による論理学入門』の第1部を理解しておくこと。授業は前回の授業で学習したことが理解できているという前提で進行する(授業中に復習のために時間を割かない)ので、必ず復習をしておくこと。「記号論理2」は基礎からの積み重ねの授業である。前回までの授業で理解できていない部分があると、授業についていけなくなるので、復習は必須である。授業は教科書に沿って進めていくが、自然演繹については教科書では説明されていないので、別途解説する。証明方法を解説し(講義形式)、練習問題を解いてもらう(演習形式)という作業を繰り返しながら、着実に証明方法を習得していただくことになる。小テストのフィードバックであるが、試験後に模範解答を提示する。希望者に得点を開示する。新型コロナウイルスに感染した場合に重篤化するおそれのある基礎疾患を有する学生に対しては、遠隔対応を行う。具体的には、教員が授業の翌日に課題を提出し、学生は次回の授業までに課題に回答して提出するという方法をとる。課題の提出方法、課題への回答方法、回答の提出方法等、詳細については、該当者がいた場合に、個別に連絡する。述語論理とはいかなるものかについて、伝統的な論理学に言及しながら説明する。授業のテーマや到達目標及び授業の方法について説明する。【事前学習】シラバスと教科書を事前に確認しておくこと。特徴について復習しておくこと。ついて理解しておくこと。使用する記号について復習しておくこと。述語論理の記号言語(2)論理式の定義について学ぶ。【事前学習】テキストの55頁から60頁を読み、述語論理の記号言語と論理式の定義について理解しておくこと。ついて復習しておくこと。日本語の文の記号化(1)基礎的な問題について学ぶ。【事前学習】テキストの60頁から64頁を読み、日本語の文の記号化について理解しておくこと。6」(63−64頁)に解答しておくこと。日本語の文の記号化(2)発展的な問題について学ぶ。【事前学習】第4回の授業の授業の内容を十分に理解しておくこと。(1.5時間)【事後学習】第5回の授業で指示した宿題をやっておくこと。述語論理のタブロー(1)述語論理のタブローの定義について学ぶ。【事前学習】テキストの81頁から88頁を読み、述語論理のタブローの定義と規則について理解しておくこと。(1.5時間)【事後学習】「例1」(88頁)の問題を自分で解いてみること。述語論理のタブロー(2)タブローによる証明を学ぶ。【事前学習】テキストの88頁から97頁を読み、タブローによる証明方法を理解しておくこと。3」(96−97頁)を自分で解答してみること。アリストテレスの三段論法について自分で調べておくこと。(1.5時間)【事後学習】256通りの三段論法のうち妥当な24種類について復習しておくこと。ついて、自分で調べておくこと。(2時間)【事後学習】第9回の授業で指示した宿題をやっておくこと。導入と消去について、自分で調べておくこと。(2時間)【事後学習】第10回の授業で指示した宿題をやっておくこと。導入と消去について、自分で調べておくこと。(2時間)【事後学習】第11回の授業で指示した宿題をやっておくこと。導入と消去について、自分で調べておくこと。(2.5時間)【事後学習】第12回の授業で指示した宿題をやっておくこと。導入と消去について、自分で調べておくこと。(2.5時間)【事後学習】第13回の授業で指示した宿題をやっておくこと。ついて復習し、規則を暗記しておくこと。解答を示した練習問題をもう一度解いてみること。授業で学習したことをすべて復習し、理解が十分でない部分があれば理解を完璧にしておくこと。(2時間)【事後学習】試験で間違えた問題を正しく解答できるようにしておくこと。授業中に適宜指示する。授業内テスト:授業内テストとして、小テストと期末テストを行い、総合的に評価する。(100%)本授業の達成目標である「A-3-2」と「A-4-2」のいずれも、授業での学修を積み重ねた結果、本授業の最後に達成される。その評価は、授業内テストによって行われる。