授業科目の内容

本授業では、記号論理学の基本を習得することを目的としています。

論理学は、推論を体系的に扱う学問です。特に、推論の正しさの基準を定義し、正しい推論を生成したり、判定したりする手続きを提供します。

本授業で扱う範囲は、主に命題論理、つまり真理関数理論です。
　
命題論理は、2つのアプローチがあります。

前半では、真理関数を使う意味論的アプローチを中心に勉強します。

後半では、証明という概念を基礎におく、証明論的アプローチを中心に勉強します。

第1回講義内容
論理学とは何か。推論とは何か。推論を体系的に扱うことに必要性を学んでいく。

第2回講義内容
命題論理の形式言語　日本語の文を論理式に変換する練習をすることで、日本語の論理構造を学んでほしい。

第3回講義内容
命題論理の意味論　真理値分析の手法を学ぶ　真理表の作成法を習得する。

第4回講義内容
恒真と推論の妥当性の分析　真理値分析の方法を使って、与えられた推論が妥当か否かを判定することを学ぶ。

第5回講義内容
恒真と推論の妥当性の分析　矛盾と整合性　真理値分析を使って、与えられた言明の集合が整合的か否かを考察していくことを学ぶ

第6回講義内容
命題論理の証明論 自然演繹 自然演繹の基本的な考え方を学ぶ

第7回講義内容
命題論理の証明論　自然演繹 連言についての推論の方法を学ぶ　実際に証明を作成する。

第8回講義内容
命題論理の証明論　自然演繹　条件法と否定の証明

第9回講義内容
命題論理の証明論　自然演繹　選言の証明

第10回講義内容
命題論理の証明論　自然演繹　帰謬法を使う証明　難易度は高めになる

第11回講義内容
述語論理入門　述語論理の言語など、基本的な概略を説明する

第12回講義内容
試験および総括 試験問題の解答や解説は一切開示しない

その他の学習内容
　　・ 予習の必要はありません。授業内容を復習しておくようにしてください。

成績評価方法

最終講義回で、筆記試験を実施し、この得点を基に評価します。平常点は一切加味しません。

テキスト（教科書）※教科書は変更となる可能性がございます。

プリントを適宜配布する
いくつかの授業においては、動画も収録する予定です。

参考文献

プリントを適宜配布する
参考文献を紹介します。

受講上の要望、または受講上の前提条件

ノートや筆記用具だけで十分です。授業内で、ノートPCなどの通信機器を使用することを認めます。

もちろん、試験での通信機器の利用は、一切禁止いたします。

数学などの予備知識は必要ありません。ただし、論理式や推論規則を正確に読み取ったり、適用したりする姿勢が必要です。

また、シラバスに反するようなリクエストは一切しないでください。もちろん、そのようなリクエストは断固として拒絶いたします。もし、この点について不服があれば、そもそもこの科目を登録しないことを強く勧めます。