|previous article in this issue|
Document Details :
Title: Hilbert on Consistency as a Guide to Mathematical Reality
Author(s): DOHERTY, Fiona T.
Journal: Logique et Analyse
Volume: 237 Date: 2017
In his early work Hilbert puts forward the principle that in mathematics consistency is enough for existence. Moriconi (2003) claims that the standard understanding of Hilbert’s contention is that he is assuming the completeness of his system. I look at the evidence for this interpretation and conclude that at the time he made this claim Hilbert had not yet developed a sophisticated conception of meta-mathematical concepts like consistency and completeness to allow him to formulate the completeness theorem. I then consider how we should understand Hilbert’s contention in light of this and suggest that, for Hilbert, consistency is conceptually prior to existence. On the basis of this I present a new reading of Hilbert’s Principle which recovers Hilbert’s true contention, and along with it the philosophical significance of Hilbert’s early work which – in particular – provides a new approach to questions of ontology in mathematics.