Archive of events from 2018
An archive of events from the year

Gothenburg–Warsaw Workshop on Truth
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.

Research Lindström Lecture: Michael Rathjen (University of Leeds)
Bounds for the strength of the graph minor and the immersion theorem
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 Kruskallike principles, presenting lower and upper bounds.

Public Lindström Lecture: Michael Rathjen (University of Leeds)
Progressions of theories and slow consistency
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. selfreference Rosserstyle, 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
The Tenth Scandinavian Logic Symposium (SLS 2018) was held at the University of Gothenburg, Sweden during June 1113, 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).