A Road Map of Dedekind’s Theorem 66

Hopos: The Journal of the International Society for the History of Philosophy of Science 8 (2):241-277 (2018)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

DOI

10.1086/698660

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Generalizations of Cantor's theorem in ZF.Guozhen Shen - 2017 - Mathematical Logic Quarterly 63 (5):428-436.
Dedekind and Hilbert on the foundations of the deductive sciences.Ansten Klev - 2011 - Review of Symbolic Logic 4 (4):645-681.
Dedekind's Logicism.Ansten Mørch Klev - 2015 - Philosophia Mathematica:nkv027.
Dedekind's Treatment of Galois Theory in the Vorlesungen.Edward T. Dean - unknown
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.
The First-Order Theories of Dedekind Algebras.George Weaver - 2003 - Studia Logica 73 (3):337-365.
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.
Richard Dedekind et les fondements des mathématiques: avec de nombreux textes inédits.Pierre Dugac - 1976 - Paris: J. Vrin.
A General Setting for Dedekind's Axiomatization of the Positive Integers.George Weaver - 2011 - History and Philosophy of Logic 32 (4):375-398.
Dedekind's structuralism: An interpretation and partial defense.Erich H. Reck - 2003 - Synthese 137 (3):369 - 419.
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.

Analytics

Added to PP
2018-05-09

Downloads
78 (#205,490)

6 months
11 (#191,387)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ansten Klev
Czech Academy of Sciences

Citations of this work

Dedekind and Wolffian Deductive Method.José Ferreirós & Abel Lassalle-Casanave - 2022 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 53 (4):345-365.
Pasch's empiricism as methodological structuralism.Dirk Schlimm - 2020 - In Erich H. Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. Oxford: Oxford University Press. pp. 80-105.

Add more citations

References found in this work

No references found.

Add more references