Ignorance with(out) Grasping

이 논문은 무지를 논리적으로 동등한 명제에 대한 차이를 설명할 수 있는 초강의적 (hyperintensional) 개념으로 정의하고, 주제 민감적 의미론을 도입하여 세 가지 무지 유형에 대한 완전한 논리 체계를 제시함으로써 논리적 전지성 문제를 해결합니다.

핵심

🧩 핵심 아이디어: "모르는 것"에도 종류가 있다

우리는 보통 "A 를 모른다"라고 말하면, A 에 대한 정보가 전혀 없는 상태라고 생각합니다. 하지만 이 논문은 **"A 와 B 는 논리적으로 완전히 같은 말인데, 사람은 A 는 알지만 B 는 모를 수 있다"**고 말합니다.

이걸 이해하기 위해 레고 블록 비유를 사용해 봅시다.

🏰 비유: 레고 성 vs. 레고 성 + 우주선

• 상황: 왕 (William III) 이 있습니다.
• 명제 A: "영국이 프랑스와 전쟁을 피할 수 있다." (이건 왕이 잘 알고 있는 사실입니다.)
• 명제 B: "영국이 핵전쟁을 피할 수 있다." (핵전쟁이라는 개념은 왕이 전혀 알지 못합니다.)

논리학적으로 "핵전쟁을 피한다"는 말은 "전쟁을 피한다"는 말과 동일한 의미입니다. (핵전쟁도 전쟁의 일종이니까요.)
하지만 왕은 A 는 알지만, B 는 모릅니다. 왜일까요?
왕은 '핵전쟁'이라는 **주제 (Topic)**를 전혀 이해하지 못하기 때문입니다. 그는 '전쟁'이라는 레고 블록은 가지고 있지만, '핵'이라는 특수한 레고 블록은 손에 쥐고 있지 않습니다.

이 논문은 기존의 논리 시스템이 이 차이를 설명하지 못한다고 지적합니다. 그래서 **"주제 민감성 (Topic-sensitive)"**이라는 새로운 안경을 끼고 무지를 바라보자는 것입니다.

---

🔍 세 가지 종류의 '무지'를 분석하다

저자들은 무지를 크게 세 가지 유형으로 나누어 각각의 논리 체계를 만들었습니다.

1. "어떤 게 맞는지 모르겠다" (Ignorance Whether)

• 상황: "내 동생이 로마에 있을까, 아닐까?"를 전혀 모르는 상태.
• 비유: 당신은 동생이 어디 있는지 전혀 모릅니다. '로마'라는 개념도, '동생'이라는 개념도 제대로 파악하지 못해서, 두 가지 가능성 (있음/없음) 사이에서 헤매고 있습니다.
• 해결책: 이 논문은 "주제를 파악하지 못하면 무지하다"는 조건을 추가했습니다. 주제를 모르면, 그 문제가 해결될지 안 될지 알 수 없는 상태가 됩니다.

2. "사실은 맞는데 내가 모른다" (Ignorance as Unknown Truth)

• 상황: "내 동생이 로마에 있다"는 사실이 맞는데, 나는 그걸 모르고 있다.
• 비유: 내 동생이 실제로 로마에 있는데, 나는 "아마도 파리에 있겠지"라고 생각하고 있습니다. 사실은 알고 있는데, 내 머릿속에는 그 정보가 없습니다.
• 해결책: 여기서도 '주제 파악'이 중요합니다. 만약 내가 '동생'이라는 주제 자체를 이해하지 못한다면, 그가 로마에 있는지 없는지조차 '무지'의 범주에 들어갑니다.

3. "틀린 걸로 믿고 있는 무지" (Disbelieving Ignorance)

• 상황: "내 동생이 로마에 있다"는 사실이 맞는데, 나는 "아니, 동생은 파리에 있어!"라고 거짓으로 믿고 있는 상태.
• 비유: 나는 동생이 파리에 있다고 확신하고 있습니다. 하지만 사실은 로마에 있습니다. 나는 '로마'라는 주제를 알고는 있지만, 그걸 '파리'라고 잘못 알고 있는 상태입니다.
• 특이점: 이 경우, 주제를 반드시 파악하고 있어야 '무지'로 간주됩니다. 만약 주제를 전혀 모른다면 (예: 동생이 누구인지 모름), 그냥 '완전한 무지'가 되죠.

---

🚫 왜 이 연구가 중요한가? "논리적 전지전능함"의 문제 해결

기존의 논리 시스템에서는 **"누군가 A 를 안다면, A 와 같은 B 도 자동으로 안다"**는 가정을 합니다. 이를 **'논리적 전지전능함 (Logical Omniscience)'**이라고 부릅니다.

• 예: "1+1=2"를 안다면, "1+1=2 이고, 하늘은 파랗다"도 알아야 한다는 식입니다.

하지만 현실의 인간은 그렇지 않습니다. 우리는 복잡한 논리 연결을 다 이해하지 못합니다.
이 논문은 **"주제를 파악하지 못하면, 논리적으로 같은 말이라도 모를 수 있다"**는 점을 강조함으로써, 인간처럼 제한된 능력을 가진 존재의 무지를 더 정확하게 모델링할 수 있게 해줍니다.

💡 요약: 이 논문이 전하는 메시지

1. 무지는 단순한 '빈 공간'이 아니다: 무지는 우리가 어떤 개념 (주제) 을 이해할 수 있는 능력과 관련이 깊습니다.
2. 같은 말도 다르게 느껴진다: 논리적으로 똑같은 말이라도, 우리가 그 말의 '주제'를 이해하지 못하면 그걸 모른다고 할 수 있습니다.
3. 새로운 안경: 우리는 무지를 분석할 때, 단순히 '알았는가/몰랐는가'를 보는 게 아니라, **'그 주제를 grasping(파악) 했는가?'**를 함께 봐야 합니다.

한 줄 결론:

"우리가 무지한 이유는 단순히 정보가 없어서가 아니라, 그 정보의 핵심 주제를 제대로 파악하지 못해서일 수 있다."

이 연구는 인공지능이나 컴퓨터 시스템이 인간의 '무지'를 더 자연스럽게 이해하고, 인간처럼 유연하게 사고할 수 있는 토대를 마련해 줍니다.

기술 요약

1. 연구 배경 및 문제 제기 (Problem)

• 지식의 초의도성 (Hyperintensionality) 과 무지의 부재: 논리학 및 형식 인식론에서 '지식'과 '신념'은 논리적으로 동치인 명제 (예: $p$ 와 $p \land (q \lor \neg q)$) 에 대해 서로 다른 태도를 가질 수 있는 '초의도적 (hyperintensional)' 개념으로 널리 인정받고 있습니다. 그러나 '무지 (ignorance)'는 전통적으로 단순히 '지식의 부재'로 간주되어 왔으며, 이에 대한 표준적인 형식화 (형식적 체계) 가 부족합니다.
• 기존 접근법의 한계: 기존에 제안된 무지의 논리 체계 (예: van der Hoek & Lomuscio 의 'Ignorance Whether', Steinsvold 의 'Ignorance as Unknown Truth', Kubyshkina & Petrolo 의 'Disbelieving Ignorance') 는 모두 표준 크립크 (Kripke) 의미론을 기반으로 합니다. 이 체계들은 논리적으로 동치인 명제에 대해 무지 여부가 동일하게 결정되는 의도성 (intensionality) 을 가지며, 에이전트가 명제의 '내용 (content)'을 이해 (grasp) 하느냐의 여부에 따른 차이를 포착하지 못합니다.
• 핵심 문제: 에이전트가 논리적으로 동치인 두 명제 중 하나는 알지만 다른 하나는 모를 수 있는 상황 (예: 윌리엄 3 세가 '영국이 프랑스와 전쟁을 피할 수 있는지'는 알지만, '핵전쟁을 포함한 전쟁'에 대한 개념은 모를 때) 을 설명할 수 있는 형식적 체계가 필요합니다. 즉, 무지를 초의도적 개념으로 재정의하고 이를 포착할 수 있는 논리가 필요합니다.

2. 방법론 (Methodology)

이 논문은 무지의 초의도성을 포착하기 위해 주제 민감 의미론 (Topic-sensitive Semantics) 을 도입하여 기존 세 가지 무지 유형을 재정의하고 새로운 논리 체계를 구축했습니다.

• 주제 민감 의미론의 적용:
  • 명제 $\phi$는 단순히 진리값 (possible worlds) 뿐만 아니라 주제 (topic) 를 가집니다.
  • 에이전트는 특정 주제에 대해 '이해 (grasp)'할 수 있는 상태 ($K$) 와 그렇지 않은 상태로 구분됩니다.
  • 무지 조건에 주제 이해 조건을 추가합니다: 에이전트가 명제 $\phi$의 주제를 이해하지 못하면, 그 명제에 대해 무지한 것으로 간주합니다.
• 세 가지 무지 유형의 재정의:
  1. Ignorance Whether ($I_w$): 명제나 그 부정이 진리인지 알지 못하는 상태.
  2. Ignorance as Unknown Truth ($I_u$): 명제가 진리이지만 에이전트가 알지 못하는 상태.
  3. Disbelieving Ignorance ($I_d$): 명제가 진리이지만 에이전트가 그 부정을 믿는 상태.
• 형식적 체계 구축:
  • 각 무지 유형에 대해 새로운 언어와 의미론을 정의하고, 이를 기반으로 완전하고 건전한 (sound and complete) 공리계 (Axiomatization) 를 제시했습니다.
  • 특히 $I_d$ (Disbelieving Ignorance) 의 경우, 에이전트가 무지를 경험하려면 해당 명제의 주제를 반드시 이해 (grasp) 해야 한다는 점을 강조하여 $I_w, I_u$ 와 구별되는 조건을 설정했습니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

• 초의도적 무지 논리 체계의 정립:
  • $HI_W$ (Hyperintensional Ignorance Whether): 주제를 이해하지 못하면 무지로 간주하는 체계.
  • $HI_U$ (Hyperintensional Ignorance as Unknown Truth): 진리이지만 주제를 이해하지 못해 무지한 경우를 포함하는 체계.
  • $HDI$ (Hyperintensional Disbelieving Ignorance): 주제를 이해해야만 '부정적 믿음'을 통해 무지를 가질 수 있다는 조건을 도입한 체계.
  • 각 체계에 대해 건전성 (Soundness) 과 완전성 (Completeness) 정리를 증명했습니다 (부록 A, B, C 참조).
• 논리적 전지성 (Logical Omniscience) 문제의 해결:
  • 기존 크립크 의미론 기반 체계에서는 논리적 동치 명제에 대한 무지 여부가 동일하게 결정되는 등 논리적 전지성 문제가 발생했습니다.
  • 제안된 초의도적 체계에서는 주제 이해 조건이 추가됨으로써, 논리적으로 동치인 명제 ($p$ 와 $p \land (q \lor \neg q)$) 에 대해 에이전트가 하나는 무지하지 않고 다른 하나는 무지할 수 있음을 보여줍니다.
  • 이는 에이전트가 모든 논리적 귀결을 안다는 비현실적인 가정을 완화하고, 실제 인간이나 컴퓨터 에이전트의 인지적 한계 (주제 이해 능력) 를 반영할 수 있게 합니다.
• 구체적 사례 분석:
  • 윌리엄 3 세의 예시를 통해, 에이전트가 '전쟁 회피'라는 주제는 이해하지만 '핵전쟁'이라는 주제는 이해하지 못할 때, 논리적으로 동치인 명제에 대해 서로 다른 무지 상태를 가질 수 있음을 모델링으로 증명했습니다.

4. 의의 및 중요성 (Significance)

• 형식 인식론의 확장: 무지를 단순한 '지식의 부재'가 아닌, 에이전트의 인지적 능력 (주제 이해 능력) 과 밀접하게 연관된 독립적인 심리 상태로 재정의했습니다. 이는 무지의 다양한 형태 (완전한 무지, 의심하는 무지 등) 를 체계적으로 분석하는 토대를 마련합니다.
• 초의도성 연구의 기여: 지식과 신념 외에 '무지' 또한 초의도적 현상임을 입증하여, 초의도성 연구의 범위를 확장했습니다.
• 실용적 적용 가능성: 인공지능 (AI) 및 다중 에이전트 시스템에서 에이전트의 지식 상태를 모델링할 때, 에이전트가 실제로 이해할 수 있는 정보의 범위 (Topic) 를 고려함으로써 더 현실적이고 정교한 에이전트 모델을 구축할 수 있게 합니다. 이는 논리적 전지성 가정을 완화하여 계산적 효율성과 현실성을 동시에 확보하는 데 기여합니다.

결론

이 논문은 무지를 주제 민감 (topic-sensitive) 한 초의도적 개념으로 재해석함으로써, 기존 논리 체계가 설명하지 못했던 "이해의 부재에 의한 무지"를 형식화했습니다. 이를 통해 논리적 전지성 문제를 효과적으로 해결하고, 에이전트의 인지적 한계를 반영한 더 정교한 인식론적 논리 체계를 제시했다는 점에서 중요한 학술적 의의를 가집니다.