今週の授業予定 授業第七回目、命題論理はいっぺんおいて、今回から述語論理に入ります。量化子の初回は何故量化子が必要なのか、量化子∀との∃の導入の意図を説明します。 数学では無限を本質的に扱いますが、無限は命題論理の枠組みでは分析しきれません。…

今週6月23日（火）の授業は、講師都合のため休講です。 次回は6月30日（火）1630〜1800、無限概念の概念分析としての量化子の話を取り上げます。

授業内容 授業第六回目の今回は、最小命題論理の自然演繹、⇒, ∧と∨の導入規則・除去規則についての演習です。また、これまで論理結合子⇒, ∧, ∨ を学んできましたが、それらの間の相互関係について考えてみたいと思います。 前回の復習 宿題の答え合わせ 演習…

授業内容 授業第五回目の今回は、メタの世界の「かつ」と「または」をシミュレートする、自然演繹の∧と∨の、導入規則・除去規則について紹介します。また、論理結合子⇒,∧と∨の導入規則と除去規則を持つ記号体系として、最小命題論理を定義します。 前回の復…

今回の授業は、⇒の導入規則／除去規則に関する問題演習です。 また、「きれいな証明」という概念を紹介します。これは、名前こそショボいですが、後期で「正規な証明」として再登場する、実は論理学で最も重要な概念の一つなのです。 前回の復習 宿題の答え…