Archive of events from 2018

The Gothenburg–Warsaw workshop on truth was held on Thursday, 6 December 2018 at the Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg. See below for the schedule.

The meeting was sponsored by the research project Reflection and Truth funded by the Knut och Alice Wallenberg Stiftelse and the University of Gothenburg.

Organisers: Graham Leigh and Ali Enayat.

The graph minor theorem, GM, is arguably the most important theorem of graph theory. The strength of GM exceeds that of the standard classification systems of RM known as the “big five”. The plan is to survey the current knowledge about the strength of GM and other Kruskal-like principles, presenting lower and upper bounds.

The fact that “natural” theories, i.e. theories which have something like an ‘idea’ to them, are almost always linearly ordered with regard to logical strength has been called one of the great mysteries of the foundation of mathematics. Using paradoxical methods, e.g. self-reference Rosser-style, one can distill theories with incomparable logical strengths and show that the degree structure of logical strengths is dense in that between two theories S < T one can always find a third Q such that S < Q < T. But are there ‘natural’ examples of such phenomena? We also know how to produce a stronger theory by adding the consistency of the theory. Can we get a stronger theory by adding something weaker than consistency that is still “natural”? These and other questions will be broached in the talk.

The Tenth Scandinavian Logic Symposium (SLS 2018) was held at the University of Gothenburg, Sweden during June 11-13, 2018, under the auspices of the Scandinavian Logic Society. The previous two meetings of the SLS were held in Tampere, Finland (2014) and Roskilde, Denmark (2012).