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:

    “It is the logic of our times,
    No subject for immortal verse—
    That we who lived by honest dreams
    Defend the bad against the worse.”
    —Cecil Day Lewis (1904–1972)