Preuves, fondements et certificats
Philosophia Scientiae (2003)
- Volume: 7, Issue: 1, page 167-198
- ISSN: 1281-2463
Access Full Article
topAbstract
topHow to cite
topDubucs, 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] Ayer, Alfred J.1936.— Logic, Truth, and Language, Harmondsworth, Penguin Books, 1978.
- [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] 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] 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] Boolos, George1984.— Don’t Eliminate Cut , in Logic, Logic and Logic, Cambridge, Harvard University Press, 1998, 365-369/ Zbl0972.03543MR765992
- [6] Detlefsen, Michael1998.— Constructive Existence Claims, in Matthias Schirn (ed.), The Philosophy of Mathematics Today. Oxford, Clarendon Press, 1998, 307-335. Zbl0922.03006MR1701945
- [7] Dubucs, Jacques1988.— Die sogenannte Analytizität der Mathematik , Grazer Philosophische Studien, 32, 83-112.
- [8] Dubucs, Jacques2002.— Feasibility in Logic, Synthese, 132(3), 213-237 “Preuves par excellence”, Philosophiques, à paraître Zbl1024.03505MR1928903
- [9] Dummett, Michael1991.— Frege. Philosophy of Mathematics. Londres, Duckworth. MR1154309
- [10] Frege, Gottlob1879.— Begriffsschrift, eine der Arithmetischen Nachgebildete Formelsprache des reinen Denkens. Hildesheim, Georg Olms. 1964. MR164864
- [11] Frege, Gottlob1884.— Die Grundlagen der Mathematik. Hamburg, Felix Meiner Verlag, 1988.
- [12] Frege, Gottlob1893.— Grundgesetze der Arithmetik, vol. 1. Hildesheim, Georg Olms, 1966.
- [13] Frege, Gottlob1897.— Logik, in Nachgelassene Schriften (Hans Hermes, Fredrich Kambartel & Friedrich Kaulbach eds.). Hambourg, Felix Meiner Verlag, 1969, 137-163. MR266737
- [14] Frege, Gottlob1918-1919.— Der Gedanke, in Kleine Schriften (Ignacio Angelelli ed.). Hildesheim, Georg Olms, 1990. MR1124176
- [15] Geach, Peter T.1961.— Frege, in G.E.M. Anscombe & P.T. Geach, Three Philosophers, Oxford, Blackwell.
- [16] Gentzen, Gerhard1934.— Untersuchungen über das logische Schliessen, I , Mathematische Zeitschrift, 39. Zbl0010.14501
- [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] Kant, Immanuel1781.— Kritik der reinen Vernunft. Hamburg, Felix Meiner Verlag, 1990
- [19] Leibniz, Gottfried Wilhelm1765.— Nouveaux essais sur l’entendement humain. Paris : Garnier-Flammarion, 1966
- [20] Sébestik, Jan1992.— Logique et mathématique chez Bolzano, Paris, Vrin. MR1217489
- [21] Wright, Crispin1992.— Truth and Objectivity. Cambridge, Harvard University Press. 2 édit., 1994
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.