Skip to Main content Skip to Navigation
Book sections

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

Abstract : 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 .
Document type :
Book sections
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download
Contributor : Martine Fize <>
Submitted on : Tuesday, February 21, 2017 - 3:42:35 PM
Last modification on : Thursday, March 21, 2019 - 4:25:24 PM
Long-term archiving on: : Monday, May 22, 2017 - 3:40:13 PM


Crocco Leibniz.pdf
Files produced by the author(s)


  • HAL Id : halshs-00332089, version 1



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⟩



Record views


Files downloads