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.
Keywords
- Indispensability Argument
- Abstraction Principle
- Philosophical Program
- Abstractionist Program
- Simple Type Theory
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Awodey, Steve. 2004. “An Answer to Hellman’s Question: “Does Category Theory Provide a Framework for Mathematical Structuralism?” .” Philosophia Mathematica 12:54–64.
Benacerraf, Paul, and Hilary Putnam, eds. 1983. Philosophy of Mathematics. 2nd edition. Cambridge, MA: Cambridge University Press.
Bishop, Errett. 1967. Foundations of Constructive Analysis. New York, NY: Mc-Graw-Hill.
Boolos, George. 1985. “Reading the Begriffschrift.” Mind 94:331–44; reprinted in Boolos [6], 155–70.
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.
Boolos, George. 1998. Logic, Logic, and Logic. Cambridge, MA: Harvard University Press.
Burgess, John. 1984. “Synthetic Mechanics.” Journal of Philosophical Logic 13:379–95.
Chihara, Charles. 1990. Constructibility and Mathematical Existence. Oxford: Oxford University Press.
Cook, Roy T. 2001. “The State of the Economy: Neo-Logicism and Inflation.” Philosophia Mathematica 10:43–66.
Davis, Martin. 1965. The Undecidable. Hewlett, NY: The Raven Press.
Dummett, Michael. 1998. “Neo-Fregeans: In Bad Company?” In The philosophy of Mathematics Today, edited by Matthias Schirn, 369–87. Oxford: Oxford University Press.
Field, Hartry. 1980. Science Without Numbers. Princeton, NJ: Princeton University Press.
Field, Hartry. 1989. Realism, Mathematics and Modality. Oxford: Blackwell.
Field, Hartry. 1991. “Metalogic and Modality.” Philosophical Studies 62:1–22.
Fine, Kit. 2002. The Limits of Abstraction. Oxford: Oxford University Press.
Frege, Gottlob. 1879. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert; translated in van Heijenoort [40], 1–82.
Frege, Gottlob. 1884. Die Grundlagen der Arithmetik. Breslau: Koebner; The Foundations of Arithmetic, translated by J. Austin, 2nd edition, New York, NY: Harper. 1960.
Frege, Gottlob. 1893. Grundgesetze der Arithmetik 1. Hildescheim: Olms.
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.
Gödel, Kurt. 1986. Collected Works I. Oxford: Oxford University Press.
Goldfarb, Warren. 1979. “Logic in the Twenties: The Nature of the Quantifier.” Journal of Symbolic Logic 44:351–68.
Hale, Bob. 2000. “Reals by Abstraction.” Philosophia Mathematica 8:100–23; reprinted in Hale and Wright [24], 399–420.
Hale, Bob. 2000. “Abstraction and Set Theory.” Notre Dame Journal of Formal Logic 41:379–98.
Hale, Bob, and Crispin Wright. 2001. The Reason’s Proper Study. Oxford: Oxford University Press.
Hellman, Geoffrey. 1989. Mathematics Without Numbers. Oxford: Oxford University Press.
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.
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.
Putnam, Hilary. 1967. “Mathematics Without Foundations.” Journal of Philosophy 64:5–22.
Resnik, Michael. 1997. Mathematics as a Science of Patterns. Oxford: Oxford University Press.
Shapiro, Stewart. 1985. Intensional Mathematics. Amsterdam: North Holland Publishing Company.
Shapiro, Stewart. 1991. Foundations Without Foundationalism: A Case for Secondorder Logic. Oxford: Oxford University Press.
Shapiro, Stewart. 1997. Philosophy of Mathematics: Structure and Ontology. New York, NY: Oxford University Press.
Shapiro, Stewart. 2000. “Frege Meets Dedekind: A Neo-Logicist Treatment of Real Analysis.” Notre Dame Journal of Formal Logic 41:335–64.
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.
Shapiro, Stewart. 2004. “The Nature and Limits of Abstraction.” Philosophical Quarterly 54:166–74.
Shapiro, Stewart. 2005. “Sets and Abstracts.” Philosophical Studies 122:315–32.
Shapiro, Stewart, and Alan Weir. 1999. “New V, ZF and Abstraction.” Philosophia Mathematica 7:293–321.
Tait, William. 1981. “Finitism.” The Journal of Philosophy 78:524–46.
Tennant, Neil. 1987. Anti-realism and Logic. Oxford: Oxford University Press.
Van Heijenoort, Jean, ed. 1967. From Frege to Gödel. Cambridge, MA: Harvard University Press.
Van Heijenoort, Jean. 1967. “Logic as Calculus and Logic as Language.” Synthese 17:324–30.
Whitehead, Alfred North, and Bertrand Russell. 1910. Principia Mathematica 1. Cambridge: Cambridge University Press.
Wright, Crispin. 2000. “Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege’s Constraint.” Notre Dame Journal of Formal Logic 41:317–34.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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
DOI: https://doi.org/10.1007/978-94-007-2390-0_2
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-2389-4
Online ISBN: 978-94-007-2390-0
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)