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.
Program
Friday, 24 May
| Time | Topic |
|---|---|
| 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
| Time | Topic |
|---|---|
| 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 |
Acknowledgement
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.