Switch to: Citations

Add references

You must login to add references.
  1. Turing projectability.Timothy McCarthy & Stewart Shapiro - 1987 - Notre Dame Journal of Formal Logic 28 (4):520-535.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Trial and error predicates and the solution to a problem of Mostowski.Hilary Putnam - 1965 - Journal of Symbolic Logic 30 (1):49-57.
    Download  
     
    Export citation  
     
    Bookmark   98 citations  
  • The roots of contemporary Platonism.Penelope Maddy - 1989 - Journal of Symbolic Logic 54 (4):1121-1144.
    Though many working mathematicians embrace a rough and ready form of Platonism, that venerable position has suffered a checkered philosophical career. Indeed the three schools of thought with which most of us began our official philosophizing about mathematics—Intuitionism, Formalism, and Logicism—all stand in fundamental disagreement with Platonism. Nevertheless, various versions of Platonistic thinking survive in contemporary philosophical circles. The aim of this paper is to describe these views, and, as my title suggests, to trace their roots.I'll begin with some preliminary (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • A Survey/Expository Paper: The Roots of Contemporary Platonism.Penelope Maddy - 1989 - Journal of Symbolic Logic 54 (4):1121-1144.
    Though many working mathematicians embrace a rough and ready form of Platonism, that venerable position has suffered a checkered philosophical career. Indeed the three schools of thought with which most of us began our official philosophizing about mathematics—Intuitionism, Formalism, and Logicism—all stand in fundamental disagreement with Platonism. Nevertheless, various versions of Platonistic thinking survive in contemporary philosophical circles. The aim of this paper is to describe these views, and, as my title suggests, to trace their roots.I'll begin with some preliminary (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Experimental Logics and Δ₂⁰-Theories.R. G. Jeroslow - 1975 - Journal of Philosophical Logic 4 (3):253 - 267.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • What is Mathematical Truth?Hilary Putnam - 1975 - In Mathematics, Matter and Method. Cambridge University Press. pp. 60--78.
    Download  
     
    Export citation  
     
    Bookmark   289 citations