布劳威尔和达米特作为直觉主义思想的两位重要代表,代表了直觉主义思想的两个不同发展阶段。布劳威尔作为传统直觉主义的代表人物,其思想奠定了直觉主义的基本理论,但是作为直觉主义发展初始阶段的重要代表,布劳威尔的直觉主义思想更为侧重本体论、非形式化,更为强调主体私人内在感觉的直觉,使其直觉主义思想更加具有思辨、神秘性的传统哲学特质。达米特作为新直觉主义的重要代表,其直觉主义思想借用了当代分析哲学的发展成果,侧重直觉主义的认识论、语言化、形式化的研究,更为重视分析哲学在直觉主义发展中的重要工具性作用,重视为直觉主义逻辑做哲学辩护,构建了与数学柏拉图主义相...