授業の概要（ねらい）

　前期に引き続き、テキストに即しながら、演繹の基本的な推理形式を習得していきます。
　まず前半の授業では、前期の復習をしながら、第Ⅰ部（日常の言葉に論理が生きている）の最後まで進めます。
　それを終了した後は、第Ⅱ部（論理を扱う記号言語を作り出す）のいくつかの章を学びます。第Ⅰ部はおもに日常の言葉に即しながら演繹の規則を学びましたが、第Ⅱ部ではこれまで学んだ演繹の規則を記号を使って表現できるようにします。記号を使用すると日常言語から離れてしまい、記号の苦手な人には難しく感じるかもしれません。しかし記号を使うことによって（個々の命題の内容にとらわれることなく）演繹の形式的な側面をより明確に捉えることができます。記号を使ったさまざまな推論や論理法則をマスターすることを通して、論理学の楽しさを感じて頂ければと思います。

授業の到達目標

・否定・連言・選言・条件法の意味を真理表によって理解できる。
・いくつかの論理法則の恒真性を真理表によって確認できる。
・述語論理の論理式を作ることができる。

成績評価の方法および基準

平常点（約70%）、期末テスト（約30%）を基準として、総合的に評価する予定です。

教科書・参考文献

準備学修の内容

　論理学の知識を身につけるためには、実際に多くの練習問題を解いていくことが最も早道です。ですので、この授業ではほぼ毎回、練習問題を課す予定です。次の週までにそれを行ってくる必要があります。

その他履修上の注意事項

・欠席が5回を超えた場合には原則として失格となり、試験を受験しても不可（Ｄ）扱いとなる。
・毎回、テキストを使用するので、テキストは必ず購入すること。

授業内容