HUMANITY & PROOF · KURT GÖDEL / 01

가능하다면,
반드시 존재할까?

20세기의 가장 엄밀한 논리학자 중 한 사람, 쿠르트 괴델은 오래된 철학의 질문을 고차 양상논리의 언어로 옮겼습니다. 이 글의 초점은 어떤 공리에서 어떤 결론이 따라오는지 살피는 데 있습니다. 괴델이 놓은 정의와 공리를 따라가며 가능성이 어떻게 필연성으로 이어지는지 봅니다.

핵심 질문 · “신적 존재가 가능하다”에서 “필연적으로 존재한다”까지 갈 수 있을까?

쿠르트 괴델
Kurt Gödel · 1906–1978

논리학자 · 수학자
빈 → 프린스턴

“철학도 수학처럼 엄밀할 수 있을까?” — 괴델

01 · THE PERSON BEHIND THE PROOF

불완전성 정리의 괴델이
왜 신의 존재를 논리식으로 썼을까?

괴델에게 논리학은 계산 기술만이 아니었습니다. 그는 수학적 진리를 객관적인 것으로 보는 플라톤주의와 라이프니츠의 합리주의에 깊은 관심을 가졌고, 철학에도 수학에 가까운 엄밀성을 부여할 수 있다고 생각했습니다.

1931

“증명에는 한계가 있다”

불완전성 정리로 형식체계의 한계를 드러낸 젊은 논리학자는 동시에 수학적 진리와 인간 이성이 무엇을 알 수 있는지 묻고 있었습니다.

1943–46

라이프니츠를 깊이 읽다

괴델은 이 시기 라이프니츠 연구에 몰두했습니다. 가능성·필연성·완전성이라는 오래된 형이상학의 어휘는 훗날 존재론적 논증의 구조와 맞닿습니다.

1950s

‘정확한 철학’을 꿈꾸다

괴델은 철학에서 주장 하나를 받아들이는 근거도 수학적 증명에 가까운 수준으로 엄밀해질 수 있다고 보았습니다.

1970

공개 논문 대신, 스콧에게 건넨 원고

괴델은 존재론적 증명을 생전에 정식 논문으로 발표하지 않았습니다. 1970년 다나 스콧에게 원고를 전했고, 오늘 널리 알려진 형식은 괴델–스콧 계열의 정식화로 읽힙니다.

“

괴델이 붙잡은 핵심은 어떤 개념과 공리를 정확히 세워 놓았을 때 그 결론이 논리적으로 따라오는가였습니다.이 페이지의 설명은 괴델–스콧 계열 정식화를 교육용으로 재구성한 것입니다.

02 · FOLLOW THE PROOF

네 기호를 익힌 뒤,
증명이 움직이는 순서를 따라갑니다.

이 논증은 고차 양상논리를 사용합니다. 개체 x와 함께 속성 φ, ψ에도 양화하며, 가능성과 필연성을 한 체계 안에서 다룹니다.

◇가능하다
적어도 하나의 가능한 상황에서 참

□필연적이다
모든 가능한 상황에서 참

∀모든 것에 대하여
전체 범위를 대상으로 함

∃적어도 하나가 존재한다
하나 이상의 사례가 있음

FOUNDATION · A1 + A2출발 규칙

먼저 ‘긍정적 속성’이 어떤 규칙을 따르는지 정합니다.

공리 A1

∀φ [ P(¬φ) ↔ ¬P(φ) ]

긍정성은 속성과 그 부정 사이에서 일관되게 배정됩니다. φ의 부정이 긍정적이면 φ는 긍정성에서 제외되고, 그 역도 성립합니다.

공리 A2

∀φ∀ψ [(P(φ) ∧ □∀x(φ(x) → ψ(x))) → P(ψ)]

긍정적인 속성 φ가 언제나 ψ를 수반한다면, ψ에도 긍정성이 이어집니다.

여기서 하는 일 ‘긍정적 속성’이라는 개념이 어떤 추론을 허용하는지 먼저 고정합니다.

P(φ)는 “속성 φ는 긍정적이다”라는 뜻입니다. □∀x(φ(x) → ψ(x))는 가능한 모든 상황에서 φ를 가진 대상이 ψ도 가진다는 뜻입니다.

A1과 A2에서 첫 정리가 따라옵니다

THEOREM · T1첫 정리

긍정적인 속성에는 실현 가능한 경우가 있습니다.

정리 T1

∀φ [ P(φ) → ◇∃x φ(x) ]

어떤 속성이 긍정적이면, 적어도 하나의 가능한 상황에서 그 속성을 가진 존재가 있을 수 있습니다.

P(φ)φ는 긍정적

→

◇∃x φ(x)φ의 실현이 가능

첫 번째 큰 이동 속성에 관한 공리에서 존재 가능성에 관한 결론으로 넘어갑니다.

이제 ‘신적 존재’ G를 정의하고 T1에 넣습니다

DEFINITION · D1 + AXIOM A3가능성 확보

신적 존재를 정의하고, 그 속성에 긍정성을 부여합니다.

정의 D1

G(x) ↔ ∀φ [ P(φ) → φ(x) ]

G(x)는 x가 긍정적인 모든 속성을 가진다는 뜻입니다.

공리 A3

P(G)

신적 속성 G 자체를 긍정적인 속성으로 둡니다.

T1에 G를 적용한 중간 결론

◇∃x G(x)

적어도 하나의 가능한 상황에서 신적 존재가 존재할 수 있습니다.

◇ · 가능

Gw₁

—w₂

—w₃

가능성은 적어도 한 가능한 상황에서 G가 실현되는 경우를 가리킵니다.

현재 도착점

◇G

여기까지 확보한 것은 ‘가능성’입니다. 다음 단계에서 필연성과 연결합니다.

가능성에서 필연성으로 가기 위해 본질과 필연적 존재를 정의합니다

BRIDGE · D2 + T2 + D3 + A5필연성 연결

‘본질’과 ‘필연적 존재’를 연결해 마지막 정리의 다리를 만듭니다.

정의 D2

φ ess x ↔ φ(x) ∧ ∀ψ(ψ(x) → □∀y(φ(y) → ψ(y)))

φ가 x의 본질이면, x는 φ를 가지며 x가 지닌 다른 속성들도 φ에서 필연적으로 이어집니다.

정리 T2

∀x [ G(x) → G ess x ]

신적 존재에게 G는 본질이 됩니다.

정의 D3

NE(x) ↔ ∀φ [ φ ess x → □∃y φ(y) ]

필연적 존재 NE는 x의 모든 본질이 가능한 모든 상황에서 실현됨을 뜻합니다.

공리 A5

P(NE)

필연적 존재라는 속성 NE에 긍정성을 부여합니다.

철학적 검토가 집중되는 지점 특히 A5를 어떤 근거로 받아들일지에 따라 논증에 대한 평가는 크게 달라집니다.

앞의 정의와 공리를 함께 사용하면 최종 정리 T3에 도달합니다

THEOREM · T3최종 정리

긴 준비 끝에, 마지막 식은 매우 짧아집니다.

THEOREM T3

□∃x G(x)

가능한 모든 상황에서 적어도 하나의 신적 존재가 존재합니다. 이 공리 체계 안에서는 신적 존재의 존재가 필연적으로 도출됩니다.

□ · 필연

Gw₁

Gw₂

Gw₃

필연성은 접근 가능한 모든 가능한 상황에서 G가 실현됨을 뜻합니다.

전체 흐름

◇

→

□

이 이동에는 A1–A5와 D1–D3의 전체 구조가 함께 작동합니다.

03 · WHAT HAS ACTUALLY BEEN PROVED?

괴델이 형식화한 것은
공리에서 결론까지 이어지는 길입니다.

논리학에서 가장 중요한 읽기 습관은 결론의 크기보다 전제의 범위를 먼저 보는 것입니다. 형식적 타당성과 전제의 철학적 설득력은 서로 다른 질문입니다.

논리학이 말해 주는 것

채택한 정의와 공리, 그리고 사용한 고차 양상논리의 규칙을 받아들일 때 최종 정리가 따라오는지를 검토할 수 있습니다. 후대에는 자동정리증명기를 이용한 형식 검증도 이루어졌습니다.

논리학만으로 결정되지 않는 것

‘긍정적 속성’이 실제로 무엇인지, 필연적 존재를 긍정적 속성으로 보아야 하는지, 이 공리들이 형이상학적으로 설득력 있는지는 추가 철학 논증이 필요합니다.

KURT GÖDEL

한 사람의 문제의식

괴델의 존재론적 논증이 특히 흥미로운 까닭은 철학의 개념을 정의하고, 공리로 고정하고, 기호화한 뒤, 결론이 따라오는지 검사하는 방식에 있습니다. 이 지점에서 철학사와 현대 형식논리학이 만납니다.

출생: 1906년, 브륀(현재 체코 브르노)
주요 분야: 수리논리학 · 집합론 · 철학
대표 업적: 완전성 정리, 불완전성 정리, 집합론의 상대적 무모순성 연구
존재론적 논증: 1970년 다나 스콧에게 원고 전달 · 사후 출판

04 · SOURCES & NEXT READING

자료와 출처

Stanford Encyclopedia of Philosophy · Kurt Gödel — 생애, 라이프니츠적 합리주의, ‘정확한 철학’에 대한 관심, 1970년 존재론적 증명 원고의 맥락. 원문 보기 ↗
Stanford Encyclopedia of Philosophy · Automated Reasoning — 괴델–스콧 계열 존재론적 논증의 A1–A5, D1–D3, T1–T3 형식과 자동정리증명 연구 소개. 원문 보기 ↗
Stanford Encyclopedia of Philosophy · Ontological Arguments — 괴델 계열 논증의 전제와 철학적 비판, ‘긍정적 속성’ 문제. 원문 보기 ↗
사진 — 1924–1927년경 빈 대학 학생 시절의 쿠르트 괴델. 가족 앨범 기반 자료, 작자 미상, Wikimedia Commons 공개 자료. 사진 정보 ↗

편집 안내 · 이 글은 괴델–스콧 계열의 표준적 정식화를 바탕으로 구성했습니다. 수식의 구조와 증명 흐름을 읽을 수 있도록 해설을 덧붙였으며, 형식논증의 성립 조건과 전제에 대한 철학적 평가는 구분해 다룹니다.