Guises and Perspectives: An Intentional and Hyperintensional Sketch

기술적 요약: 외양과 관점: 의도적 및 초의도적 스케치

문제 제기
본 논문은 표준 확장적 치환 원리가 실패하는 의도적 지시, de se(자기 자신에 대한) 태도, 그리고 준지시적 표현 (예: "그 자신") 을 모델링하는 데 따르는 논리적 및 형이상학적 난제들을 다룬다. 이는 Héctor-Neri Castañeda 의 외양 이론 (특정 개념적 프로필 하에 제시된 속성 묶음) 과 Gottfried Wilhelm Leibniz 의 내적 관계 및 술어 포함 교리라는 두 가지 역사적 전통을 종합하려는 시도를 한다. 핵심 문제는 관계들을 외부적 인과적 연결이 아닌, 행위자와 대상의 개념적 프로필 (외양) 내에 인코딩된 내적 구조로 취급하는 형식 시스템을 구축하는 것이며, 이를 통해 인지적 중요성을 모델링하는 데 필요한 초의도적 구분을 보존하면서도 엄격한 의미론적 기반을 유지하는 것이다.

방법론
저자는 다-sort 의 의도적 언어인 **GL(외양 논리)**과 그 확장인 힐베르트 스타일의 증명 시스템 **GL⁺**를 개발한다. 방법론은 다음과 같은 단계를 거친다:

1. 구문론과 존재론: 이 언어는 표식 (속성), 외양 (표식의 묶음), 명제 (표식의 집합), 그리고 세계들을 구분한다. 또한 이진 의도 연산자 $\mathcal{I}(g, \phi)$("외양 $g$가 명제 $\phi$를 의도한다") 와 내적 관계 연산자 $R(g, h)$를 도입한다.
2. 모델 이론: 의미론은 구조 $\mathcal{M} = \langle \mathcal{P}, G, W, T, \kappa, \mathcal{I} \rangle$ 위에 정의된다.
   • 외양: 표식 (속성) 의 집합이다.
   • 닫힘 ($\kappa$): 배경 이론 $T$에 의해 유도된 Tarski-style 결과 연산자로 "완전한 개념" (Leibniz 적 포함) 을 모델링한다.
   • 세계들: 최대 $T$-일치적인 표식 집합들이다.
   • 의도 ($\mathcal{I}$): 각 외양에 의도된 명제들의 가정을 할당하는 사상이다.
   • 진리 조건: 단수 술어는 포함 관계 ($P \in \kappa(g)$) 에 근거하며, 내적 관계는 대상 외양 내에 포함된 의도된 명제의 존재로 정의된다.
3. 공리화: 이 시스템은 포함 진리, Leibniz 적 포함, 그리고 의도적 연결에 대한 공리들을 포함한다. 특히, 의도 - 닫힘 정렬(결과 닫힘, 확장 불변성, 교환성) 과 관계 공리 (반사성, 단조성, 조건부 추이성) 에 대한 원리들을 핵심적으로 통합한다.
4. 초기론적 분석: 논문은 건전성 증명과 정준 모델 완전성 증명을 스케치한다. 특히 의도적 맥락에서의 치환 실패를 어떻게 처리하는지에 초점을 맞춰 시스템의 초의도성에 관한 행동을 분석한다.
5. 시스템 변형: 저자는 결정 가능성과 처리 가능성을 입증하기 위해 정준 닫힘 - 의도 시스템에서 템플릿 제한 및 유한 명시적 모델에 이르기까지 세 가지 구체적인 인스턴스 (시스템 A, B, C) 를 개발한다.

주요 기여

• 형식적 종합: 논문은 Castañeda 의 외양 이론과 Leibniz 의 포함 의미론을 통합하는 최초의 엄밀한 형식화를 제공한다. 이는 관계적 진리들이 외부적 연결이 아닌 개념적 포함과 의도적 구조로부터 유도될 수 있음을 보여준다.
• 초의도적 의미론: 이 시스템은 동일한 완전한 개념 ($\kappa(g) = \kappa(h)$) 을 공유하는 공참조 외양들이 서로 다른 의도 집합 ($\mathcal{I}(g) \neq \mathcal{I}(h)$) 을 가질 수 있는 초의도적 현상을 명시적으로 모델링한다. 이는 의도적 맥락에서의 치환 실패를 허용하여 de se 사고와 준지시적 표현의 인지적 중요성을 포착한다.
• 관점으로서의 내적 관계: 이 프레임워크는 관계들을 "내적 명명"으로 재정의한다. 관계 $R(g, h)$는 $g$가 $h$ 내에 포함된 명제를 의도할 때 성립한다. 이는 단락들이 외부 창문 없이 자신의 관점에서 우주를 표현한다는 Leibniz 적 견해와 부합한다.
• 모달 아키텍처: 가능성과 필연성은 최대 $T$-닫힌 세계들 간의 일관성과 포함을 통해 모델링되며, 이는 외양 논리 내부에 효과적인 "Leibniz 적 추론" 계층을 생성한다.

결과

• 건전성과 완전성: 논문은 모델 절의 검사를 통해 건전성을 확립하고 정준 모델 완전성 증명을 스케치한다. 완전성은 의도 - 닫힘 정렬 원리 (CI1–CI3) 를 만족하는 의도된 모델 클래스에 대해 성립함이 입증된다.
• 결정 가능성: 특히 Horn 이론 ($T$) 과 유한 템플릿 집합 ($\Theta$) 을 사용하는 특정 단편들에 대해, 시스템은 유한 모델 성질을 갖는다. 명제 단편은 결정 가능함이 입증되었으며 (최악의 경우 PSPACE, 전방향 연결을 통한 경우 종종 PTIME).
• De Se 태도의 처리: 이 시스템은 자기 귀속 연산자 ($Self(g, \phi)$) 를 통해 de se 태도를 성공적으로 형식화한다. 이는 $Int(g, \phi) \land \phi \subseteq g$로 정의되며, 이국적인 대상들을 가정하지 않고도 자기 지시의 반사성을 회복한다.
• 실패 모드와 수정: 논문은 구체적인 실패 사례 (예: 닫힘과 의도의 비교환성, 비추이적 관계) 를 식별하고, 이를 처리하기 위한 공리적 수정이나 맥락적 제한 (예: 이상적 Leibniz 적 행위자와 인지적 변이체 구분) 을 제안한다.

의의와 주장
본 논문은 "Leibniz 에게 형이상학적으로 관대하면서도 현대 논리에 기술적으로 적합한" "자기 완결적 형식 프레임워크"를 제공한다고 주장한다. 그 주요 의의는 다음을 입증하는 데 있다:

1. 관계들은 외부적 인과적 연결이 아니라 외양 (관점) 내에 인코딩된 의도적 내적 구조이다.
2. 외양 논리는 안전한 곳에서 확장적 포함에 진리를 고정하면서도 필요한 의도적 구분 (초의도성) 을 보존할 수 있다.
3. 개념의 "계산"에 대한 Leibniz 의 꿈은 포함, 의도, 필연성이 단일 의도 시스템의 일부로 기능하는 이 아키텍처에서 재탄생한다.

저자는 이 작업을 방법론적 진보로 위치시키며, 외양 논리가 Castañeda 가 지적한 지시어와 태도 귀속의 난제들을 술어 논리의 엄격한 의미론적 기반을 포기하지 않고 해결할 수 있음을 보여준다. 논문은 의도성의 모든 문제를 해결한다고 주장하지는 않지만, 관점과 내적 관계를 모델링하기 위한 구체적이고 형식화 가능한 매개변수 세트를 제공한다.