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

한 줄 정의

같은 현상을 설명하는 가설이 여럿일 때, 불필요한 가정을 더 적게 요구하는 설명을 잠정적으로 우선하라는 원칙. 14세기 윌리엄 오브 오컴의 "필요 없이 복수(複數)를 상정하지 말라"에서 유래했다 [Ockham, Sentences commentary].

일상 한 줄

설명이 복잡할수록 그럴듯해 보이지만, 가정이 하나 늘 때마다 그 가정이 틀릴 확률도 함께 곱해진다. "거대한 음모"보다 "그냥 실수·우연"이 먼저 검토할 설명인 경우가 대부분이다. 단, 면도날은 단순한 게 진리라는 보장이 아니라, 어디부터 의심할지 정하는 순서 규칙이다 [Sober 2015].

이 카드의 핵심 주장은 1차 출처와 대조했습니다. 단, 일부 원문 verbatim은 미확보 상태이며 해당 부분은 paraphrase임을 본문에 표시합니다(그래서 confidence B).

흔한 장면

음모론 vs 단순 설명: 항공기 사고·정전·배송 지연을 두고 "조직적 은폐"를 떠올리지만, 보통은 정비 누락·과부하·시스템 오류 같은 적은 가정의 설명이 맞다.
인간관계 오해: 연락이 끊긴 친구를 두고 "나를 손절했다"는 복잡한 서사 대신 "바빴다/까먹었다"가 가정이 더 적다.
버그 디버깅: "프레임워크 내부 버그"보다 "내 오타·환경변수 누락"이 먼저 의심할 후보. 흔한 원인이 먼저다.
의료 진단: 두통+피로를 두고 희귀병부터 떠올리기보다 흔한 원인(수면 부족·탈수)을 먼저 배제 — "말발굽 소리에 얼룩말 말고 말을 떠올려라" [Woodward, 1940s].
제품·기획 회의: 지표 하락을 "복합적 거시 요인"으로 설명하려 들지만, 배포 직후라면 "방금 그 배포"가 가정 가장 적은 설명.
과한 이론 만들기: 데이터의 모든 점을 맞추려 변수를 계속 추가하면, 설명력은 늘어 보여도 새 데이터에서 무너진다(과적합).

왜 빠지나 (메커니즘)

설명의 그럴듯함 ≠ 확률: 가정을 더할수록 이야기는 구체적이고 생생해져 더 그럴듯하게 느껴지지만, 연언(連言) 확률은 곱해져 더 낮아진다 — 결합 오류와 같은 뿌리 [Tversky & Kahneman 1983, Psychological Review]. 면도날은 이 착시의 교정 장치.
과적합 = 복잡성의 대가: 통계적으로 자유 파라미터가 많은 모델은 기존 데이터를 더 잘 맞추지만 새 데이터 예측력은 떨어진다. 면도날은 모델 선택에서 복잡성에 페널티를 매기는 형식으로 정량화된다 [Sober 2015, 모델선택 paradigm; Akaike 1974, AIC].
베이즈의 자동 면도날: 베이즈 추론에서 모델 증거(marginal likelihood)는 별도 규칙 없이도 과도하게 복잡한 모델에 자동으로 페널티를 준다. 넓은 가설 공간에 확률을 분산시킨 모델은 실제 관측에 낮은 확률을 배정하기 때문 [MacKay 2003, ch.28; paraphrase — 아래 인용 주의].

빠져나오는 법

1. 가정 세기: 경쟁 설명마다 "추가로 참이라고 가정해야 하는 것"의 개수를 적는다. 적은 쪽을 먼저 검증(기각하기 쉬운 것부터). 2. 흔한 것부터(base rate): 빈도가 높은 원인을 먼저 배제한다 — 진단의 parsimony [Woodward, 1940s]. 얼룩말(희귀)은 말(흔함)을 배제한 다음에 본다. 3. 반증 가능성으로 정렬: 단순 가설일수록 검증·반증이 빠르다. 면도날은 "진리 선택"이 아니라 "검증 순서" 도구로 쓴다 [Popper의 단순성=반증가능성 논의; Sober 2015가 비판적으로 정리]. 4. 단순함을 맹신하지 않기: 면도날은 동률일 때의 tie-breaker다. 단순한 설명이 데이터를 덜 설명하면 무효 — 복잡성을 정당화하는 증거가 있으면 복잡한 쪽을 택한다 [Sober 2015].

함께 쓰기 좋은 도구

반증가능성 (falsifiability) — 단순한 가설일수록 반증 부담이 작아 먼저 시험할 수 있다.
제1원리 사고 (first-principles) — 가정을 분해해 "정말 필요한 전제"만 남기는 작업과 직결.
기저율 무시 (base-rate-neglect) — "흔한 원인 먼저"의 통계적 짝.
결합 오류 (conjunction fallacy) — 가정 추가가 왜 확률을 낮추는지의 직접 근거 [Tversky & Kahneman 1983].

통념이 무너지는 순간

"더 단순한 설명이 항상 옳다"

⚠ 흔한 말: "오컴의 면도날 = 제일 간단한 답이 정답." ✓ 학술: Sober는 parsimony가 그 자체로 진리 보증이 아니며, 독립적 근거(주제별 경험 가정)로만 정당화된다고 본다 [Sober 2015]. 면도날에는 단일 a priori 정당화가 없고, 베이즈/모델선택 등 맥락별 정당화만 있다. 단순함은 진리가 아니라 잠정적 우선순위.

### "단순하다는 이유로 무시당한 진짜 현상은 없다" ⚠ 흔한 말: "복잡한 주장은 보통 헛소리고, 단순한 쪽이 늘 이겼다." ✓ 학술: 단순성 논변이 운석 낙하·대륙이동설 같은 실재 현상을 한때 기각하는 데 쓰였다 [Wikipedia, Occam's razor — 정리 출처]. "future data often support more complex theories than do existing data" — 즉 데이터가 쌓이면 더 복잡한 이론이 맞는 경우도 흔하다.

### "오컴이 '엔티아 논 순트 물티플리칸다'라고 말했다" ⚠ 흔한 말: 가장 자주 인용되는 라틴 문구가 오컴의 말로 통한다. ✓ 학술: 그 문구("Entia non sunt multiplicanda praeter necessitatem")는 오컴의 현존 저작에 없다 — "Although the sentiment is certainly Ockham's, this particular formulation is nowhere to be found in his texts" [Spade, Panaccio & Pelletier, "William of Ockham", Stanford Encyclopedia of Philosophy]. 17세기 스코투스 주석가 존 펀치(John Punch, 1639)가 이를 스콜라학파의 공리(axioma vulgare)로 명문화했고(그도 오컴에 귀속시키지 않음), 그의 원문은 "Non sunt multiplicanda entia sine necessitate" — 널리 통용되는 "Entia non… praeter necessitatem"은 그 후대 변형이다. 오컴 본인의 표현은 "Numquam ponenda est pluralitas sine necessitate" 등.

### "면도날은 절대 규칙(법칙)이다" ⚠ 흔한 말: "면도날에 위배되면 틀린 거다." ✓ 학술: 면도날은 법칙이 아니라 휴리스틱이다. Sober는 면도날에 단일 a priori 정당화가 없고 맥락별 정당화(likelihood·모델선택)만 있다고 본다 [Sober 2015] — 모델을 세울 때 안내하는 발견법이지, 완성된 이론을 판정하는 심판이 아니다. (널리 인용되는 "used as a heuristic to guide scientists ... rather than as an arbiter between published models"는 Wikipedia 문장으로, 학술 1차 인용이 아닌 요약 표현이다.)

1차 출처

William of Ockham (c.1287–1347). 핵심 표현은 Ordinatio(Sentences 주석) lib. I, dist. 27, qu. 2의 "Numquam ponenda est pluralitas sine necessitate"(필요 없이 복수를 상정하지 말라)와 Summa Logicae의 "Frustra fit per plura quod potest fieri per pauciora"(더 적은 것으로 될 일을 더 많은 것으로 함은 헛되다).
Spade, P. V., Panaccio, C., & Pelletier, J. (Fall 2024). "William of Ockham." Stanford Encyclopedia of Philosophy. plato.stanford.edu/entries/ockham (검증 2026-05-31). — 동료평가 학술 출처. "Entia non…" 정식화가 오컴 텍스트에 없음을 명시. razor 역사 2차 문헌으로 Maurer(1978/1984)·Brampton(1964)을 지목.
John Punch (Johannes Poncius) (1639). 흔히 인용되는 라틴 문구의 명문화 출처(원문 "Non sunt multiplicanda entia sine necessitate"; 그는 이를 스콜라 공리로 제시, 오컴에 귀속시키지 않음). 오컴 본인의 문구가 아님.
Sober, E. (2015). Ockham's Razors: A User's Manual. Cambridge University Press. ISBN 978-1-107-06849-0. (실재 검증: Cambridge Core / PhilPapers / NDPR 서평. DOI/ISBN 일치.) — 현대 철학에서 parsimony를 가장 최신으로 정리한 단행본.
MacKay, D. J. C. (2003). Information Theory, Inference, and Learning Algorithms, ch.28 "Model Comparison and Occam's Razor". Cambridge University Press. — 베이즈 증거가 자동으로 복잡성에 페널티를 준다는 "Bayesian Occam's razor" 정식화.
Tversky, A., & Kahneman, D. (1983). Extensional versus intuitive reasoning: The conjunction fallacy in probability judgment. Psychological Review, 90(4), 293–315. — 가정 추가가 확률을 낮추는 메커니즘(결합 오류).

원문 핵심 인용

"Numquam ponenda est pluralitas sine necessitate." ("필요 없이는 결코 복수를 상정해서는 안 된다.") — William of Ockham, Ordinatio I, dist. 27, qu. 2 (라틴 verbatim: 학계 표준 인용형. 원전 비평본 페이지 직접 대조는 미수행 — SEP·복수 학술 출처가 동일 형태로 인용)

"Frustra fit per plura quod potest fieri per pauciora." ("더 적은 것으로 할 수 있는 일을 더 많은 것으로 함은 헛되다.") — William of Ockham, Summa Logicae

⚠ placeholder (미검증): Sober 2015·MacKay 2003의 영어 원문 verbatim은 OA로 직접 대조하지 못했다(서평·요약 기반 paraphrase). 이 두 출처가 confidence를 A로 못 올리는 이유. 원서 본문 대조 후 충전 예정.

핵심 정의·메커니즘

| 항목 | 내용 | |---|---| | 규범 진술 | 동률의 설명력일 때, 가정·존재자(entity)를 더 적게 요구하는 가설을 우선 | | 오컴 본인 표현 | "pluralitas non est ponenda sine necessitate" 계열 (현존 저작) | | 유명 라틴 문구 | "Entia non sunt multiplicanda…" → John Punch 1639 (오컴 ✗) | | 통계적 형식화 | 모델선택(AIC 등): 복잡성 페널티 + 적합도 / 베이즈: marginal likelihood가 자동 페널티 | | 지위 | 법칙(law)이 아니라 휴리스틱. tie-breaker이자 검증 순서 도구 |

주요 후속 연구·메타분석

Akaike, H. (1974). A new look at the statistical model identification. IEEE Transactions on Automatic Control, 19(6), 716–723. — AIC: 적합도와 파라미터 수(복잡성)를 동시에 반영하는 모델선택. 면도날의 정량적 구현 중 하나.
MacKay (2003), ch.28 — 베이즈 증거가 별도 규칙 없이 복잡 모델에 페널티를 부여(Bayesian Occam's razor). 후속 머신러닝 문헌(marginal likelihood 기반 모델선택)에서 표준 인용.
Sober (2015) — parsimony에 단일 정당화는 없고 likelihood/model-selection 두 paradigm이 맥락별로 정당화한다는 종합. (NDPR·Mind 서평에서 핵심 논지로 확인.)

비판·한계

단순함 ≠ 진리: 면도날은 어느 가설이 참인지 자체를 보장하지 않는다. 증거가 복잡한 쪽을 지지하면 복잡한 쪽이 맞다 [Sober 2015].
"단순"의 정의 모호: 무엇이 "더 단순한가"는 측정 척도·표현 방식에 따라 달라진다(존재자 수? 파라미터 수? 서술 길이?). 객관적 단일 척도 없음.
역사적 오용: 단순성 논변이 운석·대륙이동 같은 실재 현상을 한때 기각하는 데 동원됨 [Wikipedia, Occam's razor].
귀속 오류: 대중적으로 오컴의 말로 인용되는 핵심 문구가 실제로는 17세기 정식화 [John Punch 1639].

앱 활용 방법

라이브러리 카드: 정의 + 일상 예시(음모론 vs 실수·우연, 디버깅, 진단) + 안티패턴("간단한 게 무조건 정답"이라는 오해 명시).
연결 인생 질문:
- 불확실한 상황에서 무엇부터 의심할지(검증 순서) 정하기.
- 타인의 행동을 과대 해석(서사 만들기)하지 않기 — "악의보다 부주의·우연이 가정 적다".
시나리오 적합성: 강하게 적합. "친구가 연락을 끊었다 / 거대한 음모인가 단순 착오인가" 식 분기 선택형으로 명확.
주의: "단순한 답이 정답"이라는 과단순화로 미끄러지지 않게, 면도날=검증 순서·tie-breaker라는 점을 항상 함께 제시. 단순성 맹신이 실재 현상을 기각한 역사적 사례(운석·대륙이동)를 균형추로.