호모토피 타입 이론과 구성적 정체성

초록

호모토피 타입 이론에서 개발된 비표준 정체성 개념은 프레게의 유명한 ‘금성(샛별/개밥별)’ 예시에 대한 대안적 분석을 가능하게 한다. 이 접근법은 경험적 증거가 정체성 판단을 어떻게 정당화하는지 설명하고, 그러한 판단의 구성적 측면을 설명한다. 이는 정체성이 고정된 관계가 아니라 증거를 통해 구성되는 개념임을 시사한다.

상세 분석

이 논문은 호모토피 타입 이론(Homotopy Type Theory, HoTT)에서 등장하는 ‘비표준적’ 정체성 개념이 철학, 특히 프레게가 제기한 정체성의 인식적 가치 문제에 어떻게 새로운 해명을 제공하는지 분석한다. 기술적 핵심은 마틴-뢰프 의존 타입 이론에서의 두 가지 정체성, 즉 ‘정의적 동일성(definitional identity)‘과 ‘명제적 동일성(propositional identity)‘의 구분에 있다. 정의적 동일성(A = B)은 기호 수준의 치환 가능성을 보장하는 반면, 명제적 동일성(Id_A(x, y))은 증명이 필요한 명제로, 그 자체가 증거의 타입으로 해석된다. 호모토피 타입 이론은 이 명제적 동일성의 증거(즉, 항 p: Id_A(x, y))들을 단순한 진리값이 아닌, 호모토피 이론의 ‘경로(path)‘로 해석한다. 더 나아가, 이러한 경로들 사이의 동일성(즉, 2차 경로)은 ‘호모토피’로, 그 이상의 고차 동일성은 고차 호모토피로 모델링하여, 정체성의 구조를 무한한 층위를 가진 위상적 공간(∞-groupoid)으로 이해한다.

여기에 보에보드스키의 ‘동치성 공리(Univalence Axiom)‘가 결정적 역할을 한다. 이 공리는 두 타입 A와 B 사이의 ‘경로’의 타입(Id_U(A, B))이 A와 B 사이의 ‘동치(equivalence)‘의 타입(Eq_U(A, B))과 동치임을 주장한다. 이는 수학적 동형(isomorphism)이 곧 정체성의 한 형태임을 정식화한 것으로, 정체성의 개념을 구조적 동치로 확장시킨다.

논문의 핵심 철학적 통찰은 이 수학적 장치를 프레게의 금성 예시에 적용할 때 드러난다. ‘샛별(MS)‘과 ‘개밥별(ES)‘의 정의적 동일성(MS = MS)은 자명하지만, ‘샛별 = 개밥별’이라는 명제적 동일성(Id_A(MS, ES))은 증명이 필요하다. 이 증명은 두 관측 데이터 체계 사이의 가역적 변환(예: 좌표계 변환)을 구성하는 것, 즉 ‘동치’를 찾는 것으로 이해될 수 있다. HoTT의 관점에서는 이러한 증거(동치 사상 m_i) 자체가 연구 대상이 된다. 서로 다른 증거 m_i와 m_j가 ‘같은’ 증거인지 판단하는 문제는 2차 정체성 타입 Id_{Id_A(MS,ES)}(m_i, m_j)를 조사하는 문제가 되며, 이는 곧 증거들 사이의 ‘호모토피’를 찾는 것이다. 이렇게 정체성 판단을 단순한 진위를 넘어, 증거들의 공간(space of evidences)을 구성하는 다층적이고 구성적인 과정으로 재해석한다. 이는 정체성이 사전에 주어진 관계가 아니라, 이용 가능한 경험적 데이터와 변환들로부터 점진적으로 ‘구성’되는 것임을 보여준다. 이 접근법은 정체성을 약화시키려는 구조주의적 시도(예: 준집합 이론)와 달리, 오히려 정의적 동일성이라는 견고한 기초 위에 풍부한 증거 구조를 구축함으로써 정체성의 인식적 내용을 확장한다는 점에서 차별화된다.