Foundations of Mathematical Structuralism
print


Breadcrumb Navigation


Content

Program

Room Arrangement

DateAddress, Room
12.10. - 13.10.2016 Leopoldstraße 13, Room 1205 (2nd floor)
14.10.2016 Leopoldstraße 13, Room 1503 (5th floor)

Wednesday (12 October 2016)

TimeEvent
09:00 - 09:15 Welcome and Conference Start
09:15 - 10:45 Steve Awodey: "Univalence and Structuralist Foundations of Mathematics"
10:45 - 11:00 Coffee Break
11:00 - 12:30 Øystein Linnebo: "Structure Abstraction" (Slides, 222 Kb)
12:30 - 12:45 Coffee Break
12:45 - 13:45 José Ferreirós: "On Feferman’s Conceptual Structuralism"
13:45 - 15:00 Lunch Break
15:00 - 16:30 James Ladyman: "Does the Univalence Axiom in Homotopy Type The- ory Encode Mathematical Structuralism?"
16:30 - 16:45 Coffee Break
16:45 - 17:45 Daniel Waxman: "Structuralism and the Epistemology of Coherence" (Handout, 48 Kb)

Thursday (13 October 2016)

TimeEvent
09:00 - 10:30 Hannes Leitgeb: "A Theory of Unlabeled Graphs as Ante Rem Structures" (Slides, 998 Kb)
10:30 - 10:45 Coffee Break
10:45 - 12:15 Erich Reck: "Towards a New Taxonomy for Mathematical Structuralism"
12:15 - 12:30 Coffee Break
12:30 - 13:30 Francesca Boccuni & Jack Woods: "Structuralist (Neo-?)Logicism"
13:30 - 15:00 Lunch Break
15:00 - 16:30 Mary Leng: "An ‘i’ for an i, a Truth for a Truth?"
16:30 - 16:45 Coffee Break
16:45 - 17:45 Josef MenĊík: "Mathematical Structuralism: Internal and External"

Friday (14 October 2016)

TimeEvent
10:00 - 11:30 Jessica Carter: "Structuralism and Mathematical Practice"
11:30 - 11:45 Coffee Break
11:45 - 13:15 Gerhard Heinzmann: "The Structuralist Roots of Mathematical Understanding: Early French Structuralism Reconsidered" (Slides, 1.62 Mb)
13:15 - 14:45 Lunch Break
14:45 - 15:45 Francesca Biagioli: "Structuralism and Mathematical Practice in Felix Klein’s Work on Non-Euclidean Geometry" (Slides, 1023 Kb)
15:45 - 16:00 Coffee Break
16:00 - 17:30 Geoffrey Hellman: "Modal-Structural Mathematics for a Multiverse" (Handout, 59 Kb)