BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Philosophy, Logic and Scientific Method - ECPv4.2.1.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Philosophy, Logic and Scientific Method
X-ORIGINAL-URL:http://www.lse.ac.uk/philosophy
X-WR-CALDESC:Events for Philosophy, Logic and Scientific Method
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20160516T171500
DTEND;TZID=Europe/London:20160516T184500
DTSTAMP:20161128T162117
CREATED:20150609T101147
LAST-MODIFIED:20160513T113052
UID:3268-1463418900-1463424300@www.lse.ac.uk
SUMMARY:James Ladyman (Bristol): "The Hole Argument and Homotopy Type Theory"
DESCRIPTION:Abstract: It has been argued that thinking in terms of univalent Homotopy Type Theory (HoTT) blocks the Hole Argument. Here’s a quick sketch of the argument: Very crudely\, Univalence says that “Equivalence is Identity”. Since diffeomorphism is the equivalence relation on models\, under Univalence all models in an equivalence class will be identified. Thus models related by the hole diffeomorphism will necessarily represent the same possible world. So no Hole Argument. In this talk I consider how this kind of argument might be made rigorous and whether it works. I argue that HoTT can be used to block the hole argument but that\, contrary to what is some have claimed\, it does not automatically do so.\n\nJames Ladyman is Professor of Philosophy at the University of Bristol\, and former editor of the British Journal for the Philosophy of Science.\n\n 
URL:http://www.lse.ac.uk/philosophy/events/james-ladyman-the-hole-argument/
LOCATION:Lakatos Building\, London\, WC2A 2AE\, United Kingdom
CATEGORIES:British Society for the Philosophy of Science Lecture
END:VEVENT
END:VCALENDAR