量化子を導入したことによる哲学へのインパクトについては、以下の本を参考にしてください（名著です）。言語哲学大全1 論理と言語作者: 飯田隆出版社/メーカー: 勁草書房発売日: 1987/10/20メディア: 単行本購入: 7人 クリック: 37回この商品を含むブログ (…

授業スライド こちらから 授業要約･宿題 こちらから

前回の復習 宿題の答え合わせ 無限概念 量化子の導入 量化子のきまり

授業第七回目、本日から述語論理に入ります。本日は量化子∀との∃の導入の意図を説明します。数学では無限を扱いますが、無限は命題論理では分析しきれません。そこで、「無限」という概念をもっと分析し、たとえば「自然数は無限に存在する」から「5より大き…