Re: Fuzzy logic and Goedel's Theorems

From: Ulrich Bodenhofer (ulrich.bodenhofer@scch.at)
Date: Thu Jan 18 2001 - 08:03:24 MET

  • Next message: Masoud Nikravesh: "BISC: What is the right way to do reasoning?"

    I would rather say that is Zadeh's opinion that he considers these
    things unimportant in the context of fuzzy logic (without any particular
    implications at first hand). In any case, we should not forget
    that the notorious ignorance of logical foundations in combination
    with the term "fuzzy logic" have led to the rejection of fuzzy logic by
    a majority of logicians. However, some time has passed since then
    and several people were very much engaged in bringing more light
    into these questions. Please find enclosed three excellent
    references in which these topics are discussed in very detail.

    Regards,
    Ulrich

    --
    

    @book{Gottwald:01, author = {S. Gottwald}, title = {A Treatise on Many-Valued Logics}, publisher = {Research Studies Press}, address = {Baldock}, year = {2001}, series = {Studies in Logic and Computation} }

    @book{Hajek:98, author = {P. H\'ajek}, title = {Metamathematics of Fuzzy Logic}, publisher = {Kluwer Academic Publishers}, volume = {4}, series = {Trends in Logic}, address = {Dordrecht}, year = {1998} }

    @book{NovakPerfilievaMockor:99, author = {V. Nov\'ak and I. Perfilieva and J. Mo\v{c}ko\v{r}}, title = {Mathematical Principles of Fuzzy Logic}, publisher = {Kluwer Academic Publishers}, address = {Boston}, year = {1999} }

    "Jonas Dagys" <jdagys@tennis.lt> wrote in message news:LOBBINOMPFOEGKJEOAFDEEIICEAA.jdagys@tennis.lt... > Dear All, > > I am referring to the following claim by Ch. Morgan in Routledge > Encyclopedia of Philosophy: > "Zadeh claimed that the standard metatheoretical notions such as consistency > and completeness are not relevant to fuzzy logic". > > Does that imply that fuzzy logic is somehow immune from Goedel's proofs of > inconsistency and incompletness (which bear important consequences to AI, as > demonstrated by Lucas and Pernrose)? > And if yes, in what sense it might be argued so? > > Would be grateful for any references as well. > > Regards, > > Jonas Dagys > jpd@pieva.lt > > > ############################################################################ > 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 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 Jan 18 2001 - 08:13:36 MET