तर्कवाद: Difference between revisions

वहीं, 1903 में रसेल ने "[[गणित के सिद्धांत]]" लिखे जिसमें वे गियूसेप्पे पेयानो के ज्यामिति के विकास और उस पराधिन्यों का उपयोग करके पैरॉडॉक्स का विचार किया। चूँकि उन्होंने ज्यामिति और समुच्चय सिद्धांत में [[आदिम धारणा|प्रारंभिक धारणा]]ओं के विषय को सम्बोधित किया गया, जिसके कारण यह पाठ तर्कवाद के विकास में एक महत्वपूर्ण परिवर्तन है। तर्कवाद के दावे का साक्ष्य रसेल और व्हाइटहेड ने अपने [[गणितीय सिद्धांत|"गणितीय सिद्धांत"]] में एकत्र किया था।<ref>{{cite SEP |url-id=principia-mathematica |title=Principia Mathematica}}</ref>

इस प्रकार कर्ट गोडेल के गोडेल की अपूर्णता प्रमेय से पता चलता है कि कोई भी औपचारिक प्रणाली जिससे प्राकृतिक संख्याओं के लिए पीनो स्वयं सिद्ध प्राप्त नहीं किया जा सकता है - जैसे कि पीएम में रसेल की प्रणाली - उस प्रणाली के सभी अच्छी तरह से गठित वाक्यों का निर्णय नहीं कर सकती है।<ref>[http://philpapers.org/rec/RAAOTP "On the philosophical relevance of Gödel's incompleteness theorems"]</ref> इस परिणाम ने गणित की नींव के लिए [[डेविड हिल्बर्ट]] के फलन को नुकसान पहुंचाया, जिसके अनुसार 'अनंत' सिद्धांतों - जैसे कि पीएम - को अंतिम सिद्धांतों से सुसंगत सिद्ध किया जाना था, इस उद्देश्य से कि 'अनंत विधियों ' के बारे में असहज लोगों को आश्वस्त किया जा सके कि उनका उपयोग सिद्ध होना चाहिए, किसी विरोधाभास की व्युत्पत्ति नहीं होती। गोडेल के परिणाम से पता चलता है कि तर्कशास्त्री स्थिति को बनाए रखने के लिए, शास्त्रीय गणित को यथासंभव बरकरार रखते हुए, किसी को तर्क के भाग के रूप में अनंत के कुछ सिद्धांतों को स्वीकार करना चाहिए। प्रथम दृष्टया, यह तर्कवादी फलन को भी नुकसान पहुँचाता है, भले ही केवल उन लोगों के लिए जो पहले से ही 'अनंत विधियों ' के बारे में संदिग्ध हों। प्रत्येक दशा में, गोडेल के परिणाम के प्रकाशन के बाद से तर्कवाद और हिल्बर्टियन फ़िनिटिज़्म दोनों से प्राप्त पदों का प्रतिपादन जारी है।

इस प्रकार तर्क कि तर्कवाद से प्राप्त फलन वैध रहते हैं, वह यह हो सकता है कि अपूर्णता प्रमेय 'किसी भी अन्य प्रमेयों की तरह ही तर्क के साथ सिद्ध होते हैं'। चूंकि , ऐसा प्रतीत होता है कि वह तर्क [[प्रथम-क्रम तर्क]] के प्रमेयों और [[उच्च-क्रम तर्क]] के प्रमेयों के बीच अंतर को स्वीकार नहीं करता है। पूर्व को अंतिम विधियों का उपयोग करके सिद्ध किया जा सकता है, जबकि बाद वाला - सामान्यतः - नहीं किया जा सकता है। टार्स्की की अपरिभाषितता प्रमेय से पता चलता है कि गोडेल नंबरिंग का उपयोग वाक्यात्मक निर्माणों को सिद्ध करने के लिए किया जा सकता है, किन्तु अर्थ संबंधी प्रमाणो को नहीं। इसलिए, यह प्रमाणित कि तर्कवाद वैध फलन बना हुआ है, किसी को यह मानने के लिए प्रतिबद्ध कर सकता है कि प्राकृतिक संख्याओं के अस्तित्व और गुणों पर आधारित प्रमाण की प्रणाली किसी विशेष औपचारिक प्रणाली पर आधारित प्रणाली की समानता में कम विश्वसनीय है।<ref>{{cite book |last1=Gabbay |first1=Dov M. |title=तर्क और गणित की नींव में अध्ययन|date=2009 |publisher=Elsevier, inc. |location=Amsterdam |isbn=978-0-444-52012-8 |pages=59–90 |edition=Volume 153 |url=https://www.sciencedirect.com/bookseries/studies-in-logic-and-the-foundations-of-mathematics/vol/153/suppl/C |access-date=1 September 2019}}</ref>

इस प्रकार तर्कवाद का प्रत्यक्ष उद्देश्य संपूर्ण गणित को [[प्रतीकात्मक तर्क]] (फ़्रिज, डेडेकाइंड, पीनो, रसेल) से प्राप्त करना है। [[बीजगणितीय तर्क]] ([[बूलियन तर्क]]) के विपरीत, जो अंकगणितीय अवधारणाओं को नियोजित करता है, प्रतीकात्मक तर्क बहुत कम अंकों के समुच्चय (अन्य ) से प्रारंभ होता है। -अंकगणितीय प्रतीक), कुछ तार्किक सिद्धांत जो विचार के नियमों को मूर्त रूप देते हैं, और अनुमान के नियम जो यह तय करते हैं कि अंकों को कैसे इकट्ठा किया जाए और हेरफेर किया जाए - उदाहरण के लिए प्रतिस्थापन और [[मूड सेट करना|मूड समुच्चय करना]] (अर्थात [1] ए से भौतिक रूप से बी और [का तात्पर्य है) 2] ए, कोई बी प्राप्त कर सकता है)। तर्कवाद भी फ्रेज के आधारभूत कार्य से प्राकृतिक भाषा के कथनों को विषय से घटाकर या तो प्रस्तावात्मक परमाणुओं या तर्क के सामान्यीकरण के कार्य में अपनाता है - सभी, कुछ, वर्ग (संग्रह, समुच्चय) और संबंध की धारणाएं है।

:अंकगणित (बीजगणित, विश्लेषण) को तर्क के भाग के रूप में बोलने से मेरा तात्पर्य यह है कि मैं संख्या-अवधारणा को स्थान और समय की अंतर्ज्ञान की धारणाओं से पूरी तरह स्वतंत्र मानता हूं, कि मैं इसे विचार के नियमों का तत्काल परिणाम मानता हूं . . . संख्याएँ मानव मस्तिष्क की स्वतंत्र रचनाएँ हैं। . . [और] केवल संख्याओं के विज्ञान के निर्माण की विशुद्ध तार्किक प्रक्रिया के माध्यम से। . . क्या हम अंतरिक्ष और समय के बारे में अपनी धारणाओं को अपने दिमाग में बनाए गए इस संख्या-डोमेन के साथ संबंध में लाकर जांच करने के लिए सटीक रूप से तैयार हैं (डेडेकाइंड 1887 डोवर रिपब्लिकेशन 1963:31)।

:गणित की नींव से संबंधित प्रश्न, हालांकि हाल के दिनों में कई लोगों द्वारा हल किए गए हैं, फिर भी संतोषजनक समाधान का अभाव है। कठिनाई का मुख्य स्रोत भाषा की अस्पष्टता है। ¶ इसीलिए हमारे द्वारा उपयोग किए जाने वाले शब्दों की सावधानीपूर्वक जांच करना अत्यंत महत्वपूर्ण है। मेरा लक्ष्य इस परीक्षा को देना है (पीनो 1889 वैन हाइजेनोर्ट 1967:85 में)।

[[डेडेकाइंड]] और [[पूछा]] की ज्ञानमीमांसा रसेल की समानता में कम अच्छी तरह से परिभाषित लगती है, किन्तु दोनों सरल प्रस्तावक कथनों (आमतौर पर विश्वास) से संबंधित विचार के पारंपरिक कानूनों को प्राथमिकता के रूप में स्वीकार करते प्रतीत होते हैं; यदि सामान्यीकरण आर द्वारा जुड़े व्यक्तियों x और y के बीच वर्गों और संबंधों (उदाहरण के लिए x R y) के सिद्धांत के साथ संवर्धित किया जाए तो ये कानून अपने आप में पर्याप्त होंगे।

डेडेकाइंड का तर्क 1 से प्रारंभ होता है। निम्नलिखित में मैं हमारे विचार की प्रत्येक वस्तु को वस्तु के रूप में समझता हूं; हम मनुष्य अपने मन की इन बातों पर चर्चा करने के लिए प्रतीकों का उपयोग करते हैं; कोई चीज़ पूरी तरह से उन सभी चीज़ों से निर्धारित होती है जो उसके बारे में पुष्टि की जा सकती हैं या सोची जा सकती हैं (पृ. 44)। अगले पैराग्राफ में डेडेकाइंड चर्चा करता है कि सिस्टम एस क्या है: यह समुच्चय, कई गुना, संबंधित तत्वों (चीजों) ए, बी, सी की समग्रता है; उनका प्रमाणित है कि ऐसी प्रणाली एस. . . जैसे हमारे विचार की वस्तु वैसे ही वस्तु है (1); यह पूर्णतः तब निर्धारित होता है जब प्रत्येक वस्तु के संबंध में यह निर्धारित किया जाता है कि यह S का तत्व है या नहीं।* (पृ. 45, इटैलिक जोड़ा गया)। * फ़ुटनोट को इंगित करता है जहाँ वह कहता है कि:

[[लियोपोल्ड क्रोनकर]], अपने दावे के लिए प्रसिद्ध हैं कि भगवान ने पूर्णांक बनाए, बाकी सब मनुष्य का काम है<ref>For example, von Neumann 1925 would cite Kronecker as follows: "The denumerable infinite  . . . is nothing more the general notion of the positive integer, on which mathematics rests and of which even Kronecker and Brouwer admit that it was "created by God"" (von Neumann 1925 ''An axiomatization of set theory'' in van Heijenoort 1967:413).</ref> उसके शत्रु थे, उनमें हिल्बर्ट भी सम्मलित था। हिल्बर्ट ने क्रोनकर को हठधर्मी कहा, इस हद तक कि वह पूर्णांक को उसके आवश्यक गुणों के साथ हठधर्मिता के रूप में स्वीकार करता है और पीछे मुड़कर नहीं देखता।<ref>Hilbert 1904 ''On the foundations of logic and arithmetic'' in van Heijenoort 1967:130.</ref> और अपने चरम रचनावादी रुख को ब्रौवर के अंतर्ज्ञानवाद के साथ जोड़ा, दोनों पर व्यक्तिवाद का आरोप लगाया: यह विज्ञान के कार्य का भाग है कि वह हमें मनमानी, भावना और आदत से मुक्त करे और हमें उस व्यक्तिवाद से बचाए जो पहले से ही क्रोनकर के विचारों में खुद को महसूस कर चुका है और मुझे ऐसा लगता है कि इसकी परिणति अंतर्ज्ञानवाद में होती है।<ref>Pages 474–5 in Hilbert 1927, ''The Foundations of Mathematics'' in: van Heijenoort 1967:475.</ref> हिल्बर्ट फिर कहते हैं कि गणित पूर्वधारणा रहित विज्ञान है। इसे पाने के लिए मुझे ईश्वर की आवश्यकता नहीं है, जैसा कि क्रोनकर को है। . . (पृ. 479).

रसेल के [[दार्शनिक यथार्थवाद]] ने उन्हें ब्रिटिश [[आदर्शवाद]] के प्रतिकारक के रूप में कार्य किया,<ref>Perry in his 1997 Introduction to Russell 1912:ix)</ref> यूरोपीय बुद्धिवाद और ब्रिटिश [[अनुभववाद]] से उधार लिए गए अंशों के साथ।<ref>Cf. Russell 1912:74.</ref> आरंभ करने के लिए, रसेल दो प्रमुख मुद्दों के बारे में यथार्थवादी थे: सार्वभौमिक और भौतिक वस्तुएं (रसेल 1912:xi)। रसेल के लिए, टेबल वास्तविक चीजें हैं जो पर्यवेक्षक रसेल से स्वतंत्र रूप से मौजूद हैं। बुद्धिवाद प्राथमिक ज्ञान की धारणा में योगदान देगा,<ref>"It must be admitted . . . that logical principles are known to us, and cannot be themselves proved by experience, since all proof presupposes them. In this, therefore . . . the rationalists were in the right" (Russell 1912:74).</ref> जबकि अनुभववाद अनुभवात्मक ज्ञान (अनुभव से प्रेरण) की भूमिका में योगदान देगा।<ref>"Nothing can be known to ''exist'' except by the help of experience" (Russell 1912:74).</ref> रसेल प्राथमिक ज्ञान के विचार के लिए कांट को श्रेय देंगे, किन्तु वह कांट के घातक होने पर आपत्ति जताते हैं: [दुनिया के] तथ्यों को हमेशा तर्क और अंकगणित के अनुरूप होना चाहिए। यह कहना कि तर्क और अंकगणित का योगदान हमने किया है, इसका कोई मतलब नहीं है (1912:87); रसेल ने निष्कर्ष निकाला कि हमारे पास जो प्राथमिक ज्ञान है वह चीजों के बारे में है, न कि केवल विचारों के बारे में (1912:89)। और इसमें रसेल की ज्ञानमीमांसा डेडेकाइंड की इस मान्यता से भिन्न प्रतीत होती है कि संख्याएँ मानव मस्तिष्क की स्वतंत्र रचनाएँ हैं (डेडेकाइंड 1887:31)<ref>He drives the point home (pages 67-68) where he defines four conditions that determine what we call "the numbers" (cf. (71)). Definition, page 67: the successor set N' is a part of the collection N, there is a starting-point "1_o" [base number of the number-series ''N''], this "1" is not contained in any successor, for any ''n'' in the collection there exists a transformation φ(''n'') to a ''unique'' (distinguishable) ''n'' (cf. (26). Definition)). He observes that by establishing these conditions "we entirely neglect the special character of the elements; simply retaining their distinguishability and taking into account only the relation to one another . . . by the order-setting transformation φ. . . . With reference to this freeing the elements from every other content (abstraction) we are justified in calling numbers a free creation of the human mind." (p. 68)</ref>

रसेल ने ये ज्ञानमीमांसीय धारणाएँ कहाँ से प्राप्त कीं? वह हमें अपने 1903 के गणित के सिद्धांतों की प्रस्तावना में बताते हैं। ध्यान दें कि उनका प्रमाणित है कि यह विश्वास: एमिली खरगोश है, अस्तित्वहीन है, और फिर भी इस अस्तित्वहीन प्रस्ताव की सच्चाई किसी भी जानने वाले दिमाग से स्वतंत्र है; यदि एमिली वास्तव में खरगोश है, तो इस सत्य का तथ्य मौजूद है कि रसेल या कोई अन्य दिमाग जीवित है या मृत है, और एमिली का खरगोश-हुड से संबंध अंतिम है:

: वर्गों के मामले में, मुझे स्वीकार करना होगा, मैं वर्ग की धारणा के लिए अपेक्षित शर्तों को पूरा करने वाली किसी भी अवधारणा को समझने में विफल रहा हूं। और विरोधाभास की चर्चा अध्याय x में की गई है। यह सिद्ध करता है कि कुछ गड़बड़ है, किन्तु यह क्या है, मैं अब तक इसका पता लगाने में असफल रहा हूं। (रसेल 1903 की प्रस्तावना:vi)

गोडेल अपने 1944 में 1903 के युवा रसेल से असहमत होंगे ([मेरा परिसर] गणित को सच होने की अनुमति देता है) किन्तु संभवतः ऊपर उद्धृत रसेल के कथन से सहमत होंगे (कुछ गड़बड़ है); रसेल का सिद्धांत गणित की संतोषजनक नींव पर पहुंचने में विफल रहा था: परिणाम अनिवार्य रूप से नकारात्मक था; अर्थात इस तरह से प्रस्तुत की गई कक्षाओं और अवधारणाओं में गणित के उपयोग के लिए आवश्यक सभी गुण नहीं हैं (गोडेल 1944:132)।

: जिसके अनुसार कक्षाएं या अवधारणाएं कभी भी वास्तविक वस्तुओं के रूप में मौजूद नहीं होती हैं, और इन शब्दों वाले वाक्य केवल तभी सार्थक होते हैं क्योंकि उनकी व्याख्या इस प्रकार की जा सकती है ... अन्य चीजों के बारे में बोलने का तरीका (पृष्ठ 125)।

फ़्रीज और डेडेकाइंड का तर्कवाद रसेल के समान है, किन्तु विवरण में अंतर है (नीचे आलोचनाएं देखें)। कुल मिलाकर, प्राकृतिक संख्याओं की तार्किक व्युत्पत्तियाँ, उदाहरण के लिए, समुच्चय सिद्धांत ('Z') के लिए ज़र्मेलो के सिद्धांतों से प्राप्त व्युत्पत्तियों से भिन्न हैं। जबकि, Z से व्युत्पत्ति में, संख्या की परिभाषा उस प्रणाली के स्वयंसिद्ध का उपयोग करती है - युग्मन का स्वयंसिद्ध - जो क्रमित जोड़ी की परिभाषा की ओर ले जाता है - प्राकृतिक संख्याओं की व्युत्पत्ति की अनुमति देने वाले विभिन्न तर्कशास्त्री स्वयंसिद्ध प्रणालियों में कोई प्रत्यक्ष संख्या स्वयंसिद्ध मौजूद नहीं है। . ध्यान दें कि किसी संख्या की परिभाषा प्राप्त करने के लिए आवश्यक स्वयंसिद्ध सिद्धांत किसी भी मामले में समुच्चय सिद्धांत के लिए स्वयंसिद्ध प्रणालियों के बीच भिन्न हो सकते हैं। उदाहरण के लिए, ZF और ZFC में, युग्मन का सिद्धांत, और इसलिए अंततः क्रमित जोड़े की धारणा अनंत के सिद्धांत और प्रतिस्थापन के सिद्धांत से व्युत्पन्न है और वॉन न्यूमैन अंकों की परिभाषा में आवश्यक है (किन्तु ज़र्मेलो नहीं) अंक), जबकि एनएफयू में फ़्रीज अंक ग्रंडगेसेट्ज़ में उनकी व्युत्पत्ति के अनुरूप तरीके से प्राप्त किए जा सकते हैं।