기술적 요약: 증명 이론적 의미론을 통한 정보의 추론주의적 설명을 향하여

1. 문제 제기

본 논문은 현대 사회와 정보과학의 중심에 있음에도 불구하고, '정보' 개념에 대해 완전히 설득력 있는 논리적 또는 수학적 기초가 부재하다는 점을 다룹니다. 상황 이론 (Situation Theory) 과 같은 모델 이론적 의미론에 기반한 기존 접근법들은 외부 모델에서 도출된 진리 조건에 의존합니다. 저자들은 이러한 진리 (특히 '진실성 명제', Veridicality Thesis) 와 외부 모델에 대한 의존성이 복잡하고 분산된 정보 생태계에 대한 추론 능력을 제한한다고 주장합니다. 그들은 정보의 의미가 모델과의 대응이 아니라 추론에서의 사용에 의해 결정되는 프레임워크가 필요하다고 제기합니다.

2. 방법론

저자들은 증명 이론적 의미론 (P-tS), 구체적으로 **기반 확장 의미론 (B-eS)**을 기반으로 한 정보의 추론주의적 의미론을 제안합니다. 이 방법론은 세 가지 상호작용하는 구성 요소를 포함합니다:

1. 개념 분석 (형이상학): 저자들은 프레드 드레트스케 (Fred Dretske) 의 정보에 대한 형이상학 (의도성, 진리, 전달성) 을 재해석합니다. 진리의 요구사항을 **추론 가능성 (Inferability)**으로 대체합니다. 정보는 모델에서 참인 사실로 정의되지 않고, 원자적 규칙의 집합 (기반, base) 에서 유도 가능한 단위로 정의됩니다.
2. 논리 (형식화): 본 논문은 **인페론 (inferon)**이라고 불리는 정보의 원시 단위에 대한 수리 - 논리적 이론을 구축하기 위해 P-tS 를 활용합니다. 이 접근법은 상황 이론 (Barwise, Seligman 등) 의 모델 이론적 **인폰 (infon)**과 대조됩니다.
   • 인페론: $\langle\langle P, \mathcal{P}, b \rangle\rangle$라는 세 쌍으로 정의되며, 여기서 $P$는 원자 명제 또는 술어, $\mathcal{P}$는 지역적 인페론 기반 (원자적 규칙의 집합), $b$는 극성 (주장 또는 부인) 입니다.
   • 의미: 인페론의 의미는 1 차 모델이 아니라 원자적 규칙의 전역 기반과 인페론의 지역 기반에서 도출됩니다.
   • 논리: 저자들은 직관적 명제 논리 (IPL) 에 대한 Sandqvist 의 B-eS 와 1 차 논리로의 Gheorghiu 의 확장을 확장하여 인페론의 논리를 개발합니다.
3. 시스템 (응용): 개발된 P-tS 도구를 분산 시스템을 모델링하는 데 적용합니다. 저자들은 분류 (classifications) 와 인포모피즘 (infomorphisms) 을 **인페론 기반 (inferonic bases)**과 **인페로모피즘 (inferomorphisms)**으로 대체하여 Barwise 와 Seligman 의 '분산 시스템 논리 (LDS)'프레임워크를 적응시킵니다.

3. 주요 기여

A. 인페론과 추론주의적 의미론

핵심 기여는 상황 이론의 **인폰 (infon)**에 대한 추론주의적 대응물로서 **인페론 (inferon)**을 정의하는 것입니다.

• 구조: 인페론 $\iota = \langle\langle P, \mathcal{P}, b \rangle\rangle$는 명제 $P$, 지역 기반 $\mathcal{P}$, 그리고 극성 $b$로 구성됩니다.
• 지지 관계 (Support Relation): 유효성은 기반 $B$에 대한 지지 관계 $\Vdash_B$를 통해 정의됩니다. 원자적 인페론은 전역 기반과 지역 기반의 합집합에서 유도될 때 지지됩니다: $\Vdash_B \langle\langle P, \mathcal{P}, b \rangle\rangle$는 $\vdash_{B \cup \mathcal{P}} \langle\langle P, b \rangle\rangle$일 때 성립합니다.
• 주체성 (Agency): 이 프레임워크는 추론 능력을 나타내기 위해 주체 모달리티 ($[a]$ 및 $\langle a \rangle$) 를 도입합니다. 주체가 인페론을 지지할 수 있는 능력은 주변 기반과 주체의 특정 기반 집합의 합집합에 달려 있습니다.

B. 논리적 결과

본 논문은 인페론 논리의 형식적 속성을 확립합니다:

• 건전성과 완전성: 저자들은 Sandqvist 의 증명을 적응시켜 인페론의 명제 논리에 대해 정리 11(건전성) 과 정리 12(완전성) 를 증명합니다. 이러한 결과는 1 차 논리 사례로 확장됩니다 (확장된 정리 11 및 12).
• (인페론) 공리: 자연 연역 계산과 기반 확장 의미론 간의 일관성을 보장하기 위해 지역 기반과 전역 지지 관계 간의 상호작용을 처리하는 특정 공리가 도입됩니다.
• 복합 인페론: 이 프레임워크는 인페론 내에서 논리 연결사를 허용하며, 지지 관계는 재귀적으로 정의됩니다 (그림 9).

C. 정보 흐름과 인페로모피즘

본 논문은 분산 시스템에서 정보 흐름에 대한 추론주의적 설명을 개발합니다:

• 인페로모피즘: LDS 의 인포모피즘과 유사하게, 인페로모피즘은 서로 다른 기반 간에 유도 관계를 보존하는 두 함수 쌍 ($f^\vee$는 항에 대해, $f^\wedge$는 술어에 대해) 입니다.
• 채널: 채널은 공통 핵심 (중앙 기반) 을 공유하는 인페로모피즘의 가족으로 정의됩니다.
• 정보 흐름: 정보 흐름은 채널을 가로지르는 인페론 간의 제약으로 특징지어집니다. 만약 제약이 핵심에서 성립한다면, 한 구성 요소에서 다른 구성 요소로 정보가 전달됩니다.
• 사이트와 맥락: 저자들은 사이트(유한한 인페론 원자의 집합) 와 맥락적 지지 관계 $\Vdash^P_B$를 도입합니다. 이를 통해 제약이 함축과 'Inf'규칙을 통해 내부화되고 외부 의미론적 조건이 아닌 방식으로 정보 흐름을 모델링할 수 있습니다.

4. 결과 및 예시

본 논문은 여러 예시를 통해 프레임워크의 유용성을 입증합니다:

• 불이 나지 않으면 연기도 없다: 인페론 기반을 연결하는 추론 규칙으로서 '제약에 대한 조율 (attunement)'을 형식화합니다. 이는 주체가 원격 사실에 직접 접근하지 않고도 지역적 지각 (연기) 과 공유된 제약에 기반하여 원격 상황 (불) 에 대한 정보를 유도할 수 있음을 보여줍니다.
• 현명한 남자 퍼즐: 고정된 추론 능력을 사용하여 인식적 퍼즐을 모델링합니다. 주체들은 다른 주체들의 추론 불가능성에 대해 추론하며, 이 프레임워크가 무제한 상태 공간 탐색 없이 추론 자체에 대한 추론을 어떻게 처리하는지 보여줍니다.
• 접근 제어: 비밀번호와 토큰이 접근으로 이어지는 시스템을 모델링하여 제약이 어떻게 함축을 통해 논리 내부화될 수 있는지를 보여줍니다.
• 공항 보안: 여권, 항공권, 수하물과 같은 정보의 흐름을 분산 시스템을 통해 모델링한 상세한 사례 연구 (그림 11) 입니다. 이는 사이트 (특정 위치에서 이용 가능한 정보) 와 기반 (추론 능력) 이 채널을 통해 어떻게 진화하고 상호작용하여 시스템 무결성 (예: 승객과 수하물의 일치) 을 보장하는지 보여줍니다.

5. 중요성 및 주장

본 논문은 추론과 추론에 기반한 정보에 대한 개념적으로 엄밀한 수리 - 논리적 설명을 제공한다고 주장합니다. 그 중요성은 다음과 같습니다:

• 기반의 전환: 모델 이론적 관점 (모델 내의 진리) 에서 증명 이론적 관점 (기반 내의 유도) 으로 전환합니다. 이는 의미가 사용에 의해 결정된다는 추론주의 철학과 일치합니다.
• 반 벤텐 (Van Benthem) 의 범주 대응: 저자들은 그들의 접근법이 주로 **상관로서의 정보 (Information-as-Correlation)**를 (인페론과 상황을 통해) 다루지만, **범위로서의 정보 (Information-as-Range)**를 (기반의 범위를 통해) 그리고 **코드로서의 정보 (Information-as-Code)**를 (메시지의 추론적 내용을 통해) 다루기 위한 경로도 제공한다고 주장합니다.
• 분산 시스템 모델링: 이는 정보 처리 시스템의 조직에 적용 가능한 정보 흐름에 대한 추론 기반 이론을 제공하며, 잠재적으로 관리하기 어려운 전역 모델에 의존하지 않고 복잡한 생태계를 이해하기 위한 도구를 제공합니다.
• 겸손함: 저자들은 이 작업을 완전한 추론주의적 설명을 향한 '첫걸음'으로 규정합니다. 진실성, 주체성, 그리고 다른 논리적 역학 (예: 반 벤텐의 작업) 과의 통합에 대한 더 깊은 논의는 향후 작업으로 남겨두었다고 인정합니다. 그들은 모든 기초적 문제를 해결했다고 주장하지는 않지만, 추가 개발을 위한 실행 가능한 논리적 프레임워크를 확립했다고 주장합니다.