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:

    “Histories make men wise; poets witty; the mathematics subtle; natural philosophy deep; moral grave; logic and rhetoric able to contend.”
    —Francis Bacon (1561–1626)