Re: defn of impredicativity (was Re: goals and language?)

["glen e. p. ropella" <***>]

OK, Torkel.  You win. [grin]  Your obstinence and gadfly skills far 
exceed mine.

Torkel Franzen wrote:
> glen e. p. ropella says: 
> > Yes.  It seems to me that using the AFA, when defining structures, 
> > allows impredicative definitions.
>
>   AFA has nothing whatever to do with the impredicative comprehension
> principle I stated.
>
>   It appears you haven't read the passage from Rosen's book
> I was inquiring about.

--
glen e. p. ropella              =><=                Hail Eris!
H: 503-630-4505                       http://ropella.net/~gepr
M: 503-971-3846                        http://tempusdictum.com