BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Philosophy events - ECPv6.16.5//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:/philevents
X-WR-CALDESC:Events for Philosophy events
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20180325T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20181028T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20191027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20201025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20191210T100000
DTEND;TZID=Europe/London:20191210T120000
DTSTAMP:20200129T153324Z
CREATED:20200129T153324Z
LAST-MODIFIED:20200129T153324Z
UID:10000791-1575972000-1575979200@www.st-andrews.ac.uk
SUMMARY:Super Special Seminar Walter Dean (Warwick) The liar and the sorites: towards a uniform arithmetical treatment
DESCRIPTION:Abstract: The unification of the paradoxes of truth and vagueness has been a topic of recurrent philosophical interest (e.g. McGee 1989/1990\, Tappenden 1993\, Field 2003/2008\, Priest 1994/2010). I will present a sequence of observations which illustrate how the liar and sorites paradoxes are formally related\, culminating in the observation that both give rise to similar sorts of mathematical incompleteness phenomena. On this basis\, I will highlight the possibility of using formal undecidability in modeling semantic indeterminacy.
URL:/philevents/event/super-special-seminar-walter-dean-warwick-the-liar-and-the-sorites-towards-a-uniform-arithmetical-treatment/
LOCATION:A virtual seminar by Zoom\, The University\, 58³Ô¹Ï\, KY16 9L\, United Kingdom
CATEGORIES:Conceptual Engineering Seminar,Super Special Seminar series
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20191212T100000
DTEND;TZID=Europe/London:20191212T120000
DTSTAMP:20200211T153414Z
CREATED:20200129T153328Z
LAST-MODIFIED:20200211T153414Z
UID:10000794-1576144800-1576152000@www.st-andrews.ac.uk
SUMMARY:Super Special Seminar Walter Dean (Warwick) On consistency and existence in mathematics
DESCRIPTION:Abstract:  Following the publication of his Foundations of Geometry in 1899\, David Hilbert engaged in a well-known debate with Frege which concerned (amongst other things) the question of whether the consistency of a set of axioms entails the existence of a model in which they are satisfied.   I will consider this dimension of the so-called Frege-Hilbert controversy in light of the subsequent work in logic and philosophy which it inspired.  I will argue for the following claims: i) the controversy both anticipated Gödel’s completeness theorem and shaped its reception (in which Bernays played a central role); ii) Frege was right to maintain that consistency checking is as difficult as it can be; ii) Hilbert was also right to maintain that given consistency\,  demonstrating the existence of a model is as easy as it can be.
URL:/philevents/event/super-special-seminar-walter-dean-warwick-on-consistency-and-existence-in-mathematics/
LOCATION:A virtual seminar by Zoom\, The University\, 58³Ô¹Ï\, KY16 9L\, United Kingdom
CATEGORIES:Super Special Seminar series
END:VEVENT
END:VCALENDAR