This seminar is a continuation of last semester’s introductory course on free logic, offering more advanced
material. On the one hand we will take a more mathematical perspective on the established semantics for
free logic. This will include completeness theory for dual domain free logic as well assingle domain
negative free logic. Furthermore attention will be given to the question what fragments of first- or higher-
order logic free logics of different kinds correspond to. Besides the trivial case of dual domain logics we will
look at Peter Woodruff’s proof that (van Fraassen-style) supervaluational free logic is a considerable
fragment of second-order logic. After that we will turn to more recent approaches to free logic such as new
varieties of dual domain semantics (Antonelli, Leeb), Pavlović and Gratzl’s generalized semantics as well as
model-theoretic and proof-theoretic approaches to so-called quasi-free logics (Feferman, Indrzejczak ). If
time permits some advanced applicationswill be considered such as logics of partial terms, free description
theory or higher-order free logics for dealing with intensional paradoxes. A collection of papers will be
uploaded which we will read and discuss in class.
- Kursleiter/in: Jonathan Daniel Mai