Skip to main content

Some Ins and Outs of Indispensability: A Modal-Structural Perspective

  • Chapter
Logic and Foundations of Mathematics

Part of the book series: Synthese Library ((SYLI,volume 280))

Abstract

Empiricism has traditionally had great difficulty in making sense of mathematics. The problems with Mill’s empiricism in this regard, as exposed by Frege, are well known. In this century, Carnap’s logical empiricism turned on the claim that all mathematical truths are really analytic, i.e., true solely in virtue of linguistic meanings, a claim that cannot withstand scrutiny in light of Gödel’s work and its aftermath. Quine’s naturalistic empiricism has sought to do better. The insight that testing of scientific theories is holistic, involving substantial bodies of propositions, suggested that even purely mathematical assumptions, essential in both the formulation of (say) physical theories and in deduction of testable consequences, can gain empirical support or confirmation indirectly, in a manner analogous to the way in which highly theoretical physical postulates can. (The locus classicus is [20].) There is no need to claim that, say, abstract set-existence axioms are really analytic, nor is there any need to invoke a special intuitive faculty for grasping mathematical objects or propositions. Mathematics can be seen as continuous with the sciences, and mathematical epistemology promises to be brought within a thorough-going naturalistic framework.

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

Access this chapter

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 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bishop, E., Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.

    Google Scholar 

  2. Boolos, G., ‘Nominalist Platonism’, Philosophical Review, 94 (1985), 327–44.

    Article  Google Scholar 

  3. Bridges, D. S., Constructive Functional Analysis, Pitman, London, 1979.

    Google Scholar 

  4. Burgess, J., Hazen, A., and Lewis, D., Appendix on Pairing,in [17].

    Google Scholar 

  5. Chihara, C., Ontology and the Vicious Circle Principle, Cornell University Press, Ithaca, NY, 1973.

    Google Scholar 

  6. Colyvan, M., ‘In Defence of Indispensability’, forthcoming.

    Google Scholar 

  7. Earman, J., Bayes or Bust?, MIT Press, Cambridge, MA, 1992.

    Google Scholar 

  8. Feferman, S., ‘Infinity in Mathematics: Is Cantor Necessary?’ Philosophical Topics, 17 (2) (1989), 23–45.

    Article  Google Scholar 

  9. Field, H., Science without Numbers, Princeton University Press, Princeton, NJ, 1980.

    Google Scholar 

  10. Gödel, K., ‘What is Cantor’s Continuum Problem?’ in P. Benacerraf and H. Putnam (eds), Philosophy of Mathematics, 2d edn, Cambridge University Press, Cambridge, U.K., 1983, pp. 470–485.

    Google Scholar 

  11. Hellman, G., ‘Logical Truth by Linguistic Convention’, in L. Hahn and P. A. Schilpp (eds), The Philosophy of W.V. Quine, Open Court, La Salle, IL, 1986, pp. 189–205.

    Google Scholar 

  12. Hellman, G., Mathematics without Numbers: Towards a Modal-Structural Interpretation, Oxford University Press, Oxford, 1989.

    Google Scholar 

  13. Hellman, G., ‘Constructive Mathematics and Quantum Mechanics’, J. Philos. Logic, 22 (1993), 221–248.

    Article  Google Scholar 

  14. Hellman, G., ‘Real Analysis without Classes’, Philos. Math. (3), 2 (1994), 228–250.

    Article  Google Scholar 

  15. Hellman, G., ‘Structuralism without Structures’, Philos. Math. (3), 4 (1996), 100–123.

    Google Scholar 

  16. Hempel, C. G., Aspects of Scientific Explanation, Free Press, New York, 1965.

    Google Scholar 

  17. Lewis, D., Parts of Classes, Blackwell, Oxford, 1991.

    Google Scholar 

  18. Maddy, P., ‘Indispensability and Practice’, J. Philos., 89 (1992), 275–289.

    Article  Google Scholar 

  19. Parsons, C., ‘Quine on the Philosophy of Mathematics’, in L. Hahn and P. A. Schilpp (eds), The Philosophy of W.V. Quine, Open Court, La Salle, IL, 1986, pp. 369–395.

    Google Scholar 

  20. Quine, W. V., ‘Two Dogmas of Empiricism’, in From a Logical Point of View, 2nd edn, Harper, New York, 1961, pp. 20–46.

    Google Scholar 

  21. Resnik, M., ‘Scientific vs. Mathematical Realism: The Indispensability Argument’, Philos. Math. (3), 3 (1995), 166–174.

    Article  Google Scholar 

  22. Simpson, S., ‘Subsystems of Z2 and Reverse Mathematics’, in G. Takeuti (ed.), Proof Theory, 2nd edn, North-Holland, Amsterdam, Appendix, pp. 432–446.

    Google Scholar 

  23. Smorynski, C., ‘The Varieties of Arboreal Experience’, Math. Well., 4 (1982), 182–189.

    Google Scholar 

  24. Sober, E., ‘Mathematics and Indispensability’, The Philosophical Review, 102 (1) (1993), 35–37.

    Article  Google Scholar 

  25. Yu, Xiaokang, ‘Radon—Nikodym Theorem is Equivalent to Arithmetic Comprehension’, Content Math., 106 (1990), 289–297.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Hellman, G. (1999). Some Ins and Outs of Indispensability: A Modal-Structural Perspective. In: Cantini, A., Casari, E., Minari, P. (eds) Logic and Foundations of Mathematics. Synthese Library, vol 280. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2109-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-2109-7_2

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-5201-8

  • Online ISBN: 978-94-017-2109-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics