🔢 mathematics

Classification and deontic explosion for contrary-to-duty obligations

이 논문은 카르모와 존스의 최신 의무 논리 체계에서 조건부 의무에 대한 제한된 의무적 폭발 현상을 증명하는 부정적 결과와 함께, 1997 년의 체계에 대한 긍정적 분류 결과를 제시합니다.

원저자: Bjørn Kjos-Hanssen

게시일 2026-04-21

📖 3 분 읽기🧠 심층 분석

원저자: Bjørn Kjos-Hanssen

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

1. 기묘한 '의무 폭발' 현상: "A 를 못 하면, C 도 괜찮아?"

논문의 가장 충격적인 부분은 "약간의 의무가 무너지면, 그보다 훨씬 나쁜 것도 의무가 되어버리는" 역설을 발견했다는 점입니다.

🎓 비유: 시험 성적 이야기
상상해 보세요. 제임스라는 학생이 시험을 봤습니다.

A: 최상급 (가장 바람직함)
B: 차상급
C: 보통 (及格)
D: 불합격 직전
F: 불합격

우리의 상식은 다음과 같습니다.

"성적이 A 나 B 라면, A를 받아야 해." (당연하지)
"성적이 C 나 D 라면, C를 받아야 해." (최소한 C 는 받아야지)

그런데 논문의 저자가 제안한 논리 규칙들을 이 상식에 적용하면, 기이한 결론이 나옵니다.

"성적이 C 나 D 라면, C 를 받아야 한다"는 명제는 "성적이 A 나 B 라면 A 를 받아야 한다"는 명제와 합쳐져서, **"성적이 A, B, C, D 중 하나라면 A 나 C 를 받아야 한다"**는 결론이 나옵니다.
여기서 논리 규칙을 한 번 더 적용하면, **"성적이 B, C, D 중 하나라면 C 를 받아야 한다"**는 결론이 나옵니다.

🤯 결론: "제임스, A 를 못 받았어? 아, 그럼 B 를 못 받았어도 상관없고, C 를 받으면 된다고!"
이것은 마치 "내가 사랑하는 여자를 못 만나면, 그 다음으로 싫어하는 사람과 결혼해도 된다"는 뜻과 같습니다. (논문의 비유: "너를 못 만나면 아무나 안 좋아"라는 비극적인 노래 가사처럼요.)

이것을 **'의무 폭발 (Deontic Explosion)'**이라고 부릅니다. 이상적인 상황 (A) 이 무너졌을 때, 그보다 조금이라도 나쁜 상황 (C) 이 갑자기 '의무'로 떠오르는 기이한 현상입니다.

2. 수학적 비밀: "나쁜 세상 하나만 피하면 돼"

하지만 저자는 이 '폭발' 현상 때문에 좌절하지 않았습니다. 오히려 이 시스템의 수학적인 구조를 파헤치다가 놀라운 발견을 했습니다.

🌍 비유: '나쁜 세상' 하나만 피하는 게임
이 논리 시스템 (가장 강력한 버전) 을 만족시키는 모든 가능한 세계 (모델) 를 분류해 보니, 놀랍게도 세 가지 경우만 존재한다는 것이 밝혀졌습니다.

아무것도 의무가 없는 세상: "할 일이 없다."
무조건 모든 게 의무인 세상: "무엇을 해도 다 옳다."
단 하나의 '나쁜 세상'만 피하는 세상:
- 이 세상은 **'금지된 세계 (Forbidden World)'**가 딱 하나 있습니다. (예: '불량한 행동'이나 '재앙')
- 모든 의무는 단순히 **"그 나쁜 세계에 빠지지 않도록 하는 것"**입니다.
- 마치 "세상에서 유일하게 '불꽃놀이'만 하지 말아야 한다"는 규칙이 있는 것처럼, 모든 의무는 그 '불꽃놀이'를 피하는 방향으로만 정의됩니다.

💡 의미:
우리가 복잡한 도덕적 딜레마 (예: "친구를 배신하지 말아야 하는데, 거짓말을 해야 친구를 구할 수 있다") 를 풀려고 복잡한 규칙을 만들지만, 수학적으로 보면 이 시스템은 **"오직 하나의 나쁜 것만 피하면 된다"**는 매우 단순하고 깔끔한 구조로 정리될 수 있다는 것입니다.

3. 이 연구가 왜 중요한가요?

경고: 우리가 만든 '옳고 그름'을 계산하는 컴퓨터 프로그램이나 AI 시스템에 이 논리를 그대로 쓰면, "최고의 결과가 안 나오면 그보다 조금 나쁜 것도 OK"라는 위험한 결론을 내릴 수 있습니다. (시험에서 A 를 못 받으면 C 를 받아도 된다는 식으로요.)
기대: 하지만 동시에, 이 복잡한 도덕적 규칙들이 수학적으로는 **매우 단순한 구조 (나쁜 것 하나만 피하는 것)**로 분류될 수 있다는 점은, 우리가 도덕을 수학적으로 모델링할 때 새로운 통찰을 줍니다.

📝 한 줄 요약

"이 논문은 '옳은 일'을 논리적으로 정의하려다 'A 를 못 하면 C 도 OK'라는 기이한 함정에 빠졌지만, 동시에 그 시스템의 핵심이 **'나쁜 세상 하나만 피하는 것'**이라는 수학적 비밀을 발견했습니다."

이 연구는 우리가 도덕과 논리를 어떻게 조화시킬지, 그리고 인공지능이 윤리적 판단을 할 때 어떤 함정에 빠질 수 있는지 경고하는 중요한 작업입니다.

논문 요약: 상충 의무 (Contrary-to-Duty) 와 의무론적 폭발

1. 문제 제기 (Problem)

이 논문은 의무론 논리 (Deontic Logic) 에서 상충 의무 (Contrary-to-Duty, CTD) 문제를 다루며, Carmo 와 Jones 가 1997 년부터 2022 년까지 제안한 일련의 조건부 의무 (Conditional Obligation) 공리 체계에 대한 분석을 수행합니다.

핵심 문제: CTD 의무는 "주된 의무가 위반되었을 때 발생하는 2 차 의무"를 다룹니다 (예: "방문해야 한다"는 의무가 위반되었을 때 "방문했음을 알리다"는 의무).
배경: 기존 연구들은 이러한 CTD 의무를 포착하기 위해 다양한 공리 체계를 제안해 왔으나, 논리적 모순이나 직관에 반하는 결과 (패러독스) 를 피하기 어렵다는 비판을 받아왔습니다.
목표: Carmo 와 Jones 의 최신 시스템 (2022) 에서 발생하는 논리적 결함을 규명하고, 동시에 해당 시스템이 가진 수학적 구조를 분류하여 그 의미를 규명하는 것입니다.

2. 방법론 (Methodology)

저자는 Carmo 와 Jones 가 제안한 공리들 (5(a)~5(g)) 을 기반으로 한 형식적 모델을 분석합니다.

공리 체계 분석: 가능한 세계 (Possible Worlds) 의 집합 $W$ $W$ 와 그 멱집합 $P(W)$ $P (W)$ 사이의 함수 $ob$ (의무 관계) 에 대한 8 가지 공리 (5(a)~5(g)) 를 검토합니다.
- 주요 공리: 공집합 불가 (5a), 교차에 대한 닫힘 (5c), 조건부 전이 (5e), 합집합 (5f) 등.
반례 구성 (Anomaly Derivation): 공리 5(b), 5(e), 5(f) 를 결합하여 직관에 반하는 "의무론적 폭발 (Deontic Explosion)" 현상을 유도합니다.
모델 분류 (Model Classification): 가장 강력한 공리 체계 (CJ97 시스템: 5(a)~5(e)) 를 만족하는 모든 모델을 수학적으로 분류하고, 그 구조를 단일 "금지된 세계 (Forbidden World)" 개념으로 설명합니다.
검증 도구: 모든 수학적 주장은 증명 도우미 Lean을 통해 검증되었으며, Maple 을 이용한 스크립트 분석을 통해 초기 반례를 발견했습니다.

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

A. 의무론적 폭발 (Deontic Explosion) 의 발견
저자는 Carmo 와 Jones 의 시스템 (특히 2022 년 버전) 에서 약한 형태의 의무론적 폭발이 발생함을 증명했습니다.

시나리오: 학생이 시험을 치를 때, A(최고) 가 불가능한 경우 B 나 C(합격) 가 의무가 되는 직관적 상황.
유도 과정:
1. A 또는 B 일 때 A 가 의무 (A ∨ B ⊢ A).
2. C 또는 D 일 때 C 가 의무 (C ∨ D ⊢ C).
3. 공리 5(b) 와 5(f) 를 적용하여 "A 또는 C"가 전체 맥락에서 의무임을 유도.
4. 공리 5(e) 를 적용하여 맥락을 좁혀 "B, C, D" 중에서도 "A 또는 C"가 의무임을 유도.
5. 최종적으로 공리 5(b) 를 통해 "B, C, D" 상황에서 C 가 의무임을 결론짓습니다.
결과: A(최고 점수) 를 받을 수 없는 상황에서, B(두 번째로 좋은 점수) 를 받을 수 있음에도 불구하고 C(그저 합격) 가 의무가 되어버리는 역설이 발생합니다. 이는 "A 를 못 받으면 아무것도 원하지 않는다 (If I can't have you, I don't want nobody)"는 비극적 결론으로 이어집니다.

B. 모델의 완전한 분류 (Complete Classification of Models)
비록 폭발 현상이 존재하지만, Carmo 와 Jones 의 가장 강력한 시스템 (CJ97: 공리 5(a)~5(e) 중 강한 버전의 5(c) 포함) 은 놀라울 정도로 단순한 수학적 구조를 가짐을 보였습니다.

정리 6 (Theorem 6): 유한한 가능한 세계 집합 $W$ $W$ 에서 공리 5(a)~5(e) 를 만족하는 모델 $ob$는 다음 세 가지 경우 중 하나와 동치입니다.
1. 공허한 의무: 모든 $X$ 에 대해 $ob(X) = \emptyset$ .
2. 포괄적 의무: 모든 $X$ 에 대해 $ob(X) = \{Y \mid \emptyset \neq X \subseteq Y\}$ .
3. 금지된 세계 (Forbidden World): 특정한 하나의 "나쁜 세계" $a$ $a$ 가 존재하며, 모든 $X$ $X$ 에 대해 의무는 " $X$ $X$ 와 교차하면서 $X$ $X$ 에서 $a$ $a$ 를 제외한 모든 세계를 포함하는 집합"입니다.
  - 즉, 의무의 본질은 오직 '하나의 금지된 세계'를 피하는 것으로 환원됩니다.

C. 최소 모델 (Least Models) 의 특성화

약한 공리 체계 (5(b) 만 또는 5(b), 5(d), 5(f) 조합) 에 대한 최소 모델을 정의했습니다.
Theorem 4 & 5: 특정 "ought" 조건 하에서 최소 모델은 canon2 및 canon2,II라는 표준 형식으로 분류될 수 있으며, 이는 CTD 의무에 대한 두 가지 다른 접근법 (약한 교차 vs 강한 교차) 을 수학적으로 명확히 합니다.

4. 의의 및 결론 (Significance & Conclusion)

이론적 한계와 가능성: 이 논문은 CTD 의무를 포착하려는 기존 시스템이 직관적이지 않은 "폭발" 현상을 피하기 어렵다는 것을 보여주었습니다. 이는 Hage 가 지적한 것처럼 "이상적인 상태"와 "실제 행동"을 하나의 논리로 통합하는 것이 매우 어렵다는 점을 재확인합니다.
수학적 구조의 발견: 비록 논리적 결함이 있더라도, 해당 공리 체계는 수학적 분류가 가능할 정도로 구조가 단순하고 명확함을 보였습니다. 이는 의무론 논리가 단순히 철학적 직관의 나열이 아니라, 엄밀한 수학적 구조를 가질 수 있음을 시사합니다.
향후 연구 방향:
- CJ97 시스템의 약한 버전 (예: 강한 5(c) 를 약한 5(c-) 로 대체) 에 대한 분류가 가능한지 탐구.
- 이러한 수학적 분류를 바탕으로 CTD 의무를 더 잘 포착하는 새로운 공리 체계 개발.

요약하자면, 이 논문은 Carmo 와 Jones 의 CTD 의무 시스템이 직관에 반하는 "의무론적 폭발"을 일으킨다는 부정적 결과를 제시하면서도, 해당 시스템의 모델이 "단 하나의 금지된 세계를 피하는 것"이라는 놀랍도록 단순한 수학적 구조로 분류될 수 있다는 긍정적 발견을 통해 의무론 논리의 수학적 기초를 다지는 중요한 기여를 했습니다.