[FOM] Predicativism and natural numbers

[Giovanni Lagnese]

Yes, but their definition of set is impredicative.

> 
> As I understand this--and I'm not sure I do--the notion of "set" is 
> entirely different for (at least certain) predicativists.
> 
> 
> 
> On Dec 26, 2005, at 9:57 PM, Giovanni Lagnese wrote:
> 
>> How do most predicativists justify their acceptance of an impredicative
>> definition of the set of natural numbers?
>> Is there a philosophical (not practical) argument that justifies this
>> exception?
> 
> 
>