Dedekind's proof by v2.0 last updated: 10 dec 2001 created: 1 sept 2000 please send your comments to abo
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
In "The Nature and Meaning of Numbers," Dedekind produces an original, quite remarkable proof for the holy grail in the foundations of elementary arithmetic, that there are an infinite number of things. It goes like this. [p, 64 in the Dover edition.] Consider the set S of things which can be objects of my thought. Define the function phi(s), which maps an element s of S to the thought that s can be an object of my thought. Then phi is evidently one-to-one, and the image of phi is contained in S. Indeed, it is properly contained in S, because I myself can be an object of my thoughts and so belong to S, but I myself am not a mere thought. Thus S is infinite.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Robert S. Lubarsky & Michael Rathjen (2008). On the Constructive Dedekind Reals. Logic and Analysis 1 (2):131-152.
Andrew Boucher, Consistency and Existence by V1.00 Last Updated: 1 Oct 2000 Please Send Your Comments to Abo.
Andrew Boucher, The Existence of Numbers (Or: What is the Status of Arithmetic?) By V2.00 Created: 11 Oct 2001 Modified: 3 June 2002 Please Send Your Comments to Abo. [REVIEW]
Richard Heck (1998). The Finite and the Infinite in Frege's Grundgesetze der Arithmetik. In M. Schirn (ed.), Philosophy of Mathematics Today. OUP.
Anand Pillay (1994). Definability of Types, and Pairs of o-Minimal Structures. Journal of Symbolic Logic 59 (4):1400-1409.
George Weaver (2003). The First-Order Theories of Dedekind Algebras. Studia Logica 73 (3):337 - 365.
George Weaver (2011). A General Setting for Dedekind's Axiomatization of the Positive Integers. History and Philosophy of Logic 32 (4):375-398.
Audrey Yap (2009). Predicativity and Structuralism in Dedekind's Construction of the Reals. Erkenntnis 71 (2):157 - 173.
George Weaver (2000). Homogeneous and Universal Dedekind Algebras. Studia Logica 64 (2):173-192.
Added to index2009-01-28
Total downloads2 ( #373,591 of 1,168,039 )
Recent downloads (6 months)1 ( #140,420 of 1,168,039 )
How can I increase my downloads?