[FOM] impredicative definitions/paper announcement
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
> or among my other papers at
> Nik Weaver
> Math Dept.
> Washington University
> St. Louis, MO 63130 USA
> nweaver at math.wustl.edu
> FOM mailing list
> FOM at cs.nyu.edu
More information about the FOM