This course will introduce relevant logics, a form of non-classical logic which has a long history and which is currently undergoing something of a research renaissance.
Data:
Luogo: Aula rossa, via Azzo Gardino 23
Organizzato da: Eugenio Orlandelli
Con: Andrew Tedder (Ruhr-Universität Bochum)
This course will introduce relevant logics, a form of non-classical logic which has a long history and which is currently undergoing something of a research renaissance. The course will start with a historically and motivationally oriented introduction, focused on the various ways that researchers have conceived of relevance in a logical setting. Next we'll turn to consider the application of proof-theoretic methods to study relevant logics, especially using sequent calculus, and some of their limitations. Finally, we'll consider model theory, particularly in the form of frame-based semantics similar to Kripke semantics for modal logic. The course will be largely self-contained: a familiarity with classical logic will be helpful but not strictly necessary.
