Hostname: page-component-76fb5796d-qxdb6 Total loading time: 0 Render date: 2024-04-26T08:14:57.660Z Has data issue: false hasContentIssue false

The roots of contemporary Platonism

Published online by Cambridge University Press:  12 March 2014

Penelope Maddy*
Affiliation:
Department of Philosophy, University of California, Irvine, California 92717

Extract

Though many working mathematicians embrace a rough and ready form of Platonism, that venerable position has suffered a checkered philosophical career. Indeed the three schools of thought with which most of us began our official philosophizing about mathematics—Intuitionism, Formalism, and Logicism—all stand in fundamental disagreement with Platonism. Nevertheless, various versions of Platonistic thinking survive in contemporary philosophical circles. The aim of this paper is to describe these views, and, as my title suggests, to trace their roots.

I'll begin with some preliminary remarks about the big three schools. This seems a reasonable approach to the issues both because most observers are familiar, at least in a general way, with the tenets of Intuitionism, Formalism, and Logicism, and because it is in reaction to these that contemporary Platonism has taken shape.

Type
A Survey/expository paper
Copyright
Copyright © Association for Symbolic Logic 1989

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Armstrong, D. [1977] Naturalism, materialism and first philosophy, reprinted in his The nature of mind and other essays, Cornell University Press, Ithaca, New York, 1981, pp. 149165.Google Scholar
Aspray, W., and Kitcher, P. (editors) [1988] History and philosophy of modern mathematics, Minnesota Studies in the Philosophy of Science, vol. 11, University of Minnesota Press, Minneapolis, Minnesota.Google Scholar
Ayer, A. J. [1946] Language, truth and logic, 2nd ed., reprint, Dover, New York, 1952. (The relevant passage is included as The a priori in Benacerraf and Putnam [1983], pp. 315328.)Google Scholar
Beeson, M. [1985] Foundations of constructive mathematics, Springer-Verlag, Berlin.CrossRefGoogle Scholar
Benacerraf, P. [1965] What numbers could not be, reprinted in Benacerraf and Putnam [1983], pp. 272294.Google Scholar
Benacerraf, P. [1973] Mathematical truth, reprinted in Benacerraf and Putnam [1983], pp. 403420.CrossRefGoogle Scholar
Benacerraf, P., and Putnam, H. (editors) [1983] Philosophy of mathematics, 2nd ed., Cambridge University Press, Cambridge.Google Scholar
Bishop, E., and Bridges, D. [1985] Constructive analysis, Springer-Verlag, Berlin.CrossRefGoogle Scholar
Bridges, D., and Richman, F. [1987] Varieties of constructive mathematics, Cambridge University Press, Cambridge.CrossRefGoogle Scholar
Brouwer, L. E. J. [1913] Intuitionism and formalism, reprinted in Benacerraf and Putnam [1983], pp. 7789.CrossRefGoogle Scholar
Brouwer, L. E. J. [1949] Consciousness, philosophy, and mathematics, reprinted in Benacerraf and Putnam [1983], pp. 9096.Google Scholar
Burgess, J. [1983] Why I am not a nominalist, Notre Dame Journal of Formal Logic, vol. 24, pp. 93105.Google Scholar
Burgess, J. [198?] Synthetic physics and nominalistic realism, The nature and function of measurement (Savage, C. W. and Ehrlich, P., editors) (to appear).Google Scholar
Burgess, J. [198?a] Epistemology and nominalism, Physicalism in Mathematics (Irvine, A., editor) (to appear).Google Scholar
Carnap, R. [1937] Logical syntax of language, Routledge and Kegan Paul, London.Google Scholar
Carnap, R. [1950] Empiricism, semantics, and ontology, reprinted in Benacerraf and Putnam, pp. 241257.CrossRefGoogle Scholar
Chihara, C. [1973] Ontology and the vicious circle principle, Cornell University Press, Ithaca, New York.Google Scholar
Chihara, C. [1982] A Gödelian thesis regarding mathematical objects: Do they exist? And can we perceive them?, Philosophical Review, vol. 91, pp. 211227.CrossRefGoogle Scholar
Cohen, P. [1966] Set theory and the continuum hypothesis, W. A. Benjamin, New York.Google Scholar
Cohen, P. [1971] Comments on the foundations of set theory, in Scott [1971], pp. 915.Google Scholar
Detlefsen, M. [1986] Hubert's program: an essay on mathematical instrumentalism, Reidel, Dordrecht.Google Scholar
Dummett, M. [1975] The philosophical basis of intuitionistic logic, reprinted in Benacerraf and Putnam [1983], pp. 97129.CrossRefGoogle Scholar
Dummett, M. [1977] Elements of intuitionism, Clarendon Press, Oxford.Google Scholar
Feferman, S. [1988] Hubert's program relativized: proof theoretical and foundational reductions, this Journal, vol. 53, pp. 364384.Google Scholar
Field, H. [1980] Science without numbers, Princeton University Press, Princeton, New Jersey.Google Scholar
Field, H. [1982] Realism and anti-realism in mathematics, reprinted in his [1989], pp. 5378.CrossRefGoogle Scholar
Field, H. [1988] Realism, mathematics and modality, reprinted in his [1989], pp. 227281.Google Scholar
Field, H. [1989] Realism, mathematics, and modality, Basil Blackwell, Oxford.Google Scholar
Frege, G. [1884] Foundations of arithmetic (Austin, J. L., translator), 2nd rev. ed., Northwestern University Press, Evanston, Illinois, 1968.Google Scholar
Frege, G. [1903] Grundgesetze der Arithmetik. Vol. 2. Relevant sections are translated in [1970], pp. 182233.Google Scholar
Frege, G. [1970] Translations from the philosophical writings of Gottlob Frege (Geach, P. and Black, M., editors), Basil Blackwell, Oxford.Google Scholar
Friedman, M. [1988] Logical truth and analyticity in Carnap's “Logical syntax of language”, in Aspray and Kitcher [1988], pp. 8294.Google Scholar
Gödel, K. [1944] Russell's mathematical logic, reprinted in Benacerraf and Putnam [1983], pp. 447469.Google Scholar
Gödel, K. [1947/64] What is Cantor's continuum problem?, reprinted in Benacerraf and Putnam [1983], pp. 470485.Google Scholar
Hellman, G. [1989] Mathematics without numbers, Oxford University Press, Oxford.Google Scholar
Heyting, A. [1931] The intuitionist foundations of mathematics, reprinted in Benacerraf and Putnam [1983], pp. 5261.Google Scholar
Heyting, A. [1966] Intuitionism: an introduction, 2nd rev. ed., North-Holland, Amsterdam.Google Scholar
Hilbert, D. [1926] On the infinite, English translations in van Heijenoort [1967], pp. 367392, and in Benacerraf and Putnam [1983], pp. 183–201.CrossRefGoogle Scholar
Hilbert, D. [1928] The foundations of mathematics, English translation in van Heijenoort [1967], pp. 464479.Google Scholar
Hodes, H. [1984] Logicism and the ontological commitments of arithmetic, Journal of Philosophy, vol. 81, pp. 123149.CrossRefGoogle Scholar
Jubien, M. [1977] Ontology and mathematical truth, Noûs, vol. 11, pp. 133150.CrossRefGoogle Scholar
Kim, J. [1981] The role of perception in a priori knowledge, Philosophical Studies, vol. 40, pp. 339354.CrossRefGoogle Scholar
Kitcher, P. [1983] The nature of mathematical knowledge, Oxford University Press, Oxford.Google Scholar
Kitcher, P. [1988] Mathematical naturalism, in Aspray and Kitcher [1988], pp. 293325.Google Scholar
Körner, S. [1960] The philosophy of mathematics, Hutchinson University Library, London.Google Scholar
Kripke, S. [1982] Wittgenstein on rules and private language, Harvard University Press, Cambridge, Massachusetts.Google Scholar
Lear, J. [1977] Sets and semantics, Journal of Philosophy, vol. 74, pp. 86102.CrossRefGoogle Scholar
Maddy, P. [1980] Perception and mathematical intuition, Philosophical Review, vol. 89, pp. 163196.CrossRefGoogle Scholar
Maddy, P. [1988] Believing the axioms. I, II, this Journal, vol. 53, pp. 481–511, 736764.Google Scholar
Maddy, P. [1988a] Mathematical realism, Midwest Studies in Philosophy, vol. 12, pp. 275285.CrossRefGoogle Scholar
Maddy, P. [198?] Physicalistic Platonism, Physicalism in mathematics (Irvine, A., editor) (to appear).Google Scholar
Maddy, P. [RM] Realism in mathematics, Oxford University Press, Oxford (to appear).CrossRefGoogle Scholar
Malament, D. [1982] Review of Field's “Science without numbers”, Journal of Philosophy, vol. 79, pp. 523534.Google Scholar
Mill, J. S. [1843] A system of logic, excepted in John Stuart Mill's philosophy of the scientific method (Nagel, E., editor), Hafner, New York, 1950, pp. 1358.Google Scholar
Moschovakis, Y. [1980] Descriptive set theory, North-Holland, Amsterdam.Google Scholar
Parsons, C. [1979/1980] Mathematical intuition, Proceedings of the Aristotelian Society, vol. 80, pp. 145168.CrossRefGoogle Scholar
Parsons, C. [1983] Mathematics in philosophy, Cornell University Press, Ithaca, New York.Google Scholar
Parsons, C. [1983a] Quine on the philosophy of mathematics, in his [1983], pp. 176205.Google Scholar
Putnam, H. [1967] The thesis that mathematics is logic, reprinted in his [1979], pp. 1242.CrossRefGoogle Scholar
Putnam, H. [1967a] Mathematics without foundations, reprinted in his [1979], pp. 4359, and in Benacerraf and Putnam [1983], pp. 295–311.CrossRefGoogle Scholar
Putnam, H. [1968] The logic of quantum mechanics, reprinted in his [1979], pp. 174197.Google Scholar
Putnam, H. [1971] Philosophy of logic, reprinted in his [1979], pp. 323357.Google Scholar
Putnam, H. [1975] What is mathematical truth?, reprinted in his [1979], pp. 6078.CrossRefGoogle Scholar
Putnam, H. [1979] Mathematics, matter and method: philosophical papers, Vol. 1, 2nd ed., Cambridge University Press, Cambridge.Google Scholar
Putnam, H. [1980] Models and reality, reprinted in Benacerraf and Putnam [1983], pp. 421444.CrossRefGoogle Scholar
Quine, W. V. O. [1948] On what there is, reprinted in his [1980], pp. 119.Google Scholar
Quine, W. V. O. [1951] Two dogmas of empiricism, reprinted (among many other places) in his [1980], pp. 2046.CrossRefGoogle Scholar
Quine, W. V. O. [1954] Carnap and logical truth, reprinted in Benacerraf and Putnam [1983], pp. 355376.Google Scholar
Quine, W. V. O. [1969] Ontological relativity and other essays, Columbia University Press, New York.CrossRefGoogle Scholar
Quine, W. V. O. [1980] From a logical point of view, 2nd rev. ed., Harvard University Press, Cambridge, Massachusetts.Google Scholar
Quine, W. V. O. [1984] Review of Parsons's “Mathematics in Philosophy”, Journal of Philosophy, vol. 81, pp. 783794.Google Scholar
Resnik, M. [1975] Mathematical knowledge and pattern cognition, Canadian Journal of Philosophy, vol. 5, pp. 2539.CrossRefGoogle Scholar
Resnik, M. [1980] Frege and the philosophy of mathematics, Cornell University Press, Ithaca, New York.Google Scholar
Resnik, M. [1981] Mathematics as a science of patterns: ontology and reference, Noûs, vol. 15, pp. 529550.CrossRefGoogle Scholar
Resnik, M. [1982] Mathematics as a science of patterns: epistemology, Noûs, vol. 16, pp. 95105.CrossRefGoogle Scholar
Resnik, M. [1985] How nominalist is Hartry Field's nominalism?, Philosophical Studies, vol. 47, pp. 163181.CrossRefGoogle Scholar
Resnik, M. [1985a] Ontology and logic: remarks on Hartry Field's anti-platonist philosophy of mathematics, History and Philosophy of Logic, vol. 6, pp. 191209.CrossRefGoogle Scholar
Resnik, M. [198?] A naturalized epistemology for a Platonist mathematical ontology, Philosophica (to appear).Google Scholar
Resnik, M. [198?a] Beliefs about mathematical objects, Physicalism in Mathematics (Irvine, A., editor) (to appear).Google Scholar
Robinson, A. [1975] Concerning progress in the philosophy of mathematics., Logic Colloquium '73, North-Holland, Amsterdam, 1975, pp. 4152.Google Scholar
Russell, B., and Whitehead, A. N. [1910] Principia mathematica. Vol. 1, excerpted to §56 by Cambridge University Press, Cambridge, 1967.Google Scholar
Scott, D. (editor) [1971] Axiomatic set theory, Proceedings of Symposia in Pure Mathematics, vol. 13, part 1, American Mathematical Society, Providence, Rhode Island.CrossRefGoogle Scholar
Shapiro, S. [1983] Conservativeness and incompleteness, Journal of Philosophy, vol. 80, pp. 521531.CrossRefGoogle Scholar
Shapiro, S. [1983a] Mathematics and reality, Philosophy of Science, vol. 50, pp. 523548.Google Scholar
Simpson, S. [1988] Partial realizations of Hubert's program, this Journal, vol. 53, pp. 349363.Google Scholar
Steiner, M. [1975] Mathematical knowledge, Cornell University Press, Ithaca, New York.Google Scholar
Steiner, M. [1975a] Review of Chihara's “Ontology and the vicious circle principle”, Journal of Philosophy, vol. 72, pp. 184196.CrossRefGoogle Scholar
Troelstra, A. S., and van Dalen, D. [1988] Constructivism in mathematics. Vol. 1, North-Holland, Amsterdam.Google Scholar
van Heijenoort, J. (editor) [1967] From Frege to Gödel, Harvard University Press, Cambridge, Massachusetts.Google Scholar
Wittgenstein, L. [1922] Tractatus logico-philosophicus, Routledge & Kegan Paul, London.Google Scholar
Wittgenstein, L. [1953] Philosophical investigations, MacMillan, New York.Google Scholar
Wittgenstein, L. [1978] Remarks on the foundations of mathematics, rev. ed. (von Wright, G. et al., editors), MIT Press, Cambridge, Massachusetts.Google Scholar
Wright, C. [1983] Frege's conception of numbers as objects, Aberdeen University Press, Aberdeen.Google Scholar
Zermelo, E. [1908] A new proof of the possibility of a well-ordering, English translation in van Heijenoort [1967], pp. 183198.Google Scholar
Zermelo, E. [1908] Investigations in the foundations of set theory. I, English translation in van Heijenoort [1967], pp. 199215.Google Scholar