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: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 BEGIN:VEVENT DTSTART;TZID=Europe/London:20191212T120000 DTEND;TZID=Europe/London:20191212T133000 DTSTAMP:20200129T153329Z CREATED:20200129T153329Z LAST-MODIFIED:20200129T153329Z UID:10000795-1576152000-1576157400@www.st-andrews.ac.uk SUMMARY:Epistemology Seminar: Fleisher (2019). “Endorsement and Assertion” (Katharina Bernhard) DESCRIPTION: URL:/philevents/event/epistemology-seminar-fleisher-2019-endorsement-and-assertion-katharina-bernhard/ LOCATION:A virtual seminar by Zoom\, The University\, 58Թ\, KY16 9L\, United Kingdom CATEGORIES:Epistemology Seminar END:VEVENT END:VCALENDAR