Kurt Gödel pp 17-42 | Cite as

Realism, metamathematics, and the unpublished essays

  • Francisco A. Rodríguez-Consuegra


This initial chapter is divided into two sections. The first is devoted to a brief exposition of the intuitive essence and the philosophical motivation of Gödel’s main metamathematical results, namely his completeness theorem for elementary logic (1930) and his incompleteness theorems for arithmetic (1931). Thereafter some discussion of the different ways to confront the relationship between those results and Gödel’s philosophical realism in logic and mathematics is offered. Thus, mathematical realism will be successively regarded as (i) a philosophical consequence of those results; (ii) a heuristic principle which leads to them; (iii) a philosophical hypothesis which is “verified” by them. In the second section Gödel’s philosophy of mathematics, such as it can be derived from his published writings, is briefly expounded upon. Then the final version of his essay on Carnap is summed up, in order to see how his unpublished philosophical ideas might throw some light on Gödel’s published doctrines. Finally, other relevant ideas and authors are briefly surveyed.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Basel AG 1995

Authors and Affiliations

  • Francisco A. Rodríguez-Consuegra
    • 1
  1. 1.Departamento de Lógica y Filosofía de la CienciaUniversidad de ValenciaValenciaSpain

Personalised recommendations