철학 on kenji.blog

날아가는 화살은 멈춰 있을까? 제논의 '날아가는 화살'의 역설

Thu, 10 Sep 2026 21:00:00 +0900

활에서 쏘아진 화살이 하늘을 날아가고 있습니다. 이 화살은 분명히 움직이고 있습니다. 하지만 기원전 5세기 그리스의 철학자 제논은 다음과 같은 무서운 논리를 전개했습니다.

“날아가는 화살은 사실 멈춰 있다”

이것은 농담이나 궤변이 아니며, 2500년 동안 수학자와 철학자들이 진지하게 논쟁해 온 **“날아가는 화살의 역설”**입니다.

제논의 논증

제논의 논의는 ‘시간의 순간’이라는 개념을 출발점으로 삼습니다.

시간은 ‘순간’의 연속이다.
어떤 한 순간(시간의 길이가 0인 한 점)을 ‘사진’처럼 잘라내면, 화살은 공간의 특정 한 점에 ‘있다’.
그 순간, 화살은 그 장소를 ‘차지하고’ 있을 뿐이며, 움직이지 않는다. (만약 움직이고 있다면, 그것은 ‘순간’이 아니라 ‘시간의 폭’을 필요로 할 것이다)
이것은 어떤 순간을 꺼내도 마찬가지이다.
시간의 모든 순간에 화살이 정지해 있다면, 화살은 언제 움직이는가?

graph TD A["날아가는 화살"] --> B["시간은 순간의 연속"] B --> C["순간 t1: 화살은 위치 A에 정지"] B --> D["순간 t2: 화살은 위치 B에 정지"] B --> E["순간 t3: 화살은 위치 C에 정지"] C --> F{"모든 순간에 화살은 정지해 있다"} D --> F E --> F F --> G["결론: 화살은 움직이지 않는다!"] style A fill:#2196F3,color:#fff style F fill:#FF9800,color:#fff,stroke-width:2px style G fill:#F44336,color:#fff,stroke-width:3px

직관 vs 논리

“말도 안 돼. 화살은 실제로 날아가고 있잖아"라는 것이 대부분의 사람들의 첫 반응일 것입니다. 하지만 제논의 논의에 대해 논리적으로 어디가 틀렸는지 지적하는 것은 사실 매우 어렵습니다.

실제로 고대 그리스의 철학자 디오게네스는 제논을 향해 그저 일어나 방 안을 걸어 다니며 “보아라, 움직이고 있다"라고 보여주었다고 전해집니다. 하지만 이것은 제논의 논리를 반박한 것이 아닙니다. 제논이 묻고 있는 것은 ‘움직일 수 있는가’가 아니라, ‘움직인다는 것이 무엇인가를 우리의 논리로 모순 없이 설명할 수 있는가’이기 때문입니다.

미적분학을 통한 해결 (시도)

17세기에 뉴턴과 라이프니츠가 발명한 미적분학은 이 역설에 대한 수학적인 해답을 (적어도 부분적으로) 제공했습니다.

미적분학에서는 ‘어떤 순간의 속도(순간 속도)‘를 다음과 같이 정의합니다.

$$ v(t) = \lim_{\Delta t \to 0} \frac{\Delta x}{\Delta t} $$

즉, 위치의 변화량 $\Delta x$ 를 시간의 변화량 $\Delta t$ 로 나누고, $\Delta t$ 를 한없이 0에 가깝게 만든 ‘극한’으로서 속도를 정의하는 것입니다.

여기서 핵심은 ‘순간의 속도’는 시간 폭이 0인 상태에서의 이동 거리가 아니다라는 것입니다. 그것은 그 시간 전후의 미세한 변화의 ‘경향’, 즉 **‘극한’**으로서 정의되는 양인 것입니다.

따라서 미적분학의 입장에서 본 해답은 다음과 같습니다.

“확실히 길이가 0인 순간을 잘라내면, 그 순간 ‘안’에서 화살은 이동하지 않는다. 하지만 화살은 그 순간에도 ‘순간 속도(0이 아닌 극한값)‘라는 성질을 가지고 있다. ‘정지해 있다’는 것은 ‘순간 속도가 0’임을 의미하지만, 날아가는 화살의 순간 속도는 0이 아니기 때문에 화살은 ‘정지해 있다’고 말할 수 없다.”

남겨진 철학적 질문

미적분학은 제논의 역설에 대한 실용적인 해결책을 제공했지만, 철학적으로 완전히 결론이 난 것은 아닙니다.

‘극한’이라는 개념은 어디까지나 수학적인 도구(계산 절차)이며, **‘시간의 최소 단위(순간)란 물리적으로 무엇인가’, ‘연속이란 무엇인가’, ‘운동의 본질이란 무엇인가’**와 같은 근원적인 질문에는 엄밀히 말해 대답하지 않기 때문입니다.

현대 물리학(양자 역학)에서는 시간과 공간에도 최소 단위(플랑크 시간, 플랑크 길이)가 존재할 가능성이 논의되고 있으며, 만약 시간이 ‘연속’이 아니라 ‘이산적(디지털)‘이라면, 제논의 역설은 전혀 다른 맥락에서 재평가되어야 할지도 모릅니다.

제논의 화살은 2500년이 지난 지금도 우리에게 “움직인다는 것은 무엇인가”, “시간이란 무엇인가"를 묻고 있습니다.

모래알을 하나 제거하면, 모래더미는 언제 모래더미가 아니게 되는가?: 모래더미의 역설

Thu, 10 Sep 2026 21:00:00 +0900

눈앞에 1만 알의 모래로 만들어진 훌륭한 모래더미가 있다고 합시다. 누가 봐도 이것은 「모래더미」입니다. 여기서 모래알을 하나만 제거합니다. 9,999알. 아직 모래더미이죠? 한 알 더 제거합니다. 9,998알. 이것도 아직 모래더미입니다.

이 작업을 반복해 봅시다. 한 알 제거한 정도로 「모래더미」가 「모래더미가 아닌 것」으로 바뀌지는 않을 것입니다. 그러나 이 논리를 끝없이 반복해 나가면, 최종적으로는 단 한 알의 모래만 남게 됩니다.

한 알의 모래는 「모래더미」일까요?

물론 한 알의 모래를 「모래더미」라고 부르는 사람은 없습니다. 그러나 우리는 「한 알을 제거해도 모래더미는 모래더미 그대로다」라는 전제를 한 번도 부정하지 않았습니다. 어딘가에서 논리가 파탄 났지만, 대체 몇 번째 알에서 모래더미는 모래더미가 아니게 된 걸까요?

이것이 기원전 4세기 고대 그리스의 철학자 에우불리데스에서 유래한 **「모래더미의 역설(소리테스의 역설)」**입니다.

논리적 구조

이 역설은 다음과 같은 삼단논법의 형태로 표현할 수 있습니다.

전제 1: 1만 알의 모래 모임은 「모래더미」이다. 전제 2: 모래더미에서 모래알을 하나 제거한 것은 여전히 「모래더미」이다. 결론: 따라서 한 알의 모래도 「모래더미」이다.

전제 1도 전제 2도, 각각 단독으로는 매우 그럴듯하게 들립니다. 그러나 전제 2를 반복 적용하면, 명백히 틀린 결론이 도출됩니다.

graph LR A["10,000알 = 모래더미"] -->|1알 제거| B["9,999알 = 모래더미"] B -->|1알 제거| C["9,998알 = 모래더미"] C -->|...반복...| D["100알 = 모래더미?"] D -->|1알 제거| E["10알 = 모래더미?"] E -->|1알 제거| F["1알 = 모래더미?"] style A fill:#4CAF50,color:#fff style D fill:#FF9800,color:#fff style E fill:#FF5722,color:#fff style F fill:#F44336,color:#fff,stroke-width:3px

왜 이 역설은 풀 수 없는가

모래더미의 역설의 핵심은, 「모래더미」라는 단어가 본질적으로 모호하다는 것입니다. 「모래더미」에는 「몇 알 이상이면 모래더미」라는 명확한 정의(임곗값)가 존재하지 않습니다. 이러한 개념을 **「모호 술어(vague predicate)」**라고 부릅니다.

우리의 일상 언어는 이러한 모호한 단어로 가득 차 있습니다.

**「키가 크다」**란 몇 센티미터 이상? 180cm인 사람은 「키가 크다」. 1mm 깎으면? 한 1mm 더 깎으면?
**「부자」**란 자산이 얼마 이상? 100억 원이면 「부자」. 1원 줄면?
**「대머리」**란 몇 가닥 이하? 0가닥이면 「대머리」. 1가닥 나면?

이것들은 모두 모래더미의 역설과 완전히 같은 구조를 가지고 있습니다.

철학자들의 접근법

1. 인식론적 접근법 (경계선은 존재한다)

이 접근법에서는 「실은 모래더미와 비모래더미 사이에 명확한 경계선이 존재하지만, 인간에게는 그것을 인식할 능력이 없을 뿐이다」라고 주장합니다. 예를 들어 「5,837알은 모래더미이지만 5,836알은 모래더미가 아니다」라는 정확한 경계가 있지만, 우리는 알 수 없다는 입장입니다.

논리학적으로는 깔끔하지만, 많은 사람이 직관적으로 이 입장에 위화감을 느낄 것입니다.

2. 퍼지 논리 (단계적 진릿값)

고전적인 논리학에서는 「참인가 거짓인가」의 이자택일이지만, 퍼지 논리에서는 「0에서 1 사이의 어딘가의 값」을 취할 수 있습니다.

예를 들어:

1만 알의 모래는 「모래더미도 = 1.0 (완전한 모래더미)」
5,000알이면 「모래더미도 = 0.7」
100알이면 「모래더미도 = 0.1」
1알이면 「모래더미도 = 0.0 (완전한 비모래더미)」

이 방법은 실용적이지만, 역설이 완전히 해소되는 것은 아닙니다. 「모래더미도 0.7과 0.699의 차이는 무엇인가?」라는 새로운 모호함이 생겨 버리기 때문입니다.

3. 초치부여 의미론 (Supervaluationism)

이 사고방식에서는 「모래더미」라는 단어에 대해 생각할 수 있는 모든 합리적인 경계선을 동시에 고려합니다. 모든 경계선에서 「모래더미」로 판정되면 「확실히 모래더미」, 모든 경계선에서 「비모래더미」이면 「확실히 비모래더미」, 의견이 나뉘는 영역은 「불확정」으로 판정합니다.

현대 사회에 미치는 영향

모래더미의 역설은 단순한 말장난이 아니라, 현실의 법률이나 정책의 세계에서도 심각한 문제를 일으킵니다.

성인 연령: 17세 364일은 「아이」이고, 18세 0일은 「어른」. 하루 만에 본질적으로 무엇이 바뀌는가?
빈곤선: 연 소득이 기준액보다 1원 적으면 「빈곤」이고, 1원 많으면 「비빈곤」으로 간주된다.
환경 규제: 오염 물질의 배출량이 기준치를 0.001mg 초과하면 위법. 기준치 딱 맞으면 합법.

인간의 언어와 사고는 본질적으로 모호함을 포함하고 있으며, 세계를 명확한 이항 대립으로 나누려는 것 자체가 무리일지도 모릅니다. 모래더미의 역설은 2400년 이상에 걸쳐 철학자들을 괴롭혀 온, 인간 지성의 근원적인 한계를 보여 주는 역설입니다.

스승과 제자, 어느 쪽이 이겨도 모순되는 재판: 프로타고라스의 역설

Thu, 10 Sep 2026 21:00:00 +0900

고대 그리스, 가장 위대한 소피스트(변론술 교사)인 프로타고라스에게 에우아틀로스라는 젊은이가 제자로 들어갔습니다. 두 사람 사이에는 다음과 같은 수업료 지불 계약이 체결되었습니다.

계약 내용: 에우아틀로스는 변론술의 전 과정을 수료한 후, 첫 번째 재판에서 승소한 시점에 수업료 잔액을 프로타고라스에게 지불한다.

에우아틀로스는 우수한 학생으로, 변론술의 전 과정을 훌륭히 수료했습니다. 그러나 수료 후, 그는 어찌 된 일인지 단 한 건의 재판도 맡으려 하지 않았습니다. 재판에 나가지 않으면 ‘첫 번째 재판에서 승소한다’는 조건이 영원히 충족되지 않기 때문에 수업료를 지불할 필요가 없었기 때문입니다.

애가 탄 프로타고라스는 에우아틀로스를 법정에 고소했습니다. “수업료를 지불하라"고 말이죠.

그리고 여기서부터 논리의 미궁이 시작됩니다.

스승 프로타고라스의 논리

프로타고라스는 법정에서 이렇게 주장했습니다.

“재판관님, 어떻게 되든 저의 승리입니다.

만약 이 재판에서 제가 이기면, 법원의 판결에 따라 에우아틀로스는 저에게 수업료를 지불해야 합니다.
만약 이 재판에서 제가 지면, 에우아틀로스에게는 ‘첫 번째 재판에서 승소한’ 것이 됩니다. 즉 계약 조건이 충족되어, 그는 계약에 따라 수업료를 지불해야 합니다.

어느 경우든 그는 수업료를 지불할 의무가 있습니다.”

제자 에우아틀로스의 논리

이에 맞서 에우아틀로스도 지지 않았습니다.

“재판관님, 어떻게 되든 저의 승리입니다.

만약 이 재판에서 제가 이기면, 법원의 판결에 따라 저는 수업료를 지불할 필요가 없습니다.
만약 이 재판에서 제가 지면, 저는 아직 ‘첫 번째 재판에서 승소’하지 않았습니다. 즉 계약 조건이 충족되지 않았기 때문에, 계약상 저는 수업료를 지불할 의무가 없습니다.

어느 경우든 저는 수업료를 지불할 필요가 없습니다.”

graph TD A["재판의 결과"] --> B["프로타고라스 승소"] A --> C["에우아틀로스 승소"] B --> B1["판결: 에우아틀로스는 지불한다"] B --> B2["계약: 에우아틀로스는 승소하지 않았다 → 지불하지 않아도 된다"] C --> C1["판결: 에우아틀로스는 지불하지 않아도 된다"] C --> C2["계약: 에우아틀로스의 첫 승소 → 지불해야 한다"] B1 --> D{"모순! 판결 vs 계약"} B2 --> D C1 --> E{"모순! 판결 vs 계약"} C2 --> E style A fill:#ECEFF1,stroke:#333,stroke-width:2px style B fill:#4CAF50,color:#fff style C fill:#2196F3,color:#fff style D fill:#F44336,color:#fff,stroke-width:3px style E fill:#F44336,color:#fff,stroke-width:3px

왜 모순되는가

이 역설이 발생하는 근본적인 원인은 서로 다른 두 가지 규칙 시스템(법률과 계약)이 서로 모순되는 판단을 내리기 때문입니다.

법률의 규칙: 법원의 판결을 따르라.
계약의 규칙: “첫 번째 재판에서 승소하면 지불한다"는 조건을 따르라.

일반적으로 법률과 계약은 각각 독립적인 도메인으로 기능하지만, 프로타고라스가 “수업료 지불"을 재판의 쟁점으로 삼으면서, 이 재판의 결과 자체가 계약 조건에 영향을 미치게 되어 두 시스템이 자기 언급적인 루프에 빠진 것입니다.

법학자들의 답변

고대 로마의 법학자 아울루스 겔리우스는 이 문제에 대해 다음과 같은 해결책을 제시했습니다.

“법원은 에우아틀로스에게 유리한 판결(지불 불필요)을 내려야 한다. 왜냐하면 계약 조건이 아직 충족되지 않은 것은 사실이기 때문이다. 그러나 이 판결 이후, 프로타고라스는 에우아틀로스를 다시 고소할 수 있다. 왜냐하면 첫 번째 재판에서 에우아틀로스가 승소함에 따라 계약 조건이 충족되었기 때문이다. 두 번째 재판에서는 프로타고라스가 승소할 것이다.”

즉, 역설을 ‘한 번의 재판으로 동시에 해결’하려고 하면 모순이 발생하지만, ‘두 번으로 나누어’ 처리하면 모순이 해소될 수 있다는 것이 이 답변입니다.

자기 언급의 역설과의 연결

프로타고라스의 역설은 ‘거짓말쟁이의 역설(“이 문장은 거짓이다”)‘이나 ‘러셀의 역설’과 동일한 자기 언급 구조를 가지고 있습니다. 어떤 명제(재판의 결론)가 자기 자신의 진위를 결정하는 조건(계약의 성립)에 영향을 미치게 되는 것입니다.

이러한 종류의 역설은 현대 컴퓨터 과학의 ‘정지 문제(어떤 프로그램이 정지할지 여부를 판정하는 프로그램은 만들 수 없다)‘나 괴델의 불완전성 정리 등, 논리와 계산의 근본적인 한계를 보여주는 문제들과 깊은 관련이 있습니다.

프로타고라스의 역설은 인간이 만든 규칙 시스템(법률이나 계약)이 교묘한 자기 언급에 의해 내부 붕괴될 수 있음을 가르쳐주는, 2400년 전부터 내려온 경고입니다.

에메랄드는 녹색인가, 아니면 '그루'색인가?: 굿맨의 새로운 귀납의 수수께끼

Thu, 10 Sep 2026 21:00:00 +0900

우리는 ‘과거의 경험’으로부터 ‘미래’를 예측합니다. “태양은 어제도 동쪽에서 떴으니, 내일도 동쪽에서 뜰 것이다.” “지금까지 본 에메랄드는 모두 녹색이었으니, 다음에 캐낼 에메랄드도 녹색일 것이다.”

이러한 추론을 ‘귀납법’이라고 부르며, 모든 과학의 기초가 됩니다. 하지만 1955년, 철학자 넬슨 굿맨은 이 귀납법이 근본적인 결함을 안고 있음을 보여주는 기묘한 색의 개념을 고안했습니다. 그것이 ‘그루(Grue)‘의 역설입니다.

새로운 색 ‘그루(Grue)‘의 정의

굿맨은 ‘녹색(Green)‘과 ‘파란색(Blue)‘을 합성한 ‘그루(Grue)‘라는 새로운 성질(색)을 다음과 같이 정의했습니다.

그루(Grue)의 정의: 어떤 물체가 ‘그루’라는 것은, 특정 시간 $t$(예를 들어 서기 2030년 1월 1일) 이전에 관찰된 경우에는 ‘녹색(Green)‘이며, 시간 $t$ 이후에 관찰된 경우에는 ‘파란색(Blue)‘인 것을 의미한다.

$$ \text{Grue} = \begin{cases} \text{Green} & (\text{시간} < t) \\ \text{Blue} & (\text{시간} \ge t) \end{cases} $$

이 정의에 따르면, 지금 현재(시간 $t$ 이전) 당신이 손에 들고 있는 녹색 에메랄드는 ‘녹색’인 동시에 ‘그루색’이기도 합니다.

왜 그것이 역설인가?

역설은 우리가 미래를 예측하려고 할 때 발생합니다. 지금까지 인류가 관찰해 온 모든 에메랄드는 ‘녹색’이었습니다. 따라서 우리는 귀납법을 사용하여 다음과 같이 예측합니다.

가설 A: “모든 에메랄드는 ‘녹색’이다”

하지만 잠깐만요. 지금까지 관찰된 에메랄드는 시간 $t$ 이전의 것이므로, 모두 ‘그루색’이기도 했을 것입니다. 따라서 완전히 동일한 관찰 데이터로부터 다음과 같은 예측도 성립합니다.

가설 B: “모든 에메랄드는 ‘그루색’이다”

귀납법의 규칙을 따른다면, 과거의 모든 관찰이 가설 A를 지지하는 것과 ‘완전히 동일한 강도’로 가설 B도 지지하고 있는 것이 됩니다.

graph TD A["과거의 관찰: 모든 에메랄드는 녹색이었다"] -->|동시에| B["과거의 관찰: 모든 에메랄드는 '그루색'이었다"] A --> C["귀납적 예측 A: 미래의 에메랄드도 '녹색'일 것이다"] B --> D["귀납적 예측 B: 미래의 에메랄드도 '그루색'일 것이다"] C --> E["시간 t 이후에도 녹색 그대로"] D --> F["시간 t 이후에는 '파란색'이 된다!"] style C fill:#4CAF50,stroke:#333,color:#fff style D fill:#2196F3,stroke:#333,color:#fff style F fill:#F44336,stroke:#333,color:#fff,stroke-width:2px

에메랄드는 파란색으로 변할 것인가?

만약 가설 B가 옳다고 한다면, 시간 $t$가 도래한 순간에 전 세계의 모든 에메랄드는 일제히 ‘파란색’으로 변해야만 합니다(그루의 정의에 의해).

우리는 직감적으로 “그런 바보 같은 일은 없다. 가설 B는 부자연스러운 말장난이며, 가설 A(녹색)가 옳은 것이 당연하다"라고 생각합니다.

하지만 굿맨의 질문은 더 깊은 곳에 있습니다. “녹색"과 “그루색”, 두 가설 모두 과거의 데이터와 완전히 일치하는데, 왜 우리는 “녹색"의 예측만을 정당하다고 간주하고 “그루색"의 예측을 배제하는 것일까? 그 ‘논리적인 근거’는 무엇인가?

“자연의 제일성(斉一性)“에 대한 도전

이 문제를 피하기 위해, “‘녹색’과 같은 단순한 개념을 사용해야 하며, ‘그루’처럼 시간이 포함된 복잡한 개념은 사용해서는 안 된다"는 반론이 떠오릅니다.

하지만 굿맨은 반대로 “블린(Bleen: 시간 $t$까지는 파란색, 그 이후는 녹색)“이라는 색을 정의하면, “녹색"이라는 개념 자체가 “시간 $t$까지는 그루, 그 이후는 블린"이라는 시간에 의존하는 복잡한 개념이 되어버린다는 것을 보여주었습니다. 즉, 어떤 단어를 ‘기본’으로 삼을 것인지는 우리의 언어 습관에 불과한 것입니다.

굿맨의 “그루"의 역설(새로운 귀납의 수수께끼)은, 과학 이론이 단순한 객관적인 데이터만으로 결정되는 것이 아니라, 우리가 “어떤 개념의 틀(언어)을 사용하여 세상을 바라보고 있는가"에 강하게 의존하고 있음을 증명했습니다.

AI나 머신러닝의 맥락에서도, 학습 데이터가 동일하더라도 “모델의 구조(어떤 특징에 주목할 것인가)“에 따라 미래에 대한 예측이 완전히 달라진다는 “과적합(Overfitting)“이나 “편향(Bias)“의 문제로서 이 역설은 현대에도 중요한 의미를 계속해서 가지고 있습니다.