2011-05-31 ■ 授業第六回目、本日から述語論理に入ります。本日は量化子∀との∃の導入の意図を説明します。数学では無限を扱いますが、無限は命題論理では分析しきれません。そこで、「無限」という言葉の内実をもっと分析し、たとえば「自然数は無限に存在する」から 「5より大きい自然数は存在する」が推論できるようために、新たな記号∀との∃を導入し、命題論理を述語論理に拡張するわけです。