Event Timeslots (1)
Friday
-
In this seminar students will be introduced to relevant logics, which are logics according to which a necessary condition on argument validity is that the premises be relevant to the conclusion. The course will be concerned with philosophical foundations and foundational formal results concerning such logics including (a) proof theoretic presentations by axiomatic and sequent-style calculi, (b) model theoretic presentations by algebraic and frame semantics, and (c) applications of relevant logics to formal theories. Our primary text will be the manuscript by Standefer, to be shared in draft form (with the permission of the author).
CP can be earned by completing assignments, and possibly an end-of-term essay, to be determined by interested students in discussion with the instructor.