Meta-arithmetical results and their philosophical meaning
Date: May 30 – June 1, 2016
Venue: Faculty of Arts and Philosophy, Ghent University, Belgium
Organization: Centre for Logic and Philosophy of Science
Logicians and mathematicians devoted considerable effort to investigate the properties and limitations of arithmetical theories. Unfortunately, philosophical motivations and implications of some of these results are either not known or not clear. The main aim of the workshop is to present philosophically relevant meta-arithmetical results and discuss their philosophical implications in more depth. The workshop is focused on, but not restricted to formal theories of truth, theories of provability in arithmetic, logic of provability and philosophically relevant results about complexity or computability. Keynote speakers will deliver invited lectures and give extended tutorials. The title of the workshop comes from the fact that philosophical approaches to mathematical results are rather tricky.
Presentation abstract submission: March 1, 2016
Acceptance notification: April 15, 2016
Workshop: May 30, 2016 – June 1, 2016
Faculty: 60 EUR
Students: 40 EUR
If your attendance will not be covered by any grant or if you are a student with financial difficulties, please include a statement saying so at the end of your extended abstract, so we can consider you for a conference fee waiver.
One month after SWAMPLANDIA 2016 there will be an another event in Ghent, Workshop on Computability Theory 2016 which is a is a satellite of Computability in Europe 2016. The workshop will be held in Ghent, in Auditorium A of the “Faculteit Letteren en Wijsbegeerte” building at Blandijnberg 2 (The same place as Swamplandia) on 4-5 July 2016.