Skip to main content
SpringerLink
Log in

Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics

  • Chapter
  • First Online:
Between Logic and Reality

Part of the book series: Logic, Epistemology, and the Unity of Science ((LEUS,volume 25))

  • 867 Accesses

Abstract

Some central philosophical issues concern the use of mathematics in putatively non-mathematical endeavors. One such endeavor, of course, is philosophy, and the philosophy of mathematics is a key instance of that. The present article provides an idiosyncratic survey of the use of mathematical results to provide support or counter-support to various philosophical programs concerning the foundations of mathematics.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Awodey, Steve. 2004. “An Answer to Hellman’s Question: “Does Category Theory Provide a Framework for Mathematical Structuralism?” .” Philosophia Mathematica 12:54–64.

    Article  Google Scholar 

  2. Benacerraf, Paul, and Hilary Putnam, eds. 1983. Philosophy of Mathematics. 2nd edition. Cambridge, MA: Cambridge University Press.

    Google Scholar 

  3. Bishop, Errett. 1967. Foundations of Constructive Analysis. New York, NY: Mc-Graw-Hill.

    Google Scholar 

  4. Boolos, George. 1985. “Reading the Begriffschrift.” Mind 94:331–44; reprinted in Boolos [6], 155–70.

    Article  Google Scholar 

  5. Boolos, George. 1997. “Is Hume’s Principle Analytic?.” In Language, Thought, and Logic, edited by Richard Heck, Jr., 245–61. Oxford: Oxford University Press; reprinted in Boolos [6], 301–14.

    Google Scholar 

  6. Boolos, George. 1998. Logic, Logic, and Logic. Cambridge, MA: Harvard University Press.

    Google Scholar 

  7. Burgess, John. 1984. “Synthetic Mechanics.” Journal of Philosophical Logic 13:379–95.

    Google Scholar 

  8. Chihara, Charles. 1990. Constructibility and Mathematical Existence. Oxford: Oxford University Press.

    Google Scholar 

  9. Cook, Roy T. 2001. “The State of the Economy: Neo-Logicism and Inflation.” Philosophia Mathematica 10:43–66.

    Google Scholar 

  10. Davis, Martin. 1965. The Undecidable. Hewlett, NY: The Raven Press.

    Google Scholar 

  11. Dummett, Michael. 1998. “Neo-Fregeans: In Bad Company?” In The philosophy of Mathematics Today, edited by Matthias Schirn, 369–87. Oxford: Oxford University Press.

    Google Scholar 

  12. Field, Hartry. 1980. Science Without Numbers. Princeton, NJ: Princeton University Press.

    Google Scholar 

  13. Field, Hartry. 1989. Realism, Mathematics and Modality. Oxford: Blackwell.

    Google Scholar 

  14. Field, Hartry. 1991. “Metalogic and Modality.” Philosophical Studies 62:1–22.

    Article  Google Scholar 

  15. Fine, Kit. 2002. The Limits of Abstraction. Oxford: Oxford University Press.

    Google Scholar 

  16. Frege, Gottlob. 1879. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert; translated in van Heijenoort [40], 1–82.

    Google Scholar 

  17. Frege, Gottlob. 1884. Die Grundlagen der Arithmetik. Breslau: Koebner; The Foundations of Arithmetic, translated by J. Austin, 2nd edition, New York, NY: Harper. 1960.

    Google Scholar 

  18. Frege, Gottlob. 1893. Grundgesetze der Arithmetik 1. Hildescheim: Olms.

    Google Scholar 

  19. Gödel, Kurt. 1931. “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.” Montatshefte für Mathematik und Physik 38:173–98; translated as “On Formally Undecidable Propositions of the Principia Mathematica”, in Davis [10], 4–35, and in van Heijenoort [40], 596–616; also Gödel [19], 144–95.

    Article  Google Scholar 

  20. Gödel, Kurt. 1986. Collected Works I. Oxford: Oxford University Press.

    Google Scholar 

  21. Goldfarb, Warren. 1979. “Logic in the Twenties: The Nature of the Quantifier.” Journal of Symbolic Logic 44:351–68.

    Article  Google Scholar 

  22. Hale, Bob. 2000. “Reals by Abstraction.” Philosophia Mathematica 8:100–23; reprinted in Hale and Wright [24], 399–420.

    Google Scholar 

  23. Hale, Bob. 2000. “Abstraction and Set Theory.” Notre Dame Journal of Formal Logic 41:379–98.

    Article  Google Scholar 

  24. Hale, Bob, and Crispin Wright. 2001. The Reason’s Proper Study. Oxford: Oxford University Press.

    Google Scholar 

  25. Hellman, Geoffrey. 1989. Mathematics Without Numbers. Oxford: Oxford University Press.

    Google Scholar 

  26. Hilbert, David. 1925. “Über das Unendliche.” Mathematische Annalen 95:161–90; translated as “On The Infinite” , in van Heijenoort [40], 369–92 and in Benacerraf and Putnam [2], 183–201.

    Article  Google Scholar 

  27. McLarty, Colin. 2007. “The Last Mathematician from Hilbert’s Göttingen: Saunders Mac Lane as Philosopher of Mathematics.” British Journal for the Philosophy of Science 58:77–112.

    Article  Google Scholar 

  28. Putnam, Hilary. 1967. “Mathematics Without Foundations.” Journal of Philosophy 64:5–22.

    Article  Google Scholar 

  29. Resnik, Michael. 1997. Mathematics as a Science of Patterns. Oxford: Oxford University Press.

    Google Scholar 

  30. Shapiro, Stewart. 1985. Intensional Mathematics. Amsterdam: North Holland Publishing Company.

    Google Scholar 

  31. Shapiro, Stewart. 1991. Foundations Without Foundationalism: A Case for Secondorder Logic. Oxford: Oxford University Press.

    Google Scholar 

  32. Shapiro, Stewart. 1997. Philosophy of Mathematics: Structure and Ontology. New York, NY: Oxford University Press.

    Google Scholar 

  33. Shapiro, Stewart. 2000. “Frege Meets Dedekind: A Neo-Logicist Treatment of Real Analysis.” Notre Dame Journal of Formal Logic 41:335–64.

    Article  Google Scholar 

  34. Shapiro, Stewart. 2003. “Prolegomenon to Any Future Neo-Logicist Set Theory: Abstraction and Indefinite Extensibility.” British Journal for the Philosophy of Science 54:59–91.

    Article  Google Scholar 

  35. Shapiro, Stewart. 2004. “The Nature and Limits of Abstraction.” Philosophical Quarterly 54:166–74.

    Article  Google Scholar 

  36. Shapiro, Stewart. 2005. “Sets and Abstracts.” Philosophical Studies 122:315–32.

    Article  Google Scholar 

  37. Shapiro, Stewart, and Alan Weir. 1999. “New V, ZF and Abstraction.” Philosophia Mathematica 7:293–321.

    Article  Google Scholar 

  38. Tait, William. 1981. “Finitism.” The Journal of Philosophy 78:524–46.

    Article  Google Scholar 

  39. Tennant, Neil. 1987. Anti-realism and Logic. Oxford: Oxford University Press.

    Google Scholar 

  40. Van Heijenoort, Jean, ed. 1967. From Frege to Gödel. Cambridge, MA: Harvard University Press.

    Google Scholar 

  41. Van Heijenoort, Jean. 1967. “Logic as Calculus and Logic as Language.” Synthese 17:324–30.

    Article  Google Scholar 

  42. Whitehead, Alfred North, and Bertrand Russell. 1910. Principia Mathematica 1. Cambridge: Cambridge University Press.

    Google Scholar 

  43. Wright, Crispin. 2000. “Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege’s Constraint.” Notre Dame Journal of Formal Logic 41:317–34.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, The Ohio State University, Columbus, OH, USA

    Stewart Shapiro

Authors
  1. Stewart Shapiro
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stewart Shapiro .

Editor information

Editors and Affiliations

  1. , Faculty of Philosophy, University of Rijeka, Slavka Krautzeka bb, Rijeka, HR-51000, Croatia

    Majda Trobok

  2. , Department of Philosophy, University of Maribor, Koroška cesta 160, Maribor, 2000, Slovenia

    Nenad Miščević

  3. , Faculty of Philosophy, University of Split, Teslina 12, Split, 21000, Croatia

    Berislav Žarnić

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer Science+Business Media B.V.

About this chapter

Cite this chapter

Shapiro, S. (2012). Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics. In: Trobok, M., Miščević, N., Žarnić, B. (eds) Between Logic and Reality. Logic, Epistemology, and the Unity of Science, vol 25. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-2390-0_2

Download citation

Publish with us

Policies and ethics

Search

Navigation