BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Philosophy events - ECPv6.16.3//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:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20240612T150000
DTEND;TZID=Europe/London:20240612T170000
DTSTAMP:20260614T131207
CREATED:20240513T052557Z
LAST-MODIFIED:20240611T081018Z
UID:10002072-1718204400-1718211600@www.st-andrews.ac.uk
SUMMARY:Metaphysics and Logic Seminar: Isaac Wilhelm (National University of Singapore)
DESCRIPTION:Title: Talk About Types \nAbstract: Many metaphysical theories of identity\, existence\, and so on\, are formulated using higher-order languages like the simply typed lambda calculus. But as I argue\, for the purposes of metaphysical theorizing\, a different language would be better: the calculus of constructions. Since this language—like many pure type systems—allows for quantification over types\, it is preferable to the languages currently being used in the philosophical literature. For the purposes of metaphysical theorizing\, in other words\, the calculus of constructions is the better language.
URL:/philevents/event/metaphysics-and-logic-seminar-isaac-wilhelm-national-university-of-singapore/
CATEGORIES:Metaphysics and Logic group
END:VEVENT
END:VCALENDAR