Predicativity, Nelson, Parsons and Dummett

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