이발사는 누가 면도해 줄까

마을의 한 문장이 만든 빈 의자

규칙이 적용되는 마을 남자 가운데 이발사 한 사람이 있다고 하자. 이발사는 “스스로 면도하지 않는 모든 남자, 그리고 오직 그런 남자만 면도한다”고 선언한다. 스스로 면도하는 사람은 그의 손님이 아니고, 스스로 면도하지 않는 사람은 모두 그의 손님이다. 이제 이발사 자신에게 규칙을 적용하면 어느 쪽을 골라도 반대쪽으로 밀려난다. 이야기의 질문은 누가 이발사를 면도하느냐보다 먼저, 그런 조건을 만족하는 사람이 존재할 수 있느냐는 것이다.

“모두”와 “오직”을 함께 읽기

규칙에는 두 방향이 들어 있다. 스스로 면도하지 않는 남자라면 이발사가 면도한다. 이발사가 면도하는 남자라면 스스로 면도하지 않는다. 앞 방향만 남기면 이발사가 자신도 면도하면서 다른 사람을 맡는 경우가 가능해지고, 뒤 방향만 남기면 맡아야 할 손님을 빠뜨릴 수 있다. 역설은 두 방향을 묶은 “그럴 때 그리고 그럴 때에만” 조건에서 생긴다.

러셀이 밝힌 이야기의 출처

버트런드 러셀은 1918년 「논리적 원자론의 철학」 강연에서 이발사 형태를 자신에게 누군가 제안했다고 썼다. 따라서 이 이야기를 러셀이 처음 고안한 원문으로 단정할 근거는 약하다. 그는 또한 이 형태의 모순은 풀기 어렵지 않다고 했다. 현실의 직업 규칙이라면 결론은 간단하다. 그 조건을 만족하는 이발사는 존재하지 않는다.

문단 자료[1]

두 갈래를 직접 따라가기

이발사가 자신을 면도한다고 가정하자. 규칙의 “오직 스스로 면도하지 않는 사람만”이라는 방향 때문에 그는 자신을 면도하지 않아야 한다. 반대로 자신을 면도하지 않는다고 가정하면, “스스로 면도하지 않는 모든 사람을 면도한다”는 방향 때문에 자신을 면도해야 한다. 두 가정이 각각 반대를 낳는다. 정의가 한 사람에게 양립할 수 없는 요구를 건다.

기호가 보여 주는 대각선

S(x,y)를 “x가 y를 면도한다”라고 쓰고 이발사를 b라 하자. 규칙은 모든 남자 x에 대해 S(b,x) ↔ ¬S(x,x)라고 표현된다. 여기에 x=b를 넣으면 S(b,b) ↔ ¬S(b,b)가 된다. 어떤 문장 P도 P ↔ ¬P를 고전 논리에서 만족할 수 없다. 이 기호화는 면도라는 소재를 벗겨 내고, 관계의 입력 자리에 그 관계를 수행하는 주체 자신을 넣는 대각선 구조를 보여 준다.

문단 자료[1]

새 인물을 더해도 규칙은 그대로다

다른 사람이 이발사를 면도한다고 해도 원래 규칙의 충돌은 남는다. 이발사는 스스로 면도하지 않는 사람이므로 자기 규칙에 따라 자신을 면도해야 하기 때문이다. 수염이 자라지 않는다는 설정을 붙여도 “스스로 면도하지 않는 모든 사람”이라는 조건은 여전히 그를 포함한다. 모순을 해소하려면 규칙의 대상이나 조건을 명시적으로 바꿔야 한다. 등장인물을 더하기보다 모순된 존재 조건을 거부해야 한다.

조건문과 존재 주장을 분리하기

“그런 이발사가 있다”는 존재 주장과 “어떤 사람이 그런 이발사라면 다음 규칙을 따른다”는 조건문은 다르다. 조건을 만족하는 사람이 전혀 없으면 후자의 보편 조건문은 고전 논리에서 공허하게 참이지만, 존재 주장은 거짓이다. 일상 퍼즐은 대개 이발사가 실제로 있다고 전제한다. 모순은 그 존재 전제가 규칙과 함께 유지될 수 없음을 밝힌다.

정의와 존재는 별개의 문제다

말로 조건을 적었다고 해서 그 조건을 만족하는 대상이 자동으로 생기지는 않는다. “모든 자연수보다 큰 가장 큰 자연수”라는 표현을 만들 수 있어도 그런 자연수는 없다. 이발사도 마찬가지다. 정의문은 후보가 충족해야 할 기준을 제시할 뿐, 후보의 존재를 보증하지 않는다. 존재하려면 조건들이 서로 양립하고 실제로 충족될 수 있어야 한다.

거짓말쟁이 역설과 다른 점

앞 회차의 거짓말쟁이는 문장이 자기 자신의 진릿값을 되먹이는 문제였다. 이발사 이야기는 사람들 사이의 면도 관계와 전칭·양방향 조건을 한 사람 자신에게 적용하면서 생긴다. 둘 다 자기 적용을 포함하지만, 하나는 진리 술어가 얽힌 문장이고 다른 하나는 관계를 규정한 존재 조건이다. 같은 “자기언급”이라는 말만으로 합치면 각 역설의 논리 장치가 사라진다.

러셀의 집합 역설과 닮은 뼈대

스스로를 원소로 갖지 않는 모든 집합의 모임 R을 생각하면 R∈R ↔ R∉R이라는 같은 모양이 나타난다. 이발사 규칙의 S(b,b) ↔ ¬S(b,b)와 구조가 닮았다. 그러나 마을 이야기에서는 그런 이발사가 없다고 하면 끝난다. 집합의 경우에는 “어떤 조건이든 집합을 만든다”는 기초 원리가 수학 체계 안에서 문제를 일으킨다. 그 차이는 다음 13회에서 따로 다룬다.

문단 자료[1][2]

비유가 보여 주는 것과 가리는 것

이발사 비유는 자기 적용의 두 갈래를 눈에 보이게 만든다. 동시에 집합과 사람을 같은 종류의 대상으로 착각하게 만들 수 있다. 사람은 모순된 직업 설명을 만족하지 않으면 그만이지만, 소박한 집합론은 조건에 맞는 집합이 존재한다고 허용했다. 따라서 비유는 논증의 골격을 배우는 입구로 쓰고, 집합 형성 원리의 역사와 해법을 이 이야기만으로 대신하지 않는다.

문단 자료[1][2]

규칙을 어떻게 고칠 수 있을까

모순을 피하려면 조건 하나를 바꿔야 한다. 이발사 자신을 규칙의 적용 범위에서 제외할 수 있고, “모든”을 “일부”로 바꾸거나, “오직” 방향을 없앨 수도 있다. 각 수정은 서로 다른 제도를 만든다. 적용 범위와 조건의 방향을 문장에 명시해야 한다. 규칙을 고친 뒤에는 이발사 자신을 다시 대입해 양립 가능한지 확인해야 한다.

데이터 규칙에서도 되풀이되는 문제

정보 시스템에서도 “자기 자신을 승인하지 않은 모든 계정, 그리고 오직 그런 계정만 승인하는 계정”처럼 자기 적용이 가능한 규칙을 만들 수 있다. 역할 목록, 검증자, 자동 분류기가 자기 자신을 입력으로 받을 때 예외가 생기는지 살펴야 한다. 실제 시스템은 권한 층을 나누거나 자기 승인을 금지하고 별도 검증자를 둔다. 이발사 이야기는 구체적 보안 설계의 해답보다 자기 적용 검사의 필요성을 알려 주는 모형이다.

규칙표로 빠진 경우 찾기

대상 집합과 행동을 표로 만들면 모순이 더 빨리 보인다. 각 사람에 대해 스스로 면도하는지, 이발사가 면도하는지 적고 두 값이 정확히 반대여야 한다고 검사한다. 일반 주민에게는 두 열을 반대로 채울 수 있다. 이발사 행에서는 두 열이 같은 사건 S(b,b)를 가리키므로 한 칸에 서로 반대인 값을 요구한다. 표는 대상과 관계의 자리를 재확인하는 도구다.

역설을 만났을 때의 질문 순서

첫째, 규칙의 적용 범위는 누구인가. 둘째, “모두”와 “오직”이 각각 어느 방향을 뜻하는가. 셋째, 규칙을 정하는 주체도 그 범위에 들어가는가. 넷째, 그 주체를 자기 자리에 대입하면 어떤 식이 되는가. 다섯째, 모순이 나오면 대상이 없다는 결론인지 체계의 형성 원리를 고쳐야 하는지 구별한다. 이 순서는 말장난을 구조 검토로 바꾼다.

빈 의자가 남기는 교훈

이발사의 빈 의자는 처음 제시한 직업 설명을 만족하는 사람이 없다는 결론을 나타낸다. 규칙이 대상을 설명하는 일과 대상을 존재하게 만드는 일을 구별하면 질문은 선명해진다. 다음 회차에서는 같은 대각선 구조가 집합 형성 원리 안으로 들어갈 때 왜 훨씬 깊은 위기가 되는지, 러셀의 집합 역설을 통해 살펴본다.