体系を理解するためには、まず手を動かして練習問題の証明をやってみよう。〜とは何か、と考えるのはそれから。

ほぼ毎回出題する宿題の累計成績に準じて行う。

小野寛晰『情報科学における論理』（日本評論社）ISBN:4535608148 Dag Prawitz 『Natural Deduction: A Proof-Theoretical Study』（Dover Publications）ISBN:0486446557

毎回ハンドアウトを配布する。

最小述語論理は、論理結合子の導入規則と除去規則のみを持つ、基本的な論理体系の一つである。前期の前半は、まず最小述語論理の自然演繹の体系を紹介する。問題演習を通じ、各自が自然演繹の証明が出来るようになることが目標である。 また、前期の後半には…

本授業の最終的な目標は、受講者が論理的で明晰な思考に慣れ、何かを主張する際にはその主張がどのような根拠に基づいているかを明確化し、穴のない論証ができるようになることである。題材としては、哲学的論理学、そのなかでも「論理とは何か」という問題…