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