Swamplandia 2016

May 30, 2016 - June 1, 2016
Centre for Logic and Philosophy of Science, University of Ghent

Ghent, Belgium
Belgium

View the Call For Papers

Sponsor(s):

  • Research Foundation Flanders (FWO)

Speakers:

Peter Verdée
Universite catholique de Louvain
Diderik Batens
Ghent University
University of Warsaw
Jeffrey Ketland
Oxford University
Lavinia Picollo
Munich Center for Mathematical Philosophy
National University of Singapore
Saeed Salehi
University of Tabriz
Albert Visser
Utrecht University

Organisers:

Pawel Pawlowski
University of Ghent
University of Gdansk
Erik Weber
University of Ghent

Topic areas

Talks at this conference

Add a talk

Details

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.

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

Yes

May 1, 2016, 5:00am CET

Who is attending?

No one has said they will attend yet.

Will you attend this event?


Let us know so we can notify you of any change of plan.

RSVPing on PhilEvents is not sufficient to register for this event.

Custom tags:

#meta-arithmetic