关于的数学领域中的哲学深思

《关于的数学领域中的哲学深思》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、关于的数学领域中的哲学深思关于的数学领域中的哲学深思导读：摘要：在数学哲学中，直觉主义可谓引起引起了现代学术思想的一次革命。虽然直觉主义可以追溯到康德，甚至柏拉图。然而，它是近现代的，20世纪前20年，它作为一个独立的数学哲学思潮而闻名。它是逻辑学哲学中的一次风暴逆袭，是经典数学的有力挑战者。直觉主义强调“构造”，出发于“心智”。直觉主义把整个自然数论视为整个数学的基础，直觉主义拒绝排中律和反证律，抵制实无穷而推崇潜无穷。随着计算机的产生和发展，直觉主义在数字构造中起到了积极的应用。同时，直觉主义对数学哲学的创新教育等方面都

2、有着不可忽视的影响。关键词：数学哲学直觉主义传统逻辑布劳威尔一、“存在必须是被构造”——直觉主义的产生直觉(intuition)一词意为未经充分逻辑推理的，直观的，直接领捂事物本质的深思。与H.柏格森、B.克罗齐、E.胡塞尔等人的直觉主义不同，我们这里所研究的“直觉”并不是指主体对于客观事物的一种直接把握能力，而是指思维的本能上的一种心智活动。在这里，直觉主义提倡的直觉，并非辩证唯物主义的“直观的感觉”，其本意是“先验的心智构造”，以此为出发点，形成了对数学对象“存在性”与“可构造性”等同的要求。[1]直觉主义哲学是一种反理

3、性主义的唯心主义哲学思潮。数学研究中的构造主义是一种有关数学基础的观点，它主张自然数及其某些规律和策略，特别是数学归纳法，是可靠的出发点，其它一切数学对象和理论都应该从自然数构造出来。[2]“存在必须是被构造”，这是直觉主义派最著名的口号。也因此，直觉主义是一种构造逻辑。直觉派认为，数学中的概念和策略都是必须可以被构造的，非构造性的证明不是直觉主义者能接受的。在数学领域中，集合论悖论的理由不可能通过对已有的数学作某种局部的修改和限制加以解决，而必须依靠一些可信的标准对已有的数学进行全面的审视和改造。直觉主义认为逻辑依赖于数学

4、,而非数学依赖逻辑。数学建立在直觉的基础上。同时，直觉主义认为哲学、逻辑甚至计数等概念都比数学复杂得多,不能作为数学的基础,数学的基础需要更简单、更直接的概念,它就是直觉,直觉是心智的一项基本功能。[3]一位直觉主义数学家阿伦特·海廷（ArendHeyting）在他的论文《数学的直觉主义基础》中指出：“立即处理数学的构造也许是符合直觉主义者的积极态度了。这个构造的最重要基石是一（unity）的概念，它是整数序列所依赖的构造原则。整数必须作为单位（units）来看待，这些单位仅仅由于在这个序列中的位置而相互区别。”[4]61直

5、觉主义者认为，数学的基础在于数学直觉，在他们看来，建立在数学直觉之上的理论能使“概念和推理十分清楚地呈现在我们面前”，即“对于思想来说是如此的直接，而其结果又是如此的清楚，以致不再需要任何铸的什么基础了”(A·黑丁:《直觉主义导论》)。任何数学对象被视为思维构造的产物，所以一个对象的存在性等价于它的构造的可能性。这和经典的策略不同，因为经典策略说一个实体的存在性可以通过否定它的不存在性来证明。对于直觉主义者，这是不正确的；不存在性的否定不表示可能找到存在性的构造证明。正因为如此，直觉主义是数学结构主义的一种；但它不是唯一的一

6、类。直觉主义的基本哲学立场是，数学是人类心智“固有”的一种创造活动，是主体的自身的活动，而不是对外在的描述.数学概念是一种自主的智力活动的结果，智力活动则是研究自明定律所支配的思想构造。[5]二、颠覆传统逻辑，形式主义的逆袭——直觉主义的特点直觉主义不承认实无穷，拒绝实际无穷的抽象。也就是说，它不考虑像所有自然数的集合或任意有理数的序列无穷这样的无穷实体作为给定对象。数学上的实无穷思想是指：把无限的整体本身作为一个现成的单位，是已经构造完成了的东西，换言之，即是把无限对象看成为可以自我完成的过程或无穷整体。数学上存在着潜无穷

7、与实无穷之争，就如同哲学上存在着唯物主义与唯心主义之争。而且必将长时间的持续的争论不休。数学上的潜无穷思想是指：把无限看作永远在延伸着的，一种变化着成长着被不断产生出来的东西来解释。举个形象点的例子就是，构成一条直线的点有无穷个，并且这条直线永远延伸着，不会有终结的一天。它永远处在构造中，永远完成不了，是潜在的，而不是实在。按照全称和条件量词的标准直觉主义，一个证明就是这样的潜无穷结构，这可能是合理的。（达米特《直觉主义逻辑的哲学基础》）[4]142按照此观点，所有的自然数可以构成一个集合，因为可以将所有的自然数看做是一个完

8、成了的无穷整体。很显然，直觉主义支持潜无穷的观点，即把无穷集合看成无限延伸着的序列。直觉主义反对排中律，这意味着直觉主义者可能和经典的数学家对一个数学命题的含义有不同理解。排中律和同一律、矛盾律并称为形式逻辑的三大基本规律。传统逻辑首先把排中律当作事物的规律，意为任一事物在同一时间里具有某