Switch to: References

Add citations

You must login to add citations.
  1. The Hole Argument, take n.John Dougherty - 2020 - Foundations of Physics 50 (4):330-347.
    I apply homotopy type theory to the hole argument as formulated by Earman and Norton. I argue that HoTT gives a precise sense in which diffeomorphism-related Lorentzian manifolds represent the same spacetime, undermining Earman and Norton’s verificationist dilemma and common formulations of the hole argument. However, adopting this account does not alleviate worries about determinism: general relativity formulated on Lorentzian manifolds is indeterministic using this standard of sameness and the natural formalization of determinism in HoTT. Fixing this indeterminism results in (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations