Abstract
In this chapter we devise a spacetime logic and argue that temporaryism must give way to spatiotemporaryism, which latter construes variation in what exists as variation across spacetime. In Sect. 9.1 we argue that much of the rationale for thinking, in a prerelativistic setting, that what exists varies across time, should survive the finding that there is no absolute and total temporal order and rationalise the corresponding thought that what exists varies across spacetime. In Sect. 9.2 we introduce a spacetime-sensitive language and a spacetime logic with operators and relations defined over the fourfold causal structure of spacetime. In Sect. 9.3 and Sect 9.4 we use these tools to articulate and compare competing spatiotemporaryist ontologies and contrast them with spatiopermanentism according to which what exists does not vary across spacetime. In Sect. 9.5 we show which relativistic views can naturally be taken to correspond to which classical theories of time.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
(AR1) is used for proving the first item on this list, axioms (AR3), (AR4) and (AR2) are used for proving the third item, and (AR5) for proving the fourth item. The second item on the list already follows from the definition of ‘●’.
- 3.
Suppose @xφ. Then by (RD3R), @x¬¬φ. By (A11R), it follows that Sx & ¬@x¬φ. Using (A12R), we get ⚪φ.
- 4.
Assume E!m & E!n & Sm & Sn. Assume for reductio m prec n. By (P2R), (P3R), (A34R) and (A23R), this yields @n(E!n & ▴¬E!n & ▾¬E!n & ¬E!m). By (T2R), this yields ⚪(E!n & ▴¬E!n & ▾¬E!n & ¬E!m). Given our initial assumption, we can derive ¬▵(E!n & ▴¬E!n & ▾¬E!n & ¬E!m), ¬▿(E!n & ▴¬E!n & ▾¬E!n & ¬E!m) and ¬(E!n & ▴¬E!n & ▾¬E!n & ¬E!m). This leaves as the only option ◃(E!n & ▴¬E!n & ▾¬E!n & ¬E!m) which, it would seem, can only be rejected if (BO+) is assumed.
- 5.
Suppose φ → ◂φ is a theorem. By (AR1) and (RR), then, ◃φ → ◃◂φ is a theorem. Using (AR5) and again (AR1) and (RR), ◃◂φ → φ is a theorem. So, ◃φ → φ is a theorem. Conversely, suppose the latter is a theorem. Then by (AR1) and (RR), so is ◂◃φ → ◂φ. By (AR5), then, φ → ◂φ is a theorem.
Bibliography
Hawking, S. W., & Ellis, G. F. R. (1973). The large scale structure of space-time. Cambridge: Cambridge University Press.
Hinchliff, M. (2000). A defense of presentism in a relativistic setting. Philosophy of Science, 67, 575–586.
Minguzzi, E., & Sánchez, M. (2008). The causal hierarchy of spacetimes. In D. V. Alekseevsky & H. Baum (Eds.), Recent developments in pseudo-Riemannian geometry, ESI lectures in mathematics and physics (pp. 299–358). Zürich: EMS Publishing House.
Minkowski, H. (1952). Space and time. In H. A. Lorentz, A. Einstein, H. Minkowski, & H. Weyl (Eds.), The principle of relativity: A collection of original memoirs on the special and general theory of relativity (pp. 75–91). New York: Dover.
Putnam, H. (1967). Time and physical geometry. The Journal of Philosophy, 64, 240–247.
Rietdijk, C. W. (1966). A rigorous proof of determinism from the special theory of relativity. Philosophy of Science, 33, 341–344.
Russell, B. (1912). The problems of philosophy. London: Williams and Norgate.
Savitt, S. F. (2000). There’s no time like the present (in Minkowski Spacetime). Philosophy of Science, 67(Supplement), 563–574.
Stein, H. (1968). On Einstein-Minkowski Space-Time. The Journal of Philosophy, 65, 5–23.
Stein, H. (1970). A note on time and relativity theory. The Journal of Philosophy, 67, 289–294.
Weingard, R. (1972). Relativity and the reality of past and future events. British Journal for the Philosophy of Science, 23, 119–121.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Correia, F., Rosenkranz, S. (2018). Spatiotemporaryism. In: Nothing To Come. Synthese Library, vol 395. Springer, Cham. https://doi.org/10.1007/978-3-319-78704-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-78704-6_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-78703-9
Online ISBN: 978-3-319-78704-6
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)