[FOM] Predicativity and parametric polymorphism of Brouwerian implication

Mark van Atten vanattenmark at gmail.com
Fri Oct 20 07:39:51 EDT 2017

A preprint of this paper is now available at


A common objection to the definition of intuitionistic implication in
the Proof Interpretation is that it is impredicative. I discuss the
history of that objection, argue that in Brouwer's writings
predicativity of implication is ensured through parametric
polymorphism of functions on species, and compare this construal with
the alternative approaches to predicative implication of Goodman,
Dummett, Prawitz, and Martin-Löf.

Best wishes,

More information about the FOM mailing list