Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments
Click here for the entire conference program and related practical information.
This was an interdisciplinary summer school, consisting of four days of mini-courses (August 1-4) and a subsequent two-day conference (August 5-6), all hosted at the Institute of Philosophy in London. The goal of this summer school was to provide a forum in which set theorists and philosophers of mathematics -- as well as students of these disciplines-- could interact and discuss recent results and debates at the intersection of set-theory and higher-order logic. The speakers at these events, listed below, have graciously allowed us to post some of the materials from their talks:
Aldo Antonelli (UC Davis),
The Abstraction Mystique [Talk].
Joan Bagaria (Barcelona),
Introduction to Omega-Logic [Course],
An overview of predicativity [Course],
Joel Hamkins (CUNY/NYU),
A tutorial in set-theoretic geology [Course],
The modal logic of forcing [Talk].
Leon Horsten (Bristol),
Truth and Paradox [Course],
Principles of Revision [Talk].
Luca Incurvati (Cambridge),
Groundedness in Set Theory [Course, Joint with Leitgeb].
Hannes Leitgeb (Munich),
Semantic Groundedness [Course, Joint with Incurvati].
A.R.D. Mathias (Université de la Réunion),
Jouko Väänänen (Helsinki and Amsterdam),
Second-order logic or set theory [Talk].
Albert Visser (Utrecht),
Philip Welch (Bristol),
Strong Reflection Principles [Talk]
This summer school was made possible through generous support provided by: the Plurals, Predicates, and Paradox Project (European Research Council), the New Frontiers of Infinity Project (European Science Foundation), the Ideals of Proof Project (L’Agence nationale de la recherche), the Philosophy Department and Logic Group of the University of Notre Dame, and the Munich Center for Mathematical Philosophy (Alexander von Humboldt Stiftung). This support also made it possible to offer ten 200 GBP student stipends to help defray costs for students.
Questions? Please contact Sean Walsh (Birkbeck)