It is that time of year again: World Logic Day! January 14th was chosen in honour of Alfred Tarski’s birth and Kurt Geodel’s death, but the goals of world logic day are not to simply remember those two logicians; we celebrate world logic day to help spread interest in logic and the work of logicians in their own locales–in the geographic rather than category theoretic sense of that word. Ha!
Please join us on January 14th from 4-6pm in Anderson Hall 118.
There will be four talks (order tbd):
Validity isn’t formal by Gillman Payette (Philosophy)
Incompleteness and the limitations of rules by Jonathan Seldin (Mathematics)
The square root of truth by Kent Peacock (Philosophy)
Sound vs. demonstrative arguments by Victor Rodych (Philosophy)