[FOM] An explication of extensions, sets and membership.

Zuhair Abdul Ghafoor Al-Johar zaljohar at yahoo.com
Wed Jul 1 03:50:32 EDT 2015

Dear Sirs, 

I found an inconsistency with the theory at exposition. 

This theory proves that {x} is a set for every x, since if not a set 
then {x} would be empty and thus a sub-extension of any set and thus a set, 
a contradiction. 

Now we can use that to penetrate non sets through parameters of formulas of 
acceptance axioms to get a paradox! take the set {e(Set)}, take the formula 
"Exist y (x in y ^ y in {e(Set)})" which would be a formula in the language 
of set theory, let's call the extension of the predicate defined after this 
formula to be R. Now EVERY element of e(Set) is a set and so would an element 
of R by axiom of acceptance and therefore R would be a set! so by the subsets 
axiom e(Set) must be a set! thus have ALL sets as members of it and clearly 
this is paradoxical, since we can easily recover the Russell set, because R 
would be a set of all sets and the extension of the predicate defined after 
formula "y E R ^  not y E y" would be the Russell's set, a paradox! 

One way to remedy that is to restrict parameters of formulas of acceptance to 
hereditarily set extensions, by then we need to add an axiom of infinity if we 
are to interpret Zermelo. 

A more radical approach is not to grant existence of extensions for predicates 
not definable in the language of set theory, this can be done by weakening axiom 
of rejection as to grant some rejection instances just for the case of unfulfilled 
predicates, formally this is: 

[not Exist x (Q(x))] => Exist y,z (y=<z,Q>) 

This would possibly also allow us to free axioms of acceptance from the restriction 
on parameters altogether. The resulting theory would interpet Zermelo, but I'm not
sure if it can interpret ZF. 

Best Regards, 

Zuhair Al-Johar 

On Tue, 23 Jun 2015 16:42:35 +0000 (UTC), Zuhair Abdul Ghafoor Al-Johar <zaljohar at yahoo.com> 

A blend between Mereology, especially that of David Lewis, 
and Frege's method of extending predicates, would yield a 
body of knowledge that seems to have the potential of aiding 
understanding of classes and sets on the intuitive level as 
well as on the technical side, and so might prove useful to 
motivate further extensions of set theory, investigating 
useful alternatives, and motivating overall research in this 
field. For Details please see:

More information about the FOM mailing list