Reflection Principles in Set Theory

Set-theoretic reflection principles state that properties of the entire hierarchy of sets are “reflected” in initial segments of the hierarchy. Such principles are often thought to enjoy a high degree of intrinsic plausibility and perhaps even to be part of the iterative conception of sets. Reflection principles are also known to be quite strong (especially in their higher-order versions). This workshop seeks to address philosophical and foundational questions concerning such principles.

Topics may include:

• Motivations for reflection principles
• Reflection principles and indefinite extensibility
• Reflection principles and higher-order logic
• Reflection principles and the choice of linguistic primitives
• Reflection principles and truth predicates
• Reflection principles and logical consequence; Kreisel’s problem

Schedule

Monday 19th March

11-12.20     Sam Roberts (Birkbeck)

12.20-1.40  Lunch break

1.40-3         Philip Welch (Bristol)

3.15-4.35    William Tait (Chicago)

4.50-6.10    Geoffrey Hellman (Minnesota)

Tuesday 20th March

10-11.20     Sean Walsh (Birkbeck)

11.40-1       Jouko Väänänen (Helsinki and Amsterdam)

1-2.30         Lunch break

2.30-3.50    Stewart Shapiro (Ohio State, St Andrews)

4.10-5.30    Joan Bagaria (Barcelona)

Further information about the workshop may be found here:
www.bbk.ac.uk/philosophy/our-research/ppp/reflection-principles-in-set-theory

Registration

In order to attend the workshop, please register by sending an email with your name and affiliation to [email protected]. There is no charge for registration. The deadline for registration is March 5th.