BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260606T180619Z
DTSTART;TZID=Australia/Melbourne:20230216T150000
DTEND;TZID=Australia/Melbourne:20230216T170000
SUMMARY:(Empty) Names and Higher-Order Logic
UID:20260613T043440Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Australia/Melbourne
LOCATION:250 Victoria Parade\, East Melbourne\, Australia\, 3002
DESCRIPTION:<p>There is a longstanding puzzle about empty names.&nbsp\;On the one hand\, the principles of classical logic seem quite plausible.&nbsp\;On the other hand\, there would seem to be truths involving empty names---such as: Pegasus doesn't exist---that require&nbsp\;rejecting certain classically valid principles. In this talk\, I'll argue that there is a natural and principled way of reconciling&nbsp\;the truth of such claims with classical logic. This account\, however\, is not&nbsp\;neutral with respect to other principles of a broadly logical character. In particular\, on this account\, claims like&nbsp\;Pegasus doesn't exist are&nbsp\;incompatible with the validity of the controversial Barcan Formula.&nbsp\;I'll argue that this fact may be marshalled to provide an argument against&nbsp\;this principle.</p>
ORGANIZER;CN=Kyle H. Blumberg:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR