WORKSHOP THEME
\nLogicians 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.
\nSUBMISSIONS
\nWe welcome submissions of papers that strike a balance between technical developments and \; philosophical discussion. If you&rsquo\;re interested in presenting at the workshop\, please send your extended abstract (1000-1500 words) prepared for double-blind review in PDF format to swamplandia2016@gmail.com by March 1\, 2016. Authors of accepted papers will have 30-45 minutes to present their work.
\nPUBLICATION
A Studia Logica volume on the philosophical aspects of meta-arithmetical and set-theoretic results \; will be edited by the organizers. Participants are welcome to submit papers for the volume some time after the conference. Details TBA.