A Comment on Modal Collapse and Ultrafilters in Gödel's Ontological Argument
यह शोध पत्र ओड्रिफ़ेडी और गोम्स के इस दावे का खंडन करने के लिए इज़ाबेल/एचओएल (Isabelle/HOL) में मशीन-सत्यापित प्रति-उदाहरणों का उपयोग करता है कि मोडल कोलैप्स (modal collapse) सकारात्मक गुणों के अल्ट्राफिल्टर-आधारित सिद्धांतों की एक अंतर्निहित विशेषता है, बल्कि यह प्रदर्शित करता है कि यह पतन सकारात्मकता की कठोरता (rigidity of positivity) से उत्पन्न होता है और साथ ही गोडेल के प्रमेय IV (Gödel's Theorem IV) और सकारात्मकता की विस्तारिकता (extensionality of positivity) के संबंध में दो विशिष्ट दावों को भी सुधारता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
ब्रह्मांडीय जासूस और पूर्णता का तर्क
एक ऐसे विज्ञान की कल्पना करें जहाँ गणितज्ञ और दार्शनिक जासूसों की तरह टीम बनाकर काम करते हैं, लेकिन अपराध सुलझाने के बजाय, वे परम रहस्य को सुलझाने की कोशिश कर रहे हैं: क्या ईश्वर का अस्तित्व है? इस क्षेत्र को "कंप्यूटेशनल मेटाफिजिक्स" (computational metaphysics) कहा जाता है। यह एक ऐसी जगह है जहाँ पूर्णता के बारे में प्राचीन तर्कों को सख्त तार्किक नियमों के तहत परखने के लिए शक्तिशाली कंप्यूटरों में डाला जाता है। इसमें इस्तेमाल होने वाला मुख्य उपकरण "मोडल लॉजिक" (modal logic) है, जो संभावना और अनिवार्यता के बारे में बात करने का एक जटिल तरीका है। इसे ऐसे समझें जैसे कि यह कहना कि "कल बारिश हो सकती है" (संभावना) और यह कहना कि "कल बारिश होनी ही चाहिए" (अनिवार्यता) के बीच का अंतर है। इन तर्कों में, लक्ष्य यह सिद्ध करना है कि एक "पूर्ण सत्ता" (ईश्वर) केवल एक संभावना नहीं, बल्कि एक अनिवार्यता है। वह बड़ा सवाल जिसने इन जासूसों की रातों की नींद उड़ा रखी है, वह यह है कि क्या ईश्वर के अस्तित्व को सिद्ध करने के लिए उपयोग किया गया तर्क अनजाने में ब्रह्मांड को तोड़ सकता है। यदि तर्क बहुत अधिक शक्तिशाली है, तो यह संकेत दे सकता है कि जो कुछ भी होता है उसे ठीक उसी तरह होना ही था, जिससे स्वतंत्र इच्छा या संयोग के लिए कोई स्थान नहीं बचता—यह एक समस्या है जिसे "मोडल कोलैप्स" (modal collapse) कहा जाता है।
शोध पत्र की जांच: असली अपराधी का पर्दाफाश
इस शोध पत्र में, कंप्यूटर वैज्ञानिक क्रिस्टोफ़ बेंज़मुलर (Christoph Benzmüller), गोडेल (Gödel) के प्रसिद्ध ऑन्टोलॉजिकल तर्क के लिए एक फोरेंसिक विशेषज्ञ की भूमिका निभाते हैं। गोडेल, जो एक प्रतिभाशाली गणितज्ञ थे, ने ईश्वर के अस्तित्व के लिए एक तार्किक प्रमाण तैयार किया था जो "सकारात्मक गुणों" (जैसे सर्वज्ञ या सर्वशक्तिमान होना) पर आधारित है। हाल ही में, दो अन्य शोधकर्ताओं, ओड्रिफ़ेडी (Odifredi) और गोम्स (Gomes) ने सुझाव दिया कि इस तर्क के कारण "मोडल कोलैप्स" (जहाँ सब कुछ अनिवार्य हो जाता है) क्यों होता है, इसका कारण प्रमाण की संरचना ही है। उन्होंने तर्क दिया कि यदि आप इन सकारात्मक गुणों को एक विशिष्ट गणितीय आकार में व्यवस्थित करते हैं जिसे "अल्ट्राफिल्टर" (ultrafilter) कहा जाता है (इसे एक पूरी तरह से व्यवस्थित, सर्वव्यापी अच्छी विशेषताओं की सूची के रूप में सोचें) और कहते हैं कि ईश्वर इस सूची को उत्पन्न करने वाला है, तो पतन अपरिहार्य है। उन्होंने दावा किया कि यह एक संरचनात्मक दोष था, जैसे कि एक पुल जो एक निश्चित प्रकार के मेहराब के साथ बनाया गया हो तो उसका गिरना निश्चित है।
हालाँकि, बेंज़मुलर ने इस दावे का परीक्षण करने के लिए एक कंप्यूटर का उपयोग करके तर्क के हर एक चरण की जाँच करने का निर्णय लिया। उन्होंने केवल अनुमान नहीं लगाया; उन्होंने तर्क के डिजिटल मॉडल बनाए ताकि यह देखा जा सके कि क्या पतन वास्तव में अपरिहार्य था। उनके निष्कर्ष एक रोमांचक मोड़ की तरह हैं: अल्ट्राफिल्टर संरचना निर्दोष है।
Isabelle/HOL नामक एक उपकरण का उपयोग करते हुए (जो एक अत्यंत सख्त गणितीय रेफरी की तरह है), बेंज़मुलर ने दिखाया कि आप सकारात्मक गुणों का यह पूर्णतः व्यवस्थित "अल्ट्राफिल्टर" रख सकते हैं जिसमें ईश्वर जनरेटर है, और फिर भी आपके पास एक ऐसा ब्रह्मांड हो सकता है जहाँ चीजें आकस्मिक (contingent) हों (अर्थात वे अन्यथा भी हो सकती थीं)। उन्होंने विशिष्ट प्रति-उदाहरण (counterexamples) पाए—डिजिटल दुनिया जहाँ तर्क बना रहता है, ईश्वर का अस्तित्व है, लेकिन "कोलैप्स" नहीं होता है। यह सिद्ध करता है कि अल्ट्राफिल्टर का आकार समस्या नहीं है।
तो, असली अपराधी कौन है? बेंज़मुलर असली खलनायक की पहचान करते हैं: रिजिडिटी (Rigidity - कठोरता/अपरिवर्तनीयता)। मूल तर्क में, एक नियम है जो कहता है कि यदि कोई गुण "सकारात्मक" है, तो उसे हर संभावित दुनिया में, हमेशा के लिए सकारात्मक होना चाहिए। यह ऐसा है जैसे कहना कि "दयालु होना" एक ऐसा नियम है जो किसी भी संदर्भ में कभी नहीं बदलता। बेंज़मस्टर के कंप्यूटर मॉडल ने दिखाया कि यह विशिष्ट अपरिवर्तनीयता का नियम ही है, जो तर्क के अन्य हिस्सों के साथ मिलकर, पतन को मजबूर करता है। यदि आप कठोरता को हटा देते हैं लेकिन अल्ट्राफिल्टर को रखते हैं, तो पतन गायब हो जाता है।
यह शोध पत्र ओड्रिफ़ेडी और गोम्स के काम की दो छोटी गलतियों को भी सुधारता है। पहला, उन्होंने दावा किया कि एक कंप्यूटर गोडेल के तर्क के एक विशिष्ट भाग (थ्योरम IV) को सिद्ध करने में विफल रहा क्योंकि तर्क टूटा हुआ था। बेंज़मुलर ने दिखाया कि कंप्यूटर विफल नहीं हुआ; थ्योरम को उन विशिष्ट नियमों के साथ सिद्ध नहीं किया जा सकता था जिनका वे उपयोग कर रहे थे, जब तक कि आप उसमें एक छोटा, विशिष्ट फुटनोट न जोड़ दें जो गोडेल ने बाद में लिखा था। दूसरा, उन्होंने इस बारे में बहस की कि गुणों के लिए "समानता" कैसे काम करती है। बेंज़मलर ने स्पष्ट किया कि उनका नियम केवल तभी काम करता है जब आप गुणों को सभी समय में अपरिवर्तनीय अवधारणाओं के रूप में देखते हैं, न कि केवल एक क्षण में उनके दिखने के रूप में।
संक्षेप में, शोध पत्र का निष्कर्ष यह है कि "मोडल कोलैप्स" ईश्वर के गुणों को एक पूर्ण सूची में व्यवस्थित करने की एक अपरिहार्य संरचनात्मक विशेषता नहीं है। इसके बजाय, यह इस बात पर जोर देने का एक दुष्प्रभाव है कि वे गुण सभी संभावित वास्तविकताओं में कठोर और अपरिवर्तनीय होने चाहिए। अल्ट्राफिल्टर केवल एक मूक दर्शक है; कठोरता वह है जो गाड़ी को खाई में ले जा रही है। इसका अर्थ यह है कि यदि आप एक स्वतंत्र ब्रह्मांड की संभावना को बनाए रखना चाहते हैं, तो आपको एक पूर्ण सत्ता के विचार को छोड़ने की आवश्यकता नहीं है; आपको बस इस बात पर पुनर्विचार करने की आवश्यकता है कि "पूर्णता" विभिन्न संभावित दुनियाओं में कैसे लागू होती है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।