David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Review of Symbolic Logic 2 (4):769-785 (2009)
This paper puts forward and defends an account of mathematical truth, and in particular an account of the truth of mathematical axioms. The proposal attempts to be completely nonrevisionist. In this connection, it seeks to satisfy simultaneously both horns of Benacerrafs work on informal rigour. Kreisel defends the view that axioms are arrived at by a rigorous examination of our informal notions, as opposed to being stipulated or arrived at by trial and error. This view is then supplemented by a Fregean account of the objectivity and our knowledge of abstract objects. It is then argued that the resulting view faces no insurmountable metaphysical or epistemic obstacles
|Keywords||No keywords specified (fix it)|
|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
Michael A. E. Dummett (1978). Truth and Other Enigmas. Harvard University Press.
Hartry Field (1989). Realism, Mathematics & Modality. Basil Blackwell.
Michael A. E. Dummett (1991). Frege: Philosophy of Mathematics. Harvard University Press.
Paul Benacerraf (1973). Mathematical Truth. Journal of Philosophy 70 (19):661-679.
Citations of this work BETA
Gregory Lavers (2013). Frege, Carnap, and Explication: ‘Our Concern Here Is to Arrive at a Concept of Number Usable for the Purpose of Science’. History and Philosophy of Logic 34 (3):225-41.
Gregory Lavers (2012). On the Quinean-Analyticity of Mathematical Propositions. Philosophical Studies 159 (2):299-319.
Similar books and articles
W. D. Hart (1991). Benacerraf's Dilemma. Critica 23 (68):87 - 103.
Andrew Aberdein (2006). Managing Informal Mathematical Knowledge: Techniques From Informal Logic. Lecture Notes in Artificial Intelligence 4108:208--221.
Paul Benacerraf (1964). Philosophy of Mathematics. Englewood Cliffs, N.J.,Prentice-Hall.
Francisco Antonio Doria (2007). Informal Versus Formal Mathematics. Synthese 154 (3):401 - 415.
Penelope Maddy (1991). Philosophy of Mathematics: Prospects for the 1990s. Synthese 88 (2):155 - 164.
Justin Clarke-Doane (forthcoming). What is the Benacerraf Problem? In Fabrice Pataut (ed.), New Perspectives on the Philosophy of Paul Benacerraf: Truth, Objects, Infinity.
Audrey Yap (2009). Logical Structuralism and Benacerraf's Problem. Synthese 171 (1):157 - 173.
Terry F. Godlove (2011). Hanna, Kantian Non-Conceptualism, and Benacerraf's Dilemma. International Journal of Philosophical Studies 19 (3):447 - 464.
Dale Jacquette (2006). Applied Mathematics in the Sciences. Croatian Journal of Philosophy 6 (2):237-267.
Added to index2009-12-31
Total downloads46 ( #87,202 of 1,789,933 )
Recent downloads (6 months)5 ( #167,785 of 1,789,933 )
How can I increase my downloads?