POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC : A VICTIMS' TALE
The investigations on higher-order type theories and on the related notion of parametric polymorphism constitute the technical counterpart of the old foundational problem of the circularity (or impredicativity) of second and higher-order logic. However, the epistemological significance of such inves...
| Veröffentlicht in: | The Bulletin of Symbolic Logic. - Cambridge University Press. - 24(2018), 1, Seite 1-52 |
|---|---|
| 1. Verfasser: | |
| Format: | Online-Aufsatz |
| Sprache: | English |
| Veröffentlicht: |
2018
|
| Zugriff auf das übergeordnete Werk: | The Bulletin of Symbolic Logic |
| Schlagworte: | second order logic impredicativity intuitionistic type theory normalization proofs Philosophy Mathematics |
| Online verfügbar |
Volltext |