Munich Center for Mathematical Philosophy (MCMP)

Breadcrumb Navigation


Truth and Paradox Workshop (May 24 - 25, 2013)


Idea and Motivation

Tarski's Theorem presents us with a familiar dilemma: if English is to contain its own truth-predicate, then either some instances of the T-Scheme must fail, or our logic cannot be classical. On the first approach, truth is "complex". This workshop brings together researchers working on axiomatic, semantic, and revisonary theoris of truth. The aim is to identify new connections between recent formal theories of key semantic notions, such as truth, validity, and necessity.


Friday, 24 May

09:30 Francesco Paoli: "How nonclassical is Ripley's ST?"
11:00 Break
11:30 Christine Schurz: "Modeling the Strengthened Liar Reasoning"
13:00 Lunch Break
14:30 Johannes Stern: "Necessities and Necessary Truths: A Proof theoretic addendum"
16:00 Break
16:30 Lionel Shapiro: "Naive Sequent Structure, Contraction and Paradox"

 Saturday, 25 May

09:30 David Ripley: "Expanding non-contractive consequence"
11:00 Break
11:30 Thomas Schindler: "Truth and Diagonalization"
13:00 Lunch Break
14:30 Martin Fischer: "Truth and speed-up"
16:00 Break
16:30 Elia Zardini: "If and Is"
19:00 Conference dinner


The conference is supported by the Munich Center for Mathematical Philosophy (MCMP). The conference is also generously supported by the Alexander von Foundatoin through a Humboldt Professorship.