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 logic of the world is prior to all truth and falsehood.”
    —Ludwig Wittgenstein (1889–1951)