[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
[Author Index]
Re: defn of impredicativity (was Re: goals and language?)
- From: Calvin Ostrum <***>
- Date: Tue, 9 Aug 2005 16:53:13 -0400
On 8/9/05, glen e. p. ropella <***> wrote:
> So, then why would you claim that Barwise and Moss, in their statement
> of "proposition 2.6", are grossly incorrect?
It is not the statement that the axiom of foundation entails "(a) a is
not a member of a" which is grossly incorrect. It is the statement
that the axiom of foundation, because of that entailment, "apparently
prohibit[s] impredicative definitions" that is grossly incorrect.