previous article in this issue |
Preview first page |
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 Pages: 107-128 DOI: 10.2143/LEA.237.0.3197361 Abstract : 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. |
|