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 Benacerraf’s dilemma. The account builds upon Georg Kreisel’s 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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
