I have a question.
In ZF set theory the powerset of a set S denoted as P(S) cannot be a
member of S. Because of that you cannot construct the set of all sets,
because it will lack its own powerset, which is a set and so ought to be
a member of the set of all sets.
Let's take a set S and construct its P(S). I can after that construct
P(P(S)) and after that P(P(P(S))) and so on.
Now let us take a Boolean logic where P(S) can perhaps be a member of S.
Let R be the set of all sets.
I can construct a P(R).
P(R) must be a member of R.
But then I get a new R' containing P(R),
And after that a P(R'), etcetera.
So I must conclude that R is not the set of all sets.
Now I'm wondering: in Fuzzy logic it should be possible for a P(S) to
have a degree of membersip in S. "The whole in the part", read B.
Kosko's book "Fuzzy thinking".
The question is: can I construct in fuzzy logic a (fuzzy) set of all
sets?
(Ofcourse this has to do with Russell's antinomy, but only the first
part.)
I am looking out for your suggestions,
Best regards,
Nico du Bois.
############################################################################
This message was posted through the fuzzy mailing list.
(1) To subscribe to this mailing list, send a message body of
"SUB FUZZY-MAIL myFirstName mySurname" to listproc@dbai.tuwien.ac.at
(2) To unsubscribe from this mailing list, send a message body of
"UNSUB FUZZY-MAIL" or "UNSUB FUZZY-MAIL yoursubscription@email.address.com"
to listproc@dbai.tuwien.ac.at
(3) To reach the human who maintains the list, send mail to
fuzzy-owner@dbai.tuwien.ac.at
(4) WWW access and other information on Fuzzy Sets and Logic see
http://www.dbai.tuwien.ac.at/ftp/mlowner/fuzzy-mail.info
(5) WWW archive: http://www.dbai.tuwien.ac.at/marchives/fuzzy-mail/index.html