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

前回の復習 直観主義論理 古典論理 宿題

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

前回の矛盾律に引き続き、授業第十八回目の今回は排中律の話です。直観主義論理に新たに排中律を付け加えると、どのような変化がもたらされるかという話をします。最小論理→直観主義論理→古典論理と拡大するにつれて、数学の議論をするための道具立てが整備…