[FOM] impredicative definitions/paper announcement

Monroe Eskew meskew at math.uci.edu
Sun Nov 21 15:52:21 EST 2010

Aside from being one possible response to Russell's paradox, what is
the motivation for predicativism?


On Sat, Nov 20, 2010 at 6:10 AM, Nik Weaver <nweaver at math.wustl.edu> wrote:
> Daniel Mehkeri wrote:
>> Kleene's O was mentioned, but it is constructed from below in a
>> sense. It is common especially in constructive mathematics to call
>> that predicative
> Yes, Michael Rathjen calls this kind of thing "generalized predicative".
> I would use the term "pseudo-predicative".  Generally you're talking
> about constructive reasoning which is genuinely predicative augmented
> by one or two axioms which are not (most notably, full set induction).
> Incidentally, I have a new survey paper on predicativism (and it does
> discuss this point).  It's called "What is predicativism?" and can be
> found at
> http://www.math.wustl.edu/~nweaver/what.pdf
> or among my other papers at
> http://www.math.wustl.edu/~nweaver/conceptualism.html
> Nik Weaver
> Math Dept.
> Washington University
> St. Louis, MO 63130 USA
> nweaver at math.wustl.edu
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

More information about the FOM mailing list