Extensionalism without Logicism: Ambrose and Extensional Logic

तकनीकी सारांश: तर्कवाद के बिना विस्तारवाद (Extensionalism): एम्ब्रोस और विस्तारवादी तर्क (Extensional Logic)

समस्या विवरण
यह शोध पत्र २०वीं सदी की शुरुआत के तर्क और गणित में एक मौलिक तनाव को संबोधित करता है: बर्ट्रेंड रसेल द्वारा समर्थित विस्तारवादी तर्क (extensional logic) की कठोरता और 'लॉजिकिज्म' (Logicism) के लिए आवश्यक तत्वमीमांसीय प्रतिबद्धताओं के बीच का संघर्ष। विशेष रूप से, लेखक यह परीक्षण करते हैं कि एलिस एम्ब्रोस (१९०६-२००१) ने रसेल के प्रिंसिपिया मैथमैटिका (Principia Mathematica) और ब्रौवर एवं वेइल के उभरते हुए रचनावादी/अंतर्ज्ञानवादी (constructivist/intuitionist) आंदोलनों के बीच के कालखंड में कैसे मार्ग प्रशस्त किया। मुख्य समस्या यह है कि जहाँ रसेल की विस्तारवादी विधियों ने वर्गों (classes) और प्रस्थापनाओं (propositions) को उनके सदस्यों और सत्य-मानों (truth-values) द्वारा परिभाषित करने के लिए एक स्पष्ट, वस्तुनिष्ठ ढांचा प्रदान किया, वहीं उनका लॉजिकिस्ट कार्यक्रम "गैर-तटस्थ" (non-tautologous) अभिगृहितों पर निर्भर था—विशेष रूप से 'अनंतता का अभिगृहीत' (Axiom of Infinity) और 'न्यूनीकरण का अभिगृहीत' (Axiom of Reducibility)। ये अभिगृहीत प्रभावी रूप से उन वास्तविक अनंतों (actual infinities) के अस्तित्व के बारे में ठोस, भौतिक दावे शुद्ध तर्क से प्राप्त प्रणाली में समाविष्ट कर देते थे, जिसे केवल शुद्ध तर्क के रूप में प्रस्तुत किया जाना था। यह शोध पत्र इस बात की जांच करता है कि कैसे एम्ब्रोस ने "अनंत की भौतिकता" (materiality of infinity) और इस लॉजिकिस्ट दावे को खारिज करते हुए, जो यह मानता है कि संपूर्ण गणित शुद्ध तर्क में न्यूनीकृत है, विस्तारवाद की पद्धतिगत स्पष्टता को बनाए रखने का प्रयास किया।

कार्यप्रणाली
यह अध्ययन एम्ब्रोस के प्रारंभिक कार्यों के ऐतिहासिक-दार्शनिक विश्लेषण का उपयोग करता है, जो मुख्य रूप से उनके अप्रकाशित १९३२ के शोध प्रबंध, इन डिफेंस ऑफ एन एक्सटेंशनल लॉजिक (In Defense of an Extensional Logic), और १९३१ से १९३६ के उनके प्रकाशित लेखों पर केंद्रित है। कार्यप्रणाली में शामिल हैं:
१. तुलनात्मक विश्लेषण: एम्ब्रोस के दृष्टिकोण की तुलना रसेल के लॉजिकिज्म, सी. आई. लुईस के इंटेंशनल लॉजिक (strict implication), और ब्रौवर/वेइल के इंट्यूशनिज्म (Intuitionism) से करना।
२. पाठ्य आलोचना (Textual Critique): एम्ब्रोस के "न्यूनीकरण के अभिगृहीत" और "अनंतता के अभिगृहीत" के विरुद्ध विशिष्ट तर्कों की सूक्ष्म जांच करना, जिससे यह प्रदर्शित होता है कि वे इन्हें तथ्यात्मक दावे के रूप में पहचानती हैं न कि तार्किक टॉटोलॉजी (tautology) के रूप में।
३. केस स्टडी अनुप्रयोग: एम्ब्रोस द्वारा "π-7s समस्या" (मूल रूप से मैक्स ब्लैक द्वारा चर्चा की गई) के पुनर्गठन का विश्लेषण करना ताकि उनके "फिनिटिस्ट एक्सटेंशनलिस्ट" (finitist extensionalist) पद्धति को स्पष्ट किया जा सके। इसमें अस्तित्व संबंधी दावों को पूर्ण भौतिक संरचनाओं के बजाय 'परिमित रुकने के नियमों' (finite stopping rules) वाले अनंत वियोजनों (infinite disjunctions) के रूप में मानना शामिल है।
४. वैचारिक पुनर्निर्माण: रसेल के "एक साथ दिए गए" (given all at once) अनंतों के प्रारंभिक समर्थन से एक परिपक्व "संतुलित विस्तारवाद" (balanced extensionalism) की ओर एम्ब्रोस के बदलाव को रेखांकित करना, जिसमें "कोई वर्ग नहीं" (no-classes) परिकल्पना और "परिमित साक्ष्यों" (finite witnesses) की आवश्यकता शामिल है।

प्रमुख योगदान
यह शोध पत्र एम्ब्रोस के प्रारंभिक कार्य में तीन प्राथमिक योगदानों की पहचान करता है:

१. लॉजिकिस्ट अभिगृहितों की आलोचना: एम्ब्रोस दर्शाती हैं कि रसेल का लॉजिकिज्म शुद्ध तर्क से गणित को प्राप्त करने में विफल रहता है क्योंकि यह 'अनंतता के अभिगृहीत' (एक अनंत वर्ग के अस्तित्व का दावा करना) और 'न्यूनीकरण के अभिगृहीत' (उच्च-क्रम के विधेयों को प्रथम-क्रम के विधेयों में समाहित करना) पर निर्भर है। वह तर्क देती हैं कि ये "तथ्यों के कथन" हैं न कि तार्किक टॉटोलॉजी, जिससे लॉजिकिस्ट आदर्श का उल्लंघन होता है कि तर्क कोई नया ज्ञान नहीं जोड़ता।
२. लॉजिकिज्म के बिना विस्तारवाद: एम्ब्रोस एक मध्य मार्ग प्रस्तावित करती हैं जो विस्तारवादी कैलकुलस (वर्गों को सदस्यता और प्रस्थापनाओं को सत्य-मानों द्वारा परिभाषित करना) को तो बनाए रखती है, लेकिन संपूर्ण गणित को तर्क में न्यूनीकृत करने की लॉजिकिस्ट महत्वाकांक्षा को त्याग देती है। वह एक "कोई वर्ग नहीं" (no-classes) सिद्धांत की वकालत करती हैं जहाँ वर्ग प्रतीकों को अपूर्ण प्रतीकों या प्रस्थापनात्मक फलनों (propositional functions) के संक्षिप्त रूप के रूप में माना जाता है, जिससे पूर्ण वस्तुओं के रूप में अनंत समग्रताओं के प्रति सत्तात्मक प्रतिबद्धता से बचा जा सके।
३. अस्तित्व का फिनिटिस्ट पुनर्गठन: एम्ब्रोस अस्तित्व संबंधी दावों के लिए एक अभ्यास-उन्मुख, प्रोटो-एल्गोरिद्मिक दृष्टिकोण विकसित करती हैं। वह तर्क देती हैं कि एक अस्तित्व संबंधी दावा (जैसे, "π में तीन लगातार 7 मौजूद हैं") केवल एक 'परिमित रुकने के नियम' के माध्यम से अर्थ प्राप्त करता है जो एक साक्षी (witness) उत्पन्न करता है। यह अनंत वियोजनों को भौतिक पूर्णता के रूप में नहीं, बल्कि संभावित प्रक्रियाओं के रूप में पुनर्गठित करता है।

परिणाम और तकनीकी विश्लेषण
शोध पत्र विवरण देता है कि कैसे एम्ब्रोस अपने संतुलित विस्तारवाद को प्रदर्शित करने के लिए "π-7s समस्या" को हल करती हैं:

• समस्या: मैक्स ब्लैक ने तर्क दिया कि संख्या के $k$-वें अंक को निर्धारित करने के लिए (जो $\pi$ में $k$ लगातार 7 के आगमन द्वारा परिभाषित है) $\pi$ के संपूर्ण अनंत विस्तार को स्कैन करना आवश्यक है यदि वह अनुक्रम कभी प्रकट न हो।
• एम्ब्रोस का समाधान: एम्ब्रोस ब्लैक के तर्क को सुधारते हुए अस्तित्व संबंधी दावे को पुनः परिभाषित करती हैं। वह "$\pi$ में तीन लगातार 7 हैं" के कथन को एक स्पष्ट अनंत वियोजन के रूप में मानती हैं: $\bigvee_{n=1}^{\infty} (\pi_n = 7 \land \pi_{n+1} = 7 \land \pi_{n+2} = 7)$।
• फिनिटिस्ट बाधा (Finitist Constraint): एम्ब्रोस इस बात पर जोर देती हैं कि इस दावे के सार्थक होने के लिए, इसे एक परिमित रुकने के नियम द्वारा समर्थित होना चाहिए। यदि एक साक्षी (एक विशिष्ट $n$) मिल जाता है, तो दावे की पुष्टि हो जाती है। यदि कोई साक्षी नहीं मिलता है, तो यह भौतिक अर्थ में गलत नहीं माना जाता, क्योंकि अनंत प्रक्रिया को पूर्ण नहीं किया जा सकता।
• "कोई वर्ग नहीं" का परिणाम: इस दृष्टिकोण को अपनाकर, एम्ब्रोस "अनंतता के अभिग्रहीत" से बचती हैं। वह अनंत अंकों के सेट को एक नियम द्वारा परिभाषित एक संभाव्यता (potentiality) के रूप में मानती हैं, न कि एक पूर्ण भौतिक वस्तु के रूप में। यह उन्हें वास्तविक अनंत के तत्वमीमांसीय बोझ को स्वीकार किए बिना विस्तारवादी तर्क (सत्य-मान और सदस्यता) को बनाए रखने की अनुमति देता है।

महत्व और दावे
यह शोध पत्र दावा करता है कि एम्ब्रोस एक महत्वपूर्ण, अक्सर अनदेखा किया गया संक्रमणकालीन व्यक्तित्व हैं जिन्होंने रसेल के औपचारिकतावाद (formalism) और रचनावादी मोड़ के बीच के अंतर को पाटा। उनका महत्व निम्नलिखित में निहित है:

• कठोरता का संरक्षण: उन्होंने लुईस की "इंटेंशनल" (intensional) आलोचनाओं और ब्रौवर के "मानसिक निर्माण" के विरुद्ध विस्तारवादी तर्क की वस्तुनिष्ठ, गैर-मनोवैज्ञानिक कठोरता को बनाए रखा।
• ज्ञानमीमांसीय आधार: उन्होंने गणितीय अस्तित्व के आधार को "भौतिक पूर्णता" से बदलकर "परिमित सत्यापन क्षमता" (finite verifiability) में स्थानांतरित कर दिया, जिसने बाद के कम्प्यूटेबिलिटी थ्योरी और प्रमाण-सिद्धांतिक अर्थशास्त्र (proof-theoretic semantics) के विकास का पूर्वानुमान लगाया।
• पद्धतिगत नवाचार: उनका "संतुलित विस्तारवाद" एक ऐसा ढांचा प्रदान करता है जहाँ गणितीय अभ्यास विस्तारवादी परिभाषाओं की उपयोगिता को छोड़े बिना मानव संज्ञानात्मक और यांत्रिक क्षमताओं (परिमित प्रक्रियाओं) के अनुरूप होता है।

लेखक निष्कर्ष निकालते हैं कि एम्ब्रोस का कार्य आधुनिक अवधारणाओं जैसे कि प्रमाण सिद्धांत में 'विटनेस-एक्सट्रैक्शन' (witness-extraction) और 'कंप्यूटेबल रियल नंबर्स' (ट्यूरिंग-निर्णायक रुकने के नियमों के माध्यम से) का पूर्वानुमान लगाता है, जो एक "फिनिटिस्ट एक्सटेंशनलिज्म" स्थापित करता है जो अनंत की भौतिकता को खारिज करते हुए भी विस्तारवादी कैलकुलस की शक्ति को बनाए रखता है।