Authors
Rodrigo Lopez-Orellana
Universidad de Salamanca
Abstract
This paper explores the main philosophical approaches of David Hilbert’s theory of proof. Specifically, it is focuses on his ideas regarding logic, the concept of proof, the axiomatic, the concept of truth, metamathematics, the a priori knowledge and the general nature of scientific knowledge. The aim is to show and characterize his epistemological approach on the foundation of knowledge, where logic appears as a guarantee of that foundation. Hilbert supposes that the propositional apriorism, proposed by him to support mathematics, sustains — on its turn — a general method for the treatment of the problem in other areas such as natural sciences. This method is axiomatic. Broadly speaking, we intend to recover and update the Hilbert’s philosophical thinking about the role of logic for scientific knowledge.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.5007/1808-1711.2019v23n2p279
Options
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: 62,388
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Intuitionism.A. Heyting - 1956 - Amsterdam: North-Holland Pub. Co..

View all 37 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Deducción y conocimiento en los orígenes de la teoría de la demostración.Javier Legris - 2001 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 16 (3):521-538.
Hilbert, Completeness and Geometry.Giorgio Venturi - 2011 - Rivista Italiana di Filosofia Analitica Junior 2 (2):80-102.
Hilbert’s Program.Richard Zach - 2003 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University.
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
The Pragmatism of Hilbert's Programme.Volker Peckhaus - 2003 - Synthese 137 (1-2):141 - 156.
The Pursuit of Rigor: David Hilbert's Early Philosophy of Mathematics.Yoshinori Ogawa - 2002 - Dissertation, The University of British Columbia (Canada)
The Epsilon Calculus.Jeremy Avigad & Richard Zach - 2008 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University.

Analytics

Added to PP index
2019-12-17

Total views
5 ( #1,168,001 of 2,445,517 )

Recent downloads (6 months)
1 ( #457,182 of 2,445,517 )

How can I increase my downloads?

Downloads

My notes