Switch to: Citations

References in:

Skolem Redux

Notre Dame Journal of Formal Logic 41 (4):399--414 (2000)

Add references

You must login to add references.
  1. To Be is to be a Value of a Variable.George Boolos - 1984 - Journal of Symbolic Logic 54 (2):616-617.
    Download  
     
    Export citation  
     
    Bookmark   87 citations  
  • Saving Frege from contradiction.George Boolos - 1987 - Proceedings of the Aristotelian Society 87:137--151.
    George Boolos; IX*—Saving Frege from Contradiction, Proceedings of the Aristotelian Society, Volume 87, Issue 1, 1 June 1987, Pages 137–152, https://doi.org/10.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • On second-order logic.George S. Boolos - 1975 - Journal of Philosophy 72 (16):509-527.
    Download  
     
    Export citation  
     
    Bookmark   93 citations  
  • Nominalist platonism.George Boolos - 1985 - Philosophical Review 94 (3):327-344.
    Download  
     
    Export citation  
     
    Bookmark   213 citations  
  • IX*—Saving Frege from Contradiction.George Boolos - 1987 - Proceedings of the Aristotelian Society 87 (1):137-152.
    George Boolos; IX*—Saving Frege from Contradiction, Proceedings of the Aristotelian Society, Volume 87, Issue 1, 1 June 1987, Pages 137–152, https://doi.org/10.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • What numbers could not be.Paul Benacerraf - 1965 - Philosophical Review 74 (1):47-73.
    Download  
     
    Export citation  
     
    Bookmark   581 citations  
  • Second-order logic still wild.Michael D. Resnik - 1988 - Journal of Philosophy 85 (2):75-87.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • Ontological relativity and other essays.Willard Van Orman Quine (ed.) - 1969 - New York: Columbia University Press.
    This volume consists of the first of the John Dewey Lectures delivered under the auspices of Columbia University's Philosophy Department as well as other essays by the author. Intended to clarify the meaning of the philosophical doctrines propounded by Professor Quine in 'Word and Objects', the essays included herein both support and expand those doctrines.
    Download  
     
    Export citation  
     
    Bookmark   1315 citations  
  • The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
    Download  
     
    Export citation  
     
    Bookmark   200 citations  
  • The Potential Infinite.W. D. Hart - 1976 - Proceedings of the Aristotelian Society 76:247--264.
    W. D. Hart; XIV*—The Potential Infinite, Proceedings of the Aristotelian Society, Volume 76, Issue 1, 1 June 1976, Pages 247–264, https://doi.org/10.1093/aristo.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • XIV*—The Potential Infinite.W. D. Hart - 1976 - Proceedings of the Aristotelian Society 76 (1):247-264.
    W. D. Hart; XIV*—The Potential Infinite, Proceedings of the Aristotelian Society, Volume 76, Issue 1, 1 June 1976, Pages 247–264, https://doi.org/10.1093/aristo.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Skolem's promises and paradoxes.W. D. Hart - 1970 - Journal of Philosophy 67 (4):98-109.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Russell and Ramsey.W. D. Hart - 2017 - Pacific Philosophical Quarterly 64 (3):193-210.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On an argument for formalism.W. D. Hart - 1974 - Journal of Philosophy 71 (2):29-46.
    Download  
     
    Export citation  
     
    Bookmark   1 citation