达米特是20世纪最有影响的英国哲学家。他的哲学著作有三个特点:一是数量众多,其中,有许多是鸿篇巨著;二是语言晦涩难懂;三是技术性强。在达米特的哲学著作中,尤其是在数学理论的逻辑基础的哲学探讨中,他扬弃了真值条件意义理论及其逻辑基础;这促使笔者想要全面而系统地考察他提出的关于构造主义意义理论与直觉主义逻辑之间的关系的理论。笔者主要采用达米特的直觉主义逻辑作为技术手段,意义理论作为解决构造主义与柏拉图主义争论的研究方法。主要工作体现在五个方面:第一,较为全面梳理了达米特本人的哲学思想以及国内外关于达米特逻辑哲学思想的研究现状和直觉主义逻辑的研究进展。第二,较为系统地考察了达米特的命题与事实观。第三,从拒斥经典逻辑的两种论证方法,到对数学的直觉主义逻辑进行辩护,再到直觉主义逻辑的真理论,探解了直觉主义逻辑哲学中的一些重要问题和难题。第四,从矢列式自然演绎系统、矢列演算系统、正规化思想三个方面构建达米特的直觉主义逻辑演绎思想。第五,探讨了达米特直觉主义逻辑哲学思想的价值意义以及未来的工作。这五个方面的工作相互作用、互相影响,构成了一个有机整体:第一和第二方面的工作为后面三个方面的工作提供了前提和可能;第三个方面的工作为第四个方面的工作提供了哲学基础和理论支撑,而第四个方面的工作为第三个方面的工作提供了逻辑基础和技术手段;第五个方面的工作归纳总结了第二至第四个方面工作的价值意义,并提出了未来的研究方向。这些工作表明研究达米特的直觉主义逻辑哲学思想具有重要价值意义:一是系统地梳理且提炼出达米特直觉主义逻辑与哲学,尤其是与构造主义意义理论相融合的方法,既为研究达米特本人的哲学思想提供了一把钥匙,又为我们从事哲学研究,尤其是分析哲学、逻辑哲学等研究提供了技术工具和理论支撑。二是从证明论发展的历史视角,彰显了达米特的直觉主义逻辑演绎思想在结构证明论中的重要性和影响力。三是特别指出达米特的自然演绎思想在直觉主义逻辑哲学研究中的价值,为普及和推广直觉主义逻辑提供了依据和指导。