Hostname: page-component-8448b6f56d-42gr6 Total loading time: 0 Render date: 2024-04-23T11:21:43.828Z Has data issue: false hasContentIssue false
  • English
  • Français

Platonism and Mathematical Intuition in Kurt Gödel's Thought

Published online by Cambridge University Press:  15 January 2014

Charles Parsons
Charles Parsons*
Affiliation:
Department of Philosophy, Emerson Hall, Harvard University, Cambridge, Massachusetts 02138.E-mail: parsons2@husc.harvard.edu
Get access Rights & Permissions [Opens in a new window]

Extract

The best known and most widely discussed aspect of Kurt Gödel's philosophy of mathematics is undoubtedly his robust realism or platonism about mathematical objects and mathematical knowledge. This has scandalized many philosophers but probably has done so less in recent years than earlier. Bertrand Russell's report in his autobiography of one or more encounters with Gödel is well known:

Gödel turned out to be an unadulterated Platonist, and apparently believed that an eternal “not” was laid up in heaven, where virtuous logicians might hope to meet it hereafter.

On this Gödel commented:

Concerning my “unadulterated” Platonism, it is no more unadulterated than Russell's own in 1921 when in the Introduction to Mathematical Philosophy … he said, “Logic is concerned with the real world just as truly as zoology, though with its more abstract and general features.” At that time evidently Russell had met the “not” even in this world, but later on under the infuence of Wittgenstein he chose to overlook it.

One of the tasks I shall undertake here is to say something about what Gödel's platonism is and why he held it.

A feature of Gödel's view is the manner in which he connects it with a strong conception of mathematical intuition, strong in the sense that it appears to be a basic epistemological factor in knowledge of highly abstract mathematics, in particular higher set theory. Other defenders of intuition in the foundations of mathematics, such as Brouwer and the traditional intuitionists, have a much more modest conception of what mathematical intuition will accomplish.

Type
Research Article
Information
Bulletin of Symbolic Logic , Volume 1 , Issue 1 , March 1995 , pp. 44 - 74
Copyright
Copyright © Association for Symbolic Logic 1995

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

Writings of Gödel

The bibliographical references to Gödel's writings are those used by the editors in the Collected Works. The latter are cited as CW with a volume number, but Gödel's published writings are cited in original pagination (given in the margins of CWI and II), his unpublished writings by page number in CW III, if applicable, manuscript page otherwise. The following are the items cited:

Gödel, [CW I] Collected Works, Volume I: Publications 1929-1936, Feferman, Solomon (editor-in chief), Dawson, John W. Jr., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M., and van Heijenoort, Jean (editors), Oxford University Press, New York, 1986.Google Scholar
Gödel, [CW II] Collected works, Volume II: Publications 1938-1974, Feferman, Solomon (editor-in chief), Dawson, John W. Jr., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M., and van Heijenoort, Jean (editors), Oxford University Press, New York, 1990.Google Scholar
Gödel, [CW III] Collected works, Volume III: Unpublished essays and lectures, Feferman, Solomon (editor-in chief), Goldbarb, Warren, Parsons, Charles, and Solovay, Robert M. (editors), Oxford University Press, New York, 1995.Google Scholar
Gödel, [*1933o] The present situation in the foundations of mathematics, lecture to the Mathematical Association of America, 1933, in CW III, pages 45–53.Google Scholar
Gödel, [1938] The consistency of the axiom of choice and of the generalized continuum hypothesis, Proceedings of the National Academy of Sciences, USA, vol. 24 (1938), pp. 556–557, reprinted in CW II, pages 26-27.CrossRefGoogle ScholarPubMed
Gödel, [*1938a] Vortrag bei Zilsel, 1938, transcription of shorthand draft, with translation by Parsons, Charles, in CW III, pages 86–113.Google Scholar
Gödel, [*193?][Undecidable diophantinepropositions], untitled text for (apparently) undelivered lecture, in CW III, pages 164–175.Google Scholar
Gödel, [*1939b] Vortrag Göttingen, lecture at Göttingen, 1939, with a translation by Dawson, John, revised by Dawson, and Craig, William, in CW III, pages 127–155.Google Scholar
Gödel, [1940] The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory, Annals of Mathematics Studies, vol. 3, Princeton University Press, 1940, reprinted in CW II, pages 33–101.Google Scholar
Gödel, [1944] Russell's mathematical logic, in Schilpp, [20], pp. 125-153, reprinted in CW II, pages 119–141.Google Scholar
Gödel, [1946] Remarks before the Princeton bicentennial conference on problems in mathematics, in Davis, [6], pp. 84–88, reprinted in CW II, pages 150–153.Google Scholar
Gödel, [*1946/9] Some observations about the relation of the theory of relativity and Kantian philosophy, versions B2 and C1, in CW III, pages 230-246 and 247–259.Google Scholar
Gödel, [1947] What is Cantor's continuum problem?, American Mathematical Monthly, vol. 54 (1947), pp. 515–525, reprinted in CW II, pages 176-187.Google Scholar
Gödel, [1949a] A remark about the relationship between relativity theory and idealistic philosophy, in Schilpp, [21], pp. 555–562, reprinted in CW II, pages 202–207.Google Scholar
Gödel, [*1951] Some basic theorems on the foundations of mathematics and their implications, Josiah Willard Gibbs Lecture, American Mathematical Society, 1951, in CW III, pages 304–323.Google Scholar
Gödel, [*1953/9] Is mathematics syntax of language?, versions III and V, in CW III, pages 334–356 and 356–362.Google Scholar
Gödel, [1958] Über eine bisher noch nicht benützte Erweiterung desfiniten Standpunktes, Dialectica, vol. 12 (1958), pp. 280–287, reprinted with a translation by Stefan Bauer-Mengelberg and Jean van Heijenoort in CW II, pages 240–251.Google Scholar
Gödel, [*1961/?] The modern development of the foundations of mathematics in the light of philosophy, transcription of German shorthand draft, with translation by Köhler, Eckehart and Wang, Hao, revised by Dawson, John, Parsons, Charles, and Craig, William, in CW III, pages 374–377.Google Scholar
Gödel, [1964] What is Cantor's continuum problem?, revised and expanded version of 1947, in Benacerraf, and Putnam, [1], pp. 258–273, reprinted in CW II, pages 254–270.Google Scholar
Gödel, [1972] On an extension of finitary mathematics which has not yet been used, revised and expanded version of 1958, based on a draft translation by Boron, Leo F., in CW II, pages 271–280.Google Scholar
Gödel, [1972a] Some remarks on the undecidability results, in CW II, pages 305–306.Google Scholar
[1] Benacerraf, Paul and Putnam, Hilary (editors), Philosophy of mathematics: Selected readings, Prentice-Hall, Englewood Cliffs, NJ, 1964.Google Scholar
[2] Bernays, Paul, Sur le platonisme dans les mathématiques, vol. 34, 1935, pp. 52–69, translation by Charles Parsons in Benacerraf and Putnam [1].Google Scholar
[3] Blackwell, Kenneth, A non-existent revision of Introduction to Mathematical Philosophy, Russell, no. 20 (1976), pp. 16–18.Google Scholar
[4] Carnap, Rudolf, Logische Syntax der Sprache, Springer, Wien, 1934.CrossRefGoogle Scholar
[5] Carnap, Rudolf, Logical syntax of language, translated by Smeaton, Amethe, Paul, Kegan, London, 1937.Google Scholar
[6] Davis, Martin (editor), The undecidable, The Raven Press, Hewlett, N. Y., 1965.Google Scholar
[7] Feferman, Solomon, Gödel's life and work, in CW I, pp. 1–36.Google Scholar
[8] Goldfarb, Warren and Ricketts, Thomas, Carnap and the philosophy of mathematics, Science and subjectivity (Bell, David and Vossenkuhl, Wilhelm, editors), Akademie Verlag, Berlin, 1992, pp. 61–78.Google Scholar
[9] Köhler, Eckehart, Gödel und der Wiener Kreis, Jour fixe der Vernunft (Kruntorad, Paul, editor), Hölder-Pichler-Tempsky, Wien, 1991, pp. 127–158.Google Scholar
[10] Kreisel, G., On the interpretation of non-finitist proofs, part I, The Journal of Symbolic Logic, vol. 16 (1951), pp. 241–267.Google Scholar
[11] Leibniz, Gottfried Wilhelm, Meditationes de cognitione, veritate, et ideiis (1684), reprinted in Gerhardt, C. J. (ed.), Die philosophischen Schriften von G. W. Leibniz, IV, pages 422–426, Berlin 1875-90; translation in Leibniz, Philosophical Essays , pages 23-27, edited and translated by Roger Ariew and Daniel Garber, Hackett, Indianapolis, 1989.Google Scholar
[12] Maddy, Penelope, The roots of contemporary platonism, The Journal of Symbolic Logic, vol. 54 (1989), pp. 1121–1144.CrossRefGoogle Scholar
[13] Mates, Benson, The philosophy of Leibniz, Oxford University Press, New York and Oxford, 1986.Google Scholar
[14] Parsons, Charles, Quine and Gödel on analyticity, On Quine (Leonardi, Paolo and Santambrogio, Marco, editors), Cambridge University Press, forthcoming.Google Scholar
[15] Rawls, John, A theory of justice, Belknap Press of Harvard University Press, Cambridge, Mass, 1971.Google Scholar
[16] Rawls, John, The independence of moral theory, Proceedings and Addresses of the American Philosophical Association, vol. 49 (1974–1975), pp. 5–22.Google Scholar
[17] Rawls, John, Political liberalism, Columbia University Press, New York, 1993.Google Scholar
[18] Russell, Bertrand, Introduction to mathematicalphilosophy, Allen and Unwin, London, 1919.Google Scholar
[19] Russell, Bertrand, The autobiography of Bertrand Russell, 1914-1944, Allen and Unwin, London, Little, Brown, Boston, 1968.Google Scholar
[20] Schilpp, Paul Arthur (editor), The philosophy of Bertrand Russell, Northwestern University, Evanston, Il., 1944.Google Scholar
[21] Schilpp, Paul Arthur (editor), Albert Einstein: Philosopher-scientist, The Library of Living Philosophers, Evanston, Il., 1949.Google Scholar
[22] Schilpp, Paul Arthur (editor), The philosophy of Rudolf Carnap, Open Court, La Salle, Il., 1963.Google Scholar
[23] Tait, W. W. , Truth and proof, Synthese, vol. 69 (1986), pp. 341–370.Google Scholar
[24] Wang, Hao, From mathematics to philosophy, Routledge and Kegan Paul, London, 1974.Google Scholar
[25] Wang, Hao, Reflections on Kurt Gödei, MIT Press, Cambridge, Massachusetts, 1987.Google Scholar
[26] Wang, Hao, On physicalism and algorithmism: Can machines think?, Philosophia Mathematica, Series III, vol. 1 (1993), pp. 97–138.CrossRefGoogle Scholar
[27] Yourgrau, Palle, Review essay: Reflections on Kurt Gödel, Philosophy and Phenomenological Research, vol. 50 (1989), pp. 391–408.CrossRefGoogle Scholar