Dedekind and Hilbert on the foundations of the deductive sciences

Review of Symbolic Logic 4 (4):645-681 (2011)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
Homogeneous and universal dedekind algebras.George Weaver - 2000 - Studia Logica 64 (2):173-192.
Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.
PROOF THEORY. Gödel and the metamathematical tradition.Jeremy Avigad - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Association for Symbolic Logic.
On dedekind complete o-minimal structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.

Analytics

Added to PP
2012-01-04

Downloads
84 (#200,740)

6 months
19 (#135,571)

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.
Frege, Dedekind, and the Origins of Logicism.Erich H. Reck - 2013 - History and Philosophy of Logic 34 (3):242-265.
Dedekind and Cassirer on Mathematical Concept Formation†.Audrey Yap - 2014 - Philosophia Mathematica 25 (3):369-389.

View all 15 citations / Add more citations

References found in this work

Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
An essay concerning human understanding.John Locke - 1689 - New York: Oxford University Press. Edited by Pauline Phemister.
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.

View all 58 references / Add more references