Pré-Publication, Document De Travail Année : 2017

Predicativity and parametric polymorphism of Brouwerian implication

Mark van Atten

Résumé

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.

Fichier principal
Vignette du fichier
IntuitionisticImplication_preprint.pdf (452.87 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

halshs-01619110 , version 1 (19-10-2017)
halshs-01619110 , version 2 (05-05-2018)

Licence

Identifiants

  • HAL Id : halshs-01619110 , version 1

Citer

Mark van Atten. Predicativity and parametric polymorphism of Brouwerian implication. 2017. ⟨halshs-01619110v1⟩
410 Consultations
358 Téléchargements

Partager

  • More