Dedekind and Hilbert on the foundations of the deductive sciences

Review of Symbolic Logic 4 (4):645-681 (2011)
We offer an interpretation of the words and works of Richard Dedekind and the David Hilbert of around 1900 on which they are held to entertain diverging views on the structure of a deductive science. Firstly, it is argued that Dedekind sees the beginnings of a science in concepts, whereas Hilbert sees such beginnings in axioms. Secondly, it is argued that for Dedekind, the primitive terms of a science are substantive terms whose sense is to be conveyed by elucidation, whereas Hilbert dismisses elucidation and consequently treats the primitives as schematic.
Keywords Richard Dedekind  David Hilbert  Axiomatic method  Elucidation
Categories (categorize this paper)
DOI 10.1017/S1755020311000232
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,440
Through your library
References found in this work BETA
An Essay Concerning Human Understanding.John Locke - 1689 - Oxford University Press.
Meaning and Necessity.Rudolf Carnap - 1947 - University of Chicago Press.
Methods of Logic.W. V. Quine - 1950 - Harvard University Press.
Wissenschaftslehre. [REVIEW]Bernard Bolzano - 2001 - Revue de Métaphysique et de Morale 2 (18):134-136.

View all 37 references / Add more references

Citations of this work BETA
Frege, Dedekind, and the Origins of Logicism.Erich H. Reck - 2013 - History and Philosophy of Logic 34 (3):242-265.
Dedekind's Logicism.Ansten Mørch Klev - 2015 - Philosophia Mathematica:nkv027.

Add more citations

Similar books and articles
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
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.
Hilbert's Program Then and Now.Richard Zach - 2007 - In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: North Holland. pp. 411–447.
On Dedekind Complete o-Minimal Structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.
Added to PP index

Total downloads
26 ( #199,339 of 2,180,202 )

Recent downloads (6 months)
2 ( #156,396 of 2,180,202 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums