### Logic List Mailing Archive

## "Proof Theory and Philosophy"

**3-5 Dec 2013**

Groningen, The Netherlands

https://sites.google.com/site/therootsofdeduction/events-and-announcements/workshop-proof-theory-and-philosophy
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? (https://sites.google.com/site/therootsofdeduction/) and
?Logics for Intelligent Interaction: Expressivity and Succictness?
(http://www.philos.rug.nl/~barteld/research.html), and the Munich Center
for Mathematical Philosophy.
The workshop will begin around 3PM on December 3rd and will end at 1PM on
December 5th.It will take place at the Faculty of Philosophy in Groningen
(Oude Boteringestraat 52, Groningen).
Since its beginnings in the early 20th century, proof theory remains one
of the main areas of research in logic. However, as logic became
increasingly ?mathematical?, proof theory?s original connections with
philosophical questions became somewhat obscured by developments in
technical and computational aspects and applications.
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.
SPEAKERS
Dora Achourioti (UvA, Amsterdam)
Catarina Dutilh Novaes (Groningen)
Norbert Gratzl (MCMP, Munich)
Ole Hjortland (MCMP, Munich)
Rosalie Iemhoff (Utrecht), TBC
Laurent Keiff (Lille)
Paolo Maffezioli (Groningen)
Sara Negri (Helsinki)
Giuseppe Primiero (London)
Stephen Read (St. Andrews), TBC
Olivier Roy (MCMP, Munich)
Göran Suldholm (Leiden), TBC
Luca Tranchini (Tübingen)
The workshop is open to all, but please register by sending a message to
rootsofdeduction 'at' gmail.com with the subject 'Registration for proof
theory workshop', stating your name and affiliation.