■

授業第十七回目は、新しい論理規則を受け入れるとはどういうことかという話をします。
つまり、最小論理に、新しい論理規則「矛盾律」を付加し、論理体系「直観主義論理」へと拡大します。この拡大は保存拡大ではなく、この規則については哲学的な議論も続いています。今回は、この周辺の話題をいろいろ紹介したいと思います。