This is a preview of subscription content, log in via an institution to check access.
References
Benacerraf, P.: 1973, ‘Mathematical Truth’,Journal of Philosophy 70, 661–79.
Bernays, P.: 1935, ‘Platonism in Mathematics’, in P. Benacerraf and H. Putnam (eds.),Philosophy of Mathematics, 2nd edn., (1983), Cambridge University Press, Cambridge, pp. 258–71.
Beth, E. W. and J. Piaget: 1966,Mathematical Epistemology and Psychology, D. Reidel, Dordrecht.
Boolos, G.: 1981, ‘The Iterative Concept of Set’, in P. Benacerraf and H. Putnam (eds.),Philosophy of Mathematics, 2nd edn., (1983), Cambridge University Press, Cambridge, pp. 486–502.
Brouwer, L. E. J.: 1948, ‘Consciousness, Philosophy and Mathematics’, in P. Benacerraf and H. Putnam (eds.),Philosophy of Mathematics, 2nd edn., (1983), Cambridge University Press, Cambridge, pp. 90–96.
Buck, R.: 1956,Advanced Calculus, McGraw-Hill, New York.
Cantor, G.: 1899, ‘Letter to Dedekind’, in J. van Heijenoort (ed.),From Frege to Gödel, Harvard University Press, Cambridge, Massachusetts, (1967), pp. 113–17.
Cantor, G.: 1932,Gesammelte Abhandlungen mathematischen und philosophischen Inhalts, edited by E. Zermelo, Springer-Verlag, Berlin.
Chihara, C.: 1984, ‘A Simple Type Theory Without Platonic Domains’,Journal of Philosophical Logic 13, 249–83.
Church, A.: 1956,Introduction to Mathematical Logic, Princeton University Press, Princeton, New Jersey.
Crossley, J., C. J. Ash, C. J. Brickhill, J. C. Stilwell and N. H. Williams: 1972,What is Mathematical Logic?, Oxford University Press, New York.
Davidson, D.: 1974, ‘On the Very Idea of a Conceptual Scheme’,Proceedings and Addresses of the American Philosophical Association 47, 5–20.
Dedekind, R.: 1888, ‘The Nature and Meaning of Numbers’, in W. W. Berman (ed.),Essays on the Theory of Numbers, Dover Press, New York, (1963), pp. 31–115.
Friedman, M.: 1988, ‘Logical Truth and Analyticity in Carnap'sLogical Syntax of Language’, in W. Aspray and P. Kitcher (eds.),Essays in the History and Philosophy of Mathematics, Minnesota Studies in the Philosophy of Science11, 82–94.
Gödel, K.: 1944, ‘Russell's Mathematical Logic’, in P. Benacerraf and H. Putnam (eds.),Philosophy of Mathematics, 2nd edn., (1983), Cambridge University Press, Cambridge, pp. 447–69.
Goldfarb, W.: 1988, ‘Poincaré Against the Logicists’, in W. Aspray and P. Kitcher (eds.),Essays in the History and Philosophy of Mathematics, Minnesota Studies in the Philosophy of Science1, 61–81.
Hazen, A.: 1983, ‘Predicative Logics’, in D. Gabbay and F. Guenthner (eds.),Handbook of Philosophical Logic 1, D. Reidel, Dordrecht, pp. 331–407.
Heyting, A.: 1956,Intuitionism, An Introduction, North-Holland, Amsterdam.
Hilbert, D.: 1899,Foundations of Geometry, translated by E. Townsend, Open Court, La Salle, Illinois, (1959).
Kitcher, P.: 1983,The Nature of Mathematical Knowledge, Oxford University Press, New York.
Körner, S.: 1960,The Philosophy of Mathematics, Hutchinson and Company, London.
Kuhn, T.: 1970,The Structure of Scientific Revolutions, 2nd edn., University of Chicago Press, Chicago.
Lakatos, I.: 1976,Proofs and Refutations, edited by J. Worrall and E. Zahar, Cambridge University Press, Cambridge.
Lakatos, I.: 1978,Mathematics, Science and Epistemology, edited by J. Worrall and G. Currie, Cambridge University Press, Cambridge.
Lebesgue, H.: 1971, ‘A propos de quelques travaux mathématiques récents’,Enseignement mathématique (2)17, 1–48.
Moore, G.: 1982,Zermelo's Axiom of Choice: Its Origins, Development, and Influence, Springer-Verlag, New York.
Parsons, C.: 1965, ‘Frege's Theory of Number’ in Max Black (ed.),Philosophy in America, Cornell University Press, Ithaca, New York, pp. 180–203.
Parsons, C.: 1967, ‘Mathematics, Foundations of’,Encyclopedia of Philosophy 5, 188–213.
Parsons, C.: 1977, ‘What is the Iterative Conception of Set?’, in R. Butts and J. Hintikka (eds.),Logic, Foundations of Mathematics and Computability Theory, D. Reidel, Dordrecht, pp. 335–67.
Parsons, C.: 1983, ‘Quine on the Philosophy of Mathematics’, in C. Parsons (ed.),Mathematics in Philosophy, Cornell University Press, Ithaca, New York, pp. 176–205.
Posy, C.: 1974, ‘Brouwer's Constructivism’,Synthese 27, 125–59.
Posy, C.: 1984, ‘Kant's Mathematical Realism’,The Monist 67, 115–34.
Proclus: 485,Commentary on Euclid's Elements I, translated by G. Morrow, Princeton University Press, Princeton, New Jersey, (1970).
Resnik, M.: 1980,Frege and the Philosophy of Mathematics, Cornell University Press, Ithaca, New York.
Resnik, M.: 1981, ‘Mathematics as a Science of Patterns: Ontology and Reference’,Nous 15, 529–50.
Resnik, M.: 1982, ‘Mathematics as a Science of Patterns: Epistemology’,Nous 16, 95–105.
Rogers, H.: 1967,Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York.
Shapiro, S.: 1983, ‘Mathematics and Reality’,Philosophy of Science 50, 523–48.
Shapiro, S.: 1985, ‘Epistemic and Intuitionistic Arithmetic’ in S. Shapiro (ed.),Intensional mathematics, North-Holland, Amsterdam, pp. 11–46.
Shapiro, S.: 1987, ‘Principles of Reflection and Principles of Logic,Journal of Philosophical Logic 16, 309–33.
Tait, W.: 1981, ‘Finitism’,The Journal of Philosophy 78, 524–46.
Tait, W.: 1986, ‘Critical Notice: Charles Parsons’Mathematics in Philosophy, Philosophy of Science 53, 588–607.
Turing, A.: 1936, ‘On Computable Numbers, with an Application to the Entscheidungs-problem’,Proceedings of the London Mathematical Society 42, 230–65.
Wang, H.: 1974,From Mathematics to Philosophy, Routledge and Kegan Paul, London.
Zermelo, E.: 1904, ‘Beweis, dass jede Menge wohlgeordnet werden kann’,Mathematische Annalen 59, 514–16.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Shapiro, S. Logic, ontology, mathematical practice. Synthese 79, 13–50 (1989). https://doi.org/10.1007/BF00873255
Issue Date:
DOI: https://doi.org/10.1007/BF00873255