• DocumentCode
    303988
  • Title

    Classical-logic analogue of a fuzzy “paradox”

  • Author

    Nguyen, Hung T. ; Kreinovich, Vladik

  • Author_Institution
    Dept. of Math. Sci., New Mexico State Univ., Las Cruces, NM, USA
  • Volume
    1
  • fYear
    1996
  • fDate
    8-11 Sep 1996
  • Firstpage
    428
  • Abstract
    One of the main reasons why classical logic is not always the most adequate tool for describing human knowledge is that in many real-life situations, we have some arguments in favor of a certain statement A and some arguments in favor of its negation -A. As a result, we want to consider both A and -A to be (to some extent) true. Classical logic does not allow us to do that, while in fuzzy logic, if the degree of belief in A is different from 0 and 1, then we have a positive degree of belief in a statement A&-A. In classical logic, A&-A is always false, so, when we get both A and -A in classical logic (a paradox), this means that something was wrong. In view of that, the fact that A&-A is possible in fuzzy logic, is viewed by some logicians as a “paradox” of fuzzy logic. In this paper, we show that in classical logic, although we cannot directly have A&-A, we can, in some sense, have confidence in both A and -A. In other words, we show that what classical logicians consider a fuzzy paradox has a direct analogue in classical logic
  • Keywords
    fuzzy logic; belief; fuzzy logic; fuzzy paradox; Arithmetic; Computer science; Fuzzy logic; Fuzzy set theory; Geometry; Solids; Writing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Fuzzy Systems, 1996., Proceedings of the Fifth IEEE International Conference on
  • Conference_Location
    New Orleans, LA
  • Print_ISBN
    0-7803-3645-3
  • Type

    conf

  • DOI
    10.1109/FUZZY.1996.551779
  • Filename
    551779