귀납법 on kenji.blog

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

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)“의 문제로서 이 역설은 현대에도 중요한 의미를 계속해서 가지고 있습니다.

파란 사과를 보면 '까마귀는 검다'는 것의 증명이 될까?: 헴펠의 까마귀

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

과학자는 어떻게 이론을 증명할까요? 보통은 세계를 관찰하고 데이터를 수집하는 ‘귀납법(induction)‘을 사용합니다. 예를 들어, “모든 까마귀는 검다"는 가설을 증명하고 싶다면, 전 세계의 까마귀를 관찰하여 그것이 검은지 하나하나 확인해 나갈 것입니다.

하지만 1940년대, 논리학자 칼 헴펠(Carl Hempel)은 이 당연한 과학적 방법론에 숨겨진 기묘한 논리적 허점을 지적했습니다. 그것이 바로 **“파란 사과나 빨간 구두를 보는 것만으로 ‘까마귀는 검다’는 증거가 된다”**는 헴펠의 까마귀(Hempel’s Ravens) 역설입니다.

논리의 뒤바뀜: 대우의 마법

헴펠의 주장을 이해하기 위해서는 고등학교 수학에서 배우는 **‘대우(contraposition)’**라는 개념을 떠올릴 필요가 있습니다.

논리학에서 어떤 명제 “A이면 B이다"가 참이면, 그 대우인 “B가 아니면 A가 아니다"도 반드시 참이 됩니다(이를 논리적 동치라고 부릅니다).

가설 $H_1$: “모든 까마귀는 검다 (까마귀라면, 검다)”

이 가설 $H_1$의 대우를 취해 봅시다. “검지 않다면, 까마귀가 아니다"가 됩니다.

가설 $H_2$: “모든 검지 않은 것은, 까마귀가 아니다”

논리학의 규칙에 따르면, $H_1$과 $H_2$는 **완전히 같은 의미(동치)**입니다. 한쪽이 증명되면, 자동으로 다른 한쪽도 증명된 것이 됩니다.

까마귀를 보지 않고 까마귀를 증명하기

이제 가설 $H_1$(까마귀는 검다)을 확인하기 위해서는, 검은 까마귀를 한 마리 발견할 때마다 가설의 확실성(증거)이 조금씩 강해집니다. 이것은 누구나 납득할 수 있는 사실입니다.

하지만 $H_1$과 $H_2$는 같은 의미이므로, 가설 $H_2$(검지 않은 것은 까마귀가 아니다)의 증거를 찾는 것은, 그대로 가설 $H_1$의 증거가 되어야 합니다.

그렇다면 $H_2$의 증거란 무엇일까요? “검지 않고, 까마귀도 아닌 것"을 찾으면 됩니다.

테이블 위에 **“파란 사과”**가 있다고 해봅시다. 이것은 검지 않고, 까마귀도 아닙니다. 따라서 $H_2$를 뒷받침하는 증거입니다.
옷장 안에 **“빨간 구두”**가 있었습니다. 이것도 검지 않고, 까마귀도 아닙니다. $H_2$의 증거입니다.
하늘에 **“하얀 구름”**이 떠 있습니다. 이것 역시 $H_2$의 증거입니다.

$H_2$의 증거는 $H_1$의 증거와 같은 가치를 지니기 때문에, 논리적으로는 다음과 같은 기묘한 결론이 도출됩니다.

“방 안에서 파란 사과나 빨간 구두를 관찰하면 할수록, ‘모든 까마귀는 검다’는 가설의 올바름이 증명되어 간다”

왜 직관에 반하는가?

파란 사과를 보고 “까마귀는 검다"고 확신을 깊게 하는 조류학자는 세상 어디에도 없습니다. 논리학적으로는 완벽하게 옳아야 하는데, 왜 우리의 상식은 이를 거부하는 것일까요?

철학이나 통계학의 세계에서는 이 역설에 대해 몇 가지 접근법을 제안하고 있습니다.

1. 베이즈주의적 해결법 (정보량의 차이)

현대 통계학(베이즈 확률) 관점에서의 가장 유력한 반론은, ‘증거의 강도(정보량)‘의 차이에 주목하는 것입니다.

세계에는 ‘검은 것’보다 ‘검지 않은 것’이 압도적으로 많고, 또한 ‘까마귀’보다 ‘까마귀가 아닌 것’이 천문학적으로 많이 존재합니다.

파란 사과를 보았을 때, 그것은 확실히 “모든 까마귀는 검다"는 것의 증거는 되지만, 그 증거로서의 가치(확률의 상승폭)가 한없이 0에 가깝다는 것입니다. 광활한 우주 속에 있는 무수히 많은 ‘검지 않은 것’ 중 하나를 확인했다고 해서, “까마귀가 검다"는 확률이 올라가는 양은 사막에서 모래알 하나를 치우는 정도의 영향밖에 없습니다. 반면, 검은 까마귀를 직접 한 마리 발견하는 것은 압도적으로 큰 증거로서의 가치를 지닙니다.

즉, 논리적으로는 “파란 사과는 증거가 된다"지만, 실용적으로는 “증거로서의 가치가 0에 가깝기 때문에 무시해도 좋다"는 것이 베이즈적 해결입니다.

2. ‘실내 조류학’의 한계

이 역설은 ‘귀납법(관찰에서 일반 법칙을 도출하는 것)‘이라는 과학의 근간이 얼마나 취약한 전제 위에 성립되어 있는지를 부각시킵니다. 논리적 동치성에만 의존하게 되면, 밖으로 나가지 않고 방 안의 잡동사니를 관찰하는 것만으로도 우주의 모든 법칙(“모든 백조는 희다”, “모든 외계인은 초록색이 아니다” 등)을 검증할 수 있게 된다는 ‘실내 조류학’이 가능해지고 맙니다.

헴펠의 까마귀는 우리가 무의식적으로 사용하고 있는 ‘증거’나 ‘증명’이라는 단어가, 순수한 기호 논리학의 규칙만으로는 제대로 포착해낼 수 없음을 보여주는 아주 흥미로운 역설입니다.