5 - 7 August 2019, CUSO Summer School in Recursion Theory & Philosophy, Geneva, Switzerland

The summer school aims at broadening the logical arsenal of formal philosophers and PhD students in philosophy. The courses will present some serious post-WWII logic for non-specialists. The event is inspired W. Hart's book "The evolution of Logic" and his presentation of what he called the four pillars of mathematical logic to a broad philosophical audience: constructibility, forcing, the priority method and Morley's theorem.

The school takes place over a period of 3 days August 5-7 at the University of Geneva. There will be two 2-hours lectures per day, in the morning. There will be a facultative discussion session on one of the afternoons. The titles of the minicourses are:
1) The priority method (Denis Hirschfeldt, University of Chicago)
2) Definable sets and ramified-types: a thread through the foundations of mathematics (Harold Hodes, Cornell University)