Philosophia Mathematica:nkv027 (2015)

Ansten Klev
Czech Academy of Sciences
A detailed argument is provided for the thesis that Dedekind was a logicist about arithmetic. The rules of inference employed in Dedekind's construction of arithmetic are, by his lights, all purely logical in character, and the definitions are all explicit; even the definition of the natural numbers as the abstract type of simply infinite systems can be seen to be explicit. The primitive concepts of the construction are logical in their being intrinsically tied to the functioning of the understanding.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/philmat/nkv027
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: 70,130
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

Language, Truth and Logic.Alfred Jules Ayer - 1936 - London: V. Gollancz.
The Principles of Mathematics.Bertrand Russell - 1903 - Cambridge, England: Allen & Unwin.

View all 29 references / Add more references

Citations of this work BETA

Dedekind’s Map-Theoretic Period.José Ferreirós - 2017 - Philosophia Mathematica 25 (3):318–340.
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.

Add more citations

Similar books and articles

A Logical Foundation of Arithmetic.Joongol Kim - 2015 - Studia Logica 103 (1):113-144.
Frege, Dedekind, and the Origins of Logicism.Erich H. Reck - 2013 - History and Philosophy of Logic 34 (3):242-265.
A Note on Weakly Dedekind Finite Sets.Pimpen Vejjajiva & Supakun Panasawatwong - 2014 - Notre Dame Journal of Formal Logic 55 (3):413-417.
Homogeneous and Universal Dedekind Algebras.George Weaver - 2000 - Studia Logica 64 (2):173-192.
Logicism as Making Arithmetic Explicit.Vojtěch Kolman - 2015 - Erkenntnis 80 (3):487-503.
Strongly Amorphous Sets and Dual Dedekind Infinity.Martin Goldstern - 1997 - Mathematical Logic Quarterly 43 (1):39-44.
Chateaubriand's Logicism.Abel Casanave - 2004 - Manuscrito 27 (1):13-20.
On Dedekind Complete o-Minimal Structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.


Added to PP index

Total views
37 ( #307,070 of 2,506,503 )

Recent downloads (6 months)
1 ( #416,791 of 2,506,503 )

How can I increase my downloads?


My notes