Greg Restall (Melbourne) will give a talk titled "What Proofs and Truthmakers are About". \;

\nAbstract: 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

\n-- p&or\;¬\;p and ⊤

\n-- p&or\;(p&and\;q) \;and p

\n-- (p&or\;¬\;p)&or\;(q&or\;¬\;q) and (p&or\;¬\;p)&and\;(q&or\;¬\;q)

\nI 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.

\n\n ORGANIZER;CN=Shawn Standefer: METHOD:PUBLISH END:VEVENT END:VCALENDAR