Hostname: page-component-8448b6f56d-c4f8m Total loading time: 0 Render date: 2024-04-16T18:06:40.477Z Has data issue: false hasContentIssue false
  • English
  • Français

Les mathématiques sont-elles une syntaxe du langage?

Published online by Cambridge University Press:  13 April 2010

Kurt Gödel
Get access Rights & Permissions [Opens in a new window]

Extract

Nous publions sous ce titre la traduction française de l'essai philosophique de Kurt Gödel intitulé: «Is Mathematics Syntax of Language?» Inédit jusqu'à présent, l'original paraîtra dans le 3e volume des Collected Works de Gödel, dont la publication est imminente. Nous savons par Hao Wang que, le 15 mai 1953, Paul Arthur Schilpp avait invité Gödel à apporter sa contribution au volume consacré à Carnap dans The Library of Living Philosophers. Le manuscrit de Gödel «Carnap and the Ontology of Mathematics», devait être remis au plus tard le 2 avril 1954. Dés le 2 juillet 1953, Gödel donnait son accord à Schilpp pour la rédaction d'un article intitulé «Some Observations on the Nominalistic View of the Nature of Mathematics.» Cependant, le volume consacré à Carnap paraîtra en 1963 sans qu'y figure la contribution de Gödel. En effet — toujours selon Wang — Gödel avait informé Schilpp, le 2 février 1959, qu'il renonçait à l'envoi de l'article, dont il avait composé, surtout en 1954–1955, plusieur s versions sous le titre «Is Mathematics Syntax of Language?» Pour expliquer cet abandon, Wang avance les raisons suivantes: En premier lieu, Gödel était bien convaincu d'avoir réfuté la thése syntaxique, mais il n'était pas satisfait de son argumentation en faveur du platonisme. Deuxiémement, les critiques de Gödel s'adressent aux théses soutenues par Carnap en 1934 plutôt qu'à celles que ce dernier défendra vingt ans aprés, et qui paraissent moins hostiles au platonisme de son interlocuteur. II pouvait paraître douteux, en troisieme lieu, que Carnap ait eu le temps de rédiger, en 1959, la réponse qu'il aurait du faire, conformément aux régies de la collection, à Gödel. Or, en 1943 déjà, Gödel avait voulu retirer sa contribution au volume consacré à Russell dans la même serie, parce que ce dernier n'avait pu répondre à l'article de Gödel dont la rédaction lui avait été communiquée trop tardivement.

Type
Articles
Information
Dialogue: Canadian Philosophical Review / Revue canadienne de philosophie , Volume 34 , Issue 1 , Winter 1995 , pp. 3 - 34
Copyright
Copyright © Canadian Philosophical Association 1995

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Références bibliographiques

Bernays, Paul 1935/1936 «Sur le platonisme dans les mathématiques». L'Enseignement mathématique, vol. 34, p. 52–69.Google Scholar
Bernays, Paul 1941 «Sur les questions méthodologiques actuelles de la theorie hilbertienne de la démonstration». Dans Gonseth, F., dir., Entretiens de Zurich 1938, Zurich, Leemann & Co, p. 144–152.Google Scholar
Bernays, Paul 1954 «Zur Beurteilung der Situation in der beweistheoretischen Forschung». Revue internationale de philosophie, n° 27/28, p. 1–5.Google Scholar
Carnap, Rudolf 1934 «Die Aufgabe der Wissenschaftslogik». Einheitswissenschaft, fasç. 3, Vienne, Gerold, 30 p.; trad, franç, dans E. Vouillemin, 1935, p. 3–27.Google Scholar
Carnap, Rudolf 1935 «Formalwissenschaft und Realwissenschaft». Erkenntnis, vol. 5, p. 30–37; trad, franc, dans E. Vouillemin, 1935 (sans Literatur-Hinweise), p. 29–37.CrossRefGoogle Scholar
Carnap, Rudolf 1937 The Logical Syntax of Language (L. S. L). Londres, Routledge & Kegan Paul.Google Scholar
Carnap, Rudolf 1950 «Empiricism, Semantics, and Ontology». Revue internationale de philosophie, n° 11, p. 20–40.Google Scholar
Gentzen, Gerhard 1937 «Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik». Dans Travaux du IXe Congrés International de Philosophie. Congrés Descartes VI(Actualites Scientifiques et Industrielles, n° 535). Paris, Hermann, p. 201–205.Google Scholar
Gentzen, Gerhard 1938 «Die gegenwärtige Lage in der mathematischen Grundlagenforschung / Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie». Forschungen zur Logik undzur Grundlegung der exakten Wissenschaften, fasc. 4, Leipzig, Hirzel, 44 p.Google Scholar
Hahn, Hans 1930 «Die Bedeutung der wissenschaftlichen Weltauffassung insbesondere für Mathematik und Physik». Erkenntnis, vol. 1, p. 96–105.CrossRefGoogle Scholar
Hahn, Hans 1933a «Die Krise der Anschauung». Dans Krise und Neuaufbau in den exakten Wissenschaften. Fünf Wiener Vorträge. Leipzig, Vienne, F. Deutike, 123 p.Google Scholar
Hahn, Hans 1933b «Logik, Mathematik und Naturerkennen». Einheitswissenschaft, fasc. 2, Vienne, Gerold, 34 p.; trad, franc. E. Vouillemin, Logique, mathematique et connaissance de la réalité. Introduction par M. Boll (Actualités Scientifiques et Industrielles, no 226). Paris, Hermann, 1935, 51 p.Google Scholar
Hahn, Hans, Carnap, Rudolf, Godel, Kurt et al. 1931 «Diskussion zur Grundlegung der Mathematik», Erkenntnis, vol. 2, p. 135–151.Google Scholar
Hilbert, David 1925 «Über das Unendliche». Mathematische Annalen, vol. 95, p. 161–190.CrossRefGoogle Scholar
Hilbert, David et Bernays, Paul 1934/1939 Grundlagen der Mathematik. Vol. I, II. Berlin, Springer. Menger, KarlGoogle Scholar
Hilbert, David et Bernays, Paul 1930/1931 «Der Intuitionismus».Blätter für deutsche Philosophie, vol. 4, p. 311–325.Google Scholar
Ramsey, Frank Plumpton 1926 «The Foundations of Mathematics». Proceedings of the London Mathematical Society. Serie 2, vol. 25, p. 338–384 (lu le 12 novembre 1925).CrossRefGoogle Scholar
Schlick, Moritz 1918 Allgemeine Erkenntnislehre. Berlin, Springer.Google Scholar
Schlick, Moritz 1938 Gesammelte Aufsätze 1926–1936. Vienne, Gerold & Co. (réédition: Hildesheim, Olms, 1969).Google Scholar
Vouillemin, Ernest 1935 Le probléme de la logique de la science. Scienceformelle et science du réel (Actualités Scientifiques et Industrielles, n° 291). Paris, Hermann.Google Scholar
Wittgenstein, Ludwig 1922 Tractatus logico-philosophicus. Londres, Routledge & Kegan Paul.Google Scholar