The Faculty of Philosophy organizes informal seminar series. In Friday Lunchtime Seminars, colleagues, students and anyone other who is interested in philosophical research will have the opportunity to quiz a philosopher of our faculty on their work, as they are bravely putting themselves forward to presenting in a format that permits questions at any point during the talk.
The lunchtime seminars are informal in style but rigorous in substance:
v Everyone is welcome
v No papers sent around beforehand
v Papers are presented in a way accessible to non-specialists
v Questions can and will be asked at any point during the seminar
v You can have your lunch during the session or have lunch together afterwards
If you would like to join the announcement list (it comes with regular reminders of when the meetings take place) you can send an e-mail to Gijs Leegwater. (leegwater@) fwb.eur.nl
Thursday 3 december 12:00 - 13:00, H5-06
James Grayot, Folk psychology and the human sociocognitive syndrome: implications for mental representation
Thursday 17 december 12:00 - 13:00, H5-32
Stefan Wintein, Sequent calculi for Dunn logics and their extensions
In the first part of the talk I will first present a uniform semantic account of classical logic and three well-known non-classical logics: strong Kleene logic, the logic of paradox and the logic of first-degree entailment. As the semantics of all four logics can be described in terms of so-called Dunn conditions, I will refer to them as Dunn logics. I will also discuss and motivate extensions of the non-classical Dunn logics with additional connectives.
In the second part of the talk I will approach the Dunn logics (and their extensions) syntactically via sequent calculi for these logics. First, I will discuss three types of sequent calculi that can be found in the literature. Second, I will present what I call the Dunn calculus, a sequent calculus whose rules mirror the Dunn conditions syntactically and which does not fall under one the three types of calculi that are considered in the literature. I will argue that the Dunn calculus is preferable to these other calculi, for both philosophical and technical reasons.
If time permits, I will talk about the original plan for this talk, which was to discuss joint work with Reinhard Muskens – work in which we heavily rely on the Dunn calculus – on interpolation properties for (extended) Dunn logics.