David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
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 (1991). Frege: Philosophy of Mathematics. Harvard University Press.
Hartry Field (1989). Realism, Mathematics & Modality. Basil Blackwell.
Gottlob Frege (1980). The Foundations of Arithmetic: A Logico-Mathematical Enquiry Into the Concept of Number. Northwestern University Press.
P. M. S. Hacker (2006). Passing by the Naturalistic Turn: On Quine's Cul-de-Sac. Philosophy 81 (2):231-253.
Citations of this work BETA
Gregory Lavers (2012). On the Quinean-Analyticity of Mathematical Propositions. Philosophical Studies 159 (2):299-319.
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.
Similar books and articles
W. D. Hart (1991). Benacerraf's Dilemma. Crítica 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 downloads32 ( #51,330 of 1,096,449 )
Recent downloads (6 months)2 ( #134,922 of 1,096,449 )
How can I increase my downloads?