Representation and Spacetime: The Hole Argument Revisited

DOI10.1080/02698595.2022.2144457MaRDI QIDQ6117147zbMATH OpenOpenAlexFDO

Authors Aboutorab Yaghmaie, Bijan Ahmadi Kakavandi, Saeed Masoumi, Morteza Moniri

Publication date 16 August 2023

Published in International Studies in the Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/02698595.2022.2144457

Mathematics Subject Classification ID

Einstein's equations (general structure, canonical formalism, Cauchy problems) (83C05) Philosophy of mathematics (00A30) Geometrodynamics and the holographic principle (83E05) Type theory (03B38)

Recommendations

• The hole argument in homotopy type theory
• The hole argument, take \(n\)
• Regarding the ‘Hole Argument’
• The hole argument against everything
• The hole argument and some physical and philosophical implications

Cites work

• scientific article; zbMATH DE number 3842680 (Why is no real title available?)
• scientific article; zbMATH DE number 5761737 (Why is no real title available?)
• Homotopy Type Theory: A synthetic approach to higher equalities
• Homotopy type theory. Univalent foundations of mathematics
• Identity in homotopy type theory. II: The conceptual and philosophical status of identity in HoTT
• Identity in homotopy type theory. Part I: The justification of path induction
• On representational capacities, with an application to general relativity
• On the global isometric embedding of pseudo-Riemannian manifolds
• Regarding `Leibniz equivalence'
• Regarding the ‘Hole Argument’
• Set Theory
• Set theory.
• Structuralism, Invariance, and Univalence
• The Hole Truth
• The Large Scale Structure of Space-Time
• The hole argument against everything
• The hole argument and some physical and philosophical implications
• The hole argument for covariant theories
• The hole argument in homotopy type theory
• The hole argument, take \(n\)
• UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY
• What types should not be

Cited in

(9)

• On representational capacities, with an application to general relativity
• The hole argument in homotopy type theory
• The hole argument, take \(n\)
• Who's afraid of coordinate systems? An essay on representation of spacetime structure
• What Is a Reasonable Spacetime? Some Remarks on the Hole-Free Condition
• The hole argument for covariant theories
• A new spin on the hole argument
• Bringing the hole argument back in the loop: a response to Pooley
• Pitholes in Space-Time: Structure and Ontology of Physical Geometry

This page was built for publication: Representation and Spacetime: The Hole Argument Revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6117147)