Classification and deontic explosion for contrary-to-duty obligations

यहाँ ब्योर्न जोस-हैनसेन (Bjørn Kjos-Hanssen) के शोध पत्र "Classification and deontic explosion for contrary-to-duty obligations" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र डोंटिक लॉजिक (deontic logic) की मौलिक चुनौतियों, विशेष रूप से कंट्ररी-टू-ड्यूटी (CTD) दायित्वों (obligations) के संबंध में संबोधित करता है। CTD दायित्व तब उत्पन्न होते हैं जब एक प्राथमिक कर्तव्य का उल्लंघन होता है, जिससे एक माध्यमिक कर्तव्य सक्रिय हो जाता है (जैसे, "यदि आप पड़ोसी के पास जाते हैं, तो आपको कॉल करना चाहिए; यदि आप नहीं जाते हैं, तो आपको कॉल नहीं करना चाहिए")।

लेखक कारमो और जोन्स (Carmo and Jones) द्वारा 1997 और 2022 के बीच प्रस्तावित अक्षीय प्रणालियों (axiom systems) के अनुक्रम पर ध्यान केंद्रित करते हैं। जबकि ये प्रणालियाँ सशर्त दायित्वों ($ob(X|Y)$, जिसका अर्थ है कि संदर्भ$Y$में$X$ अनिवार्य है) को औपचारिक रूप देने का प्रयास करती हैं, यह शोध पत्र इस बात की जांच करता है कि क्या ये अक्ष (axioms) तार्किक विसंगतियों (paradoxes) की ओर ले जाते हैं या क्या इनमें एक सुसंगत गणितीय संरचना है। केंद्रीय तनाव CTD परिदृश्यों को मॉडल करने की सहज इच्छा और डोंटिक एक्सप्लोजन (deontic explosion) (जहाँ प्राथमिक कर्तव्य के उल्लंघन से किसी भी मनमाने या उप-इष्टतम परिणाम का दायित्व बन जाता है) के जोखिम के बीच है।

2. कार्यप्रणाली (Methodology)

लेखक एक कठोर अक्षीय और मॉडल-सैद्धांतिक दृष्टिकोण (axiomatic and model-theoretic approach) का उपयोग करते हैं:

• अक्षीय विश्लेषण (Axiomatic Analysis): शोध पत्र कारमो और जोन्स द्वारा प्रस्तावित अक्षों के एक विशिष्ट सेट (जिन्हें 5(a) से 5(g) के रूप में लेबल किया गया है) को एकत्रित और विश्लेषित करता है। ये अक्ष एक फलन $ob: P(W) \to P(P(W))$ को नियंत्रित करते हैं, जहाँ $W$ संभावित दुनियाओं का एक परिमित सेट है।
• प्रति-उदाहरण निर्माण (Counter-Example Construction): लेखक अक्षों की तार्किक निरंतरता का परीक्षण करने के लिए परीक्षा ग्रेड (A, B, C, D, F) से संबंधित एक विशिष्ट परिदृश्य का निर्माण करते हैं। अक्षों 5(b), 5(e), और 5(f) को क्रमिक रूप से लागू करके, लेखक एक "कमजोर रूप वाले डोंटिक एक्सप्लोजन" (weak form of deontic explosion) को व्युत्पन्न करते हैं।
• मॉडल वर्गीकरण (Model Classification): शोध पत्र नकारात्मक परिणामों से हटकर सकारात्मक संरचनात्मक विश्लेषण की ओर बढ़ता है। यह "न्यूनतम मॉडल" (least models - उन दायित्वों के न्यूनतम सेट जो अक्षों को संतुष्ट करते हैं) को परिभाषित करता है और पूर्ण प्रणाली (अक्ष 5(a)–5(e)) को संतुष्ट करने वाले सभी मॉडलों को वर्गीकृत करने का प्रयास करता है।
• औपचारिक सत्यापन (Formal Verification): सभी गणितीय दावों को लीन (Lean) प्रूफ असिस्टेंट का उपयोग करके सत्यापित किया गया है, और प्रारंभिक विसंगति पहचान के लिए मेपल (Maple) कंप्यूटर अलजेब्रा सिस्टम के स्क्रिप्ट का उपयोग किया गया था।

3. मुख्य योगदान (Key Contributions)

A. डोंटिक एक्सप्लोजन का प्रदर्शन (Demonstration of Deontic Explosion)

शोध पत्र कारमो और जोन्स प्रणालियों (विशेष रूप से अक्ष 5(b), 5(e), और 5(f) की परस्पर क्रिया) में एक महत्वपूर्ण दोष की पहचान करता है।

• परिदृश्य: एक छात्र पर विचार करें जिसे 'A' मिलना चाहिए (A या B की स्थिति में) और 'C' मिलना चाहिए (C या D की स्थिति में)।
• व्युत्पत्ति:
  1. अक्ष 5(b) द्वारा, यदि ग्रेड C या D है, तो A या C मिलना चाहिए।
  2. अक्ष 5(f) द्वारा, यदि ग्रेड A, B, C, या D है, तो A या C मिलना चाहिए।
  3. अक्ष 5(e) (उप-संदर्भों में मोनोटोनिसिटी) द्वारा, चूंकि "A या C" संदर्भ {A, B, C, D} में अनिवार्य है, इसलिए यह उप-संदर्भ {B, C, D} (जहाँ A असंभव है) में भी अनिवार्य बना रहता है।
  4. पुनः अक्ष 5(b) द्वारा, संदर्भ {B, C, D} में, यदि "A या C" अनिवार्य है और A असंभव है, तो C अनिवार्य हो जाता है।
• विसंगति: प्रणाली यह निष्कर्ष निकालती है कि यदि एक छात्र 'A' प्राप्त नहीं कर सकता है, तो उसे 'C' प्राप्त करने के लिए बाध्य है, भले ही 'B' उपलब्ध हो। इसे "कमजोर डोंटिक एक्सप्लोजन" कहा जाता है, जहाँ सर्वोत्तम परिणाम की अनुपलब्धता एक औसत दर्जे के परिणाम की अनिवार्यता को मजबूर करती है, जिससे तर्क सहज बोध के विरुद्ध हो जाता है (जैसे, "यदि मैं तुम्हें नहीं पा सकता, तो मुझे किसी को भी नहीं चाहिए")।

B. मॉडलों का वर्गीकरण (Classification of Models - सकारात्मक परिणाम)

विसंगति के बावजूद, लेखक यह प्रदर्शित करते हैं कि कारमो और जोन्स प्रणाली का सबसे मजबूत संस्करण (मजबूत इंटरसेक्शन क्लोजर 5(c) के साथ अक्ष 5(a)–5(e)) एक पूर्ण गणितीय वर्गीकरण स्वीकार करता है।

• प्रमेय 6 (Theorem 6): किसी भी दुनिया के सेट $W$ के लिए, एक फलन $ob$ पूर्ण प्रणाली को संतुष्ट करता है यदि और केवल यदि वह तीन श्रेणियों में से एक में आता है:
  1. तुच्छ (Trivial): कोई दायित्व मौजूद नहीं है ($ob(X) = \emptyset$)।
  2. सार्वभौमिक (Universal): संदर्भ को शामिल करने वाली हर चीज़ अनिवार्य है ($ob(X) = \{Y \mid \emptyset \neq X \subseteq Y\}$)।
  3. "वर्जित दुनिया" मॉडल (The "Forbidden World" Model): ठीक एक "बुरी" दुनिया $a$ (वर्जित दुनिया) मौजूद है। एक दायित्व $Y$, संदर्भ $X$ में तब मान्य होता है जब $Y$ का $X$ के साथ प्रतिच्छेदन (intersection) हो और $Y$ में संभवतः वर्जित दुनिया $a$ को छोड़कर $X$ के सभी तत्व शामिल हों।
  • महत्व: इसका तात्पर्य यह है कि इन अक्षों को संतुष्ट करने का एकमात्र गैर-तुच्छ तरीका एक एकल "सबसे खराब स्थिति" को परिभाषित करना है जिससे बचना आवश्यक है। अन्य सभी दायित्व इस एकल दुनिया से बचने की आवश्यकता से व्युत्पन्न होते हैं।

C. न्यूनतम मॉडलों का लक्षण वर्णन (Characterization of Least Models)

शोध पत्र उप-प्रणालियों (subsystems) के लिए "न्यूनतम मॉडलों" (दायित्वों के न्यूनतम सेट) के सटीक लक्षण वर्णन प्रदान करता है:

• प्रमेय 4 (Theorem 4): अक्ष 5(b) और बुनियादी CTD धारणाओं के लिए न्यूनतम मॉडल canon2,II संरचना द्वारा अभिलक्षित है।
• प्रमेय 5 (Theorem 5): अक्ष 5(b), 5(d), और 5(f) के लिए न्यूनतम मॉडल canon2 द्वारा अभिलक्षित है।
  ये परिणाम इस बात का औपचारिक आधार प्रदान करते हैं कि विभिन्न उप-अक्ष (subsets of axioms) परस्पर विरोधी दायित्वों को कैसे संभालते हैं।

4. परिणाम (Results)

1. नकारात्मक परिणाम: कारमो और जोन्स प्रणालियाँ (विशेष रूप से 2022 का संस्करण) एक तार्किक विसंगति से ग्रस्त हैं जहाँ प्राथमिक आदर्श परिणाम की अनुपलब्धता एक उप-इष्टतम परिणाम के दायित्व को मजबूर करती है, जो विशिष्ट संदर्भों में "स्वीकार्य" और "अनिवार्य" के बीच के अंतर को प्रभावी रूप से समाप्त कर देती है।
2. सकारात्मक परिणाम: पूर्ण प्रणाली (5(a)–5(e)) गणितीय रूप से कठोर है। यह जटिल, बहु-आयामी नैतिक परिदृश्यों की अनुमति नहीं देती है; यह अनिवार्य रूप से एक एकल "वर्जित दुनिया" से बचने के तर्क तक सीमित हो जाती है।
3. स्वतंत्रता (Independence): सिद्ध किया गया है कि अक्ष 5(a) से 5(e) स्वतंत्र हैं; कोई भी एकल अक्ष दूसरे का तार्किक परिणाम नहीं है।

5. महत्व (Significance)

• सैद्धांतिक प्रभाव: यह शोध पत्र CTD समस्याओं के व्यापक समाधान के रूप में कारमो और जोन्स के अक्षों की व्यवहार्यता को चुनौती देता है। यह सुझाव देता है कि "मानक प्रणाली" (Standard System) या तो बहुत अधिक प्रतिबंधात्मक है (जिससे "वर्जित दुनिया" वर्गीकरण होता है) या बहुत अधिक उदार है (जिससे डोंटिक एक्सप्लोजन होता है)।
• पद्धतिगत योगदान: यह औपचारिक गणित और दार्शनिक डोंटिक लॉजिक के बीच के अंतर को पाटता है। प्रूफ असिस्टेंट (Lean) और कंप्यूटर अलजेब्रा (Maple) का उपयोग करके, लेखक विसंगति और वर्गीकरण प्रमेयों की वैधता सुनिश्चित करते हैं।
• भावी दिशाएँ: शोध पत्र सुझाव देता है कि भविष्य के शोध को उप-प्रणालियों (जैसे, मजबूत इंटरसेक्शन अक्ष 5(c) को कमजोर संस्करण से बदलकर) पर ध्यान केंद्रित करना चाहिए ताकि यह देखा जा सके कि क्या वे अधिक समृद्ध, सूक्ष्म वर्गीकरणों की अनुमति देते हैं जो विस्फोट (explosion) और "एकल वर्जित दुनिया" की कठोरता दोनों से बचते हैं।

संक्षेप में, शोध पत्र तर्क देता है कि जबकि कारमो और जोन्स की प्रणालियाँ मानव नैतिक तर्क की पूरी बारीकियों को पकड़ने में विफल रहती हैं, उनमें एक आश्चर्यजनक और सुरुचिपूर्ण गणितीय संरचना है जो सभी वैध मॉडलों को "एकल वर्जित दुनिया" के तर्क के रूपांतरों के रूप में वर्गीकृत करती है।