● 論理学
―論証の分析と評価――

　論証の正しさを研究する論理学は、すでに古代ギリシアから体系的研究が始まっていますが、論理学が飛躍的な発展を遂げたのは、歴史的に見れば最近のこと、すなわち19世紀後半以降です。この授業では、ブールやフレーゲから始まる現代論理学の基礎的な部分を取り上げます。論理学は本来、私たちが日常生活の些細なことから学問上の事柄にいたるまで、様々に行っている論証の正しさを研究するものです。そこで、大事なことは、論理学上の成果を知ることよりもむしろ、私たちが日々行っている論証の中で働く論理をあらためて観察し、それを味わってみることでしょう。そのため、授業の重点は、実際に論証を作り、その正しさを検討するという作業に置かれます。そして、そのような作業を通じて、論証の分析と評価を行うための体系的手段を身につけてもらうことが、この授業の目的です。

1	論理学とは？
2	人工言語を作ろう！：自然言語から形式言語へ
3	この言語の意味論：論理結合子の意味と真理表
4	恒真式と矛盾式
5	論理的同値、同値変形
6	論証の妥当性
7	自然演繹の方法とは？
8	自然演繹
9	〃
10	練習問題を解こう！
11	メタ論理：自然演繹の方法は信頼できるか？
12	健全性と完全性
13	命題論理から述語論理へ：命題論理の限界、文の内部構造を分析する必要性
14	授業の総括
15	予備日
16	名前と述語、変項と量化子、ヴェン図
17	関係表現、多重量化
18	述語論理の言語とその意味論
19	解釈という方法
20	妥当式と矛盾式
21	論証の妥当性
22	自然演繹の方法を拡張する
23	量化子の推論規則(1)
24	量化子の推論規則(2)
25	同一性：等号の推論規則
26	練習問題を解こう！
27	メタ論理：自然演繹の方法は信頼できるか？
28	健全性と完全性
29	確定記述・個数表現
30	理解度の確認

この授業では、特別な予備知識は何も必要としません。履修者に求められているのは、実際に手を動かして日本語の文を形式言語に翻訳したり、真理表や証明図を作成したりすることだけです。

毎回、基本的な事項と例題が説明された後、自分で練習問題を解くという手順になります。論理学なので、ただ話を聞くだけでなく、実際に自分の手を動かすことが大切です。

第２学期（学年末試験）：80％（命題論理と述語論理について、基本的な推論能力を身につけたかどうかを見ます。）

小テスト：20％（論理学は積み重ねなので、各々の基本事項が理解されているかどうかを評価します。）

学年末試験が成績評価の中心です。それに小テストや課題の点を加えます。論証の分析と評価のための基本的な手段を身につけたかどうかが、成績評価の基準です。

教科書は使用せず、毎回プリントを配布します。

戸田山和久『論理学をつくる』、名古屋大学出版局

金子洋之『記号論理入門』（哲学教科書シリーズ）、産業図書

前原昭二『記号論理入門』、日本評論社

Graeme Forbes『Modern Logic』、Oxford UP、1999年

---