BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Nathan Haydon
DTSTART:20240830T153000Z
DTEND:20240830T163000Z
DTSTAMP:20260422T171806Z
UID:CompMath/5
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CompMath/5/"
 >Peirce's Existential Graphs and String Diagrams for First-Order Logic</a>
 \nby Nathan Haydon as part of Relatorium seminar\n\n\nAbstract\nThe Existe
 ntial Graphs are the result of C.S. Peirce's studies in the logic of relat
 ions and his concern for developing a better logical notation. In this tal
 k I give an accessible introduction to Peirce's graphs that emphasizes the
  intuitions behind these notational choices and the resulting inference ru
 les. Along the way I discuss how Peirce's work has been the inspiration fo
 r recent advances in categorical logic and show examples of how the graphs
  help us present and clarify some of our logical concepts.\n
LOCATION:https://researchseminars.org/talk/CompMath/5/
END:VEVENT
END:VCALENDAR