Stratified Counterpossible Logic

कल्पना कीजिए कि आप "क्या होगा अगर" (What Ifs) के एक न्यायालय में एक न्यायाधीश के रूप में विराजमान हैं। आमतौर पर, ये मामले आसान होते हैं। यदि कोई पूछता है, "क्या होगा अगर मेरी बस छूट गई?" तो आप आसानी से एक ऐसी दुनिया की कल्पना कर सकते हैं जहाँ आपकी बस छूट गई हो और उसके परिणामों की गणना कर सकते हैं (आप देर से पहुँचेंगे, आपको भूख लगेगी, आदि)।

लेकिन क्या होता है जब कोई पूछता है, "क्या होगा अगर 2 + 2 = 5 हो गया?" या "क्या होगा अगर हॉब्स ने वृत्त को वर्ग बना दिया (squaring the circle)?" (एक गणितीय रूप से असंभव कार्य)

लंबे समय तक, तर्कशास्त्रियों ने तर्क दिया कि क्योंकि ये शुरुआती बिंदु असंभव हैं, इसलिए उनसे जुड़े किसी भी प्रश्न का उत्तर डिफ़ॉल्ट रूप से "सत्य" (True) होना चाहिए। यह ऐसा ही है जैसे कहना, "चूंकि आधार ही निरर्थक है, इसलिए पूरा वाक्य स्वतः ही सत्य है।" इसे वैक्युइज़्म (Vacuism) कहा जाता है।

इस शोध पत्र के लेखक, चेन हुआंग और ज़ूफ़ेंग वेन कहते हैं, "ठहरिए। यह सही नहीं लगता।"

• अंतर्ज्ञान 1: "यदि हॉब्स ने वृत्त को वर्ग बना दिया होता, तो अफगानिस्तान में बीमार बच्चे ठीक हो गए होते।" यह असत्य (False) लगता है। वृत्त को वर्ग बनाने का बच्चों को ठीक करने से कोई लेना-देना नहीं है।
• अंतर्ज्ञान 2: "यदि हॉब्स ने वृत्त को वर्ग बना दिया होता, तो हम आश्चर्यचकित होते।" यह सत्य (True) लगता है। यदि किसी ने असंभव कार्य किया होता, तो हम हैरान होते।

यदि "वैक्युइज़्म" का नियम सत्य होता, तो दोनों वाक्य सत्य होते, जो एक बेतुके संबंध और एक तार्किक संबंध के बीच के अंतर को अनदेखा करता है। लेखक एक ऐसा सिस्टम बनाना चाहते हैं जो इन अंतरों का सम्मान करे।

समस्या: "कठोर" और "कोमल" असंभवताओं को मिला देना

लेखकों का तर्क है कि पिछले सिस्टम सभी "असंभव" चीजों को एक ही तरह की गड़बड़ी मानते थे। उन्होंने अंतर नहीं किया:

1. आध्यात्मिक/तत्व संबंधी असंभवता (Metaphysical Impossibility): ऐसी चीजें जो हमारे ब्रह्मांड के नियमों को तोड़ती हैं लेकिन गणित के नियमों को नहीं। (जैसे, "सोने का परमाणु क्रमांक 50 है" या "पानी H2O नहीं है")।
2. तार्किक असंभवता (Logical Impossibility): ऐसी चीजें जो स्वयं तर्क के मौलिक नियमों को तोड़ती हैं। (जैसे, "एक वर्गाकार वृत्त" या "P और न-P")।

लेखक एक स्तरित प्रति-संभावित तर्क (Stratified Counterpossible Logic - SCP) का प्रस्ताव करते हैं। इसे एक तीन मंजिला इमारत के रूप में सोचें जहाँ प्रत्येक मंजिल पर नियम बदल जाते हैं।

इमारत की तीन मंजिलें

1. ऊपरी मंजिल (तत्व संबंधी संभावना - Metaphysical Possibility): यह हमारी सामान्य दुनिया है और वे दुनियाएँ जो थोड़ी अलग हैं लेकिन फिर भी समझ में आती हैं। यहाँ सोना सोना है, पानी पानी है, और भौतिकी के नियम लागू होते हैं।
2. मध्यम मंजिल (तर्क-सामान्य लेकिन तत्व संबंधी रूप से असंभव): यह "क्या होगा अगर" वाला क्षेत्र है। यहाँ हम कल्पना कर सकते हैं कि सोने का परमाणु क्रमांक 50 है। यह अजीब है और प्रकृति के नियमों को तोड़ता है, लेकिन तर्क के नियम अभी भी काम करते हैं। हम अभी भी गणित कर सकते हैं, और हम अभी भी कह सकते हैं कि "यदि सोना 50 है, तो यह अभी भी एक धातु है।" तर्क बरकरार है; बस रसायन विज्ञान अलग है।
3. बेसमेंट (तर्क-विरोधी दुनिया - Anti-Logical Worlds): यह शुद्ध अराजकता का क्षेत्र है। यहाँ तर्क के नियम ही टूट जाते हैं। एक कथन एक ही समय में सत्य और असत्य दोनों हो सकता है। यह वह जगह है जहाँ "वृत्त को वर्ग बनाना" निवास करता है।

मुख्य नवाचार: लेखकों का सिस्टम हमें ऊपरी मंजिल से मध्यम मंजिल तक उतरने की अनुमति देता है ताकि हम "गैर-अनिवार्य" (anti-essential) परिदृश्यों (जैसे सोने का अलग परमाणु क्रमांक होना) पर चर्चा कर सकें बिना अपना तार्किक विवेक खोए। हम अभी भी स्पष्ट रूप से तर्क कर सकते हैं। लेकिन यदि हम बेसमेंट तक पहुँच जाते हैं, तो तर्क के नियम ढह जाते हैं, और हमें परिणामों का निर्णय लेने में बहुत सावधान रहना पड़ता है।

दो सिस्टम: SCP और SCP1

यह शोध पत्र इस तर्क के दो संस्करण पेश करता है:

1. SCP (मूल प्रणाली):
यह सिस्टम मंजिलों को सफलतापूर्वक अलग करता है। यह हमें यह कहने की अनुमति देता है कि "यदि पानी XYZ होता, तो वह अभी भी गीला होता" एक वैध विचार प्रयोग है क्योंकि हम मध्यम मंजिल पर हैं जहाँ तर्क काम करता है। हालाँकि, लेखकों ने एक छोटी सी खामी देखी: यदि आप किसी तार्किक असंभवता (जैसे वृत्त को वर्ग बनाना) के बारे में पूछते हैं, तो सिस्टम तकनीकी रूप से कह सकता है, "ओह, बेसमेंट में ऐसी कोई दुनिया नहीं है जहाँ यह होता है," और केवल इसलिए इसे "सत्य" घोषित कर सकता है क्योंकि दुनियाओं की सूची खाली है। यह "वैक्युइज़्म" का एक रूप है जिसे वे टालना चाहते थे।

2. SCP1 (अपग्रेडेड सिस्टम):
इस खामी को ठीक करने के लिए, लेखकों ने SCP1 बनाया। उन्होंने एक सख्त नियम जोड़ा: चयन फलन (selection function) खाली नहीं हो सकता।
एक न्यायाधीश की कल्पना करें जो कहता है, "भले ही आधार असंभव हो, आपको बेसमेंट में कम से कम एक परिदृश्य खोजना ही होगा जिसका मूल्यांकन किया जा सके।"

• यदि आप पूछते हैं, "यदि हॉब्स ने वृत्त को वर्ग बना दिया होता, तो क्या बच्चे ठीक हो गए होते?" तो SCP1 सिस्टम को एक ऐसी दुनिया खोजने के लिए मजबूर करता है जहाँ हॉब्स ने वृत्त को वर्ग बना दिया हो।
• उस अराजक बेसमेंट दुनिया में, चूंकि "वृत्त को वर्ग बनाने" और "बच्चों को ठीक करने" के बीच कोई तार्किक संबंध नहीं है, सिस्टम निष्कर्ष निकालता है कि यह कथन असत्य (False) है।
• यह सिस्टम को यह कहकर धोखाधड़ी करने से रोकता है कि "यह सत्य है क्योंकि कुछ अस्तित्व में नहीं है।"

यह क्यों महत्वपूर्ण है

यह शोध पत्र सिद्ध करता है कि यह नया तरीका गणितीय रूप से सुसंगत (doesn't break), पूर्ण (सभी वैध प्रश्नों का उत्तर दे सकता है), और निर्णायक (हम एक कंप्यूटर प्रोग्राम लिख सकते हैं जो इसे हल कर सके) है।

निष्कर्ष:
लेखकों ने "असंभव दुनियाओं" के लिए एक बेहतर मानचित्र बनाया है।

• पुराने मानचित्र कहते थे: "सभी असंभव स्थान एक जैसे हैं; वहाँ कुछ भी समझ में नहीं आता।"
• यह शोध पत्र कहता है: "नहीं, असंभव स्थानों के अलग-अलग प्रकार होते हैं। कुछ केवल अजीब (मध्यम मंजिल) हैं जहाँ हम अभी भी स्पष्ट रूप से सोच सकते हैं। अन्य अराजक (बेसमेंट) हैं जहाँ तर्क टूट जाता है। और उस अराजक बेसमेंट में भी, हमें केवल हार मानकर यह नहीं कह देना चाहिए कि सब कुछ सत्य है; हमें यह जांचना चाहिए कि क्या 'क्या होगा अगर' वास्तव में परिणाम से जुड़ता है।"

इन परतों को अलग करके, लेखक हमें असंभव परिदृश्यों के बारे में गंभीर दार्शनिक चर्चा करने की अनुमति देते हैं बिना अपना तार्किक आधार खोए।