Logic Working Group, Spring 2022
Location: 502 JCC
Time: Wed 4:30-5:30
Textbooks: Priest, Graham: An Introduction to Non-Classical Logic, 2nd edition. CUP, 2008.
A working group interested in mathematical, computational, and philosophical aspects of logic.
| Date | Topic | Speaker |
|---|---|---|
| Jan 26 | Introduction | David Smyth |
| Feb 02 | Switches Paradox Completeness Theorem for PL | David Smyth |
| Feb 09 | GP 2-3 Modal Logic Possible-worlds-semantics and taxomony of modal logics | David Smyth |
| Feb 16 | GP Ch 4-6 Non-normal Modal Logic Intuitionistic Logic | David Smyth |
| Feb 23 | Tableaux, Natural Deduction, Soundness and Completeness | Students Only |
| Mar 2 | GP Ch 7-8 Many-valued Logics, FDE Relation between Logics and Algebraic Geometry | David Smyth |
| Mar 9 | An Internal Logic of a Category | Max Jeffs |
| Mar 16 | GP Ch 9-10 Relevance Logics | David Smyth |
| Mar 30 | Types and Proof Assistants [webpage] [slides] | George McNinch |
| Apr 6 | GP Ch 12-16 First-Order Logic Quantified Modal Logic | David Smyth |
| Apr 13 | Bisimulations in Modal Logic | Dilip Ninan |
| Apr 20 | C.S. Peirce's Diagrammatic Calculus [slides] | Gianluca Caterina |
| Apr 27 | Wrapping up Tarski On the Concept of Followling Logically Note: trans. of original paper starts at p.23 | David Smyth |