16 - 18 February 2018, Workshop "Ouroboros: Formal Criteria of Self-Reference in Maths & Philosophy", Bonn, Germany
While self-reference is deeply intertwined with logic and foundational aspects of mathematics, the notion itself is still surprisingly barely understood. For instance, it can be observed that in discussions regarding the nature of Visser's and Yablo's paradoxes, often differing and vague concepts are applied. However, there has been recently several proposals of precise characterizations of self-reference. This workshop is intended to facilitate a discussion of such proposals, their interrelations and applicability to the paradoxes as well as their adequacy to capture the intuitive notion of self-reference.
This interdisciplinary workshop, designed as a hybrid between winter school and research conference, is aimed at students (incl. PhDs) and researchers from the fields of mathematics, philosophy and computer science.