Better Understanding, Understanding Better

기술적 요약: "더 나은 이해, 더 잘 이해하기"

문제 제기
현대 인식론과 과학 철학은 '이해(understanding)'를 '지식(knowledge)'과 구별하며, 특히 이해는 정도를 가질 수 있다는 점(어떤 것을 다른 것보다 "더 잘" 또는 "더 깊이" 이해할 수 있음)과 본질적으로 비교적이라는 점을 강조한다. 인식론적 논리는 지식과 믿음에 관한 풍부한 도구들을 발전시켜 왔으나, 이러한 이해의 특정한 특징들을 모델링하는 데에는 상대적으로 주의를 기울이지 않았다. 기존의 형식적 접근법들, 예를 들어 '왜 그러한지 아는 것(knowing why)'에 대한 논리와 이를 고차 설명(higher-order explanation)을 통해 '왜 그러한지 이해하는 것(understanding why)'으로 확장한 연구[31, 35]는 설명적 지지의 필요성은 포착하지만, 설명적 깊이의 위계를 표현하거나 동일한 명제에 대한 서로 다른 행위자들의 이해 수준을 명시적으로 비교할 수 있는 기제는 부족하다. 또한, 표준적인 정당화 논리(justification logics)들은 합 연산자($+$)를 누락하거나, 최소한의 이해에서 이상적인 이해로의 전이를 모델링하는 데 필요한 등급 구조를 결여하고 있다.

방법론
본 논문은 다음 세 가지 핵심 구성 요소를 통합하는 **비교 인식 이해 논리(Comparative Epistemic Logic of Understanding, CELU)**를 제안한다:

1. 등급화된 양상(Graded Modalities): $\tau \in \mathbb{N}^+ \cup \{\omega\}$가 이해의 수준을 나타내는 연산자 가족 $U^\tau_i \phi$. 유한 인덱스($1, 2, \dots$)는 증가하는 설명 표준(최소한의 이해에서부터 전형적인 과학적 이해까지)에 대응하며, $\omega$는 이상적인 이해를 나타낸다.
2. 비교 연결사(Comparative Connective): "행위자 $i$가 행위자 $j$보다 $\phi$를 더 잘 이해한다"는 의미를 갖는 원초적 이항 연산자 $(i \succ j)\phi$.
3. 행위자 색인형 등급 의미론(Agent-Indexed Graded Semantics): 이 의미론은 다음을 포함하여 다중 행위자 인식 모델을 확장한다:
   • 연산($\cdot, +, !$)에 대해 닫혀 있고 상수 $c$를 포함하는 설명 항(explanation terms)의 집합 $E$.
   • 각 항에 "강도"를 할당하는 등급 맵 $gr: E \to \mathbb{N}$. 결정적으로, 합 연산($+$)은 엄격하게 등급을 낮추는(grade-downgrading) 성질을 갖는다(입력이 양수일 경우, 합은 더 낮은 등급을 가짐). 이는 설명을 결합할 때 발생하는 구체성의 상실을 반영한다.
   • 행위자 $i$가 어떤 세계에서 명제 $\phi$에 대한 설명으로서 항 $t$를 보유하고 있는지를 나타내는 행위자 색인된 허용 가능한 설명 함수 $E_i(t, \phi)$.

$U^n_i \phi$의 진릿 조건은 행위자 $i$가 접근 가능한 모든 세계에서 보유하는, 등급이 $n$ 이상인 단일 설명 항 $t$의 존재를 요구한다. 비교 연산자 $(i \succ j)\phi$는 다음과 같이 의미론적으로 정의된다: (1) $\phi$에 대한 $i$의 이해 정도( $U^n_i \phi$가 성립하는 수준 $n$의 상한값/supremum)가 $j$의 이해 정도보다 엄격히 높고, (2) $j$가 $\phi$를 알고 있다.

주요 기여
본 논문의 주요 기술적 기여는 네 가지이다:

1. 통합 프레임워크: 최소한의, 통상적인, 까다로운, 그리고 이상적인 이해와 더불어 행위자 간의 비교 판단을 표현할 수 있는 단일 논리 프레임워크를 제공한다.
2. 유한 계산 체계 ($SCU_\kappa$): 임의의 고정된 유한 단계 $\kappa$에 대해, 저자들은 유한 힐베르트 스타일의 체계를 정의한다. 저자들은 이 체계의 **건전성(soundness)**과 **강한 완전성(strong completeness)**을 확립한다. 나아가, 자명한 타우톨로지 $\Lambda$가 효과적으로 제어 가능하다면, 고정된 유한 단계 파편들에 대한 만족 가능성(satisfiability) 및 타당성(validity) 문제가 **결정 가능(decidable)**함을 증명한다.
3. **무한 언어 전체 시스템 ($SCU$):** 이상적인 이해($\omega$)를 포착하기 위해, 저자들은 이 무한 확장 계산 체계를 도입한다. 이 시스템은${U^n_i \phi \mid n \in \mathbb{N}^+}$라는 무한 전제 집합으로부터$U^\omega_i \phi$를 유도하는$\omega$-도입 규칙을 포함한다. 저자들은 무한 규칙으로 닫힌 극대 일관 집합(maximal consistent sets)에 기반한 정형 모델 구축을 통해 이 시스템의 건전성과 강한 완전성을 증명한다.
4. 경계 분석: 본 논문은 유한 언어와 전체 언어 사이의 논리적 경계를 고립시킨다. 저자들은 전체 언어에서 비교 연결사 $(i \succ j)\phi$는 비교가 없는 공식들에 의해 **제거 불가능(not eliminable)**한 반면, 유한 언어에서는 제거 가능하다는 것을 보여준다. 또한, 전체 언어는 비콤팩트(non-compact)임이 밝혀졌다(즉, 어떤 공식 집합은 유한하게는 만족 가능하지만 전체로는 만족 불가능할 수 있다). 이는 건전한 유한 증명 체계가 전체 언어에 대해 강한 완전성을 가질 수 없음을 시사한다.

결과

• 완전성: 본 논문은 유한한 체계 $SCU_\kappa$와 무한 체계 $SCU$ 모두에 대해 강한 완전성을 확립한다.
• 결정 가능성: 임의의 고정된 유한 단계 파편 $CELU_\kappa$에 대해 만족 가능성과 타당성은 결정 가능하다.
• 비콤팩트성: 행위자가 모든 유한 단계에서 이해를 가져야 하는 동시에 다른 행위자는 이상적 이해를 가져야 하는 공식을 포함하는 집합이 극한에서 모순을 일으킴으로써, 전체 언어 $CELU$는 비콤팩트함을 입증한다.
• 비교의 속성: 시스템은 비교 연결사와 단계별 이해 연산자 사이의 상호작용으로부터 도출되는 비반사성(irreflexivity), 이행성(transitivity), 비대칭성(asymmetry)을 포함한 비교 연산자의 표준적 속성들을 도출한다.

의의
본 논문은 현대 인식론적 논리 내에서 '이해'를 형식적으로 규율된 개념으로 복구한다고 주장하며, 철학적 구분(지식 vs 이해, 이해의 정도)과 형식적 논리 도구 사이의 간극을 메운다. '왜 그러한지 아는 것(knowing why)' 연산자를 넘어 등급화되고 비교 가능한 설정으로 나아감으로써, 이 프레임워크는 설명적 깊이를 분석하기 위한 통합된 메타 이론을 제공한다. 저자들은 이 작업이 인식론적, 비교적, 그리고 정당화 스타일의 아이디어들을 합성한 것이며, 이해의 역동적 변화(예: 의사소통이나 학습을 통한 변화)에 대한 후속 연구 및 설명에 대한 다른 형식적 계정들과의 비교를 위한 토대를 제공한다고 위치시킨다. 이 연구는 역사적으로 중세 논리학에서 다루어졌으나 최근까지 현대 형식 인식론에서 거의 부재했던 개념을 기술적으로 복구하는 작업으로 제시된다.