Philosophy of Mathematics Seminar (Monday - Week 8, HT24)
Monday 4 March, 4:30-6:30pm
Online Only
Stella Moon (Czech Academy of Sciences Institute of Philosophy): 'Husserlian Philosophy of Mathematical Practice and Homotopy Type Theory'
In this talk, I argue that Husserl's method, sense-investigation (Besinnung), can be understood as pertaining to philosophy of mathematical practice. In particular, I show that sense-investigation involves joining the mathematical community, and looking at philosophical questions found within mathematical practice. I further apply this method to the philosophical question about identity within homotopy type theory.
The meeting will be online only. Those who wish to attend via Zoom, please write to Daniel Isaacson.
Philosophy of Mathematics Seminar Convenors: Daniel Isaacson, Christopher Scambler and James Studd
