Preuves, fondements et certificats

Jacques Dubucs

Philosophia Scientiae (2003)

  • Volume: 7, Issue: 1, page 167-198
  • ISSN: 1281-2463

Abstract

top
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.

How to cite

top

Dubucs, Jacques. "Preuves, fondements et certificats." Philosophia Scientiae 7.1 (2003): 167-198. <http://eudml.org/doc/103685>.

@article{Dubucs2003,
abstract = {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.},
author = {Dubucs, Jacques},
journal = {Philosophia Scientiae},
language = {fre},
number = {1},
pages = {167-198},
publisher = {Éditions Kimé},
title = {Preuves, fondements et certificats},
url = {http://eudml.org/doc/103685},
volume = {7},
year = {2003},
}

TY - JOUR
AU - Dubucs, Jacques
TI - Preuves, fondements et certificats
JO - Philosophia Scientiae
PY - 2003
PB - Éditions Kimé
VL - 7
IS - 1
SP - 167
EP - 198
AB - 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.
LA - fre
UR - http://eudml.org/doc/103685
ER -

References

top
  1. [1] Ayer, Alfred J.1936.— Logic, Truth, and Language, Harmondsworth, Penguin Books, 1978. 
  2. [2] Bolzano, Bernard1810.— Beiträge zur einer begründeteren Darstellung der Mathematik. Prague, Caspar Widtmann (cité d’après la trad. anglaise de St. Russ dans Ewald (ed.), From Kant to Hilbert. A Source Book in the Foundations of Mathematics. Oxford, Clarendon Press, 1996, 174-224). 
  3. [3] Bolzano, Bernard1817.— Rein analytischer Beweis des Lehrsatzes, dass zwieschen je zwei Werten, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege. Prague, Gottlieb Hasse (cité d’après la trad. anglaise de St. Russ dans William B. Ewald (ed.), From Kant to Hilbert. A Source Book in the Foundations of Mathematics. Oxford, Clarendon Press, 1996, 225-248) 
  4. [4] Bolzano, Bernard1837.— Wissenschaftslehre. Seidel, Sulzbach, 1837 (cité d’après l’anthologie Grundlegung der Logik (Fr. Kambartel ed.). Hamburg, Felix Meiner Verlag, 1978. MR515579
  5. [5] Boolos, George1984.— Don’t Eliminate Cut , in Logic, Logic and Logic, Cambridge, Harvard University Press, 1998, 365-369/ Zbl0972.03543MR765992
  6. [6] Detlefsen, Michael1998.— Constructive Existence Claims, in Matthias Schirn (ed.), The Philosophy of Mathematics Today. Oxford, Clarendon Press, 1998, 307-335. Zbl0922.03006MR1701945
  7. [7] Dubucs, Jacques1988.— Die sogenannte Analytizität der Mathematik , Grazer Philosophische Studien, 32, 83-112. 
  8. [8] Dubucs, Jacques2002.— Feasibility in Logic, Synthese, 132(3), 213-237 “Preuves par excellence”, Philosophiques, à paraître Zbl1024.03505MR1928903
  9. [9] Dummett, Michael1991.— Frege. Philosophy of Mathematics. Londres, Duckworth. MR1154309
  10. [10] Frege, Gottlob1879.— Begriffsschrift, eine der Arithmetischen Nachgebildete Formelsprache des reinen Denkens. Hildesheim, Georg Olms. 1964. MR164864
  11. [11] Frege, Gottlob1884.— Die Grundlagen der Mathematik. Hamburg, Felix Meiner Verlag, 1988. 
  12. [12] Frege, Gottlob1893.— Grundgesetze der Arithmetik, vol. 1. Hildesheim, Georg Olms, 1966. 
  13. [13] Frege, Gottlob1897.— Logik, in Nachgelassene Schriften (Hans Hermes, Fredrich Kambartel & Friedrich Kaulbach eds.). Hambourg, Felix Meiner Verlag, 1969, 137-163. MR266737
  14. [14] Frege, Gottlob1918-1919.— Der Gedanke, in Kleine Schriften (Ignacio Angelelli ed.). Hildesheim, Georg Olms, 1990. MR1124176
  15. [15] Geach, Peter T.1961.— Frege, in G.E.M. Anscombe & P.T. Geach, Three Philosophers, Oxford, Blackwell. 
  16. [16] Gentzen, Gerhard1934.— Untersuchungen über das logische Schliessen, I , Mathematische Zeitschrift, 39. Zbl0010.14501
  17. [17] Gödel, Kurt1953.— Is Mathematics Syntax of Language, in Collected Works, vol. III (Solomon Feferman ed.). New-York, Oxford University Press, 1995, 334-356 
  18. [18] Kant, Immanuel1781.— Kritik der reinen Vernunft. Hamburg, Felix Meiner Verlag, 1990 
  19. [19] Leibniz, Gottfried Wilhelm1765.— Nouveaux essais sur l’entendement humain. Paris : Garnier-Flammarion, 1966 
  20. [20] Sébestik, Jan1992.— Logique et mathématique chez Bolzano, Paris, Vrin. MR1217489
  21. [21] Wright, Crispin1992.— Truth and Objectivity. Cambridge, Harvard University Press. 2 ∘ édit., 1994 

NotesEmbed ?

top

You must be logged in to post comments.