Switch to: References

Add citations

You must login to add citations.
  1. Carnap’s Defense of Impredicative Definitions.Vera Flocke - 2019 - Review of Symbolic Logic 12 (2):372-404.
    A definition of a property P is impredicative if it quantifies over a domain to which P belongs. Due to influential arguments by Ramsey and Gödel, impredicative mathematics is often thought to possess special metaphysical commitments. It seems that an impredicative definition of a property P does not have the intended meaning unless P already exists, suggesting that the existence of P cannot depend on its explicit definition. Carnap (1937 [1934], p. 164) argues, however, that accepting impredicative definitions amounts to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Three Letters on the Foundations of Mathematics by Frank Plumpton Ramsey†.Paolo Mancosu - forthcoming - Philosophia Mathematica.
    Summary This article presents three hitherto unpublished letters by Frank Plumpton Ramsey on the foundations of mathematics with commentary. One of the letters was sent to Abraham Fraenkel and the other two letters to Heinrich Behmann. The transcription of the letters is preceded by an account that details the extent of Ramsey's known contacts with mathematical logicians on the Continent.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation