Event Timeslots (1)

Thursday
4:00 pm - 6:00 pm
Prüfungsform: Mündliche Prüfung Seminarbeschreibung: 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.