Ansten Klev
Czech Academy of Sciences
Richard Dedekind’s theorem 66 states that there exists an infinite set. Its proof invokes such apparently nonmathematical notions as the thought-world and the self. This article discusses the content and context of Dedekind’s proof. It is suggested that Dedekind took the notion of the thought-world from Hermann Lotze. The influence of Kant and Bernard Bolzano on the proof is also discussed, and the reception of the proof in the mathematical and philosophical literature is covered in detail.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1086/698660
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,066
External links

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.

Add more references

Citations of this work BETA

Dedekind and Wolffian Deductive Method.José Ferreirós & Abel Lassalle-Casanave - forthcoming - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie:1-21.
Pasch's Empiricism as Methodological Structuralism.Dirk Schlimm - 2020 - In Erich Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. New York: Oxford University Press. pp. 80-105.

Add more citations

Similar books and articles

Generalizations of Cantor's Theorem in ZF.Guozhen Shen - 2017 - Mathematical Logic Quarterly 63 (5):428-436.
Dedekind's Logicism.Ansten Mørch Klev - 2015 - Philosophia Mathematica:nkv027.
A Note on Weakly Dedekind Finite Sets.Pimpen Vejjajiva & Supakun Panasawatwong - 2014 - Notre Dame Journal of Formal Logic 55 (3):413-417.
Arithmetic of Dedekind Cuts of Ordered Abelian Groups.Antongiulio Fornasiero & Marcello Mamino - 2008 - Annals of Pure and Applied Logic 156 (2):210-244.
Homogeneous and Universal Dedekind Algebras.George Weaver - 2000 - Studia Logica 64 (2):173-192.
The Road to Two Theorems of Logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
On Dedekind Complete o-Minimal Structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.
Strongly Amorphous Sets and Dual Dedekind Infinity.Martin Goldstern - 1997 - Mathematical Logic Quarterly 43 (1):39-44.
The First-Order Structure of Weakly Dedekind-Finite Sets.A. C. Walczak-Typke - 2005 - Journal of Symbolic Logic 70 (4):1161 - 1170.


Added to PP index

Total views
56 ( #201,070 of 2,498,786 )

Recent downloads (6 months)
14 ( #56,039 of 2,498,786 )

How can I increase my downloads?


My notes