On arithmetic in the Cantor-Łukasiewicz fuzzy set theory (Q2388435)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
scientific article

    Statements

    On arithmetic in the Cantor-Łukasiewicz fuzzy set theory (English)
    0 references
    0 references
    13 September 2005
    0 references
    In Łukasiewicz logic it is well possible that a formula is equivalent to its own negation (its truth value is just \(\frac 12)\). The fact is closely related with Russell's paradox. People may wish to have a set theory with full comprehension over Łukasiewicz set theory. The author attempts to develop a Cantor set theory in Łukasiewicz predicate logic. Unfortunately the main result is negative, we cannot assume the existence of a natural number satisfying a simple scheme of induction, i.e., we get an inconsistency.
    0 references
    inconsistency
    0 references
    Łukasiewicz logic
    0 references
    fuzzy set theory
    0 references
    contradiction
    0 references
    0 references

    Identifiers