Voir la notice de l'article provenant de la source Numdam
Le fondationnalisme soutient que les propositions mathématiques sont agencées en une structure objective complexe qu'il nous incombe de découvrir, et dans laquelle chaque proposition dépend, pour sa vérité, des propositions qui la précèdent et qui la fondent. Aux preuves qui n'assurent que la vérité des propositions qu'elles prouvent, il oppose les preuves qui indiquent la raison objective de cette vérité. Le fondationnalisme insiste sur l'universelle disponibilité des ressources cognitives mobilisées par ces dernières preuves. L'article s'emploie à contester ce point et à montrer que le fondationnalisme est une doctrine épistémologiquement intenable.
According to foundationalism, mathematical propositions form a complex objective structure we have to discover, and in which each proposition depends for its truth of the propositions that precede and ground it. Proofs that only establish the truth of their conclusions are contrasted with proofs that give also the objective reason of that truth. Fondationalism claims that the cognitive ressources required by these proofs are universally available. The paper tries to undermine that claim and to show that foundationalist epistemology is a dead end.
@article{PHSC_2003__7_1_167_0,
author = {Dubucs, Jacques},
title = {Preuves, fondements et certificats},
journal = {Philosophia Scientiae},
pages = {167--198},
publisher = {\'Editions Kim\'e},
volume = {7},
number = {1},
year = {2003},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/PHSC_2003__7_1_167_0/}
}
Dubucs, Jacques. Preuves, fondements et certificats. Philosophia Scientiae, Hermann von Helmholtz, Tome 7 (2003) no. 1, pp. 167-198. http://geodesic.mathdoc.fr/item/PHSC_2003__7_1_167_0/