Too Naturalist and Not Naturalist Enough: Reply to Horsten
- First Online:
- Cite this article as:
- Incurvati, L. Erkenn (2008) 69: 261. doi:10.1007/s10670-008-9114-1
- 58 Downloads
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.