A diagrammatic proof-theoretic semantics for the Greimas semiotic square

기술적 요약: 그레마스 기호학적 사각형을 위한 도식적 증명-이론적 의미론

문제 제기
이 논문은 알지르드 줄리앙 그레마스가 개발한 구조적 기호학 방법론, 특히기호학적 사각형에 관한 공식적 명세 부재를 다루고 있다. 기호학적 사각형은 내러티브 구조와 의미 생성을 분석하는 데 널리 사용되는 휴리스틱 도구이지만, "동형화 (homologations, 구조적 유사성)"를 확립하고 메타-용어 (복합적, 중립적, 지시적 용어) 를 구성하는 운영 절차는 여전히 미명세화되어 있다. 전통적 공식화는 종종 논리적 지위에 대해 모호한 (예: 대립과 모순을 구분하는 것) 비공식적 결합 연산 ('+'로 표기) 과 이항적 대립에 의존한다. 또한, 이 맥락에서 부정의 표준적 해석은 종종 불리 보충과 혼동되어, 구조적 기호학에서 대립의 관계적이며 비포괄적인 특성을 포착하지 못한다. 이 논문은 기호학적 사각형의 생성 과정을 공식화하기 위해 이러한 연산에 대한 엄밀한 증명-이론적 재구성을 제공하고자 한다.

방법론
저자들은 단위 거미 다이어그램 (unitary spider diagrams)(Howse et al., 2005)에 기반한 도식적 증명 체계를 개발하여, 집합론적 확장 대신 의미 구성을 표현하도록 이 형식주의를 적용한다.

1. 형식주의 적응:

   • **윤곽선 (Contours)**은 시메 (의미의 기본 단위) 나 시메姆을 나타낸다.
   • **거미 (Spiders, 실존 점)**는 시메의 실현 (결정적 존재) 또는 **가상화 (비결정적 존재)**를 인코딩한다. 여러 구역을 가로지르는 거미는 가상화된 상태 (의미적 비결정성) 를 나타내는 반면, 단일 구역에 국한된 거미는 결정적 실현을 나타낸다.
   • **구역 (Zones)**은 메타-용어 ($M$) 의 부분집합과 특정 시메 클래스 ($S_1, S_2$) 를 포함하는 우주 $X$ 내의 의미 영역을 나타낸다.

2. 핵심 관계 정의:
   논문은 기호학적 사각형의 근본적 관계를 추론 규칙에 의해 지배되는 도식적 변환으로 재정의한다:

   • 도식적 대립 ($\#_{diag}$): $S_1$과 $S_2$가 상호 배타적 (불연속 구역) 이지만 독립적으로 실현될 때, 두 다이어그램 간의 정적 관계로 정의된다.
   • 도식적 부정 ($\neg_{diag}$): 전역적 보충을 산출하는 불리 부정과 달리, 이는 거미의 서식지를 대립 용어와 의미 우주의 외곽으로 확장하여 의미적 비결정성을 도입하는 변환으로 정의된다. 이는 "제한된, 구역 결정적 의미적 반대 위치"이다.
   • 도식적 함의 ($\Rightarrow_{diag}$): 부정의 역으로 정의되며, 거미의 서식지가 여러 구역의 집합에서 단일 구역으로 제한 (정제) 되어 비결정성이 결정적 실현으로 해결된다.

3. 추론 체계 ($R$):
   이러한 변환은 거미 다이어그램 계산에서 적응된 규칙을 사용하여 형식 체계 내의 유도로서 실현된다. 여기에는 다음 규칙들이 포함된다:

   • AddFeet, SplitSpider, Combine, EraseSpider, CopySpider, ConjunctionElimination, 그리고 Idempotency.
   • 이러한 규칙들은 한 의미 구성에서 다른 구성으로의 전환을 증언하는 증명 트리의 구성을 가능하게 한다.

주요 기여 및 결과

1. 메타-용어 구성의 형식화:
   논문은 그레마스 사각형의 네 가지 정통 메타-용어 (복합 용어 $S$, 중립 용어 $\bar{S}$, 긍정 지시, 부정 지시) 가 기본 구성의 결합 쌍으로부터 균일 유도 스키마를 통해 유도될 수 있음을 증명한다.

   • 연산 '+'는 논리적 또는 집합론적 합이 아닌 **유도적 상승 (derivational lift)**으로 재해석된다.
   • 다이어그램 쌍 $(d_a, d_b)$이 주어지면, 시스템은 (Combine, AddFeet, SplitSpider 등) 규칙의 시퀀스를 적용하여 메타-레벨 영역 $M$에 새로운 거미 (증인) 를 포함하는 새로운 다이어그램 $d^+_{ab}$를 구성한다.
   • 이 새로운 증인은 입력 시메의 구조적 불일치를 붕괴시키지 않고 그 공동 표현을 매개한다.

2. 비불리 부정:
   이 체계는 이 프레임워크 내의 도식적 부정이 불리 보충이 아님을 공식적으로 입증한다. 부정된 용어 $\neg_{diag}(S_i)$의 서식지는 시메적 대립과 메타-레벨 영역에 대해 허용되는 구역으로 제한되며, 표준 집합론적 보충에 포함될 영역은 제외된다. 이는 부정이 포괄적 배제가 아닌 가상화된 상태를 생성하는 "대립의 관계적 성격"을 포착한다.

3. 증명-이론적 증언:
   논문은 다음에 대한 증언으로 작용하는 명시적인 증명 트리(예: $T_1$부터 $T_8$까지) 를 구성한다:

   • 실현된 시메에서 그 부정으로의 전환 (예: $/life/ \to /not-life/$).
   • 함의를 통해 부정에서 다시 실현된 용어로의 전환 (예: $/not-life/ \to /death/$).
   • 구성 시메 쌍으로부터 네 가지 메타-용어 전체의 구성.

4. 비정통 용어로의 확장:
   추론 체계는 이항 결합 하에 닫혀 있음이 입증되어, 고전적 해석에서는 일반적으로 배제되지만 이 도식적 프레임워크 내에서 잘 정의된 의미 객체인 비정통 메타-용어 (예: "긍정 스키마" $s_1 + \neg s_1$ 및 "부정 스키마" $s_2 + \neg s_2$) 의 유도를 가능하게 한다.

의의 및 주장
이 논문은 그레마스 기호학적 사각형을 위한 구성적, 규칙 기반 의미론을 제공한다고 주장한다. 그 주요 의의는 다음과 같다:

• 암시적 절차의 명시화: 전통적 기호학에서 종종 휴리스틱인 용어의 "빗질"과 "동형화" 절차를 명시적이고 형식적인 유도로 변환한다.
• '+' 연산자의 재해석: 메타-용어 형성을 정적 논리적 결합이 아닌 구성적 과정 (유도적 상승) 으로 설명하는 증명-이론적 설명을 제공한다.
• 추론 설정의 통합: 도식적 추론이 비불리 부정 및 관계적 대립과 같은 비고전적 의미 연산을 통합된 추론 설정 내에서 어떻게 형식화할 수 있는지를 보여준다.
• 거미 다이어그램의 확장: 이 작업은 집합론적 및 실존적 추론을 넘어 복잡한 구조적 의미 연산을 모델링하기 위해 거미 다이어그램 계산의 표현 범위를 확장한다.

저자들은 이 프레임워크가 기호학적 사각형을 단순한 분석 도구가 아닌, 형식적 도식적 추론을 통해 변환이 명시화되는 생성적 의미 체계로 볼 수 있게 한다고 결론지었다.