[FOM] nonplatonistic impredicativity

[Gabriel Stolzenberg]

   In "predicative foundations," February 15, Nik Weaver asks,

> Can [Harvey Friedman] give a compelling justification for any
> impredicative system that does not assume a platonistic conception
> of sets?

   I can't speak for Harvey but, on my block, impredicative definitions
are O.K. constructively, even for the logical constants.

   However, I admit that this is mainly a matter of wishing to explore
some of the very interesting and computationally powerful consequences
of admitting such definitions.


      Gabriel Stolzenberg