रूथ बारकन मार्कस

बारकन फॉर्मूला के रूप में ज्ञात औपचारिक सिद्धांत रूथ बारकन मार्कस (Ruth Barcan Marcus) के शुरुआती कार्यों से उभरा, जिन्होंने क्वांटिफाइड मोडल लॉजिक (परिमाणित आदर्शीय तर्क) की पहली स्वयंसिद्ध प्रणाली पेश की। 20वीं सदी के विश्लेषणात्मक दर्शन के परिदृश्य में काम करते हुए, उन्होंने मोडल और दार्शनिक तर्क में बुनियादी अवधारणाओं को स्थापित किया जो आज भी संदर्भ और आवश्यकता के बारे में शैक्षणिक चर्चा को सूचित करती हैं।

शैक्षणिक नींव और करियर

1921 में ब्रोंक्स में जन्मीं रूथ चार्लोट बारकन (Ruth Charlotte Barcan) ने 1941 में न्यूयॉर्क विश्वविद्यालय में अपनी स्नातक की पढ़ाई पूरी की, जहाँ उन्होंने गणित और दर्शन पर ध्यान केंद्रित किया। उन्होंने येल विश्वविद्यालय में स्नातकोत्तर शिक्षा प्राप्त की, 1942 में एम.ए. और 1946 में पीएचडी की उपाधि अर्जित की। उनके पेशेवर कार्यकाल में नॉर्थवेस्टर्न यूनिवर्सिटी, शिकागो में रूजवेल्ट यूनिवर्सिटी और इलिनोइस यूनिवर्सिटी शिकागो में नियुक्तियां शामिल थीं। 1973 में, वह येल विश्वविद्यालय में रूबेन पोस्ट हैलेक दर्शनशास्त्र की प्रोफेसर के रूप में संकाय में शामिल हुईं, जिस पद पर वह 1992 में प्रोफेसर एमेरिटा के रूप में सेवानिवृत्त होने तक रहीं।

मोडल लॉजिक में योगदान

मार्कस ने क्वांटिफाइड मोडल लॉजिक की प्रारंभिक प्रणालियों को विकसित किया, और प्रपोजिशनल सिस्टम को प्रथम और द्वितीय क्रम के तर्क तक विस्तारित किया। 1946 और 1947 में 'जर्नल ऑफ सिम्बोलिक लॉजिक' में उनके प्रकाशनों ने, जिसमें 'ए फंक्शनल कैलकुलस ऑफ फर्स्ट ऑर्डर बेस्ड ऑन स्ट्रिक्ट इम्प्लिकेशन' शामिल है, बारकन फॉर्मूला पेश किया और पहचान की आवश्यकता को स्थापित किया। उन्होंने इन औपचारिक प्रणालियों के भीतर आवश्यकता को दर्शाने के लिए उपयोग किए जाने वाले मानक बॉक्स ऑपरेटर को भी पेश किया।

संदर्भ और विश्वास के सिद्धांत

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

पेशेवर मान्यता और सदस्यता

अपने पूरे करियर के दौरान, मार्कस ने विभिन्न नेतृत्वकारी भूमिकाएं निभाईं, 1976 से 1983 तक अमेरिकन फिलोसोफिकल एसोसिएशन के बोर्ड ऑफ ऑफिसर्स के अध्यक्ष के रूप में कार्य किया। वह एसोसिएशन फॉर सिम्बोलिक लॉजिक और इंस्टीट्यूट इंटरनेशनल डी फिलोसोफी की अध्यक्ष थीं। उन्हें 1953 में गुगेनहाइम फैलोशिप मिली और वह अमेरिकन एकेडमी ऑफ आर्ट्स एंड साइंसेज की सदस्य थीं। उनके सम्मानों में 2000 में विल्बर क्रॉस मेडल और कारस लेक्चर्स, 2007 में फिलिप एल. क्विन पुरस्कार और 2008 में लॉनर पुरस्कार शामिल हैं।

त्वरित तथ्य

- जन्म: 1921, ब्रोंक्स - मृत्यु: 2012, न्यू हेवन - शिक्षा: येल विश्वविद्यालय; न्यूयॉर्क विश्वविद्यालय - उल्लेखनीय कार्य: बारकन फॉर्मूला - उल्लेखनीय कार्य: पहचान की आवश्यकता - पुरस्कार: गुगेनहाइम फैलोशिप (1953) - पुरस्कार: विल्बर क्रॉस मेडल (2000) - पेशेवर भूमिका: अध्यक्ष, एसोसिएशन फॉर सिम्बोलिक लॉजिक

पाठक जो प्रश्न पूछते हैं

### बारकन फॉर्मूला क्या है?

यह क्वांटिफाइड मोडल लॉजिक पर मार्कस के शुरुआती काम में पेश किया गया एक सिद्धांत है, जो पहली बार उनके 1946 के प्रकाशनों में सामने आया था।

### मार्कस ने उचित नामों को कैसे परिभाषित किया?

उन्होंने तर्क दिया कि उचित नाम वस्तुओं के लिए प्रत्यक्ष 'टैग' के रूप में कार्य करते हैं, और इस सिद्धांत को खारिज कर दिया कि वे वर्णनात्मक सामग्री से बने होते हैं।

### रूथ बारकन मार्कस ने कहाँ पढ़ाया?

उन्होंने नॉर्थवेस्टर्न यूनिवर्सिटी, रूजवेल्ट यूनिवर्सिटी, इलिनोइस यूनिवर्सिटी शिकागो और येल विश्वविद्यालय में संकाय पदों पर कार्य किया।