形式主义与多宇宙观（完结）

四、结论

自哥德尔不完全性定理至今，形式主义作为一种在数学工作者共同体中被广泛接受的数学哲学立场，在严肃的数学基础与数学哲学的思考与讨论中始终处在边缘地位，除了受希尔伯特纲领启发而发展起来的证明论研究，这种往往被用来躲避哲学讨论的消极立场并没有为数学实践带来更多的启发，这一状况在有关数学基础的最新研究进展中也没有显著改善，形式主义的拥护者需要拿出更具体且具有吸引力的研究纲领才能使这种经典的数学哲学立场重获生机。

反观集合论多宇宙观自提出以来明显推动了集合论的有关研究，薄葉季路的工作不仅对集合论多宇宙观本身，而且对集合论和数学基础研究整体有着可观的推动作用。

围绕集合论多宇宙观的这些结果诉说着多宇宙观这种基于集合论研究实践产生的新兴的数学哲学立场超出形式主义的价值。

参考文献：

[1]Hersh R.,“Some Proposals for Reviving the Philosophy of Mathematics”, Advances in Mathematics, 1979, Vol. 31,pp.31-50.

[2] 杨睿之：《集合论多宇宙观述评》，《自然辩证法研究》2015年第9期。

[3] 裘江杰：《集合论多宇宙观与形式主义》，《逻辑学研究》2020年第5期。

[4] Gödel K.,“On a Hitherto Unutilized Extension of the Finitary Standpoint”, in Gödel K., Collected Works: Volume Publications 1938-1974, 1991, pp.241-251.

[5] 杨睿之：《哥德尔在构造主义数学方面的工作》，《逻辑学研究》2014年第3期。

[6] Curry H. B.,“Remarks on the Definition and Nature of Mathematics”, Dialectica, 1954, Vol.8, pp. 228-233.

[7] 斯图尔特·夏皮罗：《数学哲学：对数学的思考》，郝兆宽、杨睿之译，上海：复旦大学出版社，2009年。

[8] Frege G.,“On the Foundations of Geometry: First Series”, in Frege G., Philosophical and Mathematical Correspondence, Glasgow: Basil Blackwell Publisher, 1982, pp.273-284.

[9] Mann R., An Introduction to Particle Physics and the Standard Model, Ontario: CRC Press, 2010.

[10] Curry H. B., Outlines of a Formalist Philosophy of Mathematics, Amsterdam: North-Holland Publishing,1951, p.56.

[11] Karagila A.,“Downward Lowenheim-Skolem Theorem and Choice Principles”, 2021-05-15, karagila.org/wpcontent/....

[12] 杨睿之：《结构主义是一种有效的数学哲学吗？》，《逻辑学研究》2020年第4期。

[13] Simpson S. G., Subsystems of Second Order Arithmetic, Cambridge: Cambridge University Press, 2009, p.38.

数学联邦政治世界观提示您：看后求收藏（笔尖小说网http://www.bjxsw.cc），接着再看更方便。