new approaches to predicativity
SPEAKERS
University of Oslo
University of Florence
University of Florence
University of Bristol
University of Helsinki
University of Oslo
Université de Franche-Comté
University of Leeds
PROGRAM
17 September 2024
10.00 – 11.15: Øystein Linnebo, Invariance and the construction of intensional entities
Coffee
11.45 – 13.00: Kentaro Fujimoto (University of Bristol), The liberal predicativist interpretation of predicativity
Lunch
14.30 – 15.45: Mirja Hartimo (University of Helsinki), A Husserlian perspective on predicativity
Coffee
16.15 – 17.30: Laura Crosilla (University of Florence), Predicativity and definiteness
18 September 2024
09.30 – 10.45: Ethan Brauer (University of Oslo), Weyl’s Mathematical Process and the Aims of Das Kontinuum
Coffee
11.15 – 12.30: Stefan Neuwirth (Université de Franche-Comté), Paul Lorenzen’s conceptions of predicativity and constructiveness
Lunch
15.15 – 16.30: Michael Rathjen (University of Leeds), Indefiniteness, definiteness in semi-intuitionistic theories of sets
Coffee
17:00 – 18:15: Andrea Cantini (University of Florence), Remarks on reflecting and unfolding