해야 할 일과 하지 말아야 할 일이 겹치면, 모든 것이 의무가 될까요?

표준 체계에서는 (Oα ∧ O¬α) → Oβ가 성립할 수 있습니다. α에 관한 충돌에서 내용상 무관한 β까지 ‘해야 할 일’이 됩니다. β 자리에 어떤 문장을 넣어도 되므로 모든 문장이 의무가 되고, 의무라는 구분이 정보를 잃습니다.

논문은 이것을 의무적 사소성이라고 부릅니다. 모든 문장이 참이 되는 논리적 사소성과는 다릅니다. 어떤 이론은 논리 전체가 사소하지 않으면서도 모든 문장을 의무로 만들 수 있습니다. 그래서 저자들은 두 종류의 붕괴를 따로 막아야 한다고 봅니다.

아래 장난감 모형에서 α는 ‘문을 연다’, β는 ‘노래를 부른다’입니다. α를 해야 한다는 의무와 α를 하지 말아야 한다는 의무를 켜도, C₁ᴰ에서는 그것만으로 무관한 Oβ가 나오지 않습니다.

비교 모드를 표준 폭발로 바꾸면 결과가 달라집니다. β에 관한 새 규범이 생긴 것이 아니라, 충돌에서 임의의 의무로 가는 도식을 허용했기 때문입니다.

해법은 의무 연산자 O만 손보는 데 있지 않습니다. 명제논리의 바탕을 고전논리에서 제3회에 읽은 C₁으로 바꿉니다. C₁에서는 α와 ¬α가 함께 있어도 임의의 β가 자동으로 따라오지 않습니다.

이 바탕 위에 의무 연산자를 올리면 사실의 모순과 의무의 충돌을 모두 국소적으로 다룰 수 있습니다. 저자들은 Routley와 Plumwood의 관련논리 접근과 목표는 비슷하지만 기초가 다른 새 체계를 제안한다고 분명히 적습니다.

아닙니다. 원문의 good과 bad는 도덕적 칭찬과 비난이 아니라 형식적 분류입니다. α와 ¬α가 함께 성립하는 경우를 배제하는 식 α° = ¬(α∧¬α)를 만족시키는 쪽을 ‘좋게 행동한다’고 설명합니다. 그렇지 않아 α와 ¬α가 함께 참일 수 있는 식이 ‘나쁜 식’입니다.

C₁은 함의·논리곱·논리합의 고전적 긍정 부분을 넓게 보존하면서, 일관성이 표시된 구역에서 고전적 부정의 힘을 회복합니다. 따라서 ‘나쁜 행동을 허용한다’는 윤리학적 문장으로 읽으면 기호의 층위를 혼동하게 됩니다.

논문은 C₁의 언어에 단항 연산자 O를 더합니다. 첫 공리는 O(α→β) → (Oα→Oβ)입니다. α가 β를 낳는 것이 의무이고 α도 의무라면 β도 의무라는 분배 원리입니다.

둘째는 Oα → ¬O¬α, 셋째는 α° → (Oα)°입니다. 또 α가 정리이면 Oα를 얻는 필연화 규칙을 둡니다. 중요한 점은 둘째 공리의 ¬가 C₁의 약한 부정이라는 사실입니다. ¬O¬α와 O¬α가 함께 성립할 가능성을 논리적으로 봉쇄하지 않으므로, 딜레마를 곧장 제거하지 않습니다.

논문은 Fα := O¬α로 금지를, Pα := ¬O¬α로 허용을 정의합니다. 즉 α 금지는 α를 하지 않을 의무이고, α 허용은 α를 하지 않을 의무를 약하게 부정한 것입니다.

고전논리라면 O¬α와 ¬O¬α가 함께 참일 수 없지만, 여기서는 둘이 함께 있을 수 있습니다. 그래서 Fα와 Pα가 동시에 성립해도 즉시 모든 규범이 나오지는 않습니다. 저자들은 강한 부정으로 정의한 강한 금지·허용도 가능하다고 덧붙입니다.

아닙니다. 정리 7에는 O(α∧β) ↔ (Oα∧Oβ), Oα → O(α∨β)처럼 표준 의무 논리에서 익숙한 도식이 남습니다. 전자의 경우 결합된 의무와 두 개의 개별 의무 사이를 오갈 수 있습니다.

하지만 이 보존에는 대가도 있습니다. Oα → O(α∨β)는 ‘편지를 부치는 것이 의무라면, 편지를 부치거나 집을 태우는 것도 의무’라는 식의 로스의 역설을 낳는 도식입니다. 저자들은 자기 체계에서도 로스의 역설을 도출할 수 있다고 명시합니다.

정리 8은 Oα∧O¬α→Oβ, Fα∧F¬α→Oβ, O(α∧¬α)→Oβ 같은 도식들이 C₁ᴰ에서 타당하지 않다고 열거합니다. 즉 특정한 의무 충돌이나 금지 충돌에서 임의의 β 의무가 일반적으로 나오지 않습니다.

정리 9는 이를 ‘O-의무적으로 사소화되지 않는다’는 말로 다시 묶습니다. 어떤 식 γ가 γ→Oβ를 모든 β에 대해 낳으면 γ는 O-사소화 식입니다. 그런데 Oα∧O¬α와 Fα∧F¬α는 그런 식이 아닙니다.

논문은 ⟨W, ≤, ⊩⟩ 꼴의 구조를 제시합니다. W는 세계들의 집합, ≤는 ‘의무적으로 접근 가능한’ 관계, w⊩α는 세계 w가 α를 강제한다는 뜻입니다. 각 세계에는 적어도 하나의 접근 가능한 세계가 있어야 합니다.

핵심 절은 w⊩Oα가 w에서 접근 가능한 모든 세계 w′에서 w′⊩α일 때 그리고 그때에만 성립한다는 조건입니다. 이 양상적 골격 위에서 각 세계의 명제 계산은 C₁의 모순허용 조건을 따릅니다.

세 개의 접근 가능한 세계를 둡니다. 각 세계에서 α가 성립하는지 바꾸어 보세요. 모든 세계가 α를 강제할 때만 현재 세계에서 Oα가 성립합니다.

이 실험은 ‘α가 실제로 일어났다’와 ‘α가 의무다’를 구분합니다. 현재 세계에서 α가 참인지 하나만 보는 것이 아니라, 의무적으로 접근 가능한 세계 전체를 검사합니다.

정리 10은 C₁ᴰ의 구문적 도출과 제시된 구조에서의 의미론적 귀결이 일치한다고 말합니다. 다시 말해 공리와 규칙으로 증명되는 식은 모든 모델에서 성립하고, 모든 모델에서 성립하는 식은 증명할 수 있습니다.

정리 11은 C₁ᴰ가 결정 가능하다고 말합니다. 저자들은 C₁의 결정 절차와 양상논리 T의 절차를 적절히 수정해 결합하면 된다고 설명합니다. 다만 논문은 완전한 알고리즘을 본문에서 길게 전개하지 않고 증명의 윤곽만 제시합니다.

아닙니다. 저자들이 주장하는 것은 더 제한적입니다. 논리적 고려만으로 진짜 도덕적 딜레마의 존재 가능성을 배제할 수 없다는 것입니다. 실제 사례가 딜레마인지, 어느 규범이 우선하는지, 잔여 죄책감이 정당한지는 윤리 이론과 구체적 사실을 더 살펴야 합니다.

또한 이 체계는 ‘당위는 가능을 함축한다’는 칸트적 공리를 자동으로 보장하지 않습니다. 저자들은 의무 연산자와 가능성 양상의 관계를 어떻게 정하느냐에 따라 칸트적·비칸트적 체계가 갈린다고 말하며 어느 쪽을 최종 선택하지 않습니다.

원문은 C₁뿐 아니라 모든 Cₙ을 바탕으로 의무 논리를 만들 수 있다고 전망합니다. 어떤 계산 체계가 적절한지는 논리만으로 정해지지 않으며, 받아들이는 윤리 이론과 의무 연산자의 실제 쓰임에 달린다고 결론짓습니다.

이 전망은 오래 열려 있었습니다. Vaz와 Coniglio의 2026년 연구는 비결정적 행렬과 제한된 비결정적 행렬, swap Kripke 모형을 결합해 Cₙᴰ 계층 전체의 공리화와 의미론을 제시하며, 1986년의 C₁ᴰ를 역사적 첫 모순허용 의무 체계로 명시합니다. 현재의 질문은 ‘충돌을 허용할 것인가’에서 더 나아가, 어떤 종류의 충돌을 어떤 의미론으로 추적하고 실제 규범 추론에 연결할 것인가로 확장됩니다.