Switch to: Citations

Add references

You must login to add references.
  1. Substantivalist and Relationalist Approaches to Spacetime.Oliver Pooley - 2013 - In Robert Batterman (ed.), The Oxford Handbook of Philosophy of Physics. Oxford University Press USA.
    Substantivalists believe that spacetime and its parts are fundamental constituents of reality. Relationalists deny this, claiming that spacetime enjoys only a derivative existence. I begin by describing how the Galilean symmetries of Newtonian physics tell against both Newton's brand of substantivalism and the most obvious relationalist alternative. I then review the obvious substantivalist response to the problem, which is to ditch substantival space for substantival spacetime. The resulting position has many affinities with what are arguably the most natural interpretations of (...)
    Download  
     
    Export citation  
     
    Bookmark   107 citations  
  • What price spacetime substantivalism? The hole story.John Earman & John Norton - 1987 - British Journal for the Philosophy of Science 38 (4):515-525.
    Spacetime substantivalism leads to a radical form of indeterminism within a very broad class of spacetime theories which include our best spacetime theory, general relativity. Extending an argument from Einstein, we show that spacetime substantivalists are committed to very many more distinct physical states than these theories' equations can determine, even with the most extensive boundary conditions.
    Download  
     
    Export citation  
     
    Bookmark   277 citations  
  • (1 other version)Identity in Homotopy Type Theory, Part I: The Justification of Path Induction.James Ladyman & Stuart Presnell - 2015 - Philosophia Mathematica 23 (3):386-406.
    Homotopy Type Theory is a proposed new language and foundation for mathematics, combining algebraic topology with logic. An important rule for the treatment of identity in HoTT is path induction, which is commonly explained by appeal to the homotopy interpretation of the theory's types, tokens, and identities as spaces, points, and paths. However, if HoTT is to be an autonomous foundation then such an interpretation cannot play a fundamental role. In this paper we give a derivation of path induction, motivated (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • (1 other version)Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT.James Ladyman & Stuart Presnell - 2017 - Philosophia Mathematica 25 (2):210-245.
    Among the most interesting features of Homotopy Type Theory is the way it treats identity, which has various unusual characteristics. We examine the formal features of “identity types” in HoTT, and how they relate to its other features including intensionality, constructive logic, the interpretation of types as concepts, and the Univalence Axiom. The unusual behaviour of identity types might suggest that they be reinterpreted as representing indiscernibility. We explore this by defining indiscernibility in HoTT and examine its relationship with identity. (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On the Existence of Spacetime Structure.Erik Curiel - 2014 - British Journal for the Philosophy of Science:axw014.
    I examine the debate between substantivalists and relationalists about the ontological character of spacetime and conclude it is not well posed. I argue that the hole argument does not bear on the debate, because it provides no clear criterion to distinguish the positions. I propose two such precise criteria and construct separate arguments based on each to yield contrary conclusions, one supportive of something like relationalism and the other of something like substantivalism. The lesson is that one must fix an (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • How Einstein Found His Field Equations: 1912-1915.John D. Norton - unknown
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • Time and Space.Barry Dainton - 2001 - Philosophy 79 (309):486-490.
    Download  
     
    Export citation  
     
    Bookmark   108 citations  
  • Some remarks on the notions of general covariance and background independence.Domenico Giulini - 2007 - Lecture Notes in Physics 721:105--20.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • Über den physikalischen sinn der relativitätspostulate.E. Kretschmann - 1917 - Annalen Der Physik 53:575--614.
    Download  
     
    Export citation  
     
    Bookmark   78 citations