Hostname: page-component-cd9895bd7-q99xh Total loading time: 0 Render date: 2024-12-22T14:44:20.108Z Has data issue: false hasContentIssue false
  • English
  • Français

Mathematical Existence

Published online by Cambridge University Press:  15 January 2014

Penelope Maddy
Penelope Maddy*
Affiliation:
Department of Logic and Philosophy of Science, University of California, Irvine, Irvine, CA 92697-5100, USA. E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Extract

Despite some discomfort with this grandly philosophical topic, I do in fact hope to address a venerable pair of philosophical chestnuts: mathematical truth and existence. My plan is to set out three possible stands on these issues, for an exercise in compare and contrast. A word of warning, though, to philosophical purists (and perhaps of comfort to more mathematical readers): I will explore these philosophical positions with an eye to their interconnections with some concrete issues of set theoretic method.

Let me begin with a brief look at what to count as ‘philosophy’. To some extent, this is a matter of usage, and mathematicians sometimes classify as ‘philosophical’ any considerations other than outright proofs. So, for example, discussions of the propriety of particular mathematical methods would fall under this heading: should we prefer analytic or synthetic approaches in geometry? Should elliptic functions be treated in terms of explicit representations (as in Weierstrass) or geometrically (as in Riemann)? Should we allow impredicative definitions? Should we restrict ourselves to a logic without bivalence or the law of the excluded middle? Also included in this category would be the trains of thought that shaped our central concepts: should a function always be defined by a formula? Should a group be required to have an inverse for every element? Should ideal divisors be defined contextually or explicitly, treated computationally or abstractly? In addition, there are more general questions concerning mathematical values, aims and goals: Should we strive for powerful theories or low-risk theories? How much stress should be placed on the fact or promise of physical applications? How important are interconnections between the various branches of mathematics? These philosophical questions of method naturally include several peculiar to set theory: should set theorists focus their efforts on drawing consequences for areas of interest to mathematicians outside mathematical logic? Should exploration of the standard axioms of ZFC be preferred to the exploration and exploitation of new axioms? How should axioms for set theory be chosen? What would a solution to the Continuum Problem look like?

Type
Research Article
Information
Bulletin of Symbolic Logic , Volume 11 , Issue 3 , September 2005 , pp. 351 - 376
Copyright
Copyright © Association for Symbolic Logic 2005

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

Akiba, Ken [2000], Indefiniteness of mathematical objects, Philosophia Mathematical, vol. 8, pp. 26–46.Google Scholar
Avigad, Jeremy [200?], Methodology and metaphysics in the development of Dedekind's theory of ideals, The architecture of modern mathematics: Essays in history and philosophy (Ferreiros, J. and Gray, J., editors), Oxford University Press, Oxford, to appear.Google Scholar
Azzouni, Jody [1994], Mathematical myths, mathematical practice, Cambridge University Press, Cambridge.Google Scholar
Azzouni, Jody [2004], Deflating existential consequence: A case for nominalism, Oxford University Press, New York.Google Scholar
Balaguer, Mark [1998], Platonism and anti-platonism in mathematics, Oxford University Press, New York.CrossRefGoogle Scholar
Bernays, Paul [1934], On platonism in mathematics, Philosophy of mathematics (Benacerraf, P. and Putnam, H., editors), Cambridge University Press, Cambridge, 1983, second ed., reprinted, pp. 258–271.Google Scholar
Bridges, Douglas [2003], Constructive mathematics, Stanford encyclopedia of philosophy (Zalta, E., editor), summer 2003 ed., http://plato.stanford.edu/archives/sum2003/entries/mathematics-constructive/.Google Scholar
Burgess, John [2004], Mathematics and Bleak House, Philosophia Mathematica, vol. 12, pp. 18–36.Google Scholar
Burgess, John and Rosen, Gideon [1997], A subject with no object, Oxford University Press, Oxford.Google Scholar
Burgess, John and Rosen, Gideon [200?], Nominalism reconsidered, Oxford handbook of philosophy of mathematics and logic (Shapiro, S., editor), to appear.Google Scholar
Carnap, Rudolf [1950], Empiricism, semantics, and ontology, Philosophy of mathematics (Benacerraf, P. and Putnam, H., editors), Cambridge University Press, Cambridge, 1983, second ed., reprinted, pp. 241–257.Google Scholar
Chihara, Charles [1990], Constructibility and mathematical existence, Oxford University Press, Oxford.Google Scholar
Dauben, Joseph [1979], Georg Cantor: His mathematics and philosophy of the infinite, Harvard University Press, Cambridge, MA.Google Scholar
Detlefsen, Michael [1986], Hilbert's program: an essay on mathematical instrumentalism, Reidel, Dordrecht.Google Scholar
Edwards, Harold [1992], Mathematical ideas, ideals, and ideology, Mathematical Intelligencer, vol. 14, pp. 6–19.Google Scholar
Einstein, Albert and Infeld, Leopold [1938], The evolution of physics, Simon and Schuster, New York, 1966.Google Scholar
Feferman, Solomon [1987], Infinity in mathematics: is Cantor necessary?, reprinted in Feferman [1998], pp. 28–73.Google Scholar
Feferman, Solomon [1988], Weyl vindicated, reprinted in Feferman [1998], pp. 249–283.Google Scholar
Feferman, Solomon [1998], In the light of logic, Oxford University Press, New York.Google Scholar
Feferman, Solomon [2000], Why the programs for new axioms need to be questioned, pp. 401–413, in Feferman, et al. [2000].Google Scholar
Feferman, Solomon, Friedman, Harvey, Maddy, Penelope, and Steel, John [2000], Does mathematics need new axioms?, this Bulletin, vol. 6, pp. 401–446.Google Scholar
Field, Hartry [1998], Mathematical objectivity and mathematical objects, Contemporary readings in the foundations of metaphysics (Laurence, S. and MacDonald, C., editors), Blackwell, Oxford, pp. 387–403.Google Scholar
Field, Hartry [2000], Indeterminacy, degree of belief, and excluded middle, Truth and the absence of fact, Oxford University Press, Oxford, 2001, reprinted with a new postscript, pp. 278–311.Google Scholar
Fraenkel, Abraham, Bar-Hillel, Yehoshua, and Levy, Azriel [1973], Foundations of set theory, second revised ed., North Holland Publishing Company, Amsterdam.Google Scholar
Frege, Gottlob [1884], Foundations of arithmetic, Northwestern University Press, Evanston, IL, 1968, (Austin, J. L., translator).Google Scholar
Friedman, Harvey [2000], Normal mathematics will need new axioms, pp. 434–446, in Feferman et al. [2000].Google Scholar
Gödel, Kurt [1944], Russell's mathematical logic, reprinted in Gödel [1990], pp. 119–141.Google Scholar
Gödel, Kurt [1964], What is Cantor's continuum problem?, reprinted in Gödel [1990], pp. 254–270.Google Scholar
Gödel, Kurt [1990], Collected works, volume II, Oxford University Press, New York, (Feferman, S. et al., editors).Google Scholar
Kitcher, Philip [1983], The nature ofmathematical knowledge, Oxford University Press, New York.Google Scholar
Kline, Morris [1968], The import of mathematics, Mathematics in the modern world (Kline, M., editor), W. H. Freeman and Co., San Francisco, pp. 232–237.Google Scholar
Kline, Morris [1972], Mathematical thought from ancient to modern times, Oxford University Press, New York.Google Scholar
Kline, Morris [1980], Mathematics: the loss of certainty, Oxford University Press, New York.Google Scholar
Maddy, Penelope [1990], Realism in mathematics, Oxford University Press, Oxford.Google Scholar
Maddy, Penelope [1997], Naturalism in mathematics, Oxford University Press, Oxford.Google Scholar
Maddy, Penelope [2000], Does mathematics need new axioms?, pp. 413–422, in Feferman et al. [2000].Google Scholar
Maddy, Penelope [2001], Naturalism: friends and foes, Philosophical Perspectives 15, Metaphysics 2001 (Tomberlin, J., editor), pp. 37–67.Google Scholar
Maddy, Penelope [2001a], Some naturalistic reflections on set theoretic method, Topoi, vol. 20, pp. 17–27.Google Scholar
Maddy, Penelope [2002], A naturalistic look at logic, Proceedings and addresses of the American Philosophical Association, vol. 76, pp. 61–90.Google Scholar
Maddy, Penelope [200?], Three forms of naturalism, Oxford handbook for the philosophy of mathematics and logic (Shapiro, S., editor), to appear.Google Scholar
Martin, D. A. [1998], Mathematical evidence, Truth in mathematics (Dales, H.G. and Oliveri, G., editors), Oxford University Press, Oxford, pp. 215–31.Google Scholar
Martin, D. A. [2005], Godel's conceptual realism, this Bulletin, vol. 11, pp. 207–224.Google Scholar
Mathias, A. R. D. [2001], Slim models of Zermelo set theory, The Journal of Symbolic Logic, vol. 66, pp. 487–496.Google Scholar
Moore, Gregory H. [1982], Zermelo's Axiom of Choice, Springer-Verlag, New York.Google Scholar
Parsons, Charles [1990], The structuralist view of mathematical objects, Synthese, vol. 84, pp. 303–346.Google Scholar
Parsons, Charles [1995], Structuralism and the concept of set, Modality, morality and belief (Sinnott-Armstrong, W. et al., editors), Cambridge University Press, Cambridge, pp. 74–92.Google Scholar
Parsons, Charles [2004], Structuralism and metaphysics, The Philosophical Quarterly, vol. 54, pp. 56–77.Google Scholar
Shapiro, Stewart [1997], Philosophy of mathematics: Structure and ontology, Oxford University Press, New York.Google Scholar
Shapiro, Stewart [2000], Thinking about mathematics, Oxford University Press, Oxford.Google Scholar
Shelah, Saharon [1993], The future of set theory, Israel Mathematical Conference Proceedings, vol. 6, pp. 1–12.Google Scholar
Steel, John [2000], Mathematics needs new axioms, pp. 422-433, in Feferman et al. [2000].Google Scholar
Steel, John [2004], Generic absoluteness and the continuum problem, http://www.lps.uci.edu/home/conferences/Laguna-Workshops/Laguna2004.html.Google Scholar
Stillwell, John [2002], Mathematics and its history, second ed., Springer-Verlag, New York.Google Scholar
Tappenden, James [200?], Why do elliptic functions have two periods?, to appearGoogle Scholar
van Atten, Mark and Kennedy, Juliette [2003], On the philosophical development of Kurt Gödel, this Bulletin, vol. 9, pp. 425–476.Google Scholar
Wilson, Mark [1982], Predicate meets property, Philosophical Review, vol. 91, pp. 549–589.Google Scholar
Woodin, W. Hugh [2001], The continuum hypothesis, Parts I and II, Notices of the American Mathematical Society, vol. 48, pp. 567–576, 681–690.Google Scholar