[논문 리뷰] A semantics for obligations

Dov M. Gabbay, Karl Schlechta|ArXiv.org|2008. 11. 17.

Law, Economics, and Judicial Systems인용 수 4

한 줄 요약

이 논문은 가능 세계 간의 '더 나은 것' 관계를 기반으로 한 의무의 의미론을 제안한다. 품질과 거리의 국소적 및 전역적 성질을 사용하여 의무 이행을 형식화한다. 하드 의무와 소프트 의무를 구분하고, 닫힘 조건과 이웃 조건을 통해 로스 역설을 피한다. 유한 문장 모델 내의 집합론적 및 순서론적 구조에 기반한 도출 메커니즘을 제공한다.

ABSTRACT

We analyze a number of properties obligations have or should have.

연구 동기 및 목표

• 도덕 논리와 실제 세계의 추론 사이의 의미적 갭을 해소하기 위해, 절대적 진리로가 아니라 가능한 상황 간의 '더 나은 것' 관계로 의무를 형식화하는 것.
• 품질, 닫힘, 이웃 조건을 통해 의무 도출 개념을 정교화하여 도덕 논리의 역설—특히 로스 역설—을 해결하는 것.
• 하드 의무는 완전한 닫힘과 이상 케이스 포함을 요구하는 반면, 소프트 의무는 '거의 모든' 기호를 통해 예외를 允허하는 방식으로 하드 의무와 소프트 의무를 구분하는 것.
• 집합론적 및 순서론적 프레임워크에 기반한 공식적인 도출 메커니즘을 제공하여 유도된 의무가 논리적으로 일관성을 유지하도록 하는 것.
• 사실과 의무 사이의 비대칭성을 명확히 하며, 특히 부정의 동작이 도덕 논리적 맥락과 고전 논리적 맥락에서 어떻게 다를 수 있는지 설명하는 것.

제안 방법

• 의무를 가능한 세계의 부분집합(모델)으로 모델링하며, 실제 세계가 이 집합에 포함되어 있을 경우 의무가 이행된다고 정의한다.
• 품질 또는 거리(예: 하밍 거리) 기반으로 세계 간의 '더 나은 것' 관계(≺)를 도입하여 의무 의미론의 핵심을 형성한다.
• 하드 의무는 세 가지 조건으로 정의한다: (1) 모든 이상 케이스를 포함; (2) 품질 향상에 대해 닫혀 있음; (3) 이상 케이스 주변에 개선되는 이웃을 형성.
• 소프트 의무는 '거의 모든' 기호를 사용해 하드 조건을 완화하여 예외를 허용하면서도 핵심 도덕 논리 직관을 유지한다.
• 합집합, 교집합 등의 집합 연산을 사용해 기저 집합 O에서 새로운 의무를 도출하며, 이때 도출된 의무가 닫힘 및 이웃 성질을 유지하도록 보장한다.
• '기타 조건이 동일'일 때의 개선 개념과 하밍 이웃을 적용하여 의무 이행의 국소적 및 전역적 성질을 모델링한다.

실험 결과

연구 질문

• RQ1 어떻게 가능한 세계 간의 '더 나은 것' 관계를 사용하여 의무를 진리 함수적 실체가 아닌 관계로서 공식화할 수 있는가?
• RQ2 유도된 의무가 논리적으로 일관성을 유지하고 로스 역설과 같은 역설을 피하기 위해 어떤 조건이 필요한가?
• RQ3 의무 이행을 기술하는 데 있어 국소적 성질(예: 하밍 이웃)과 전역적 성질(예: 품질에 대한 닫힘)은 어떻게 다를 수 있는가?
• RQ4 소프트 의무는 하드 의무와 어떻게 공식적으로 구분할 수 있으며, 예외는 도덕 논리적 추론에서 어떤 역할을 하는가?
• RQ5 의무에서의 논리합, 논리곱, 부정의 행동 방식은 고전 논리와 얼마나 다를 수 있으며, 이를 어떻게 공식적으로 기술할 수 있는가?

주요 결과

• 하드 의무는 모든 이상 케이스를 포함하고, 품질 향상에 대해 닫혀 있으며 이상 케이스 주변에 개선되는 이웃을 형성하는 집합으로 정의되며, 이는 품질 전이에 대해 강건성을 보장한다.
• 로스 역설이 피해지는 이유는 닫힘 및 이웃 조건을 통해 도출될 때 '우편을 내보내라'는 의무가 '우편을 내보내거나 태우라'는 의무를 논리적으로 함의하지 않기 때문이다.
• 독립적인 경우, 유도된 의무가 원래 집합의 고전적 함의임을 보여주며, 표준 가정 하에서 도출 메커니즘이 타당함을 입증한다.
• 관계 ≺l,c(국소적, 수량 기반의 더 나은 것)는 집합이 개선되는 하밍 이웃임을 보장하지 않으며, 이는 거리 기반 정의와 이웃 기반 정의 사이의 격차를 나타낸다.
• 일반적으로 합집합과 교집합에 대해 닫힘 및 이웃 성질이 유지되지 않음을 보여주며, 의무 도출의 복잡성을 강조한다.
• 소프트 의무는 엄밀한 전칭 기호를 '거의 모든'로 대체하여 예외를 허용하면서도 도덕 논리적 일관성을 유지하며, 하드-소프트 혼합 조건을 가능하게 한다.