授業第十九回目は直観主義論理の話です。前半では、直観主義論理の持つ「構成性」を支える二つの性質(Existence property, Disjunction property)を説明します。後半では、直観主義論理を提唱したブラウアーの「数学は精神的な構成である」という立場のモデルとして、直観主義論理のクリプキ・フレームを紹介します。排中律など、直観主義論理で証明できない論理式は、それを成立させないフレームを構成することができ、「証明できないことの証明」が楽になります。
注意:
今回の宿題はエクストラ問題とします(やってくる必要はありませんが、やってきた場合は加点します)