Re: fuzzy proofs and law of excluded middle

From: DieSpamDie (glennt6@attglobal.spam.net)
Date: Thu Jun 07 2001 - 08:14:59 MET DST

  • Next message: avineri erel: "Brainy 'Bots"

    Perhaps I'm missing something. If my membership value for
    the set of tall people is .7, then I am at the same time
    70% a member of the set and 30% not a member of the set.
    That seems like a clear denial of the law of the excluded
    middle to me.

    - Glenn

    Vilem Novak wrote in message <200105281502.f4SF2ZU08654@cx.osu.cz>...
    >The law of excluded middle holds in fuzzy logic, too; however, not
    >with weak connectives \vee, \wedge but with other kinds of
    >connectves such as Lukasiewicz conjunction and disjunction.
    >###################################################
    >Prof. Vilem Novak, DSc.
    >University of Ostrava
    >IRAFM (Institute for Research and Applications of Fuzzy Modeling)
    >30. dubna 22
    >701 03 Ostrava 1
    >Czech Republic
    >
    >tel: +420-69-6160 234
    >fax: +420-69-6120 478
    >mob: +420-602-576 477
    >e-mail: Vilem.Novak@osu.cz
    >WEB: http://ac030.osu.cz/irafm/
    >###################################################

    ############################################################################
    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



    This archive was generated by hypermail 2b30 : Thu Jun 07 2001 - 08:31:22 MET DST