Erkenntnis 71 (2):157 - 173 (2009)
|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||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Anand Pillay & Charles Steinhorn (1987). On Dedekind Complete o-Minimal Structures. Journal of Symbolic Logic 52 (1):156-164.
A. C. Walczak-Typke (2005). The First-Order Structure of Weakly Dedekind-Finite Sets. Journal of Symbolic Logic 70 (4):1161 - 1170.
George Weaver (2000). Homogeneous and Universal Dedekind Algebras. Studia Logica 64 (2):173-192.
George Weaver (2003). The First-Order Theories of Dedekind Algebras. Studia Logica 73 (3):337 - 365.
Ansten Klev (2011). Dedekind and Hilbert on the Foundations of the Deductive Sciences. Review of Symbolic Logic 4 (4):645-681.
Erich H. Reck (2003). Dedekind's Structuralism: An Interpretation and Partial Defense. Synthese 137 (3):369 - 419.
Robert S. Lubarsky & Michael Rathjen (2008). On the Constructive Dedekind Reals. Logic and Analysis 1 (2):131-152.
Added to index2009-06-13
Total downloads21 ( #58,654 of 548,984 )
Recent downloads (6 months)1 ( #63,327 of 548,984 )
How can I increase my downloads?