Truth, Paradoxes and Inexpressibility

Workshop's topic is Truth, Paradoxes and Inexpressibility. Do the Liar and Curry paradoxes provide a good reason for abandoning some of the commonly accepted rules of logic? Are there any expressive limitations caused by semantic paradoxes that are inevitable? Can the notion of truth be expressed in a self-reference language?

The reserch project (Oxford - Buenos Aires) is supported by an an award of the British Academy (UK-Latin America and the Caribbean Link Programme LAC Round 2011)

The aim of the project is to establish a collaboration between two active research groups (Reflection and Incompleteness, which is based in Oxford and funded by the AHRC and "Unrestricted Quantification, Expressiveness and Contextualism", which is based in Buenos Aires and funded by the Argentinian National Research Council for Science and Technology). There is much overlap between the agendas of our research projects, and its the aim of the project to exchange our results and facilitate a longstanding cooperation between the groups.

Three specific areas of overlap in our research projects concern type-free theories of truth, the expressive limitations caused by openendedness of the set-theoretic universe and the means of overcoming them.

So far we have organised the Third New College Logic Meeting in Oxford.

Project members Buenos Aires:

Eduardo Barrio (project leader)
Ignacio Ojea
Federico Pailos
Lavinia Picollo
Lucas Rosenblatt
Diego Tajer

Project members Oxford:

Volker Halbach (project leader)
Kentaro Fujimoto
Graham Leigh
Carlo Nicolai
James Studd