[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: OT: Quine; Cantor (was Re: [jboske] Aristotelian vs. modern logic)



Jordan DeLong scripsit:

> > That's Cantor's paradox: the set of all sets must contain its power set
> > as a member, which is impossible. The whole point of Quine abstraction
> > is that it's eliminable *without* reifying over sets.
> 
> I dunno what 'eliminable' means.

You can rewrite all talk of Quine abstraction in terms of pure quantified
logic without introducing any sets that are the values of variables.
So the pseudo-set x^ = {x | x is even} is just Ax: x is even.

-- 
John Cowan jcowan@reutershealth.com http://www.ccil.org/~cowan
Is it not written, "That which is written, is written"?