David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Erkenntnis 69 (2):261 - 274 (2008)
Leon Horsten has recently claimed that the class of mathematical truths coincides with the class of theorems of ZFC. I argue that the naturalistic character of Horsten’s proposal undermines his contention that this claim constitutes an analogue of a thesis that Daniel Isaacson has advanced for PA. I argue, moreover, that Horsten’s defence of his claim against an obvious objection makes use of a distinction which is not available to him given his naturalistic approach. I suggest a way out of the objection which is in line with the naturalistic spirit of Horsten’s proposal but which further weakens the analogy with Isaacson’s Thesis. I conclude by evaluating the prospects for providing an analogue of Isaacson’s Thesis for ZFC.
|Keywords||Mathematical truth Isaacson's Thesis Mathematical naturalism|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
George Boolos (1990). The Standard of Equality of Numbers. In , Meaning and Method: Essays in Honor of Hilary Putnam. Cambridge University Press. 261--77.
William Craig (1953). On Axiomatizability Within a System. Journal of Symbolic Logic 18 (1):30-32.
Michael Dummett (1994). Reply to McGuiness. In Brian McGuiness & Gianluigi Oliveri (eds.), The Philosophy of Michael Dummett. Kluwer.
Solomon Feferman, Harvey M. Friedman, Penelope Maddy & John R. Steel (2000). Does Mathematics Need New Axioms? Bulletin of Symbolic Logic 6 (4):401-446.
Harvey M. Friedman (1971). Higher Set Theory and Mathematical Practice. Annals of Mathematical Logic 2 (3):325-357.
Citations of this work BETA
No citations found.
Similar books and articles
Leon Horsten (2009). An Argument Concerning the Unknowable. Analysis 69 (2):240-242.
Janice Dowell, J. L. (2004). From Metaphysical to Substantive Naturalism: A Case Study. Synthese 138 (2):149-173.
Leon Horsten & Irina Starikova (2010). Mathematical Knowledge: Intuition, Visualization, and Understanding. Topoi 29 (1):1-2.
Sami Pihlström (2010). Toward a Pragmatically Naturalist Metaphysics of the Fact-Value Entanglement. Journal of Philosophical Research 35:323-352.
James Ladyman, Igor Douven, Leon Horsten & Bas van Fraassen (1997). A Defence of Van Fraassen's Critique of Abductive Inference: Reply to Psillos. Philosophical Quarterly 47 (188):305-321.
Bas C. van Fraassen (2010). Reply to Belot, Elgin, and Horsten. Philosophical Studies 150 (3):461 - 472.
Andrew Field, Can Program Explanation Confer Ontological Rights for the Cornell Realist Variety of Moral Realism?
Michael Thune (2006). Naturalism, Hope, and Alethic Rationality. Philo 9 (1):5-11.
L. Horsten (2001). Platonistic Formalism. Erkenntnis 54 (2):173-194.
E. J. Lowe (2008). 'If 2 = 3, Then 2 + 1 = 3 + 1': Reply to Heylen and Horsten. Philosophical Quarterly 58 (232):528-531.
Added to index2009-01-28
Total downloads24 ( #76,806 of 1,101,856 )
Recent downloads (6 months)4 ( #91,837 of 1,101,856 )
How can I increase my downloads?