昨年度のティップス先生の講義要綱
|
◆この授業のねらい 現代記号論理学の基礎を学ぶ。論理学は、推論、証明、論証の論理的妥当性とはなにかを明らかにし、その妥当性の判定基準となる実効的な形式的アルゴリズムを定式化し、その信頼性と限界とを研究する科学である。 現代の論理学の特質はこうした問題を探究するために有効な数理的手法を導入したことであり、現代論理学はそのために数理論理学とも呼ばれる。本講義では、現代記号論理学の初歩的なテクニックを習得することをめざす。 ◆授業内容
1. 論理学とはなにか |