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