夏皮罗先物结构主义探析.docVIP

夏皮罗先物结构主义探析 　　【摘要】夏皮罗先物结构主义强调数学作为结构的科学，主要研究结构的位置及位置之间的关系。通过定义位置即对象以及位置即职位的概念，夏皮罗合理阐述了数学对象与结构位置的关系。但是，夏皮罗先物结构主义忽略了数学对象的本质，脱离了部分数学实践的支持，使得对于数学对象的解释存在缺陷。 　　【关键词】夏皮罗先物结构主义；哲学观念；理论困境 　　与一般科学哲学的发展进程不同，数学哲学的研究始终保持着对传统哲学论题的探讨与批判。当代数学哲学论域中关于何为数学基础，数学对象是否存在，如何认识数学真理的本质，数学方法何以可靠等仍是学者们探研的核心。在批判和继承经典理论的基础上，哲学家们在本体论、认识论和方法论上提出了具有各种特色的新成果。这些成果的一个共性体现为，数学哲学自身理论的建构与发展都与数学实践密切相关。 　　一、夏皮罗先物结构主义的哲学观念 　　自布尔巴基学派诞生以来，数学结构主义开始活跃于数学哲学的舞台，现已成为当代数学哲学的重要学说。结构主义在对数学本体论问题的研究上，始终关注数学对象的存在问题。该问题在哲学层面上有以下两种解释：一种是遵照柏拉图主义的先物结构主义（ante rem structuralism），主张数学研究的核心是抽象结构；另一种则是与唯名论切合的在物结构主义（in re structuralism），主张数学研究的核心是具有抽象结构形式的系统或者模型。 　　先物结构主义的观念源自柏拉图的先物实在论。先物实在论指出，至少某些共相先于并且独立于例示它们的任何事项存在，可以认为即使没有红色的事物，红性这种性质依然存在。对于先物结构主义者而言，结构作为研究的对象是合理的，而且独立于能够例证它的任何系统。例如，在一个结构中，结构的存在是合理的，数字作为指称真实对象的真实单称词项对应了结构中的位置，并且结构中的任何位置都无法独立于结构单独存在。 　　相反，在物结构主义基于亚里士多德在物??在论的观点认为，通过把数学对象的命题作为特定类型结构的普遍命题能够消去数学对象与结构的指称。这种观点强调结构对应的普遍命题一旦受到质疑，数学对象的指称也将失去意义。类似于一旦去掉了红色的事物，红性也会随之消失。例如，算术命题不是关于对象的特殊聚合的命题，只是对某种类型的所有系统的概括，这里不能把数学对象或结构当作真正的对象。 　　夏皮罗作为先物结构主义代表人物，一方面继承了弗雷格（G.Frege）、哥德尔（K.G?del）、奎因（Quine）的数学柏拉图主义，主张算术研究的“数”作为对象，独立于非数学世界而存在；另一方面为了避免传统柏拉图主义在本体论和认识论上的漏洞，给出了关于数学对象的全新解释。他以数学的本质即结构这一根本宗旨为基础，认为结构的存在应是质朴的、非平凡的，提出了把结构作为一种独特共相的先物结构主义。该理论的核心是，结构作为研究的本体，先于对象和例证它的任何系统独立存在，定义结构中最小的项为“位置”，主要研究结构的位置及位置之间的关系。 　　关于结构的独立性，夏皮罗认为像实分析、欧式几何、拓扑学等不同数学理论的研究满足各自的公理系统。例如，实分析研究的是任何完全实闭域的模式，而欧式几何研究的是欧式空间的理论要素，因而不同的结构具备不同的研究对象，对象占据了结构中的位置。由此，夏皮罗指出结构的位置是真实存在的。他指出，如果一个数学对象分支的公理是可满足且范畴的，那么公理就刻画了一个（单一的）结构，并且公理能够真实地描述这个结构，同时对该结构也为真。夏皮罗称这种观点是“位置即对象”（Place-are-objects）。按照该观点，算术研究的对象是一个单一的抽象结构，该无穷对象集合有一个共有的模式，即拥有单独的后继、唯一的初始对象并且满足归纳原理，对于该结构的研究对象――数是自然数结构中真正的对象。例如，数2作为自然数结构中第二个位置，是数3的前导和数1的后继，它不能独立于其他自然数存在，因为一个自然数的本质是它与其他自然数的关系。在先物结构主义中，夏皮罗用系统代指位置及位置之间的关系。他指出，系统作为一个对象的集合连同这些对象之间的某些关系能够充分地解释和说明结构的位置。 　　夏皮罗指出一些真实的理论实际上是一些结构的各种不同系统，系统能够例证这些结构的位置。他提出了一种“位置即职位”（Place-are-offices）观点。例如，把数学的每个领域还原或者描述为集合论时，策梅罗提出的数字符号是：Ф、{Ф}、{{Ф}}、{{{Ф}}}…即如果y是x的后继，那么y={x}。而冯?诺依曼序数却定义：Ф、{Ф}、{Ф、{Ф}}、{Ф、{Ф}、{Ф、{Ф}}}…即如果y是x的后继，那么y=x∪{x}。对于这两种通过集合来表现的数，哪一种才是真正的数学对象？数3究竟是什么？夏皮罗认为，这两种序