BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260606T021033Z
DTSTART;TZID=Australia/Melbourne:20140606T070000
DTEND;TZID=Australia/Melbourne:20140606T090000
SUMMARY: Being Necessary Really Isn't the Same As Being Not Possibly Not
UID:20260610T153837Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Australia/Melbourne
LOCATION:The University of Melbourne\, Parkville\, Australia\, 3010
DESCRIPTION:<p>In standard modal logic\, □ &equiv\; ~&loz\;~ and &loz\; &equiv\; ~□~. &nbsp\;In standard tense-logic\, where □ is taken to stand for &ldquo\;at all times&rdquo\; and &loz\; is taken to stand for &ldquo\;at some time&rdquo\;\, these equivalences are also taken to hold. &nbsp\;In Time and Modality\, Arthur Prior argues that&mdash\;despite their prima facie plausibility&mdash\;these equivalences fail to hold. &nbsp\;In particular\, he argues that not some time not is weaker than at all times and that not at all times not is weaker than at some time. &nbsp\;I&rsquo\;ll\, first\, examine the motivation for and plausibility of Prior's rejection of the standard equivalences. &nbsp\;Then\, I&rsquo\;ll present analogous motivations for adopting a modal logic which denies these standard equivalences\, and examine the plausibility of such a non-standard modal logic.</p>
ORGANIZER:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR