从数学哲学到数学文化哲学 --数学认识的文化视野

数学文化哲学开辟了数学哲学研究的新视角,从根本上改变了传统数学哲学学科定位过于狭隘从而制约其发展的不足,而且通过整合数学史、数学社会学等分支的文化和哲学内涵,极大地丰富了数学哲学研究.     

数学与文化：探讨数学发展的新视角

近几十年来,在数学史和数学哲学的研究中,学术界越来越注重于将二者结合起来,尤其是由于数学发展日趋专门化,数学教育日益受到人们的关注,二者的融汇更引人注目。正是在这种情况下,数学文化成了当今探讨数学发展的新视角。 (一)文化与数学文化在人类所创造的文化中,数学一直占据着十分重要而独特的地位。数学文化(Mathema-tical Culture)探讨的,就是在人类文化的进程中数学所起的作用,数学与文化的关系,以及数学发展的文化模式。     

波爱修斯的数学哲学思想

作为研究数学发生发展的一般规律的数学哲学,其思想种子从数学诞生之时就开始萌芽。由于对数学概念的理解从古至今发生了一些变化,所以古今对于数学的哲学研究也有所不同。波爱修斯是古典文化和中世纪思想的重要桥梁,他不仅继承了古代著名哲学家的数学哲学思想,对数学及其对象进行了认识论和本体论的探讨,将数学看成是通往智慧之路的基础学科;而且在他的数学哲学思想中,通过对数学对象存在性的研究,推论出对种和属、或一般与个别的关系的讨论,为后世的数学哲学研究奠定了重要的理论基础。     

再论数学史与数学哲学的关系

学术界往往从学理上谈论数学史与数学哲学的密切关联,而较少从研究层面论证两者之实际关系。从研究实践看,数学哲学研究大致有自上而下论述并辩护数学哲学理论与自下而上举例分析数学哲学问题两种范式,数学史研究则经历了由辉格史到反辉格史的范式转变。由于研究范式的自然本性,数学哲学问题范式与反辉格数学史具有天然的亲缘关系。数学史与数学哲学的实作转向之后,两者都以数学实作为研究对象,从而关系更为紧密。因此,历史上数学的发展与当时某种哲学思想的关联是原初意义上数学史与数学哲学的关系;19世纪后半叶开展现代数学史与数学哲学研究以来,两者存在着变动的关系——共同研究数学实作则使得两者的关系比以往任何时候都要密切。     

工具与文化之间的数学品格——模式观的数学本体论下对数学意义的探索

数学是通过逻辑建构模式并以模式为对象进行研究的科学.这种数学模式观扬弃了数学本体论中的实在论与反实在论的极端主义哲学理解,充分肯定了数学的抽象性与客观性.在模式观的数学本体论视野下,数学兼具工具与文化两种品格.数学无形地渗透在科学的每个分支里,为其提供必要的工具;数学是理性精神的化身,深刻地影响着人们的观念、精神以及思维方式的养成.     

从拉卡托斯到欧内斯特:数学哲学的重建

拉卡托斯(Imre Lakatos,1922-1974)的数学哲学是超越传统数学哲学的大胆创新之一,它把历史、方法论和易谬主义认识论融合于数学哲学领域中,突破了传统的基础主义教学哲学的局限,由此发起了一场对数学哲学的重建运动.在拉卡托斯的教学哲学基础上,欧内斯特(Paul Ernest)提出了数学哲学的社会建构理论,该理论在明确承认数学的社会和文化领域的作用方面远远超出了拉卡托斯的观点.     

数学说明及其哲学使命

与科学说明相比,数学说明在数学哲学中长期遭到忽视。蒯因提出的不可或缺性论证、爱因斯坦-维格纳之谜以及数学哲学对数学实践的日趋重视,使数学说明重返哲学议程。数学自身内部对说明的需求和自然现象的数学说明都表明,数学不仅求真,而且寻求说明。哲学的使命就是要建立数学说明的相应标准、机制和模型,为数学决策提供建议,并推进对数学的本性、数学与世界及科学之关联的理解,为数学与科学统一的哲学解释搭建通道。     

数学哲学与科学哲学和计算机科学的能动作用

本文对存在于数学哲学与科学哲学，以及数学哲学与计算机科学之间的相互影响和渗透的关系进行了分析，冯此此为依据提出了“能动作用”这一知识与概念发展的普遍模式，即我们不仅应当高度重视在不同领域之间所存在的重要联系，而且应当明确肯定这种关系的能动性质。     

数学文化热与数学文化史研究

数学文化的传播应以数学文化史研究作为重要的理论依据，缺乏数学文化史的理论成果，就很难从中西数学文化比较的层面来分析中国自古以来数学文化存在的概念，从而也就无法认清中西数学文化碰撞、融合过程中，中国的数学教育、数学家群体的培养以及目前进行的数学教育改革中存在的问题。     

布加耶夫的“算术化”数学哲学

布加耶夫是19世纪末20世纪初俄罗斯著名的数学家、哲学家,是莫斯科大学哲学与数学学派的创始人。他在数学研究中针对"分析学"中的连续函数思想,提出了一种"算术学"的间断函数思想,并形成他的"算术化"数学哲学和"进化单子论"哲学思想,为数学和力学后续发展中的稳定性理论、动力系统理论、分岔和突变理论奠定了坚实的思想基础。     

徐献瑜:一个世纪的数学情怀

我国近代数学家徐献瑜教授,是我国计算数学的奠基人和开拓者,是我国第一个计算数学学科和第一个国家级计算中心的创建者之一,还是我国第一个"数学软件库"研制和建立的主持人。他是献身教育的早期海归,主要从事计算数学和计算技术等方面的研究和教学工作,从教70多年来,桃李满天下。在他培养的众多学生中,涌现出了王选、杨芙清等中国科学院院士9人。他热爱数学、崇尚数学的精神,淡泊名利、高洁睿智、达观超脱的优秀品质是我们宝贵的精神财富。     

数学的有效性问题初探

数学的有效性始终是数学史及哲学史上广为关注的重要问题之一,而要对之达到深刻的理解,还必须作出本源性思考,回到数学得以产生和发展的源头--人类能动的社会实践去.本文立足于对历史的深入考察,指出从人类现实的社会实践中抽象而来的"实体"范畴乃是数学的最根本的前提性预设,是理解问题的关键.进而对"实体"概念的现实基础及其理想化色彩作出了深入分析,由此揭示了数学乃至科学和现代技术的有效性及其限度,这将有助于我们更好地认识和把握与之相关的一系列科学哲学及技术哲学问题.     

伊斯兰精密科学对印度及其邻国的传播和影响

Ⅰ Let me first clarify that science as developed in Islamic cultural areas or societies during the Middle Ages is abbreviated here as Islamic Science. In that context, the Exact Science is confined to astronomy (including mathematical geography) and mathematics only; physics was then a part of natural philosophy, and chemistry a branch of medicine.     

从科学哲学到文化哲学--21世纪哲学观的新变革

科学哲学与文化哲学总是被人们在多种意义上来理解，但如果从思维方式上来理解哲学，那么科学哲学与文化哲学就只能作意识形态与思维方式的理解、作哲学现的理解。这样，对科学哲学的追寻与批判以及人类对人的本质认识的发展、人类需要的发展、人类思维的逻辑都使从科学哲学到文化哲学的转向成为21世纪哲学观的新变革。     

建部贤弘的数学认识论--论《大成算经》中的"三要"

“象形”、“满干”和“数”,是日本江户时代数学家建部贤弘在《大成算经》中所讨论的三个范畴 ,也是该书的纲纪 ,谓之“三要”。这些范畴来源于中国传统文化中的术数 ,语言晦涩 ,一直为日本数学史界所忽视。文章从中国数学文化传统出发 ,重新解读这些文字 ,提出一些全新的观点。认为在汉字文化圈数学家中 ,建部贤弘在中国象数学文化背景下 ,首次系统地阐述了数学科学的本质 ,讨论了数学研究对象及其存在性问题 ,并已接触到数学变量的讨论 ,同时对实数系给出了一种分类。其“三要”数理观是汉字文化圈数学认识论的突出反映 ,具有数学哲学意义。     

Top-Down and Bottom-Up Philosophy of Mathematics

The philosophy of mathematics of the last few decades is commonly distinguished into mainstream and maverick, to which a ‘third way’ has been recently added, the philosophy of mathematical practice. In this paper the limitations of these trends in the philosophy of mathematics are pointed out, and it is argued that they are due to the fact that all of them are based on a top-down approach, that is, an approach which explains the nature of mathematics in terms of some general unproven assumption. As an alternative, a bottom-up approach is proposed, which explains the nature of mathematics in terms of the activity of real individuals and interactions between them. This involves distinguishing between mathematics as a discipline and the mathematics embodied in organisms as a result of biological evolution, which however, while being distinguished, are not opposed. Moreover, it requires a view of mathematical proof, mathematical definition and mathematical objects which is alternative to the top-down approach.     

科学动力学因素的函数关系分析及其启示

借助数学函数关系式来表达科学动力学因素,深入研究了历史的、社会的、政治的、文化的因素与科学发展的关系,阐释了随着科学文化哲学发展带来的科学形象的改变。针对科学这一复杂的社会文化现象,把科学发展视为知识、社会、政治、历史、文化、心理、伦理诸因素的函数,论述了科学函数关系式从单纯认知的简单函数式,到多因素的不同复杂函数式的变化与论争,暗示出当代不同哲学思潮在科学哲学前沿热点问题上论争中的某种亮点与致命盲点,导致当代科学哲学及文化哲学思潮的困境与危机,由此可以推断科学函数式将复归到多因素集合的认知函数式,这是一个否定之否定的演变过程,是基于现代科学文化哲学的科学发展。     

从“古为今用”到“丝路精神”:吴文俊数学史观的形成与演变

吴文俊的数学史观,来自他对中国数学史的独创性研究。在"古为今用"思想的引领下,开辟了数学机械化的新领域,让中国古代数学为世界数学作出新贡献;"古证复原"原则的确立,开启了中国数学史研究的新时代;"两种数学主流"思想的提出,确立了中国传统数学在世界数学发展史上的地位。更为重要的是,2002年,吴文俊指出"丝路精神"的核心价值是"知识交流与文化融合"。因此,"古为今用""古证复原""两种主流"和"丝路精神"构成了吴文俊数学史观的核心要素,是指引新时代中国数学史研究的伟大旗帜。     

Objects and Processes in Mathematical Practice

In this paper it is argued that the fundamental difference of the formal and the informal position in the philosophy of mathematics results from the collision of an object and a process centric perspective towards mathematics. This collision can be overcome by means of dialectical analysis, which shows that both perspectives essentially depend on each other. This is illustrated by the example of mathematical proof and its formal and informal nature. A short overview of the employed materialist dialectical approach is given that rationalises mathematical development as a process of model production. It aims at placing more emphasis on the application aspects of mathematical results. Moreover, it is shown how such production realises subjective capacities as well as objective conditions, where the latter are mediated by mathematical formalism. The approach is further sustained by Polanyi’s theory of problem solving and Stegmaier’s philosophy of orientation. In particular, the tool and application perspective illuminates which role computer-based proofs can play in mathematics.