Barber Paradox - in First-order Logic

In First-order Logic

This sentence is unsatisfiable (a contradiction) because of the universal quantifier . The universal quantifier y will include every single element in the domain, including our infamous barber x. So when the value x is assigned to y, the sentence can be rewritten to, which simplifies to, a contradiction.

Read more about this topic:  Barber Paradox

Famous quotes containing the word logic:

    “The much vaunted male logic isn’t logical, because they display prejudices—against half the human race—that are considered prejudices according to any dictionary definition.”
    —Eva Figes (b. 1932)