Computable Structuralism: A Categorical Rewrite Calculus of Mythic Variants

기술 요약: 계산 가능한 구조주의 (Computable Structuralism)

문제 제기
신화와 서사에 대한 비교 분석은 두 가지 충동 사이의 방법론적 긴면에 직면해 있다: 의미는 국지적이고 맥락 의존적(사회적, 의례적, 역사적 조건)이라는 주장과, 서사는 체계적인 변형(치환, 역전, 역할 교체)을 통해 비교 가능하다는 구조주의적 관점이다. 구조 인류학(예: 레비-스트로스)은 신화가 변형의 체계로서 기능한다는 점을 확립했으나, 현대의 문화 분석에는 재현 가능하고, 논쟁 가능하며, 확장 가능한 명시적인 방법론이 필요하다. 현재의 접근 방식들은 대개 유사성 기반 메트릭(예: 모티프 중첩, 임베딩 유사도)에 의존하며, 이는 근접성을 정량화할 뿐 명시적인 연산자 제약 하에서의 "법칙적 운송(lawful transport)"을 표현하지 못한다. 본 논문은 레비-스트로스식 변형을 운영화하는 데 있어 공백을 식별한다: 즉, 구조적 변형을 수학적으로 렌더링하면서도 동시에 서사 분석으로서 읽힐 수 있고, 반증 가능한 제약을 갖춘 형식적 프레임워크가 존재하지 않는다.

방법론
저자들은 서사를 결합된 이중 레지스터 상태 $(X, Y)$에 작용하는 **타입화된 리라이트 프로그램(typed rewrite programs)**으로 모델링하는 공식 프레임을 제안한다.

1. 이중 레지스터 구성 ($Z = (X, Y)$):

   • 레지스터 X (일상/사회): 행위자, 제도, 생존 제약, 정치적 갈등, 물질적 조건을 추적한다.
   • 레지스터 Y (상징/정당화): 법, 금기, 예언, 언약, 의례, 도덕적 제약, 우주적 질서를 추적한다.
   • 이 모델은 $X$에서의 변형은 $Y$에서 승인되거나 인정될 때만 유의미하며, $Y$에서의 붕괴는 $X$를 재편할 때만 실재적이라고 상정한다.

2. 인코딩 스키마:
   각 서사는 4슬롯 기능적 스키마 $(a, b, x, y)$로 인코딩된다:

   • $a$: 초점 행위자 (변형의 전달자).
   • $b$: 대립/교란하는 힘 (적대자, 혼돈, 제도).
   • $x$: 변형을 가능하게 하는 매개체 (도구, 계약, 조력자).
   • $y$: 제약/정당화하는 질서 (법, 금기, 규칙).

3. 업데이트 정책 및 자연 변형 (Natural Transformation):
   프레임워크는 구성(configuration)에 대한 두 가지 체계적인 업데이트 정책(엔도펑터, endofunctors)을 정의한다:

   • 직접 정책 ($U$): 레지스터의 역할을 보존한다 (매개체는 매개체로, 제약은 제약으로 남음).
   • 정준 정책 ($V$): 구조화된 교체 + 역전(swap + inversion) 이동을 구현한다 (예: 제약이 갈등의 대상이 되거나, 갈등이 제약으로 재구성됨).
   • 일관성 조건: 정준 변형은 자연 변형 $\eta: U \Rightarrow V$의 존재로 정의된다. 제안된 변형 $h$에 대해, 다음 다이어그램은 가환(commute)해야 한다: $V(h) \circ \eta_Z = \eta_{Z'} \circ U(h)$.
   • 반증 가능성: 만약 자연성 방정식이 실패한다면, 이는 특정 오류를 진단한다: 잘못 지정된 대립 관계, 잘못된 연산자 운송, 또는 잘못된 레지스터 할당. 이를 통해 구조적 분석은 "코퍼스 대면 타입 체크(corpus-facing type check)"로 전환된다.

4. 맥락 민감도:
   맥락은 구조화된 연산자 선택을 통해 내부화된다. 허용 가능한 리라이트 연산자와 운송 규칙은 특정 서사 가족(예: 민담 vs. 프랜차이즈)에 특화된다. 이는 특정 연산자 운송이 선언된 맥락을 위반할 경우 이를 불가능하게 만듦으로써, "모든 것이 무엇인가로 매핑될 수 있다"는 붕괴를 방지한다.

5. 순서 시그니처 불변량 (Key):
   순서 효과(예: 트릭스터의 경계 넘기, 타임 루프)를 처리하기 위해 ("교체 후 역전" $\neq$ "역전 후 교체"), 각 서사에는 Key(아키타입 A–E)가 할당된다. 이 Key들은 브레이드 아키타입(braid archetypes)과 계산 가능한 불변량을 사용하여 순서 효과를 요약하며, 압축적인 구조적 지문 역할을 한다.

코퍼스 및 실험 설계
본 연구는 네 가지 미디어 가족으로 균등하게 나뉜 80개의 서사로 구성된 층화된 코퍼스를 활용한다:

• 민담 20개 (예: 신데렐라, 빨간 모자)
• 종교 신화 20개 (예: 아담과 이브, 노아)
• 슈퍼히어로 서사 20개 (예: 배트맨, 스파이더맨)
• 프랜차이즈 20개 (예: 스타워즈, 해리 포터)

설계는 장르의 지배를 방지하고 방법론이 미디어를 가로질러 이동할 수 있도록 균형을 맞추었다. 일부($n=20$)에 대한 2단계 코딩 감사 결과, 높은 검사자 간 신뢰도($\kappa = 0.95$ for $x$ and $y$)를 보였으며, 불일치는 $x/y$ 경계(매개체 vs. 제약)에 집중되었는데, 이는 모델이 명시적으로 겨냥하는 지점이다.

주요 결과

1. 운영적 일관성: 프레임워크는 서사를 타입화된 리라이트로 성공적으로 모델링한다. 자연성 조건은 진단 도구 역할을 한다. 작업 사례(빨간 모자)에서, 적절하지 않은 타이핑(사냥꾼의 역할을 매개체 $x$에서 제약 $y$로 바꾸는 것)이 자연성 실패를 일으켜 구조적 불일치를 국지화하였다.
2. 제약의 보편성: 80개 중 **59개(74%)**의 서사에서 $y$ 레지스터는 명시적으로 규범적 제약(법, 금기, 계약, 예언)을 명명한다. 이는 이중 레지스터 추상화의 타당성을 뒷받침한다.
3. 교차 미디어 안정성: 기능적 역할 $(a, b, x, y)$은 미디어를 가로질러 이해 가능하다. 구현 방식은 다르지만(예: 민담의 "왕실" vs. 슈퍼히어로의 "등록법"), 제약 시스템으로서의 $y$의 구조적 기능은 지속된다.
4. Key 민감도: 마이크로 테스트($n=10$) 결과, Key는 보수적 정규화 하에서는 안정적이지만(10개 중 8개 케이스), "최악의 상황" 스트레스 테스트( $x$와 $y$를 교체) 하에서는 변화함을 보여주었다. 이는 불변량이 서사의 구체적인 구조적 논리에 민감함을 확인시켜 준다.
5. 제약 유형론: $y$ 레지스터 분석은 코퍼스 간의 뚜렷한 "제약 유형 시그니처"를 드러낸다 (예: 슈퍼히어로/프랜차이즈는 법적/제도적 제약에 치우쳐 있고, 종교 신화는 신성/우주적 제약에 치우쳐 있음).

의의 및 주장
본 논문은 구조 인류학과 문화 분석 사이의 테스트 가능한 가교를 제공한다고 주장한다. 주요 기여는 다음과 같다:

• 형식화: 레비-스트로스의 정준 변형을 느슨한 템플릿이 아닌, 테스트 가능한 일관성 조건(자연 변형)으로 렌더링한다.
• 운영화: 비교의 초점을 "유사성"에서 "법칙적 변형"으로 전환하여, 구조적 주장을 명시적이고, 전이 가능하며, 반박 가능하게 만든다.
• 진단 능력: 모델의 실패는 결함이 아니라, 분석이 어디에서 붕괴되었는지(예: 매개체와 제약을 혼동함)를 찾아내는 진단이다.
• 해석 가능성: 프레임워크는 밀도 있는 독해를 위한 해석 가능성(Key 및 $a,b,x,y$ 스키마를 통해)을 유지하면서도 코퍼스 수준의 계산을 가능하게 한다.

저자들은 이것이 글로벌한 서사의 보편성에 대한 주장이 아니라, 운영화를 위한 **시연 세트(demonstration set)**임을 명시한다. 프레임워크는 무엇이 인코딩되고, 무엇이 추론되며, 무엇이 테스트되는지를 분리하여 구조적 변형 주장을 명시적이고 논쟁 가능하게 설계되었다. 향후 과제로 단일 샷 요약을 에피소드 수준의 그래프로 확장하는 것과 복제 패키지를 공개하는 것을 꼽았다.