Friday, October 23, 2009

Thrice Denied: FLC Workshop


This weekend is the 2nd FLC Workshop, The Logic of Denial, at Arché, University of St Andrews. We've got a great line-up of logicians talking about a topic that is both philosophically deep and technically interesting. I've included the schedule at the end of this post. More information, including abstracts is here. I'm very happy to have lots of good friends and colleagues in town, too many, in fact, to list here. I hope to provide you with a report and some pictures later on. Even better, if the technology gods are on our side, we'll have recordings from the sessions. More on that later as well.


Saturday, 24th

11.00 - 12.30 Dave Ripley "Embedding Denial"
12.30 -13.30 Lunch
13.30 - 15.00 Heinrich Wansing: "Assertions, denials, proofs,disproofs, and their duals"
15.00 -15.30 Coffee break
15.15 - 16.45 Luca Tranchini: "Falsificationism: Dualising proof-theoretic semantics"
16.45 - 17.00 Coffee break
17.00 - 18.30 Ian Rumfitt: "Bilateralism superseded"

Sunday, 25th

09.30 - 11.00 Peter Schroeder-Heister: "Assertion and Denial in Proof-Theoretic Semantics"
11.00 - 11.15 Coffee Break
11.15 - 12.45 Michael De: "Assertion, Denial and two types of Consequence"
12.45 - 13.45 Lunch
13.45 - 15.15 Colin Caret: "Revenge Denied"
15.15 - 15.30 Coffee break
15.30 - 17.00 Greg Restall: "Derivation, Definition and Denial (together with some other speech acts)"