直観主義論理の登場の持った哲学的インパクトについての解説は、以下の文献を参考にして下さい。ダメットにたどりつくまで (双書エニグマ)作者: 金子洋之出版社/メーカー: 勁草書房発売日: 2006/04/11メディア: 単行本購入: 1人 クリック: 19回この商品を含…

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

前回の復習 宿題の答え合わせ クリプキ・フレーム 健全性と完全性

緊急:本日の論理学の授業の開始時間を1700に変更します。すみませんがよろしくお願いします。後期授業第六回目は、直観主義論理のモデルの話です。排中律など直観主義論理で証明できない命題が、直観主義論理で本当に証明できないことを証明するのは大変です…