Predicativity and parametric polymorphism of Brouwerian implication

arXiv1710.07704MaRDI QIDQ6292833FDOQ6292833

Authors: Mark van Atten 

Publication date: 19 October 2017

Abstract: 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"of.

This page was built for publication: Predicativity and parametric polymorphism of Brouwerian implication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6292833)