Arché FLC project: Visitors and Workshop
The AHRC funded Foundation of Logical Consequence (FLC) project doesn't officially start until January 2009, but already this semester we have a number of interesting talks lined up. We've already had the pleasure of hearing Catarina Dutilh Novaes (ILLC, Amsterdam) talk about 'What does it mean to say that something is formal?', and next Tuesday Colin Caret (UConn) is presenting on 'Non-Normal Worlds and Logical Laws'. He will be followed by Graham Priest (Melbourne/Arché) and Stewart Shapiro (OSU/Arché), our two project co-investigators.
In December, Walter Carnielli (University of Campinas) is giving two talks: 'Combining Logics by Means of Possible-Translation Semantics and Society Semantics' and 'Proving Paraconsistent, Many-Valued and Modal Logics by Handling Polynomials: a Happy Marriage between Logic and Algebra?'. Finally, he will be followed by fellow Norwegian Øystein Linnebo (University of Bristol). Not bad for a pre-start semester. The full schedule can be found here.
I'm also glad to announce that we're having a small kick-off workshop 12th-13th of January. The list of speakers have yet to be finalised, but the details can be found here. More information will be added later.
In December, Walter Carnielli (University of Campinas) is giving two talks: 'Combining Logics by Means of Possible-Translation Semantics and Society Semantics' and 'Proving Paraconsistent, Many-Valued and Modal Logics by Handling Polynomials: a Happy Marriage between Logic and Algebra?'. Finally, he will be followed by fellow Norwegian Øystein Linnebo (University of Bristol). Not bad for a pre-start semester. The full schedule can be found here.
I'm also glad to announce that we're having a small kick-off workshop 12th-13th of January. The list of speakers have yet to be finalised, but the details can be found here. More information will be added later.
Posts
