James Ladyman (Bristol): “The Hole Argument and Homotopy Type Theory”

Recorded at The Hole Shebang workshop, LSE, 15 July 2016.

The Hole Shebang brought together philosophers and physicists to discuss a recent debate surrounding interpretations of the Hole Argument.

This was a “satellite” workshop held the day before Foundations 2016, the 18th UK/EU conference on foundations of physics. Both of which were hosted by LSE Philosophy.