Fiche du document
2 janvier 2013
- handle: 10670/1.kqy3gf
- isbn: 978-3-0346-0503-8
- halshs: halshs-00332089
info:eu-repo/semantics/OpenAccess
Mots-clés
philosophie Gödel LeibnizSujets proches
Work, Method of Industry (Psychology) Method of workCiter ce document
Gabriella Crocco, « Gödel, Leibniz and "Russell's mathematical logic" », HAL-SHS : philosophie, ID : 10670/1.kqy3gf
Métriques
Partage / Export
Résumé
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 .