2020-12-01 ■ 今回の内容 後期授業第八回目は、直観主義論理上で新たな推論規則として排中律を導入し、古典論理を定義します。 世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに推論規則として排中律を付け加えた体系を「古典論理」と呼びますが、直観主義論理と古典論理の間にはどのような違いがあるのでしょうか。 授業内容 前回の復習 存在具体性 古典論理と排中律