Review of Symbolic Logic 2 (4):769-785 (2009)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Terry F. Godlove (2011). Hanna, Kantian Non-Conceptualism, and Benacerraf's Dilemma. International Journal of Philosophical Studies 19 (3):447 - 464.
Audrey Yap (2009). Logical Structuralism and Benacerraf's Problem. Synthese 171 (1):157 - 173.
Justin Clarke-Doane (forthcoming). What is the Benacerraf Problem? In Fabrice Pataut (ed.), New Perspectives on the Philosophy of Paul Benacerraf: Truth, Objects, Infinity.
Penelope Maddy (1991). Philosophy of Mathematics: Prospects for the 1990s. Synthese 88 (2):155 - 164.
Francisco Antonio Doria (2007). Informal Versus Formal Mathematics. Synthese 154 (3):401 - 415.
Paul Benacerraf (1964). Philosophy of Mathematics. Englewood Cliffs, N.J.,Prentice-Hall.
Andrew Aberdein (2006). Managing Informal Mathematical Knowledge: Techniques From Informal Logic. Lecture Notes in Artificial Intelligence 4108:208--221.
W. D. Hart (1991). Benacerraf's Dilemma. Crítica 23 (68):87 - 103.
Dale Jacquette (2006). Applied Mathematics in the Sciences. Croatian Journal of Philosophy 6 (2):237-267.
Added to index2009-12-31
Total downloads30 ( #46,354 of 722,813 )
Recent downloads (6 months)1 ( #60,541 of 722,813 )
How can I increase my downloads?