Geodesic
On the epistemological justification of Hilbert's metamathematics
Philosophia Scientiae, Aperçus philosophiques en logique et en mathématiques, Tome 9 (2005) no. 2, pp. 225-238

Voir la notice de l'article provenant de la source Numdam

The aim of this paper is to examine the idea of metamathematical deduction in Hilbert's program showing its dependence of epistemological notions, specially the notion of intuitive knowledge. It will be argued that two levels of foundations of deduction can be found in the last stages (in the 1920s) of Hilbert's Program. The first level is related to the reduction - in a particular sense - of mathematics to formal systems, which are ‘metamathematically' justified in terms of symbolic manipulation. The second level of foundation consists in warranting epistemologically the validity of the combinatory processes underlying the symbolic manipulation in metamathematics. In this level the justification was carried out with the aid of notions from modern epistemology, particularly the notion of intuition. Finally, some problems concerning Hilbert's use of this notion will be shown and it will be compared with Brouwer's notion and with the idea of symbolic construction due to Herrmann Weyl.

@article{PHSC_2005__9_2_225_0,
     author = {Legris, Javier},
     title = {On the epistemological justification of {Hilbert's} metamathematics},
     journal = {Philosophia Scientiae},
     pages = {225--238},
     publisher = {\'Editions Kim\'e},
     volume = {9},
     number = {2},
     year = {2005},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PHSC_2005__9_2_225_0/}
}
TY  - JOUR
AU  - Legris, Javier
TI  - On the epistemological justification of Hilbert's metamathematics
JO  - Philosophia Scientiae
PY  - 2005
SP  - 225
EP  - 238
VL  - 9
IS  - 2
PB  - Éditions Kimé
UR  - http://geodesic.mathdoc.fr/item/PHSC_2005__9_2_225_0/
LA  - en
ID  - PHSC_2005__9_2_225_0
ER  - 
%0 Journal Article
%A Legris, Javier
%T On the epistemological justification of Hilbert's metamathematics
%J Philosophia Scientiae
%D 2005
%P 225-238
%V 9
%N 2
%I Éditions Kimé
%U http://geodesic.mathdoc.fr/item/PHSC_2005__9_2_225_0/
%G en
%F PHSC_2005__9_2_225_0
Legris, Javier. On the epistemological justification of Hilbert's metamathematics. Philosophia Scientiae, Aperçus philosophiques en logique et en mathématiques, Tome 9 (2005) no. 2, pp. 225-238. http://geodesic.mathdoc.fr/item/PHSC_2005__9_2_225_0/