Nghịch lý thợ cạo

Một biến thể của nghịch lý Russell
(đổi hướng từ Nghịch lý thợ cắt tóc)

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.[1] 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ýSửa đổi

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?[2]

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 logicSửa đổi

 

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 y sẽ bao gồm mọi phần tử trong miền, bao gồm cả thợ cắt tóc x. Vì vậy, khi giá trị x được gán cho y, 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íchSửa đổi

  1. ^ The Philosophy of Logical Atomism, reprinted in The Collected Papers of Bertrand Russell, 1914-19, Vol 8., p. 228
  2. ^ Bertrand Russell: The Philosophy of Logical Atomism, 1918, in: The Collected Papers of Bertrand Russell, 1914-19, Vol 8., p. 228.

Xem thêmSửa đổi

Liên kết ngoàiSửa đổi