秋/2

B 1

授業計画 / Course Content

1.　詭弁と駅弁の違い　　第1回
詭弁と駅弁の違いを考えることによって、「証明・論理・公理」といった概念を学習する。
2.　ウソのウソは本当か(パラドクスを考える)　　第2-3回
｢この言葉はウソである｣という言葉はウソか本当か。パラドクスの考察から、｢言語の階層｣や｢言語の区別｣といった問題を考える。
3.　言葉の意味を考える　　第4-6回
否定文は誰でも作れるだろう。では、否定(〜でない)の意味とは何だろう。
4.　証明の｢正しさ｣とは？　　第7回
数学の定理は常に正しい。｢ピタゴラスの定理が成立しない三角形が発見された｣ということは起こらない。その理由は？
5.　証明を判定する　　第8-9回
文の意味を分析すること、証明を分析することを考察する。
6.　数学の文は7種類の言葉で表現される　第10-14回
数学の文は、7個の言葉で表現できる。ほとんどの日常文も、7個の言葉で表現(翻訳)できる。｢日本一｣｢日本で二番目｣を翻訳することに挑戦。記号への翻訳練習は、言語能力の向上も目的としている。
7.　AIから人間を考える　　第15回
AIを題材にして、人間の思考について考える。

授業時間外学習 / Expected work outside of class

論理学は練習しないと、技術が習得できない。練習問題は必ず自分で解くこと。

方法 / Grading Policies

定期試験（筆記試験）の成績で評価する。
成績評価割合は定期試験100％。
記憶を問う問題（暗記で解ける問題）ではなく、｢考える力｣を問う問題でテストする。

基準・評価 / Evaluation Criteria・Assessment Policy

講義で用いる例題・練習問題と同じレベルの問題(同じ問題ではない)でテストする。

教科書なし。解説・例題・練習問題をプリントで配布する。

戸田山和久　　『論理学をつくる』　　名古屋大学出版会　　
小島寛之　　『数学的推論が世界を変える』　　NHK出版新書　　
野崎昭弘　　『不完全性定理』　　日本評論社　　

その他の参考書は講義の中で紹介する。