BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20240329T020017Z DTSTART;TZID=Australia/Melbourne:20161021T070000 DTEND;TZID=Australia/Melbourne:20161021T080000 SUMMARY:Expressive Incompleteness of Two-Dimensional Modal Logic UID:20240329T020055Z-iCalPlugin-Grails@philevents-web-6f97df9687-7c6q9 TZID:Australia/Melbourne LOCATION:Old Quad\, Parkville\, Australia\, 3010 DESCRIPTION:
Fabio Lampert (UC Davis) will present "Expressive Incompleteness of Two-Dimensional Modal Logic" at 11am in Old Quad G14. \;
\nAbstract: We consider a natural-language sentence which cannot be formally represented by the apparatus of a quantified two-dimensional modal logic\, or even two-dimensional semantics broadly construed. This was firstly conjectured in a previous work\, but here we present a proof. The problem is very similar to the one motivating the introduction of an actuality operator into S5 modal logic. It turns out\, however\, that the most natural ways to repair the expressive inadequacy in the two-dimensional case\, i.e. by adding a stronger actuality operator into the language\, or by appealing to plural quantification\, render moot the original philosophical motivation of formalizing a priori knowability as necessity along the diagonal.
ORGANIZER;CN=Shawn Standefer: METHOD:PUBLISH END:VEVENT END:VCALENDAR