BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260915T124936Z
DTSTART;TZID=Australia/Melbourne:20180302T060000
DTEND;TZID=Australia/Melbourne:20180302T080000
SUMMARY:Isomorphisms in a category of propositions and proofs
UID:20260915T124936Z-iCalPlugin-Grails@fe80:0:0:0:cc4b:43ff:fe63:b1f2%3
TZID:Australia/Melbourne
LOCATION:Old Arts\, Parkville\, Australia\, 3010
DESCRIPTION:<p>Greg Restall (Melbourne) will present "isomorphisms in a category of propositions and proofs" at 11 on 2 March in Old Arts 156.</p>\n<p>Abstract: In this talk\, I show how a category of propositions and classical proofs can give rise to three different hyperintensional notions of sameness of content. One of these notions is very fine-grained\, going so far as to distinguish p and p&amp\;p\, while identifying other distinct pairs of formulas\, such as p&and\;q and q&and\;p\; p&nbsp\;and &not\;&not\;p\; or &not\;(p&and\;q)&nbsp\;and &not\;p&or\;&not\;q. Another relation is more coarsely grained\, and gives the same account of identity of content as equivalence in Angell&rsquo\;s logic of analytic containment. A third notion of sameness of content is defined\, which is intermediate between Angell&rsquo\;s and Parry&rsquo\;s logics of analytic containment. Along the way we show how purely classical proof theory gives resources to define hyperintensional distinctions thought to be the domain of properly non-classical logics.</p>\n
ORGANIZER;CN=Shawn Standefer:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR