Abstract
This paper studies space-time theories from the perspective of the Semantic View of theories. Set-theoretic models are used to reconstruct several non-quantum space-time theories and to characterize their mutual relationships. Further, the Semantic View is adopted to discuss the question of what a space-time theory is to begin with. While the space-time theories incorporated in Newtonian theories, on the one hand, and in Einstein’s General theory of relativity (GTR), on the other hand, are markedly different, GTR and many rival theories of gravitation do not differ on their space-time theory, but only on the way the structure of a space-time is explained.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
“Model” is a technical term in this context, the main idea being that models satisfy axioms. See [20] for a brief introduction to model theory.
- 2.
See [34] for a formulation and discussion of the Received View.
- 3.
- 4.
- 5.
It seems attractive of this view that it characterizes theories in terms of real stuff as it were. A different approach that nevertheless provides model-theoretic reconstructions of theories is advocated by G. Ludwig; see [23] for a recent outline.
- 6.
- 7.
For BMS, the sets \(S_i\) are merely not necessarily mathematical; they may contain physical objects, but need not. But in this way, BMS allow for many models that are irrelevant for the purposes of representing physical systems. I will not follow them in this regard. See their pp. 20–23 for a discussion.
- 8.
See BMS, p. 8 for a precise definition of typification.
- 9.
Data may of course also be richer than a theory allows. But this is just to say that a theory is restricted to certain aspects of a class of systems. See BMS, Sec. II.7 for details about the idealized empirical claim of a theory.
- 10.
Since theoreticity is theory-relative according to BMS (see below), the empirical claim is only empirical in a theory-relative sense. But below, we will often use the term “empirical” in the absolute sense of “subject to empirical scrutiny.”
- 11.
See BMS, Sec. VII.2.3.
- 12.
See e.g., BMS, Sec. VII.2.
- 13.
There is an alternative way to associate claims with a theory. The idea is that a theory describes real-world systems not because the latter are among a theory’s models, but rather because they are isomorphic to models constitutive of the theory (see e.g., [39], pp. 43–44; see [12] for a weakening). But the notion of isomorphism is a mathematical one, and to apply it to real-world systems, we have to formalize them in terms of models. We have to build up set-theoretical constructions of real-world stuff. If this is so, why not start with real-world models and then say that they can be embedded in models constitutive of a theory?
- 14.
See [36], Ch. XII or BMS, p. 15 for a definition.
- 15.
E.g., [2], p. 50.
- 16.
Cf. [17], pp. 278–279.
- 17.
This is a counterpart to Quine’s claim that theories commit us to assume the existence of those things to which quantified variables refer [26]. Note though that proponents of the Semantic View need not assume that theories are, or should be, literally true. In fact, an influential proponent of the Semantic View [39], does not take serious parts of the models that stretch beyond the observable.
- 18.
See [15], Chs. 2–3 for a discussion of classical space-times. Newtonian space-time is defined on his pp. 33–34.
- 19.
- 20.
The term “coordinate charts” is well-known from differential geometry and anticipates the terminology from differential geometry used later in this paper. In the present context, we have one coordinate chart for space points and one for instances of time.
- 21.
See [29], p. 222 for a discussion.
- 22.
Costa et. al. [11] construct points (in their case, space-time points) from underlying events, but we have then to posit the events.
- 23.
One could try to introduce distances though through equivalence classes of pairs of objects.
- 24.
In differential geometry, distances are conceptualized using metric tensor fields (see below). Tensor fields are only defined on manifolds, and our space-time is not yet assumed to be a manifold. This is not a problem though because we are here not yet assuming the full mathematical formalism, but rather talking about physical distances.
- 25.
See e.g., [36], §12.3 for the notion of a representation theorem.
- 26.
See BMS, Def. DII-4 on p. 61 for a formal definition of (abstract) links.
- 27.
- 28.
Equation (3) fixes the Euclidean nature of space using coordinate charts. Alternatively, one could try to do without them. This would avoid some descriptive fluff. For instance, we could demand that the triangle inequality, Eq. (4) holds. Even this equation is not free of descriptive fluff, but at least it dispenses with coordinate charts. However, it is much easier to use coordinate charts to fix the properties of a space ([29], p. 50).
- 29.
The status of other space points not picked using physical objects remains peculiar anyway. In GTR, this peculiarity is much discussed in debates about the hole argument. The latter is often taken to show that the assumption of space-time points in empty space has untenable consequences [13, 21]. But the hole argument does not raise any problem peculiar to our approach. First, most formulations of GTR quantify over all points of the manifold, regardless how they are identified empirically, so we do not have an objection specific to our approach. Second, what the hole argument shows is only that space-time points identified independently of any physical events are problematic. If we understand it that the elements of the space-time do not have identity apart from the roles that they take in the models, our formalization does not seem problematic.
- 30.
It can be shown that the equation holds for all representations if it holds for one pair of representations (\(c_T,c_S\)).
- 31.
- 32.
- 33.
See [40], pp. 35–36 for details about compatibility, consult ibid., pp. 20–21 for contraction and ibid., p. 19 for the dual.
- 34.
Note though that we are here talking not about trajectories of real particles, but rather about hypothetical world lines.
- 35.
See [40], p. 17 for technical details.
- 36.
For a discussion on whether the unparameterized geodesics in a space-time uniquely fix the metric see [24].
- 37.
See [40], p. 67.
- 38.
See e.g., [41], Sec. 2.3.
- 39.
Some proponents of the Semantic View, e.g., BMS and [3] part company with me at this point because they include particular coordinate charts in their models. A potential reason is that, in practice, scientific work done with a theory often uses specific coordinates, and that a change in coordinates can have nontrivial consequences for this work. See [22], pp. 95–100 for illustrations.
- 40.
Nevertheless, some actual models of a theory may not match the actual world. The actual models are solutions to the equations of a theory, but these solutions may not describe our real world, e.g., due to unrealistic initial conditions.
- 41.
See BMS, Sec. II.3 for two formalizations of theoreticity with respect to a theory.
- 42.
Cf. BMS, pp. 51–52.
- 43.
BMS reconstruct CPM using local models; cf. our discussion below in the next section.
- 44.
[29], pp. 52, 66–68.
- 45.
Absolute objects are contrasted to dynamical objects. See [18], pp. 64–70 for the distinction.
- 46.
[29], pp. 52, 66–68. S and T cannot be part of the kernel if there are models that have only portions of the space-time as components.
- 47.
See e.g., [40], p. 215.
- 48.
Because extendability involves the manifold and the metric, a requirement of inextendability would have law-like status according to BMS.
- 49.
One can rebut this objection though by saying that, even though every model of a space-time theory contains the whole space-time, the models need not be used to describe the whole space-time. For instance, formally, the Schwarzschild solution of GTR is a solution for the whole space-time, but it is often used as an idealization to understand subsystems of the Universe only. GTR would then still be a space-time theory.
- 50.
Here, the metric structure does not only mean the metric itself, but also physical relationships about events on world lines incorporated in the metric field tensor.
- 51.
According to the definition, the link is a two-place relation; it can be generalized to an n-place relation easily if there are n general relativistic dynamic theories. If there is no matter of a particular type, e.g., no perfect fluid component, the pertinent part of \(T_{tot}\) equals zero.
- 52.
See [40], pp. 437–439 for technical details about diffeomorphisms. We can relax the conditions in the definition because space-time manifolds that are identical up to certain structure-preserving maps are not supposed to picture distinct physical possibilities.
- 53.
This is effectively an amendment of Bartelborth’s Def. 12.
- 54.
- 55.
Alternatively, we could regard BDD as inter-theoretical as we did with GTR before. However, this would complicate matters too much.
- 56.
Often, the Brans–Dicke theory is defined more narrowly with a zero potential.
- 57.
A conformal transformation maps the metric g to \(\Omega ^2 g\), where \(\Omega \) is a strictly positive smooth function. \(\Omega ^2 g\) yields the same angles as does g, but other geometric features are not invariant under conformal transformations. See [40], p. 445.
- 58.
See [29], Sec. V.1, particularly pp. 175–177 for a general account of asymptotic reduction, and ibid., Sec. V.2 for limiting case reduction.
- 59.
For the relationship between Newton’s Theory of Gravitation and GTR see [30], Ch. VIII.
- 60.
GTR is not just a specialization of BDT because the latter has additional degrees of freedom, viz., the scalar field (see BMS, Def. DIV.1 on p. 170 for specialization).
- 61.
Scheibe’s comparison between a classical space-time and Minkowski space-time is simpler because both manifolds are homogeneous.
- 62.
I here refer to BMS because their account of approximate reduction seems simpler than that by Scheibe.
- 63.
This does not require that a distance measure between models of both theories be defined, but it does require that there is a least a topology over models in one of the theories (cf. BMS, Ch. VII, particularly Sec. VII.3.1). At this point, BMS differ from Scheibe, who demands that a common space be defined in which the models of both theories are included.
- 64.
See BMS, Defs. VI-5 and VI-6 on p. 277 for direct and indirect reduction. Scheibe’s limiting case reduction is only indirect in the terms of BMS.
- 65.
References
Balzer, W., Moulines, C. U., & Sneed, J., An Architectonic for Science. The Structuralist Program, Reidel, Dordrecht, 1987.
Balzer, W., Die Wissenschaft und ihre Methoden, Karl Alber, Freiburg und München, 1997.
Bartelborth, T., Hierarchy versus Holism: A Structuralist View on General Relativity, Erkenntnis 39 (1993), no. 3, 383–412.
Bekenstein, J. D., Relativistic Gravitation Theory for the Modified Newtonian Dynamics Paradigm, Phys. Rev. D 70 (2004), no. 8, 083509.
Bergmann, P., Comments on the Scalar-tensor Theory, International Journal of Theoretical Physics 1 (1968), 25–36.
Brans, C. & Dicke, R. H., Mach’s Principle and a Relativistic Theory of Gravitation, Phys. Rev. 124 (1961), 925–935.
Brown, H. R., Physical Relativity. Space-time Structure from a Dynamical Perspective, Oxford University Press, Oxford, 2005.
Capozziello, S. & Faraoni, V., Beyond Einstein Gravity. A Survey of Gravitational Theories for Cosmology and Astrophysics, Springer, Dordrecht, 2011.
Carrier, M., Constructing or Completing Physical Geometry? On the Relation between Theory and Evidence in Accounts of Space-time Structure, Philosophy of Science 57 (1990), no. 3, 369–394.
Carrier, M., The Completeness of Scientific Theories. On the Derivation of Empirical Indicators within a Theoretical Framework: The Case of Physical Geometry, Kluwer, Dordrecht, 1994.
Costa, N. C. A., Bueno, O., & French, S., Suppes Predicates for Space-time, Synthese 112 (1997), no. 2, 271–279.
da Costa, N. C. A. & French, S., The Model Theoretic Approach in Philosophy of Science, Philosophy of Science 57 (1990), 248–265.
Earman, J. & Norton, J. D., What Price Spacetime Substantivalism? The Hole Story, The British Journal for the Philosophy of Science 38 (1987), 515–525.
Earman, J., A Primer on Determinism, Kluwer, Dordrecht, 1986.
Earman, J., World Enough and Space-time. Absolute versus Relational Theories of Space and Time, MIT Press, Cambridge (MA), 1989.
Ehlers, J., Pirani, F. A. E., & Schild, A., The Geometry of Free Fall and Light Propagation, in: General Relativity. Papers in Honour of J. L. Synge (O’Raifeartaigh, L., ed.), Clarendon Press, Oxford, 1972, pp. 63–84.
French, S., The Structure of Theories, in: The Routledge Companion to Philosophy of Science (Psillos, S. & Curd, M., eds.), Routledge, 2008, pp. 269–280.
Friedman, M., Foundations of Space-time Theories. Relativistic Physics and Philosophy of Science, Princeton University Press, Princeton, 1983.
Hendry, R. F. & Psillos, S., How to Do Things with Theories: An Interactive View of language and Models in Science, in: The Courage of Doing Philosophy. Essays Dedicated to Leszek Nowak (Brzeziński, J., Klawiter, A., Kuipers, T. A. F., Łastowski, K., Paprzycka, K., & Przybysz, P., eds.), Rodopi, Amsterdam, 2007, pp. 123–157.
Hodges, W., Model Theory, in: The Stanford Encyclopedia of Philosophy (Zalta, E. N., ed.), fall 2009 ed., 2009, http://plato.stanford.edu/archives/fall2009/entries/model-theory/.
Hoefer, C., The Metaphysics of Space-time Substantivalism, Journal of Philosophy 93 (1996), no. 1, 5–27.
Humphreys, P., Extending Ourselves: Computational Science, Empiricism, and Scientific Method, Oxford University Press, New York, 2004.
Ludwig, G. & Thurler, G., A New Foundation of Physical Theories, Springer, Berlin etc., 2006.
Matveev, V. S., Geodesically Equivalent Metrics in General Relativity, Journal of Geometry and Physics 62 (2012), no. 3, 675–691, Recent Developments in Mathematical Relativity.
Mühlhölzer, F., Science without Reference?, Erkenntnis 42 (1995), no. 2, 203–222.
Quine, W. V. O., On What There Is, Review of Metaphysics 2 (1948), 21–38, nachgedruckt in Quine, From a Logical Point of View. Harvard 1961.
Rindler, W., Essential Relatvity. Special, General, and Cosmological, 2nd ed., J. Springer, New York, 1977.
Rosen, N., A Bi-metric Theory of Gravitation, General Relativity and Gravitation 4 (1973), 435–447.
Scheibe, E., Die Reduktion physikalischer Theorien. Ein Beitrag zur Einheit der Physik. Teil I: Grundlagen und elementare Theorie, Springer, Heidelberg, 1997.
Scheibe, E., Die Reduktion physikalischer Theorien. Ein Beitrag zur Einheit der Physik. Teil I: Inkommensurabilität und Grenzfallreduktion, Springer, Heidelberg, 1999.
Schlimm, D., On the Creative Role of Axiomatics. The Discovery of Lattices by Schröder, Dedekind, Birkhoff, and Others, Synthese 183 (2011), 47–68, DOI:10.1007/s11229-009-9667-9.
Scott, D. & Suppes, P., Foundational Aspects of Theories of Measurement, Journal of Symbolic Logic 23 (1958), 113–128.
Sneed, J., The Logical Structure of Mathematical Physics, Reidel, Dordrecht, 1979, revised edition; first edition 1971.
Suppe, F., The Search for Philosophical Understanding of Scientific Theories, in: The Structure of Scientific Theories (Suppe, F., ed.), University of Illinois Press, Urbana, IL, 1977, second edition.
Suppes, P., Some Remarks on Problems and Methods in the Philosophy of Science, Philosophy of Science 21 (1954), no. 3, pp. 242–248 (English).
Suppes, P., Introduction to Logic, van Nostrand Reinhold Company, New York etc., 1957.
Suppes, P., Models of data, in: Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress (Nagel, E., Suppes, P., & Tarski, A., eds.), Stanford University Press, Stanford, 1962, here quoted from reprint in: Patrick Suppes: Studies in the Methodology and Foundations of Science. Selected Papers from 1951 to 1969. Dordrecht: Reidel 1969, 24–35, pp. 252–261.
Synge, J. L., Relativity: The General Theory, North-Holland, Amsterdam, 1966.
van Fraassen, B., The Scientific Image, Clarendon Press, Oxford, 1980.
Wald, R. M., General Relativity, University of Chicago Press, Chicago, 1984.
Will, C. M., Theory and Experiment in Gravitational Physics, Cambridge University Press, Cambridge, 1993, revised edition.
Acknowledgements
I’m grateful for very helpful and constructive criticism by Dennis Lehmkuhl and Erhard Scholz. Thanks also to Raphael Bolinger for his comments.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Beisbart, C. (2017). A Model-Theoretic Analysis of Space-Time Theories. In: Lehmkuhl, D., Schiemann, G., Scholz, E. (eds) Towards a Theory of Spacetime Theories. Einstein Studies, vol 13. Birkhäuser, New York, NY. https://doi.org/10.1007/978-1-4939-3210-8_7
Download citation
DOI: https://doi.org/10.1007/978-1-4939-3210-8_7
Published:
Publisher Name: Birkhäuser, New York, NY
Print ISBN: 978-1-4939-3209-2
Online ISBN: 978-1-4939-3210-8
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)