Abstract
The spacetime manifold, the stage on which physics is played, is constructed ab initio in a formal program that resembles the logicist reconstruction of mathematics. Zermelo’s set theory extended by urelemente serves as a framework, to which physically interpretable proper axioms are added. From this basis, a topology and subsequently a Hausdorff manifold are readily constructed which bear the properties of the known spacetime manifold. The present approach takes worldlines rather than spacetime points to be primitive, having them represented by urelemente. Thereby it is demonstrated that an important part of physics is formally reducible to set theory.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Andréka, H.; Madarász, J. X.; Németi, I.: 2004, Logical analysis of relativity theories, in Hendricks et al. (eds.), First-order Logic Revisited, Logos Verlag, Berlin, pp. 7–36.
Ax, J.: 1978, The elementary foundations of spacetime, Foundations of Physics, 8, 507–546.
Davey, K.: 2003, Is mathematical rigor necessary in physics? British Journal for the Philosophy of Science, 54, 439–463.
Ehlers, J., Pirani, R. A. E., and Schild, A.: 1972, The geometry of free fall and light propagation, in Raifeartaigh, L.O. (ed.), General Relativity, Papers in Honour of J.L. Synge, Clarendon Press, Oxford, pp. 63–84.
Gödel, K.: 1949, An example of a new type of cosmological solutions of Einstein’s field equations of graviation, Review of Modern Physics, 21, 447ff.
Hawking, S. W., King, A. R. and McCarthy, P. J.: 1976, A new topology for curved space-time which incorporates the causal, differential, and conformal structures, Journal of Mathematical Physics, 17, 174–181.
Madarász, J. X., Németi, I. and Szekely, G.: 2006, Twin Paradox and the logical foundation of relativity theory. Foundations of Physics, 36, 681–714.
Madarász, J. X.; Németi, I.; Töke, Cs.: 2004, On generalizing the logic-approach to space-time towards general relativity: first steps, in Hendricks et al. (eds), First-order Logic Revisited, Logos Verlag, Berlin, pp. 225–268.
Malament, D.: 1977, The class of continuous timelike curves determines the topology of spacetime, Journal of Mathematical Physics, 19, 1399–1404.
Mundy, B.: 1986, Optical axiomatization of minkowski space-time geometry, Philosophy of Science, 53, 1–30.
O’Neill, B.: 1983, Semi-Riemann Geometry. Academic Press, San Diego.
Robb, A. A.: 1936, Geometry of time and space. Cambridge University Press, Cambridge.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Benda, T. A FORMAL CONSTRUCTION OF THE SPACETIME MANIFOLD. J Philos Logic 37, 441–478 (2008). https://doi.org/10.1007/s10992-007-9075-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-007-9075-x