2010-11-09 ■ 授業第十九回目、今回は、直観主義論理と古典論理の関係の話として、グリベンコの定理をとりあげます。グリベンコの定理は、任意の命題 P に関し、Pが古典命題論理で導出されることと、¬¬Pが直観主義命題論理で導出される事が同値であることを主張するメタ定理であり、古典命題論理上の証明可能性関係は、直観主義命題論理上のそれの特殊ケースであることを示唆します。そして、この定理は、異なる論理体系の間で「どちらが正当か」と不毛な問いをたてるより、両者の似た点を探す方が有益であることを示唆するように思われます。