scholarly journals Some Philosophical Prehistory of the (Earman-Norton) hole argument

2020 ◽  
Vol 70 ◽  
pp. 79-87 ◽  
Author(s):  
James Owen Weatherall
Keyword(s):  
Hole Argument

scholarly journals On Representational Redundancy, Surplus Structure, and the Hole Argument

2020 ◽  
Vol 50 (4) ◽  
pp. 270-293 ◽  
Author(s):  
Clara Bradley ◽  
James Owen Weatherall
Keyword(s):  
Hole Argument

The Special Geological Conditions of Mountain Tunnel Scheme Selection

2013 ◽  
Vol 405-408 ◽  
pp. 1288-1291
Author(s):  
Li Xia Sun ◽  
Qing Bo Wang ◽  
Da Peng Wang
Keyword(s):  
Engineering Practice ◽  
Engineering Analysis ◽  
High Slope ◽  
Hole Argument ◽  
Geological Conditions ◽  
Practical Engineering ◽  
Scheme Selection ◽  
Shallow Buried Tunnel ◽  
Mountain Tunnel

According to the different topographic and geologic conditions of mountain highwaytunnel project has been "It is difficult into the hole and out the hole " argument. The paper is WuGuanhigh-speed road asymmetric bias multi-arch tunnel, and the orthogonal hole separated tunnel, near themountain steep high slope of shallow buried tunnel into the hole as an example. Through theconstruction of practical engineering, analysis in special conditions is done and the mechanicalmechanism of hole program is correctly chosen. Importance and the experiences are summarized, toguide the engineering practice.

scholarly journals The hole argument for covariant theories

2006 ◽  
Vol 38 (8) ◽  
pp. 1241-1252 ◽  
Author(s):  
M. Iftime ◽  
J. Stachel
Keyword(s):  
Hole Argument

Einstein’s hole argument

2001 ◽  
Vol 69 (2) ◽  
pp. 223-225 ◽  
Author(s):  
Alan Macdonald
Keyword(s):  
Hole Argument

scholarly journals New Perspectives on the Hole Argument

2020 ◽  
Vol 50 (4) ◽  
pp. 217-227
Author(s):  
Bryan W. Roberts ◽  
James Owen Weatherall
Keyword(s):  
Hole Argument

scholarly journals The Hole Argument Against Everything

2019 ◽  
Vol 50 (4) ◽  
pp. 360-378 ◽  
Author(s):  
Joshua Norton
Keyword(s):  
Hole Argument

scholarly journals Regarding the ‘Hole Argument’

2018 ◽  
Vol 69 (2) ◽  
pp. 329-350 ◽  
Author(s):  
James Owen Weatherall
Keyword(s):  
Hole Argument

scholarly journals The Hole Argument in Homotopy Type Theory

2019 ◽  
Vol 50 (4) ◽  
pp. 319-329 ◽  
Author(s):  
James Ladyman ◽  
Stuart Presnell
Keyword(s):  
General Relativity ◽  
Homotopy Type ◽  
Type Theory ◽  
Space Time ◽  
Scientific Representation ◽  
General Covariance ◽  
Hole Argument ◽  
Homotopy Type Theory ◽  
Mathematics And Physics

Abstract The Hole Argument is primarily about the meaning of general covariance in general relativity. As such it raises many deep issues about identity in mathematics and physics, the ontology of space–time, and how scientific representation works. This paper is about the application of a new foundational programme in mathematics, namely homotopy type theory (HoTT), to the Hole Argument. It is argued that the framework of HoTT provides a natural resolution of the Hole Argument. The role of the Univalence Axiom in the treatment of the Hole Argument in HoTT is clarified.

Sign in / Sign up

Export Citation Format

Share Document