[FOM] Meta-arithmetic and philosophy CFP (Swamplandia 2016)

[Rafal Urbaniak]

Swamplandia 2016
Meta-arithmetical results and their philosophical meaning
Ghent, May 30 - June 1, 2016

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.

Keynote speakers
Diderik Batens (Ghent University)
Cezary Cieśliński (University of Warsaw)
Jeffrey Ketland (University of Oxford)
Lavinia Picollo (Munich Center for Mathematical Philosophy)
Saeed Salehi (University of Tabriz)
Peter Verdée (Université Catholique de Louvain)
Albert Visser (Utrecht University)

Submissions
We welcome submissions of papers that strike a balance between technical
developments and philosophical discussion. If you’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 at gmail.com

by March 1, 2016. Authors of accepted papers will have 30-45 minutes to
present their work.

Publication
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.

Presentation abstract submission: March 1, 2016
Acceptance notification: April 15, 2016
Fee payment deadline:  May 1, 2016
Workshop: May 30, 2016 - June 1, 2016

Fees
Faculty: 60 EUR
Students: 40 EUR
Late fee: 30 EUR + basic fee
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.

Organizers: Rafal Urbaniak, Pawel Pawlowski and Erik Weber
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160130/e5ef5a20/attachment-0001.html>