International Workshop “Structuralist Foundations“
Department of Philosophy (NIG, 3rd floor at Hörsaal 3A)
Universitätsstraße 7, University of Vienna, 1010 Vienna
February 20-21, 2020
Confirmed Speakers: Chris Scambler (New York University), Carolin Antos-Kuby (University of Konstanz), Daniel Kuby (University of Konstanz), Stuart Presnell (University of Bristol), Neil Barton (University of Konstanz), Marianna Antonutti Marfori (Ludwig-Maximilians-University Munich), Benedict Easthaugh (Ludwig-Maximilians-University Munich), Deborah Kant (University of Konstanz), Luca San Mauro (TU Vienna), Michał Tomasz Godziszewski (University of Warsaw)
Day 1 Thursday | February 20, 2020
9:00 – 9:15 Opening
9:15 – 10:15 Neil Barton (University of Konstanz, GER)
“Algebraic Levels in Mathematical Structuralism”.
10:15 – 10:45 Tea/Coffee, Room 3A (D0312, 3rd floor)
10:45 – 11:45 Carolin Antos-Kuby (University of Konstanz, GER) and
Daniel Kuby (University of Konstanz, GER)
“The ‘algebraic vs. non-algebraic’ distinction”.
11:45 – 14:00 Lunch
14:00 – 15:00 Stuart Presnell (University of Bristol, UK)
“Structuralism in Univalent Homotopy Type Theory”.
15:00 – 16:00 Benedict Easthaugh (Ludwig-Maximilians-University Munich, GER)
“tba”.
16:00 – 16:30 Tea/Coffee, Room 3A (D0312, 3rd floor)
16:30 – 17:30 Luca San Mauro (TU Vienna, AUT)
“Beyond Isomorphism: The Interplay between Structures and Computation”.
Day 2 Friday | February 21, 2020
9:00 – 10:00 Marianna Antonutti Marfori (Ludwig-Maximilians-University Munich, GER)
“tba”.
10:00 – 10:30 Tea/Coffee, Room 3A (D0312, 3rd floor)
10:30 – 11:30 Chris Scambler (New York University, USA)
“Categoricity and Determinacy”.
11:30 – 12:30 Deborah Kant (University of Konstanz, GER)
“Set theorists’ voices on the foundational role of set theory”.
12:30 – 14:30 Lunch
14:30 – 15:30 Michał Tomasz Godziszewski (MCMP LMU Munich & University of Warsaw, POL)
“Structures and foundations – set theory vs. second order logic”.
15:30 – 16:00 Tea/Coffee, Room 3A (D0312, 3rd floor)
