基礎演習 I 論理学

京都大学文学部の「基礎演習 I 論理学」(毎週火曜日16:30〜18:00)の授業Blogです。

今週の授業予定

授業第七回目、命題論理はいっぺんおいて、今回から述語論理に入ります。量化子の初回は何故量化子が必要なのか、量化子∀との∃の導入の意図を説明します。
数学では無限を本質的に扱いますが、無限は命題論理の枠組みでは分析しきれません。そこで、「無限」という概念をもっと分析し、たとえば「自然数は無限に存在する」から「5より大きい自然数が存在する」が推論できるようために、新たな記号∀との∃を導入するのです。
このように、形式化の際には、対象となるメタの概念を細かく分析することが鍵となります。

授業内容

  1. 前回の復習
  2. 宿題の答え合わせ
  3. 無限概念
  4. 量化子の導入
  5. 量化子のきまり
参考資料

量化子を導入したことによる哲学へのインパクトについては、以下の本を参考にしてください(名著です)。