Abstract
The fictionalist aims to avoid commitment to mathematical objects by replacing mathematical truth with fictional correctness: truth-in-the-story (of standard mathematics). For an axiomatically stated mathematical theory T, a sentence S is true-in-the-T-story if and only if it follows logically from the axioms of T. The formalist, on the other hand, seeks to avoid commitment to mathematical objects by replacing mathematical truth with formal derivability: a sentence S is true in a mathematical theory T if there is a derivation of S from the axioms of T. For first-order theories, and if the existence of a derivation is understood to mean the in principle possibility of deriving S from T, formalism and fictionalism would seem to coincide. However, in practice the two views typically diverge, with the divergence being due to different attitudes to modality. For fictionalists such as myself who embrace primitive modality, a modal notion of logical consequence allows for sentences in second order arithmetic to have objective ‘truth-in-the-story’ values even if they are not derivable. On the other hand as the most prominent contemporary advocate of formalism, Alan Weir wishes to develop an austere form of formalism without modal commitments, so that mathematical truth is not grounded in the in principle possibility of a derivation, but only in the existence of actual derivations. In this chapter I continue a long-standing debate between myself and Weir over the nominalistic acceptability of primitive modality, arguing that Weir’s account of informal mathematics involves him in modal commitments whether he likes it or not.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Leng, M. (2010). Mathematics and reality. Oxford University Press.
Leng, M. (2015). Review of Alan Weir, Truth through proof: A formalist foundation for mathematics. The Philosophical Quarterly, 65(259), 288–292. https://doi.org/10.1093/pq/pqu071
Rav, Y. (1999). Why do we prove theorems? Philosophia Mathematica, 7, 5–41.
Weir, A. (2010). Truth through proof: A formalist foundation for mathematics. Clarendon Press.
Weir, A. (2014). Review of Mary Leng, Mathematics and reality. British Journal for the Philosophy of Science, 65(3), 657–664.
Weir, A. (2016). Informal proof, formal proof, formalism. Review of Symbolic Logic, 9(1), 23–43.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Leng, M. (2024). Informal Proof, Formal Proof, Formalism, and Fictionalism. In: Rieger, A., Leuenberger, S. (eds) Themes from Weir: A Celebration of the Philosophy of Alan Weir. Synthese Library, vol 484. Springer, Cham. https://doi.org/10.1007/978-3-031-54557-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-031-54557-3_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-54556-6
Online ISBN: 978-3-031-54557-3
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)