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

授業第十回目、量化子 ∀の導入規則と∃の除去規則に付加されているeigenvariable条件についての復習です。この二つの制限が組み合わさって、∃x(x=0)⇒∀(x=0)のような望まれない命題の導出をどう防ぐのかを解説します。また、前回時間がなかったため、二つの量…

補講日：8月19日（月） 内容： 10:30-12:00 形式的自然数論Ｑ 13:30-15:00 2+2=4 15:30-17:00 原始再帰関数の表現可能性

授業スライド こちらから 授業要旨・宿題 こちらから

前回の復習 宿題の答え合わせ 述語論理:∃の導入と除去 宿題

授業第九回目、存在量化子 ∃の導入・除去規則についてです。∀の場合は導入規則にeigenvariable条件がありましたが、∃では除去規則に似たようなeigenvariable条件があり、∃xA の除去規則で Aを満たす自然数 x を選ぶ際の制約条件はAのみであることを表現して…

授業スライド こちらから 授業要旨・宿題 こちらから

前回の復習 宿題の答え合わせ 述語論理:∀の導入と除去 補講日について

授業第八回目、∀の導入・除去規則についてです。∀の導入規則には、eigenvariable条件という、非常にややこしい制限がついているので、注意が必要です。

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

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

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

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