Skip to main content

Gunk, Topology and Measure

  • Chapter
  • First Online:
Logic, Mathematics, Philosophy, Vintage Enthusiasms

Part of the book series: The Western Ontario Series in Philosophy of Science ((WONS,volume 75))

Abstract

It is standardly assumed that space and time consist of extensionless points. It is also a fairly standard assumption that all matter in the universe has point-sized parts. We are not often explicitly reminded of these very basic assumptions. But they are there. For instance, one standardly assumes that one can represent the states of material objects, and of fields, by functions from points in space and time to the relevant point values. Electric fields, mass densities, gravitational potentials, etc. … are standardly represented as functions from points in space and time to point values. This practice would seem to make no sense if time and space did not have points as parts.

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 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.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

Notes

  1. 1.

    Well, it could still be deterministic if the equations of motion were first-order, as they are in quantum mechanics. Still, one might like to think that even if the equations of motion are second-order, as they are in classical mechanics, the world could be deterministic.

  2. 2.

    See, e.g., (Skyrms, 1983; Wagon, 1985).

  3. 3.

    Borel regions of the real line: start with the collection of all open intervals, then close this collection up under countable union and intersection, and complementation.

  4. 4.

    This doesn’t quite mean that it has to be a point particle, since it could still be a line, or an infinitely thin surface. But one can define a notion of “a converging set of regions” in such a way that the particle does indeed have to be a point particle if it is entirely within each of the regions in the “converging set of regions.”

  5. 5.

    This is so because the algebra of closed regular regions of the real line is not “weakly distributive,” and one cannot have a “semi-finite” countably additive measure that is defined on every element of an algebra that is not weakly distributive. A measure is said to be “semi-finite” if every element that has infinite measure has a part that has finite measure. For the definition of weak distributivity and a proof of the fact that one cannot put a semi-finite measure on an algebra that is not weakly distributive, see Chapters 32 and 33 of Fremlin (2002).

Bibliography

  • Arntzenius, F. (2000). Are there really instantaneous velocities? The Monist, 83:187–208.

    Google Scholar 

  • Arntzenius, F. (2004). Is quantum mechanics pointless? Philosophy of Science, 70:1447–1457.

    Article  Google Scholar 

  • Böhm, A. (1978). The Rigged Hilbert Space and Quantum Mechanics. Springer, Berlin.

    Book  Google Scholar 

  • Fremlin, T. (2002). Measure theory, vol. 3. Self-published, available at www.essex.ac.uk/maths/staff/fremlin/mtsales.htm.

  • Gerla, G. (1990). Pointless metric spaces. Journal of Symbolic Logic, 55:207–219.

    Article  Google Scholar 

  • Halverson, H. (2001). On the nature of continuous physical quantities in classical and quantum mechanics. Journal of Philosophical Logic, 30:27–50.

    Article  Google Scholar 

  • Roeper, P. (1997). Region-based topology. Journal of Philosophical Logic, 26:251–309.

    Article  Google Scholar 

  • Royden, H. (1968). Real Analysis. MacMillan, London.

    Google Scholar 

  • Sikorski, R. (1964). Boolean Algebras. Springer, Berlin.

    Google Scholar 

  • Skyrms, B. (1983). Zeno’s paradox of measure. In Cohen, R. S. and Laudan, L., editors, Physics, Philosophy and Psychoanalysis, Boston Studies in Philosophy of Science, pages 223–254. Reidel, Dordrecht.

    Google Scholar 

  • Skyrms, B. (1993). Logical atoms and combinatorial possibility. Journal of Philosophy, 90 219–232.

    Article  Google Scholar 

  • Wagon, S. (1985). The Banach-Tarski Paradox. Cambridge University Press, Cambridge.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Frank Arntzenius .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer Science+Business Media B.V.

About this chapter

Cite this chapter

Arntzenius, F. (2011). Gunk, Topology and Measure. In: DeVidi, D., Hallett, M., Clarke, P. (eds) Logic, Mathematics, Philosophy, Vintage Enthusiasms. The Western Ontario Series in Philosophy of Science, vol 75. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0214-1_16

Download citation

Publish with us

Policies and ethics