오컴의 면도날(Occam's Razor)

"가장 단순한 설명이 옳다"는 말, 정확히는 무슨 뜻일까요? 이 원칙이 누구의 말인지, 어디까지 쓸 수 있는지 사료와 사례로 따라가 봅니다.

한눈에 보기

오컴의 면도날은 같은 현상을 설명하는 가설이 여럿이고 증거가 비슷할 때, 불필요한 가정을 덜 끌어들인 쪽을 먼저 검토하라는 사고 도구입니다. '단순한 설명이 정답'이라는 법칙이 아니라 '근거 없는 가정을 늘리지 말라'는 절약의 원칙에 가깝습니다. 흥미롭게도 이 유명한 문장은 오컴 본인의 글에 그대로 있지 않고, 이름이 붙은 시기도 그의 사후 수백 년 뒤입니다. 이 글에서는 용어의 역사, 과학·통계·의학에서 쓰이는 방식, 그리고 한계를 차례로 살펴봅니다.

사람과 시대: 윌리엄 오브 오컴은 누구인가

윌리엄 오브 오컴은 14세기 잉글랜드의 프란치스코회 수도사이자 논리학자·신학자로, 생몰은 대략 1287~1347년으로 정리됩니다(위키백과 기준이며 자료에 따라 몇 년씩 차이가 있습니다). '오컴'은 그가 태어난 것으로 알려진 서리주의 마을 이름입니다. 그의 논리학·신학 저작 곳곳에서 '설명에 불필요한 존재를 덧붙이지 말라'는 태도가 드러나는 것으로 평가됩니다. 아래 카드에서 이름의 유래, 표현의 출처, 과학에서의 쓰임을 차례로 확인할 수 있습니다.

🪒

오컴의 면도날이란

같은 현상을 설명하는 여러 이론이 있을 때, 불필요한 가정을 가장 적게 두는 단순한 설명을 우선적으로 선택해야 한다는 사고 원칙입니다.

설명

"더 간단한 설명이 항상 옳다"는 뜻이 아니라, 검증 가능한 근거가 동등하다면 굳이 복잡한 가정을 늘릴 필요가 없다는 뜻에 가깝습니다.

🧑‍🎓

이름의 유래, 윌리엄 오브 오컴

14세기 잉글랜드 서리주 오컴 마을 출신의 프란치스코회 수도사이자 논리학자·신학자였던 윌리엄 오브 오컴(약 1287~1347년으로 정리되는 경우가 많습니다)의 이름에서 따왔습니다.

설명

오컴 자신이 이 원칙을 하나의 문장으로 명확히 공식화한 기록은 남아 있지 않지만, 그의 철학·신학 저작 전반에서 불필요한 가정을 배제하려는 사고방식이 반복적으로 나타나 후대 학자들이 그의 이름을 붙였습니다.

📜

흔히 인용되는 라틴어 표현

"필요 없이 존재(가정)를 늘려서는 안 된다(Entities should not be multiplied unnecessarily)"는 문장으로 흔히 요약됩니다.

설명

이 정형화된 문장(Entia non sunt multiplicanda praeter necessitatem)은 오컴의 현존 저작에서는 확인되지 않으며, 위키백과는 1639년 존 펀치(John Punch)의 둔스 스코투스 주해서에 '스콜라 철학자들의 흔한 공리'로 쓰인 것을 소개합니다. 오컴 본인의 문장은 '필요 없이 여럿을 두어서는 안 된다(Numquam ponenda est pluralitas sine necessitate)', '적은 것으로 되는 일을 많은 것으로 하는 것은 헛되다(Frustra fit per plura quod potest fieri per pauciora)' 같은 형태로 전해집니다.

✂️

왜 "면도날"이라는 이름이 붙었나

불필요하게 복잡한 가정을 마치 면도날로 잘라내듯 깎아낸다는 비유에서 이름이 붙었습니다.

설명

영어 "Occam's razor"라는 용어는 1852년 스코틀랜드 철학자 윌리엄 해밀턴 경(9대 준남작)의 저작에 처음 나타난 것으로 소개됩니다(위키백과 기준). 한편 라틴어 "novacula Occami"는 1649년 리베르 프루아몽(Libert Froidmont)이 자신이 만든 표현이라고 주장한 기록이 있어, 용어의 출처를 한 가지로 단정하기는 어렵습니다.

🏛️

오컴 이전에도 있었던 사고방식

단순한 설명을 선호하는 사고방식 자체는 오컴보다 앞선 아리스토텔레스, 프톨레마이오스 같은 고대 철학자들에게서도 이미 나타났습니다.

설명

오컴은 이 원칙을 처음 만든 사람이라기보다, 자신의 논리학 작업에서 이 원칙을 특히 적극적으로 활용해 자신의 이름이 붙게 된 경우에 가깝습니다.

🔬

과학에서의 활용

동일한 관측 결과를 설명하는 여러 가설이 경쟁할 때, 추가 가정이 더 적은 가설을 잠정적으로 선호하는 기준으로 흔히 사용됩니다.

설명

다만 이는 "증거가 동등할 때의 잠정적 선택 기준"일 뿐이며, 더 복잡한 이론이라도 관측 증거가 더 잘 설명된다면 복잡한 쪽이 채택되는 경우도 많습니다.

🚫

흔한 오해

"항상 가장 단순한 설명이 정답"이라는 뜻으로 오해하기 쉽지만, 오컴의 면도날은 정답을 알려주는 원칙이 아니라 가설을 검토하는 하나의 사고 도구일 뿐입니다.

설명

실제 현상은 여러 원인이 복합적으로 얽혀 있는 경우가 많으므로, 근거 없이 무조건 단순화하는 것은 오히려 오컴의 면도날을 잘못 적용하는 사례로 지적받습니다.

누구의 문장일까: 표현별 출처 정리

오컴의 면도날로 인용되는 문장은 하나가 아닙니다. 위키백과의 정리를 바탕으로 대표 표현과 확인되는 출처를 비교하면 다음과 같습니다.

라틴어 표현대체로 옮기면확인되는 출처
Entia non sunt multiplicanda praeter necessitatem존재자를 필요 이상으로 늘리지 말라오컴의 현존 저작에는 없음. 1639년 존 펀치의 둔스 스코투스 주해에서 '흔한 공리'로 언급
Pluralitas non est ponenda sine necessitate필요 없이 다수를 두지 말라둔스 스코투스의 《옥스퍼드 주해서》
Numquam ponenda est pluralitas sine necessitate필요 없이 다수를 두어서는 안 된다오컴의 《명제집》 주해
Frustra fit per plura quod potest fieri per pauciora적은 것으로 될 일을 많은 것으로 하면 헛되다오컴의 《논리학 대전》

표에서 볼 수 있듯 가장 유명한 문장은 오컴 이후의 정형화이고, 오컴 본인의 문장은 표현이 조금씩 다릅니다. 그래서 이 원칙을 오컴 '혼자의 발명'으로 소개하면 사료와 어긋납니다.

세 가지 사례로 보는 오컴의 면도날

사례 1. 이름은 어디서 왔나: 용어 자체가 가진 역사 (사료의 사례)

'면도날'이라는 별칭이 언제 붙었는지에는 서로 다른 기록이 있습니다. 위키백과에 따르면 리베르 프루아몽은 1649년 저서 《그리스도교 영혼 철학》에서 오컴을 비판한 그레고리오 다 리미니를 설명하며 'novacula Occami'라는 표현을 자신이 만들었다고 밝혔습니다. 한편 영어 'Occam's razor'는 1852년 스코틀랜드 철학자 윌리엄 해밀턴 경(9대 준남작)의 저작에 처음 나타난 것으로 소개됩니다. 또 앞의 표처럼 가장 유명한 문장은 1639년 펀치의 주해서에서 확인됩니다. 이 사례에서 배울 점은, 널리 퍼진 '유명한 말'일수록 누가 처음 어떤 형태로 말했는지를 따로 확인해야 한다는 것입니다. 오컴이 이 원칙을 즐겨 쓴 것은 사실이지만, 그의 이름이 붙은 문장과 별칭은 모두 후대의 작업입니다.

사례 2. 뉴턴의 규칙과 프톨레마이오스의 말: 단순함만이 기준은 아니다 (과학사의 사례)

오컴 이전과 이후의 자연철학자들도 비슷한 원칙을 말했습니다. 위키백과는 프톨레마이오스가 "가능한 가장 단순한 가설로 현상을 설명하는 것이 좋은 원칙"이라고 말한 것을 인용합니다. 뉴턴의 자연철학 규칙은 "자연물의 원인으로는 참이면서 동시에 충분한 것 이상을 받아들이지 말라"는 취지로 인용됩니다. 여기서 눈여겨볼 단어는 '참이면서 충분한'입니다. 뉴턴의 문장은 원인을 무작정 줄이라는 뜻이 아니라, 현상을 설명하는 데 필요한 만큼은 인정하되 그 이상은 덧붙이지 말라는 뜻으로 읽힙니다. 또 코페르니쿠스의 《천체의 회전에 관하여》 서문에는 천동설 모델이 지동설 모델보다 훨씬 복잡한 계산을 요구한다는 지적이 있다고 위키백과는 전합니다. 다만 이 서문이 곧 '단순해서 지동설이 이겼다'는 뜻은 아니며, 천문학의 전환에는 관측 증거와 이후의 이론 발전이 함께 작용했습니다. 단순성은 증거를 대신하지 못합니다.

사례 3. 통계의 모델 선택과 의학 진단: 같은 원칙, 다른 평가 (현대의 사례)

통계와 정보이론에서는 이 원칙이 수식으로 다듬어졌습니다. 위키백과에 따르면 레이 솔로모노프는 1960년경 보편 귀납 추론 이론을 세웠고, 이는 오컴의 면도날을 수학적으로 형식화한 것으로 설명됩니다. 또 1991년 제프리스와 버거는 조정 가능한 매개변수가 적은 가설이 예측이 더 날카롭기 때문에 사후 확률이 높아진다고 논증했습니다. 반면 데이비드 맥케이는 단순한 모델에 대한 사전 편향이 반드시 필요한 것은 아니라는 논의를 펼쳤고, 최소 기술 길이 접근에는 어떤 튜링 기계를 기준으로 삼느냐가 주관적이라는 비판도 있습니다. 의학에서는 "발굽 소리가 들리면 말을 생각하지 얼룩말을 생각하지 말라"는 격언이 오컴의 면도날과 비슷한 흐름으로 인용되지만, 위키백과는 환자의 증상이 여러 질환에서 비롯될 수 있다는 정반대 취지의 원칙인 히캄의 격언도 함께 소개합니다. 두 격언이 공존한다는 사실은, 같은 원칙이라도 분야에 따라 '출발점'으로는 유용하지만 '결론'으로 쓰기는 위험할 수 있음을 보여 줍니다.

직접 써 보기: 가설을 걸러내는 습관

아래는 실제 사건이 아니라 이해를 돕기 위한 가상 예시입니다.

가상 예시: 집에서 와이파이가 갑자기 끊겼습니다. 가설 A는 "공유기가 오래 켜져 있어 일시적으로 멈췄다", 가설 B는 "이웃이 신호를 방해하고 있다"입니다. B가 맞으려면 이웃의 의도, 방해 장비, 그 장비가 우리 집 신호에만 작동한다는 가정이 모두 필요합니다. A는 공유기의 전원을 껐다 켜 보면 바로 확인됩니다. 그래서 먼저 A부터 검증하는 것이 합리적입니다. 이때 A가 틀린 것으로 확인되면(재부팅해도 안 되고, 다른 기기도 안 될 때) 그때 인터넷 회선 장애 같은 다음 가설로 넘어갑니다. 오컴의 면도날은 B를 '틀렸다'고 선언하는 것이 아니라, 검증 순서를 정하는 데 쓰입니다.

흔한 오해와 정정

한계와 아직 남은 논쟁

무엇을 '단순하다'고 볼지는 기준에 따라 달라집니다. 가정의 수를 셀지, 매개변수의 수를 셀지, 기술 길이를 잴지에 따라 서로 다른 모델이 단순하다고 평가될 수 있습니다. 또 단순한 모델이 현실을 더 잘 반영한다는 보장은 철학적으로 논쟁 중이며, 앞서 본 것처럼 통계학에서도 학자마다 정당화 방식이 다릅니다. 그래서 오컴의 면도날은 '진리의 판정자'가 아니라 '증거가 모자랄 때 탐구의 순서를 정하는 어림 규칙'으로 이해하는 것이 안전합니다.

자주 묻는 질문

오컴의 면도날은 항상 옳은 결론을 보장하나요?

아니요. 오컴의 면도날은 증거가 동등할 때 가설을 좁혀가는 사고 도구일 뿐, 그 자체가 진리를 보장하지는 않습니다. 실제로는 더 복잡한 설명이 관측 증거를 더 잘 설명해 채택되는 경우도 많습니다.

일상생활에서는 어떻게 적용할 수 있나요?

어떤 문제의 원인을 추측할 때, 근거 없이 복잡하고 음모론적인 설명부터 떠올리기보다 가장 상식적이고 검증 가능한 설명부터 검토해보는 습관으로 활용할 수 있습니다.

'Occam'과 'Ockham'은 다른 철학자인가요?

같은 인물(William of Ockham)을 가리키는 철자 차이입니다. 이 원칙의 이름으로는 'Occam's razor'가 더 흔하고 'Ockham's razor'도 쓰이며, 한국어로는 둘 다 '오컴'으로 옮기는 경우가 많습니다.

수학이나 통계에서도 쓰이나요?

네. 모델이 복잡해질수록 데이터에 과하게 맞춰지는 과적합 위험이 커지기 때문에, 비슷한 설명력이라면 매개변수가 적은 모델을 고르는 방식으로 쓰입니다. 위키백과는 솔로모노프의 귀납 추론 이론과 베이즈 접근을 이 원칙의 수학적 형식화로 소개하지만, 이를 둘러싼 이견도 함께 있습니다.

이 원칙은 종교나 형이상학 논쟁에도 쓰이나요?

철학과 신학 논쟁에서 자주 인용되지만, 그때그때 '무엇이 불필요한 가정인가'에 대한 입장이 달라 결론을 내려 주지는 못합니다. 이 글은 어느 쪽의 결론도 지지하지 않으며, 원칙의 쓰임과 한계만 설명합니다.

다른 이름으로 불리는 비슷한 원칙이 있나요?

'절약의 원리(parsimony)'나 '간결성의 원칙'이라고도 불립니다. 위키백과 참고 문헌에는 카를 멩거(1960)의 수학·응용수학에서의 대응 개념을 다룬 글도 포함되어 있습니다.

이어서 읽어 보세요