Gödel, Leibniz and "Russell's mathematical logic"

Gabriella Crocco (1)

1 CEPERC - Centre d'EPistémologie et d'ERgologie Comparatives

This paper presents an overview of what is known about Kurt Gödel's reading Leibniz. The only published work in which Gödel explicitly mentions Leibniz's work is "Russell's mathematical logic" edited in 1944 by Schilpp for the Library of Living Philosophers. The author presents the available evidence (including the published and unpublished material of the Gödel archives and the transcriptions of Gödel's conversations with Hao Wang in 1970) which prove the deep influence of Leibniz on Gödel philosophical reflections and in his scientific work. The author shows how , on the basis of the unpublished material, the intricate structure of Gödel's paper on Russell reveals a every clear and Leibnizian conception of the nature of logic and of the problems to be solved in order to achieve, in modern terms, Leibniz's program of the Characteristica .

Mots clés: philosophie; Gödel; Leibniz

Domaines: Philosophie

Gabriella Crocco. Gödel, Leibniz and "Russell's mathematical logic". Ralf Kromer, Yannick Chin-Drian, editors. New essays in Leibniz reception: in science and Philosophy of science 1800-2000., Birkhäuser- Springer Science, pp.217-256, 2013, 978-3-0346-0503-8. ⟨halshs-00332089⟩