Skip to main content
    • Aa
    • Aa



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.

Corresponding author
Hide All
Benacerraf P. (1973). Mathematical truth. Journal of Philosophy, 70(19), 661679.
Boolos G. (1983). The iterative conception of set. In Benacerraf P., and Putnam H., editors. Philosophy of Mathematics (second edition). Cambridge, UK: Cambridge University Press, pp. 486502. Originally published in the Journal of Philosophy, 68(1971), 215–232.
Carnap R. (1950). Empiricism, semantics and ontology. Revue International de Philosophie, 4, 2040. Reprinted in Meaning and Necessity: A Study in Semantics and Modal Logic (second edition). Chicago, IL: University of Chicago Press, 1956.
Dummett M. (1978). Realism. In Truth and Other Enigmas. Cambridge, MA: Harvard University Press, 145165.
Dummett M. (1981). Frege: Philosophy of Language (second edition). London: Duckworth.
Dummett M. (1991). Frege: Philosophy of Mathematics. Cambridge, MA: Harvard University Press.
Field H. (1989). Realism, Mathematics & Modality. New York, NY: Basil Blackwell Ltd.
Field H. (1994). Are our logical notions highly indeterminate? In French P. A., Uehling T. E., and Wettstein H. K., editors. Midwest Studies in Philosophy, Philosophical Naturalism, Vol. XIX. Notre Dame, IN: University of Notre Dame Press, pp. 391429.
Field H. (1998). Do we have a determinate conception of finiteness and natural number? In Schirn M., editor. The Philosophy of Mathematics Today. New York, NY: Oxford, pp. 99130.
Frege G. (1980). The Foundations of Arithmetic (second revised edition). Evanston, IL: Northwestern University Press.
Hacker P. (2006). Passing by the naturalistic turn: On quine’s cul-de-sac. Philosophy, 81(2), 231253.
Hale B., & Wright C. (2002). Benacerraf’s dilemma revisited. European Journal of Philosophy, 10(1), 101129.
Isaacson D. (2004). Quine and logical positivism. In Gibson R. F., editor. The Cambridge Companion to Quine. New York, NY: Cambridge University Press, pp. 214269.
Kreisel G. (1967). Informal rigour and completeness proofs. In Lakatos I., editor. Problems in the Philosophy of Mathematics. New York, NY: Humanities Press, pp. 138186.
Kreisel G., & Krivine J.-L. (1971). Element of Mathematical Logic. Amsterdam, The Netherlands: North-Holland.
Lavers G. (2008). Carnap, formalism, and informal rigour. Philosophia Mathematica, 16(1), 424.
Parsons C. (1983). What is the iterative conception of set? In Benacerraf P., and Putnam H., editors. Philosophy of Mathematics. Cambridge, UK: Cambridge University Press, second edition, pp. 503529. Originally published in the Proceedings of the 5th International Congress on Logic, Methodology and Philosophy of Science 1975, Part I : Logic, Foundations of Mathematics and Computability Theory. Dordrecht, the Netherlands. Butts, R., and Hintikka, J., editors. Reidel, D. (1977).
Potter M. (2000). Reason’s Nearest Kin. Oxford: Oxford University Press.
Wang H. (1983). The concept of set. In Benacerraf P., and Putnam H., editors. Philosophy of Mathematics. Cambridge, UK: Cambridge University Press, second edition, pp. 530570. Originally published in H. Wang From Mathematics to Philosophy. London: Routledge and Kegan Paul 1974, pp. 181–223.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 12 *
Loading metrics...

Abstract views

Total abstract views: 142 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 19th October 2017. This data will be updated every 24 hours.