Nghịch lý thợ cạo

Nghịch lý thợ cạo (đôi khi còn gọi là nghịch lý thợ cắt tóc) là một vấn đề nan giải được phát triển từ nghịch lý Russell. Nó được chính Bertrand Russell sử dụng như một minh họa cho nghịch lý mang tên ông, mặc dù ông gán cho một nhân vật vô danh nào đó đã gợi ý ví dụ này cho ông. Ví dụ này chỉ ra một kịch bản rõ ràng hợp lý lại trở nên phi logic.

Nghịch lý
Một ông thợ cạo được định nghĩa là "người mà cạo cho tất cả những người khác, những người mà không thể tự cạo cho mình". Câu hỏi đặt ra là, vậy ông thợ cạo có tự cạo cho chính mình?

Việc giải đáp câu hỏi này sẽ dẫn đến một sự mâu thuẫn. Người thợ cạo A không thể cạo cho chính mình vì theo định nghĩa ông chỉ cạo cho những người không thể tự cạo cho chính họ. Nhưng nếu ông thợ cạo A không cạo cho chính mình thì ông A ấy lại thuộc nhóm người mà sẽ được cạo bởi ông thợ cạo (bao gồm A), nghĩa là ông ấy lại cạo được cho chính mình.

Diễn giải theo logic 

 

Câu này không thỏa mãn (một mâu thuẫn) vì định lượng phổ quát . Phần định lượng  sẽ bao gồm mọi phần tử trong miền, bao gồm cả thợ cắt tóc . Vì vậy, khi giá trị  được gán cho , có thể viết lại thành 
Đó là một ví dụ về sự mâu thuẫn .
( đúng thì  sai và ngược lại)

Chú thích

Xem thêm
Nghịch lý Russell

Liên kết ngoài 
 Proposition of the Barber's Paradox
 Joyce, Helen. "Mathematical mysteries: The Barber's Paradox." Plus, May 2002.
 Edsger Dijkstra's take on the problem
 The Monist, Vol. 29, No. 3, JULY, 1919, THE PHILOSOPHY OF LOGICAL ATOMISM, page 354

Nghịch lý