7 found
Order:
  1.  13
    Gödel on Deduction.Kosta Došen & Miloš Adžić - forthcoming - Studia Logica:1-21.
    This is an examination, a commentary, of links between some philosophical views ascribed to Gödel and general proof theory. In these views deduction is of central concern not only in predicate logic, but in set theory too, understood from an infinitistic ideal perspective. It is inquired whether this centrality of deduction could also be kept in the intensional logic of concepts whose building Gödel seems to have taken as the main task of logic for the future.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  10
    Gödel’s Natural Deduction.Kosta Došen & Miloš Adžić - 2018 - Studia Logica 106 (2):397-415.
    This is a companion to a paper by the authors entitled “Gödel on deduction”, which examined the links between some philosophical views ascribed to Gödel and general proof theory. When writing that other paper, the authors were not acquainted with a system of natural deduction that Gödel presented with the help of Gentzen’s sequents, which amounts to Jaśkowski’s natural deduction system of 1934, and which may be found in Gödel’s unpublished notes for the elementary logic course he gave in 1939 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  15
    Gödel’s Notre Dame Course.Miloš Adžić & Kosta Došen - 2016 - Bulletin of Symbolic Logic 22 (4):469-481.
    This is a companion to a paper by the authors entitled “Gödel’s natural deduction,” which presented and made comments about the natural deduction system in Gödel’s unpublished notes for the elementary logic course he gave at the University of Notre Dame in 1939. In that earlier paper, which was itself a companion to a paper that examined the links between some philosophical views ascribed to Gödel and general proof theory, one can find a brief summary of Gödel’s notes for the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Filozofska Teorija Skupova-Michael Potter: Set Theory and its Philosophy: A Critical Introduction, Oxford University Press, Oxford, 2004.Miloš Adžić - 2010 - Theoria: Beograd 53 (2):127-132.
    No categories
     
    Export citation  
     
    Bookmark  
  5.  38
    Ontological and Epistemological Dimensions of Gödel's Platonism.Miloš Adžić - 2010 - Theoria: Beograd 53 (2):41-52.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  35
    Gunkology and Pointilism: Two Mutually Supervening Models of the Region–Based and the Point-Based Theory of the Infinite Twodimensional Continuum.Miloš Adžić & Miloš Arsenijević - 2014 - In Giovanni Macchia, Francesco Orilia & Vincenzo Fano (eds.), Space and Time: A Priori and a Posteriori Studies. De Gruyter. pp. 137-170.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Individual Members 2010.Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, J. David Abernethy, Kuanysh Abeshev, Nate Ackerman, Winfred P. Adams & Miloš Adzic - 2010 - Bulletin of Symbolic Logic 16 (4).