Advertisement

Erkenntnis

, Volume 71, Issue 2, pp 157–173 | Cite as

Predicativity and Structuralism in Dedekind’s Construction of the Reals

  • Audrey Yap
Original Article

Abstract

It is a commonly held view that Dedekind’s construction of the real numbers is impredicative. This naturally raises the question of whether this impredicativity is justified by some kind of Platonism about sets. But when we look more closely at Dedekind’s philosophical views, his ontology does not look Platonist at all. So how is his construction justified? There are two aspects of the solution: one is to look more closely at his methodological views, and in particular, the places in which predicativity restrictions ought to be applied; another is to take seriously his remarks about the reals as things created by the cuts, instead of considering them to be the cuts themselves. This can lead us to make finer-grained distinctions about the extent to which impredicative definitions are problematic, since we find that Dedekind’s use of impredicative definitions in analysis can be justified by his (non-Platonist) philosophical views.

Keywords

Rational Number Mathematical Object Irrational Number Philosophical View Initial Definition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Notes

Acknowledgements

I would like to thank Jeremy Avigad and Solomon Feferman for extremely helpful discussions about this paper, as well as an audience at the Society for Exact Philosophy meeting in Vancouver at which a preliminary version of this paper was presented. Finally, I would like to thank two anonymous referees for their constructive and insightful feedback on this paper.

References

  1. Bernays, P. (1934). On platonism in mathematics. In P. Benacerraf & H. Putnam (Eds.), Philosophy of mathematics. Cambridge: Cambridge University Press.Google Scholar
  2. Dedekind, R. (1872). Continuity and irrational numbers. In W. Ewald (Ed.), From Kant to Hilbert: A sourcebook in the foundations of mathematics (Vol. II). Oxford: Clarendon Press.Google Scholar
  3. Dedekind, R. (1877). Theory of algebraic integers. Cambridge: Cambridge University Press.Google Scholar
  4. Dedekind, R. (1888). Letter to Heinrich Weber. In W. Ewald (Ed.), From Kant to Hilbert: A sourcebook in the foundations of mathematics (Vol II). Oxford: Clarendon Press.Google Scholar
  5. Edwards, H. M. (1983). Dedekind’s invention of ideals. Bulletin of the London Mathematical Society, 15, 8–17.CrossRefGoogle Scholar
  6. Feferman, S. (1964). Systems of predicative analysis. The Journal of Symbolic Logic, 29(1), 1–30.CrossRefGoogle Scholar
  7. Feferman, S. (1999). The significance of Weyl’s Das Kontinuum. In V. Hendricks, S. Pedersen, & K. Jorgenson (Eds.), Proof theory: History and philosophical significance. Berlin: Springer.Google Scholar
  8. Feferman, S. (2005). Predicativity. In S. Shapiro (Ed.), The Oxford handbook of the philosophy of mathematics and logic. Oxford: Oxford University Press.Google Scholar
  9. Feferman, S. & Hellman, G. (2000). Challenges to predicative foundations of arithmetic. In G. Sher & R. Tieszen (Eds.), Between logic and intuition: Essays in honor of Charles Parsons. Cambridge: Cambridge University Press.Google Scholar
  10. George, A. (1987). The imprecision of impredicativity. Mind, 96(84), 514–518.CrossRefGoogle Scholar
  11. Gödel, K. (1944). Russell’s mathematical logic. In P. Benacerraf & H. Putnam (Eds.), Philosophy of mathematics. Cambridge: Cambridge University Press.Google Scholar
  12. Hallett, M. (1984). Cantorian set theory and limitation of size. Oxford: Clarendon Press.Google Scholar
  13. Parsons, C. (1990). The structuralist view of mathematical objects. Synthese, 84, 303–346.CrossRefGoogle Scholar
  14. Reck, E. (2003). Dedekind’s structuralism: An interpretation and partial defense. Synthese, 137, 369–419.CrossRefGoogle Scholar
  15. Reck, E. (2009). Dedekind’s contributions to the foundations of mathematics. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy. http://plato.stanford.edu/archives/spr2009/entries/dedekind-foundations/.
  16. Russell, B. (1906). Les paradoxes de la logique. Revue de Metaphysique et de Morale, 14(5), 627–754.Google Scholar
  17. Stein, H. (1988). Logos, logic, and Logistiké: Some philosophical remarks on nineteenth-century transformation of mathematics. In W. Aspray & P. Kitcher (Eds.), Minnesota studies in the philosophy of science: History and philosophy of modern mathematics (Vol. XI). Minneapolis: University of Minnesota Press.Google Scholar
  18. Tait, W. (Ed.) (1996). Frege versus Cantor and Dedekind: On the concept of number. In Frege, Russell, Wittgenstein: Essays in early analytic philosophy (in honor of Leonard Linsky). Lasalle: Open Court Press.Google Scholar
  19. Weyl, H. (1994). The continuum: A critical examination of the foundation of analysis (S. Pollard & T. Bole, Trans.). Mineola, NY: Dover Publications.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  1. 1.Department of PhilosophyUniversity of VictoriaVictoriaCanada

Personalised recommendations