Predicativity, Nelson, Parsons and Dummett
- Date: Wednesday 22 February 2017, 14:00 – 15:30
- Location: Mathematics Level 8, MALL 1 & 2, School of Mathematics
- Type: Proofs, Constructions and Computations, Seminars, Pure Mathematics
- Cost: Free
Laura Crosilla, University of Leeds. Part of the proofs, constructions and computations seminar series.
I shall discuss the notion of predicativity and particularly focus on predicatively motivated objections to the principle of mathematical induction put forth by Edward Nelson and Charles Parsons. Time permitting, I shall draw a connection between these complaints on induction and an argument for intuitionistic logic put forth by Michael Dummett.
Laura Crosilla, University of Leeds