Schedule
17 September 2024
10:00 – 11:15: Øystein Linnebo (University of Oslo), Invariance and the construction of intensional entities
Coffee break
11:45 – 13:00: Kentaro Fujimoto (University of Bristol), The liberal predicativist interpretation of predicativity
Lunch break
14:30 – 15:45: Mirja Hartimo (University of Helsinki), A Husserlian perspective on predicativity
Coffee break
16:15 – 17:30: Laura Crosilla (University of Florence), Predicativity and definiteness
18 September 2024
9:30 – 10:45: Ethan Brauer (University of Oslo), Weyl's Mathematical Process and the Aims of Das Kontinuum
Coffee break
11:15 – 12:30: Stefan Neuwirth (Université de Franche-Comté), Paul Lorenzen's conceptions of predicativity and constructiveness
Lunch break
15:15 – 16:30: Michael Rathjen (University of Leeds), Indefiniteness, definiteness in semi-intuitionistic theories of sets
Coffee break
17:00 – 18:15: Andrea Cantini (University of Florence), Remarks on reflecting and unfolding