BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20240328T222818Z DTSTART;TZID=Australia/Melbourne:20210318T121500 DTEND;TZID=Australia/Melbourne:20210318T141500 SUMMARY:Higher-order logic as metaphysics UID:20240328T222818Z-iCalPlugin-Grails@philevents-web-6f97df9687-7c6q9 TZID:Australia/Melbourne LOCATION:Arts West (Building 148)\, Melbourne\, Australia\, 3010 DESCRIPTION:
https://unimelb.zoom.us/j/85134373304?pwd=Tk0wY004aDVTaEJqU1Rsdkw1ditOUT09
\n \; \; \; Password: 146008
Abstract: In recent years there has been an increasing tendency \;to formalize theories of propositions\, functions\, properties\, and \;relations\, in higher-order logic. This paper illustrates the fruitfulness of that \;approach by showing that\, in a certain natural extension of classical higher-order logic\, modal logic\, the logic of indexicals\, the theory \;of classes\, and the theory of possible worlds can all be derived from the \;axiom of choice.
ORGANIZER;CN=Francois Schroeter: METHOD:PUBLISH END:VEVENT END:VCALENDAR