BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260916T222926Z
DTSTART;TZID=Australia/Melbourne:20160812T070000
DTEND;TZID=Australia/Melbourne:20160812T080000
SUMMARY:What Proofs and Truthmakers are About 
UID:20260916T222926Z-iCalPlugin-Grails@fe80:0:0:0:74bb:64ff:feff:71eb%3
TZID:Australia/Melbourne
LOCATION:Old Quad\, Parkville\, Australia\, 3010
DESCRIPTION:<p>Greg Restall (Melbourne) will give a talk titled "What Proofs and Truthmakers are About".&nbsp\;</p>\n<p>Abstract: This talk is a comparison of how three different approaches to subject matter treat some pairs of statements that say different things but are (classically) logically equivalent. The pairs are</p>\n<p>-- p&or\;&not\;p and ⊤</p>\n<p>-- p&or\;(p&and\;q) &nbsp\;and p</p>\n<p>-- (p&or\;&not\;p)&or\;(q&or\;&not\;q) and (p&or\;&not\;p)&and\;(q&or\;&not\;q)</p>\n<p>I compare and contrast the ontion of subject tmater introduced in Stephen Yablo&rsquo\;s Aboutness (Princeton University Press\, 2014)\, truthmakers conceived of as situations\, as discussed in my &ldquo\;Truthmakers\, Entailment and Necessity\,&rdquo\; and the proof invariants I have explored in recent work.</p>\n\n
ORGANIZER;CN=Shawn Standefer:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR