Order:
  1.  15
    Kurt Gödel on Logical, Theological, and Physical Antinomies.Tim Lethen - 2021 - Bulletin of Symbolic Logic 27 (3):267-297.
    This paper presents hitherto unpublished writings of Kurt Gödel concerning logical, epistemological, theological, and physical antinomies, which he generally considered as “the most interesting facts in modern logic,” and which he used as a basis for his famous metamathematical results. After investigating different perspectives on the notion of the logical structure of the antinomies and presenting two “antinomies of the intensional,” a new kind of paradox closely related to Gödel’s ontological proof for the existence of God is introduced and completed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  25
    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 citations  
  3.  27
    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   1 citation  
  4.  16
    Gödel on Many-Valued Logic.Tim Lethen - 2021 - 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  
  5. Gespräche, Vorträge, Séancen: Kurt Gödels Wiener Protokolle 1937/38: Transkriptionen Und Kommentare.Tim Lethen - 2021 - Springer Verlag.
    This book provides detailed transcriptions of two notebooks written by Kurt Gödel in Vienna in 1937/38 in the nearly forgotten Gabelsberger shorthand system. The first of these notebooks, simply entitled as the Protokoll-book, contains notes on conversations Gödel had with people like Rudolf Carnap, Rose Rand, Friedrich Waismann, Else Frenkel-Brunswik, and many others who were—at least to some degree—connected to the Vienna Circle. It also covers detailed descriptions of the regular meetings organized by Edgar Zilsel. The second notebook includes notes (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Computational Theology.Tim Lethen - 2022 - TheoLogica: An International Journal for Philosophy of Religion and Philosophical Theology 6 (2):136-161.
    This paper analyses an amazingly close analogy between models of generalised trinitarin logics on the one hand side and class hierarchies in the field of object-oriented programming on the other, thus linking philosophy of religion and computer science. In order to bring out this analogy as clear and precise as possible, we utilise a metaobject protocol for the actual implementation of the theological models. These formal implementations lead to the insight that the analogy can be pushed even further, and we (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark