论数学结构主义对元数学对象的解释  

On the Interpretation of Meta-Mathematical Objects byMathematical Structuralism

作　　者：程和祥 侯涛 CHENG He-xiang;HOU Tao(Postdoctoral mobile station of Southwest University of Political Science and Law,Chongqing 401120,China;Postdoctoral workstation of Guizhou Academy of Social Sciences,Guiyang 550002,China;Department of Philosophy,Nanjing University,Nanjing 210093,China)

机构地区：[1]西南政法大学博士后流动站,重庆401120 [2]贵州省社会科学院博士后工作站,贵州贵阳550002 [3]南京大学哲学系,江苏南京210093

出　　处：《湖南科技大学学报（社会科学版）》2020年第6期37-41,共5页Journal of Hunan University of Science and Technology(Social Science Edition)

基　　金：2020年地方立法研究规划项目(DFLF2020Y06);国家社会科学基金青年项目(15CZX039)。

摘　　要：关于元数学对象在结构主义数学哲学中的地位,成为近年来数学哲学争论的焦点问题之一。当代著名数学哲学家C·帕森斯认为,元数学对象只是个体独立的准具体对象,不会形成某种结构,那么结构主义对元数学对象的解释就是不成立的。与C·帕森斯的观点相反,S·弗里德里希认为元数学研究的对象事实上是表示数学结构的形式符号,故数学结构主义可以应用于元数学对象。从“形式符号”的观点出发,根据数学对象的同一性标准,可以得出:元数学本身具有结构主义特性。因此,用数学结构主义对元数学对象进行解释是成立的。Regarding the status of meta-mathematical objects in structural philosophy of mathematics, it has become the focus of the debate in recent years. C. Parsons, a famous contemporary mathematics philosopher argues that meta-mathematics objects are only quasi-specific objects, while quasi-concrete objects are independent of individuals. There is no structure that will be formed. Thus structuralism cannot be established when explaining meta-mathematics. Contrary to C. Parsons s point of view, S. Friedrich believes that the object of meta-mathematics research is a formal symbol that represents a mathematical structure. Therefore, mathematical structuralism can be applied to meta-mathematical objects. From the point of view of “formal symbols”, according to the criterion of the identity of mathematical objects, it can be concluded that meta-mathematics itself has the characteristics of structuralism. So mathematical structuralism can explain the objects of meta-mathematics.

关 键 词：结构主义 元数学对象 准具体对象 形式符号 

分 类 号：B81-0[哲学宗教—逻辑学]