Document Actions

summer school

Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments

London, August 1-6, 2011

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],

Structural Reflection and Topologies on Ordinals [Talk].

Fernando Ferreira (Lisbon),

An overview of predicativity [Course],

A short note on Spector’s proof of consistency of analysis [Talk]‬.

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),

Rudimentary recursion, provident sets and forcing [Talk, cf. handout, as well as manuscripts on Mathias depository].

Jouko Väänänen (Helsinki and Amsterdam),

Model theory of second-order logic: First, Second, Third Lecture [Course],

Second-order logic or set theory [Talk].

Albert Visser (Utrecht),

Interpretations: First, Second, Third Lecture [Course],

Coordinate Free Ways of Characterizing Consistency Statements 2 [Talk].

Philip Welch (Bristol),

Large Cardinals, Inner Models and Determinacy: First, Second, Third Lecture [Course].

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.

Organized by: Michael Detlefsen (ANR and Notre Dame), Salvatore Florio (Birkbeck), Hannes Leitgeb (Munich Center for Mathematical Philosophy), Øystein Linnebo (Birkbeck), and Sean Walsh (Birkbeck).

Questions? Please contact Sean Walsh (Birkbeck)

There was an error while rendering the portlet.


  • New Philosophy MA

    The Department is delighted to announce the launch of its new MA programme in Philosophy from 2014-15.

  • Jennifer Hornsby will be speaking at HowTheLightGetsIn

    This May, Jennifer Hornsby will be speaking at HowTheLightGetsIn, the world’s largest philosophy and music festival.

  • Tom Quinn to talk at Toronto conference

    Tom Quinn (MPhil/PhD student) has had accepted a paper he submitted in a call, and so will be talking at a graduate conference, "Naturalistic Approaches to Action, Mind and Value", at York University, Toronto, April 24th-25th 2014.