Order:
  1.  19
    The Development of Gödel’s Ontological Proof.Annika Kanckos & Tim Lethen - forthcoming - Review of Symbolic Logic:1-19.
    Gödel’s ontological proof is by now well known based on the 1970 version, written in Gödel’s own hand, and Scott’s version of the proof. In this article new manuscript sources found in Gödel’s Nachlass are presented. Three versions of Gödel’s ontological proof have been transcribed, and completed from context as true to Gödel’s notes as possible. The discussion in this article is based on these new sources and reveals Gödel’s early intentions of a liberal comprehension principle for the higher order (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  12
    Gödel on Many-Valued Logic.Tim Lethen - forthcoming - Review of Symbolic Logic:1-17.
    This paper collects and presents unpublished notes of Kurt Gödel concerning the field of many-valued logic. In order to get a picture as complete as possible, both formal and philosophical notes, transcribed from the Gabelsberger shorthand system, are included.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  24
    Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach.Tim Lethen - 2020 - History and Philosophy of Logic 41 (3):252-264.
    In 1935/1936 Kurt Gödel wrote three notebooks on the foundations of quantum mechanics, which have now been entirely transcribed for the first time. Whereas a lot of the material is rather technical in character, many of Gödel's remarks have a philosophical background and concentrate on Leibnizian monadology as well as on vitalism. Obviously influenced by the vitalistic writings of Hans Driesch and his ‘proofs’ for the existence of an entelechy in every living organism, Gödel briefly develops the idea of a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark