Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

3-5 December 2013, "Proof Theory and Philosophy", Groningen, The Netherlands

Date: 3-5 December 2013
Location: Groningen, The Netherlands

https://sites.google.com/site/therootsofdeduction/events-and-announcements/

On December 3-5 2013, the Department of Theoretical Philosophy of the Faculty of Philosophy in Groningen will host the workshop 'Proof Theory and Philosophy', jointly organized by the VIDI projects 'The Roots of Deduction' and 'Logics for Intelligent Interaction: Expressivity and Succictness', and the Munich Center for Mathematical Philosophy.

This workshop aims at reviving the inherent philosophical interest of proof theory, and at showcasing a number of interesting applications that the framework can have for long-standing philosophical and logical questions. Moreover, it will foster philosophical discussions on the foundations of proof theory as an area of inquiry, including the very concept of a proof and the conceptual, philosophical import of key results such as normalization, cut elimination, admissibility and derivability of rules. Finally, since the growing interest in modal proof theory is challenging and reshaping philosophical debates, the workshop will provide a forum for the discussion of ongoing research across proof theory and philosophical logics.

The workshop is open to all, but please register by sending a message to with the subject 'Registration for proof theory workshop', stating your name and affiliation. For more information, see https://sites.google.com/site/therootsofdeduction/events-and-announcements/

Please note that this newsitem has been archived, and may contain outdated information or links.