Re: Superset <=> subset

Dr. Rich Artym (rartym@galacta.demon.co.uk)
Thu, 26 Sep 1996 08:52:52 +0100


In message <199609250631.CAA25353@smtp2.erols.com>, Ian Goddard writes:

> Here we need a rule, for example:
>
> The inside of the subset is the
> area that contains all that it is.

I've tried to figure out which of various possible meanings you intended,
but English is hopeless for this task. As you're good at formalisms,
could you try to make your argument more formally, and in particular,
indicate where you're using fuzzy sets and where 2-valued sets?

Needless to say, you should *expect* to arrive at contradictions and
paradoxes if you are reducing an argument expressed in fuzzy set theory
into another based on traditional logic --- Bertrand Russell showed
that very clearly. I worked a lot with higher-order functions and
typed objects while doing research on concurrent object-oriented purely
functional languages, and I used to come across this sort of problem
all the time. It's a good thing that people are beginning to show some
will to drop political correctness in maths at long last and look at more
powerful formalisms, as it's been an annoying bugbear for a long time.

Cheers,

Rich.

-- 
###########  Dr. Rich Artym  ================  PGP public key available
# galacta #  Email   : rich@galacta.demon.co.uk         158.152.156.137
# ->demon #  Web     : http://www.galacta.demon.co.uk   194.222.245.150
# ->ampr  #  AMPR    : rich@g7exm[.uk].ampr.org 44.131.164.1 BBS:GB7MSW
# ->NTS   #  Fun     : Unix, X, TCP/IP, kernel, O-O, C++, SoftEng, Nano
###########  More fun: Regional IP Coordinator Hertfordshire + N.London