摘要
迈克尔·达米特是英国著名哲学家，他在逻辑、语言哲学、形而上学等方面做出了显著的贡献。达米特对直觉主义逻辑进行了系统地研究，这也成为他哲学思想的重要根基。 布劳威尔的构造性思想与海汀对直觉主义逻辑的形式化为达米特的直觉主义逻辑思想提供了理论背景。达米特拒斥经典逻辑，认为对数学陈述的意义问题应采用直觉主义观点进行解释。因为数学陈述的意义在于它的使用，当我们学习数学理论语言的表达式的意义时，学习的是如何使用这种语言的陈述。在这个基础上，意义理论的中心概念是证明概念。一个可判定的数学陈述之所以为真，是因为我们实际上已经构造了一个证明，证明了这个陈述是真的。 达米特对逻辑常项进行了直觉主义解释，认为直觉主义逻辑要采用构造性证明方法。基于此，达米特拒斥排中律，认为命题A∨﹁A在直觉上是无效的。他借用Beth语义建立直觉主义逻辑的形式系统，系统地介绍了自然演绎系统N与矢列演算系统L，并通过定理的证明论证了不同系统间的等价关系。在系统N中并没有公理，只有推理规则，但是允许在推理的任何阶段引入任何公式作为假设。达米特在系统L中引入了一个扩展的矢列概念，着重论证了切割-消去定理。 达米特的直觉主义逻辑思想产生了两个方面的影响：一方面促进了直觉主义逻辑形式化的发展，另一方面为直觉主义逻辑提供了哲学辩护。
NETL