FOM: Cantor's Theorem & Paradoxes & Continuum Hypothesis

Joseph Vidal-Rosset jvrosset at club-internet.fr
Tue Feb 13 10:46:18 EST 2001


>At 9:45 AM +0100 2/13/01, Joseph Vidal-Rosset wrote:
>
>>The point is that invoking Separation in the proof there is an 
>>implicit mention of the Power Set: "a particular subset of A is 
>>determined by the totality of all subsets of A, or even by the 
>>totality of all sets - which is just the procedure against which 
>>Russell's vicious circle principle was directed." (Fraenkel et 
>>alia, Foundations of Set Theory, p. 38).

At 8:30 -0600 13/02/2001, William  Tait wrote:
>Jo, I don't see how this can be correct---pace Fraenkel. This would 
>mean that there is no such thing as predicative analysis, since, by 
>your criterion, *every* definition of a set of numbers, e.g. even 
>that of the set of even numbers, presupposes the totality of such 
>sets and so is impredicative.

Dear Bill,

Yes, I believe that is exactly the lesson of the complex story of 
impredicativity : roughly we need to introduce the set of integers 
and the definitions made on numbers are impredicative by the way. See 
for example the predicative  schema of systems constructed by Wang 
which shows perfectly this fact. Poincaré critics to Russell's theory 
of type can be made against Wang's system in the same way. Kreisel 
pointed out this fact very clearly. And it shows, interestingly from 
a philosophical point of view, in my opinion, the limits of 
constructivism, or the limits of predicativism, and that is a good 
point for the realism in mathematics, independently of the various 
meanings of this word.

At 8:30 -0600 13/02/2001, William  Tait wrote:
>Of course, in ZF, every definition of a set of objects requires 
>Separation. But suppose we dropped Separation (and even Power Set) 
>and introduced, as primitive, the rank function, rank(x). Then we 
>could have the axiom that any property of sets of rank <= alpha 
>defines a set. The rank function itself seems predicative: rank(x) = 
>union {rank(y) : y in x} would be its defining axiom.
>
>We shouldn't be bullied by set theory or some particular axiomatization of it.

Thanks a lot for this technical precision, that helps.

All the best,

Jo.
-- 
------
Joseph Vidal-Rosset
page web: http://www.u-bourgogne.fr/PHILO/joseph.vidal-rosset




More information about the FOM mailing list