Парадокс цирульника

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Парадокс цирульника — відомий логічний парадокс, який полягає у неможливості існування цирульника, який голить тих і лише тих, хто не голиться сам.

Формулювання[ред. | ред. код]

Нехай у якомусь селі живе цирульник, який голить тихі лишень тих, хто не голиться сам. Чи голить цирульник себе?

Із будь-якої відповіді випливає суперечність. Бертран Расселл зазначає, що цей парадокс не еквівалентний його парадоксу й легко вирішується. Насправді, як і парадокс Расселла показує, що не існує расселлової множини, парадокс цирульника показує, що такого цирульника просто не існує. Різниця полягає в тому, що в неіснуванні такого цирульника нічого дивного немає: не для всякої властивості знаходиться цирульник, який голить людей, що володіють цією властивістю. Однак те, що не існує множини елементів, заданих певною цілком визначеною властивістю, суперечить наївній уяві про множини й потребує пояснення[1][2].

Див. також[ред. | ред. код]

Примітки[ред. | ред. код]