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:

    “Though living is a dreadful thing
    And a dreadful thing is it
    Life the niggard will not thank,
    She will not teach who will not sing,
    And what serves, on the final bank,
    Our logic and our wit?”
    —Philip Larkin (1922–1986)