바르트리하리의 역설: 이름 붙일 수 없는 것을 어떻게 증명할까?
Bhartrhari's Paradox
5세기 인도의 문법학자이자 철학자인 바르트리하리(Bhartrhari)는 '이름 붙일 수 없는 것들'이 존재한다는 주장이 역설에 빠진다는 점을 관찰했습니다. 이 역설을 설명하기 위해, 어떤 것이 이름 붙일 수 없다는 것을 예를 들어 증명하려는 순간, 그 예는 그 대상을 지칭하게 되어 '이름 붙일 수 없다'는 주장을 스스로 부정하게 됩니다. 철학자 한스와 라디카 헤르츠버거는 이 역설을 분석하며, 이름 붙일 수 없음을 지지하는 모든 논증이 오히려 역설을 강화한다고 지적합니다. 이 글은 이 고전적인 철학적 퍼즐을 소개합니다.
이름 붙일 수 없음 테제를 지지하기 위해 제시되는 모든 논증은, 그 논증이 확립하려는 바로 그 대상들을 반복적으로 언급하는 경향이 있기 때문에, 역설 속으로 더욱 확고하게 빠져들게 만든다.
HN 토론
53- BiraIgnacio
괴델의 불완전성 정리를 설명할 수 있는 역설처럼 들리네요.
https://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_th...
- ngvrnd
„말할 수 없는 것에 대해서는 침묵해야 한다"
하지만 어떤 것이 상호작용할 수 있다면, 그것은 보통 매핑되고 정의된 다음 이름을 붙일 수 있습니다. 하지만 적어도 수학에서는 이름이 없는 것들이 항상 존재할 것입니다. 실수를 생각해 보세요.
- lordnacho
이건 6단계 분리 이론이 생각나게 하네요.
사람들은 거의 모든 사람을 6단계로 연결할 수 있다고 말합니다. 하지만 나에게 충격적이었던 것은, 이걸 시도하는 모든 사람에 대해 당신은 그들의 이름을 알고 있기 때문에, 이미 그 사람이 얼마나 멀리 떨어져 있을 수 있는지 제한했다는 점입니다.
- dredmorbius
무슨 말인지 알겠어요.
- GPerson
실수가 존재한다고 가정하면, 아마도 역설은 실수가 비가산적으로 많고 이름 붙일 수 있는 것은 가산적으로만 많기 때문에 해소될 것입니다. 하지만 그렇다면 ZFC가 참이고 실수를 잘 정렬할 수 있다고 가정하기 때문에 역설은 해소되지 않을 수도 있습니다. 따라서 첫 번째 이름 붙일 수 없는 실수에 이름을 붙일 수 있게 됩니다.