A Comment on Modal Collapse and Ultrafilters in Gödel's Ontological Argument

기술적 요약: 괴델의 존재론적 논증에 관한 양상 붕괴와 초필터에 대한 논평

문제 제기
본 논문은 오드리프레디(Odifreddi)와 고메스(Gomes)가 제기한 괴델의 존재론적 논증에 관한 구조적 주장을 다룬다. 오드리프레디와 고메스는 긍정적 성질을 초필터(ultrafilter)로 특징짓고 신을 해당 초필터의 주 원인(principal generator)으로 식별하는 모든 이론에서 "양상 붕괴"(모든 사실이 필연적이라는 도출, $\varphi \supset \Box\varphi$)는 내재적인 구조적 특징이라고 상정한다. 그들은 이러한 붕괴를 피하기 위해서는 공리들을 약화시켜야 하며, 이는 결과적으로 초필터의 주 원칙성(principality)과 신적 존재의 절대적 극대성을 희생하게 된다고 주장한다.

저자 크리스토프 벤츠뮐러(Christoph Benzmüller)는 이러한 주장에 이의를 제기하며, 붕괴가 초필터 구조 자체에 의해 발생하는 것이 아니라, "긍정성의 경직성"(Axiom A4)이라는 특정한 양상 조건에 의해 발생한다고 논증한다. 또한, 본 논문은 괴델의 정리 IV의 도출 가능성과 긍정성의 외연성에 관한 오드리프레디와 고메스의 분석에서 나타난 두 가지 구체적인 기술적 오류를 식별하고 바로잡는다.

방법론
본 논문은 **상호작용 및 자동 정리 증명(IATP)**을 사용하는 **계산 형이상학(computational metaphysics)**을 채택한다.

• 형식주의: 고차 양상 논리(HOML)의 얕은 임베딩(shallow embedding)을 사용하여 Isabelle/HOL(고차 논리)로 논증을 형식화하였다.
• 검증: 저자는 자동 정리 증명기를 사용하여 도출을 검증하고, 모델 탐색기인 Nitpick을 사용하여 반례 모델을 생성한다.
• 비교 분석: 괴델의 논증에 대한 다양한 변형들(Scott, Anderson, Fitting)과, 초필터 성질이 공리로 상정된 이론(U1) 또는 신성함이 필터를 생성하는 이론(F1)을 체계적으로 비교한다.
• 구분: 내포(world-dependent concepts, 타입 $\gamma$)와 외연(sets of individuals, 타입 $\delta$) 사이의 결정적인 방법론적 구분을 유지한다. 저자는 이를 혼동하는 것이 초필터 구조에 대한 오해를 초래한다고 주장한다.

주요 기여 및 결과

1. 구조적 붕괴 주장에 대한 반박:

   • 본 논문은 초필터 구조를 가진 긍정적 성질의 주 원인이 존재하면서도 양상 붕괴를 함축하지 않는 이론이 존재함을 보여주는 기계 검증된 반례를 제공한다.
   • 명제 1: 긍정적 성질이 양상 초필터를 형성한다고 가정(공리 U1)하고 함의 및 결합 공리(A2, A3)만을 유지할 경우, 가장 약한 정규 양상 논리(K)에서도 신적 존재의 존재성은 도출되지만, 양상 붕합($\varphi \supset \Box\varphi$)은 도출되지 않는다.
   • 명제 2: 신성함의 상위 집합들의 집합이 양상 필터를 형성한다는 더 약한 조건(공리 F1)조차도, 붕괴나 일신론을 함축하지 않으면서 신적 존재의 필연적 존재를 도출하기에 충분하다.
   • 진단: 본 논문은 양상 붕괴의 동인이 초필터 구조가 아니라, 공리 A4(긍정성의 경직성: $\forall X. (PX \supset \Box(PX))$)임을 밝혀낸다. A4가 제거되거나 수정될 때(Anderson이나 Fitting의 변형처럼), 초필터 구조가 유지됨에도 불구하고 붕괴는 사라진다.

2. 정리 IV(신의 가능성)에 관한 수정:

   • 오드리프레디와 고메스는 괴델의 원래 불일치를 수정한 후, 자동 증명기가 정리 IV(신적 존재의 가능성, $\Diamond \exists x. Gx$)를 도출하는 데 실패한다고 주장했다.
   • 본 논문은 이것이 증명기의 실패가 아니라 논리적 사실임을 명확히 한다. 즉, 괴델의 결합 공리(Ax1)가 이진 결합으로 제한될 경우 정리 IV는 도출 불가능하다. 가산 개의 개체들에 대한 비주 원적(non-principal) 초필터와 관련하여, 긍정적 성질들의 교집합이 공집합인 반례 모델이 존재한다.
   • 정리 IV는 공리가 Ax1Gen(임의의, 여기에는 무한 결합을 포함하는 폐쇄성)으로 일반화될 때만 도출 가능하다. 이는 초필터를 주 원적(principal)으로 강제하며 $P(G)$(신성함은 긍정적이다)의 도출을 가능하게 한다.

3. 긍정성의 외연성에 관한 수정:

   • 오드리프레디와 고고메스는 "긍정성의 외연성"(동일한 외연을 가진 성질은 서로 유사하다)이 공리 Ax2a와 Ax4로부터 도출된다고 주장했다.
   • 본 논문은 이것이 국소적(local) 읽기(평가되는 세계에서의 동일한 외연) 하에서는 거짓임을 입증한다. Nitpick은 두 성질이 현재의 세계에서는 일치하지만 다른 세계에서는 달라지며 서로 다른 긍정성 판정을 받는 반례 모델을 찾아낸다.
   • 해당 전제는 전역적(global) 읽기(필연적 공외연) 하에서만 성립하며, 이는 Ax4로부터 도출된다. 본 논문은 오드리프레디와 고메스의 특정 적용에 있어 국소적 읽기가 필수적인 것은 아니지만, 괴델의 내포 논리에서 프리드먼(Friedman)의 외연적 집합론적 대용물로의 전환을 이해하는 데 이 구분이 결정적임을 지적한다.

4. 초필터 유형의 명료화:

   • 본 논문은 $\gamma$-초필터(내포를 다루는)와 $\delta$-초필터(외연을 다루는)를 구분한다.
   • 붕괴가 없는 변형들(Anderson이나 Fitting의 경우)에서, 초필터 구조는 내포에서 경직된 외연으로 이동함으로써 생존함을 보여준다. "긍정적 성질의 초필터"가 붕괴를 함축한다는 주장은 그것이 내포적 읽기를 지칭하는지 혹은 외연적 읽기를 지칭하는지에 달려 있다.

의의 및 주장
본 논문은 괴델의 존재론적 논증에서 양상 붕괴가 구조적으로 불가피한가에 관한 논쟁을 해결한다고 주장한다.

• 내재적 붕괴의 반박: 긍정성을 주 원인을 가진 초필터로 특징짓는 것이 양상 붕괴를 필연적으로 수반한다는 테제를 반박한다. 붕괴는 초필터 구조 자체가 아니라 특정 양상 경직성 공리(A4)의 결과임이 밝혀졌다.
• 괴델의 의도 보존: 초필터 구조가 (경직성을 완화할 경우) 붕패 없이 존재할 수 있음을 보임으로써, 오드리프레디와 고메스의 단순화(양상을 제거하는 것)가 원래의 논증을 명료화하는 것이 아니라 실제로는 다른 체계(외연적 대용물)로 대체해 버렸음을 시사한다.
• 기술적 정밀성: 본 논문은 정리 IV의 도출 가능성과 외연성의 조건에 관한 문헌상의 구체적인 기술적 오해를 바로잡으며, 이러한 문제들이 내포적/외연적 읽기의 구분과 결합 공식의 범위에 달려 있음을 강조한다.

저자는 "초필터 해석의 놀라운 수학적 결과"는 붕괴의 필연성이 아니라, "그 해석이 붕괴를 피하기 위해 얼마나 많은 양상적 요소를 조용히 뒤로 남겨두어야 하는가"라고 결론짓는다. 본 논문은 역사적 테제(괴델이 붕괴를 결함으로 보지 않았다는 점)가 이러한 구조적 발견들과 독립적으로 여전히 유효함을 유지한다.