Switch to: Citations

Add references

You must login to add references.
  1. On Formally Undecidable Propositions of Principia Mathematica and Related Systems.Kurt Gödel - 1931 - New York, NY, USA: Basic Books.
    First English translation of revolutionary paper that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • On Putnam and His Models.Timothy Bays - 2001 - Journal of Philosophy 98 (7):331.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • On Putnam and his models.Timothy Bays - 2001 - Journal of Philosophy 98 (7):331-350.
    It is not my claim that the ‘L¨ owenheim-Skolem paradox’ is an antinomy in formal logic; but I shall argue that it is an antinomy, or something close to it, in philosophy of language. Moreover, I shall argue that the resolution of the antinomy—the only resolution that I myself can see as making sense—has profound implications for the great metaphysical dispute about realism which has always been the central dispute in the philosophy of language.
    Download  
     
    Export citation  
     
    Bookmark   17 citations