Synthese 137 (1-2):129 - 139 (2003)

Enrico Moriconi
University of Pisa
The theory that ``consistency implies existence'' was put forward by Hilbert on various occasions around the start of the last century, and it was strongly and explicitly emphasized in his correspondence with Frege. Since (Gödel's) completeness theorem, abstractly speaking, forms the basis of this theory, it has become common practice to assume that Hilbert took for granted the semantic completeness of second order logic. In this paper I maintain that this widely held view is untrue to the facts, and that the clue to explain what Hilbert meant by linking together consistency and existence is to be found in the role played by the completeness axiom within both geometrical and arithmetical axiom systems.
Keywords Philosophy   Philosophy   Epistemology   Logic   Metaphysics   Philosophy of Language
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1026282901818
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,307
Through your library

References found in this work BETA

The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - Cambridge University Press.
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
Husserl and Hilbert on Completeness.Ulrich Majer - 1997 - Synthese 110 (1):37-56.

View all 8 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles


Added to PP index

Total views
83 ( #140,169 of 2,507,805 )

Recent downloads (6 months)
1 ( #416,820 of 2,507,805 )

How can I increase my downloads?


My notes