Jon Litland will speak at the Logic Seminar on 17 October at 16.15. The location is the graduate common room in the philosophy faculty:
*Jon Litland* (University of Oslo) "The Downwards Justification Procedure and the Completeness and Stability of Intuitionistic Logic" *Abstrac* *t:* I show how we can rigorously develop Dummett's downwards justification procedure, the idea of which is to take the *elimination *rules as being meaning-conferring and trying to justify introduction rules on the basis of them. This gives rise to a notion of proof-theoretic consequence and allows us to give a precise definition of * stability.* I show that if we start with the intuitionistic elimination rules we can justify *exactly *the intuitionistic introduction rules, thus showing that intuitionistic logic is sound and complete with respect to this notion of proof-theoretic consequence. Taken together with results by Goldfarb showing that intuitionistic logic is sound and complete with respect to the upwards justification procedure, this shows that intuitionistic logic is *stable *in Dummett's sense. I discuss the philosophical significance of these results and discuss some open questions. Best wishes, Tim -- Tim Button, *The Limits of Realism*, Oxford University Press, 2013. Available at OUP UK <http://ukcatalogue.oup.com/product/9780199672172.do>and OUP US <http://global.oup.com/academic/product/9780199672172>
_____________________________________________________ Sent by the CamPhilEvents mailing list. To unsubscribe or change your membership options, please visit the list information page: http://bit.ly/CamPhilEvents Posts are archived here: http://bit.ly/CamPhilEventsArchive
