数学领域中的哲学思考

  一、 “存在必须论文联盟http://wWw.LWlm.Com是被构造”——直觉主义的产生
　　 直觉(intuition)一词意为未经充分逻辑推理的，直观的，直接领捂事物本质的思考。与H.柏格森、B.克罗齐、E.胡塞尔等人的直觉主义不同，我们这里所研究的“直觉”并不是指主体对于客观事物的一种直接把握能力，而是指思维的本能上的一种心智活动。在这里，直觉主义提倡的直觉，并非辩证唯物主义的“直观的感觉”，其本意是“先验的心智构造”，以此为出发点，形成了对数学对象“存在性”与“可构造性”等同的要求。[1]直觉主义哲学是一种反理性主义的唯心主义哲学思潮。数学研究中的构造主义是一种有关数学基础的观点，它主张自然数及其某些规律和方法，特别是数学归纳法，是可靠的出发点，其它一切数学对象和理论都应该从自然数构造出来。[2]“存在必须是被构造”，这是直觉主义派最著名的口号。也因此，直觉主义是一种构造逻辑。直觉派认为，数学中的概念和方法都是必须可以被构造的，非构造性的证明不是直觉主义者能接受的。在数学领域中，集合论悖论的问题不可能通过对已有的数学作某种局部的修改和限制加以解决，而必须依靠一些可信的标准对已有的数学进行全面的审视和改造。直觉主义认为逻辑依赖于数学,而非数学依赖逻辑。数学建立在直觉的基础上。同时，直觉主义认为哲学、逻辑甚至计数等概念都比数学复杂得多,不能作为数学的基础,数学的基础需要更简单、更直接的概念,它就是直觉,直觉是心智的一项基本功能。[3]一位直觉主义数学家阿伦特·海廷（Arend Heyting）在他的论文《数学的直觉主义基础》中指出：“立即处理数学的构造也许是符合直觉主义者的积极态度了。这个构造的最重要基石是一（unity）的概念，它是整数序列所依赖的构造原则。整数必须作为单位（units）来看待，这些单位仅仅由于在这个序列中的位置而相互区别。”[4]61
　　 直觉主义者认为，数学的基础在于数学直觉，在他们看来，建立在数学直觉之上的理论能使“概

[1] [2] [3] [4] [5] [6] [7] 下一页