Predicativity and Structuralism in Dedekind’s Construction of the Reals
- 90 Downloads
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.
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.
- Bernays, P. (1934). On platonism in mathematics. In P. Benacerraf & H. Putnam (Eds.), Philosophy of mathematics. Cambridge: Cambridge University Press.Google Scholar
- 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
- Dedekind, R. (1877). Theory of algebraic integers. Cambridge: Cambridge University Press.Google Scholar
- 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
- 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
- Feferman, S. (2005). Predicativity. In S. Shapiro (Ed.), The Oxford handbook of the philosophy of mathematics and logic. Oxford: Oxford University Press.Google Scholar
- 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
- Gödel, K. (1944). Russell’s mathematical logic. In P. Benacerraf & H. Putnam (Eds.), Philosophy of mathematics. Cambridge: Cambridge University Press.Google Scholar
- Hallett, M. (1984). Cantorian set theory and limitation of size. Oxford: Clarendon Press.Google Scholar
- 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/.
- Russell, B. (1906). Les paradoxes de la logique. Revue de Metaphysique et de Morale, 14(5), 627–754.Google Scholar
- 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
- 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
- Weyl, H. (1994). The continuum: A critical examination of the foundation of analysis (S. Pollard & T. Bole, Trans.). Mineola, NY: Dover Publications.Google Scholar