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

https://halshs.archives-ouvertes.fr/halshs-00332089
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

File

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

Identifiers

  • HAL Id : halshs-00332089, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

355

Files downloads

5982