Curry's Paradox - Naive Set Theory

Naive Set Theory

Even if the underlying mathematical logic does not admit any self-referential sentence, in set theories which allow unrestricted comprehension, we can nevertheless prove any logical statement Y by examining the set

The proof proceeds as follows:

  1. Definition of X
  2. from 1
  3. from 2, contraction
  4. from 1
  5. from 3 and 4, modus ponens
  6. from 3 and 5, modus ponens

Therefore, in a consistent set theory, the set does not exist for false Y. This can be seen as a variant on Russell's paradox, but is not identical. Some proposals for set theory have attempted to deal with Russell's paradox not by restricting the rule of comprehension, but by restricting the rules of logic so that it tolerates the contradictory nature of the set of all sets that are not members of themselves. The existence of proofs like the one above shows that such a task is not so simple, because at least one of the deduction rules used in the proof above must be omitted or restricted.

Read more about this topic:  Curry's Paradox

Famous quotes containing the words naive, set and/or theory:

    “The naive notion that a mother naturally acquires the complex skills of childrearing simply because she has given birth now seems as absurd to me as enrolling in a nine-month class in composition and imagining that at the end of the course you are now prepared to begin writing War and Peace.”
    —Mary Kay Blakely (20th century)

    “God is the immemorial refuge of the incompetent, the helpless, the miserable. They find not only sanctuary in His arms, but also a kind of superiority, soothing to their macerated egos: He will set them above their betters.”
    —H.L. (Henry Lewis)

    “There is in him, hidden deep-down, a great instinctive artist, and hence the makings of an aristocrat. In his muddled way, held back by the manacles of his race and time, and his steps made uncertain by a guiding theory which too often eludes his own comprehension, he yet manages to produce works of unquestionable beauty and authority, and to interpret life in a manner that is poignant and illuminating.”
    —H.L. (Henry Lewis)