| 授業方針・テーマ |
現代論理学（記号論理学、数理論理学）の基礎、特に命題論理の習得。 |
習得できる知識・能力や授業の
目的・到達目標 |
日本語の議論を形式言語（人工記号言語）で表し、その妥当性を評価する手法を学ぶ。主に、日本語の文を形式言語の文に記号化する方法、演繹（自然演繹体系における証明）の手法、真理表を用いて議論の妥当性を評価する手法を学ぶ。 |
授業計画・内容
授業方法 |
古代ギリシアに始まる論理学は、19世紀以降飛躍的な発展を遂げ、今日さまざまな分野（哲学、言語学、数理科学、コンピューター科学など）の基礎になっている。これらの分野においては、形式言語の概念に習熟することが何らかの形で役に立つであろうが、どんな分野に進むにせよ、論理的に正しい議論とはどのようなものかを学び、正しい議論を誤った議論から区別するための手法を実際に身につけることには十分価値があるだろう。
この授業では、主に5種類の表現（「もし…ならば…」「…ない」「…かつ…」「…または…」「…とき、かつそのときに限り…」）に注目し、これらの表現がどのような論理的性質を持つか、議論の妥当性にどのように寄与するかを学ぶ。これら少数の表現に限っても、知っているようで知らないこと、考えてみなければならないことが少なからずあるが、時間に余裕があれば、「すべての」「ある」といった表現についても、限られた範囲で扱う予定である。
授業計画は以下の通りとなる（基本的に内容の変更は行わないが、実際の授業の進み具合などによっては、各内容をどの回で扱うかは変更する可能性がある）。
第1回 イントロダクション、形式言語の構文論①
第2回 記号化①（日本語の否定文と条件文の記号化）
第3回 演繹の手法①（推論規則）
第4回 演繹の手法①（演繹の形式）
第5回 演繹の手法①（比較的簡単な問題の演繹）
第6回 演繹の手法①（比較的複雑な問題の演繹）
第7回 前半の振り返りとまとめ
第8回 形式言語の構文論②
第9回 記号化②（日本語の連言、選言、双条件文の記号化）
第10回 演繹の手法②（推論規則）
第11回 演繹の手法②（比較的簡単な問題の演繹）
第12回 演繹の手法②（比較的複雑な問題の演繹）
第13回 真理表の基礎
第14回 真理表による議論の妥当性の判定
第15回 全体の振り返りとまとめ
|
| 授業外学習 |
演繹の手法の習得には特に、一定量の実習（問題を実際に解いてみること）が不可欠だが、授業でできる練習問題や課題だけではどうしても量が不足する。そのため、受講者はパソコン用の学習ソフトを自分のパソコンで利用できるようにする（インターネットに接続して使用する）ので、積極的に活用してもらいたい。 |
| テキスト・参考書等 |
教材はプリントの形で配布する。
|
| 成績評価方法 |
評価は試験と課題による。 |
質問受付方法
(オフィスアワー等) |
授業内容などについての質問は授業の後か、メール（yotsu@tmu.ac.jp）で受け付ける（kibacoのメッセージでもよいが、メールの方がより早く確実に対応できる）。 |
特記事項
(他の授業科目との関連性) |
予備知識は特に求めない。 |
| 備考 |
|
シラバス照会