हंस कैंप: सामान्य बातचीत में छिपा तर्क

शास्त्रीय तर्कशास्त्र एक वाक्य को खूबसूरती से संभालता है। यह हमेशा दूसरे वाक्य के साथ संघर्ष करता है - वह वाक्य जिसमें "वह" (he) या "यह" (it) होता है और यह मान लिया जाता है कि आपने ध्यान दिया है। 1981 में, लंदन में पढ़ाने वाले एक डच तर्कशास्त्री ने एक पेपर प्रकाशित किया जिसमें तर्क दिया गया कि अर्थ की इकाई बिल्कुल भी वाक्य नहीं बल्कि डिस्कोर्स (बातचीत) है, और भाषा को समझने का मतलब एक प्रतिनिधित्व बनाना और उसे लगातार अपडेट करना है। तब से औपचारिक अर्थविज्ञान (formal semantics) उनकी छाया में काम कर रहा है। कैंप ने खुद का वर्णन इस प्रकार किया: "वास्तव में एक भाषाविद् नहीं," "वास्तव में एक दार्शनिक नहीं," "वास्तव में एक तर्कशास्त्री नहीं।"

टेसेल, लीडेन, एम्स्टर्डम

जोहान एंथनी विलेम कैंप (Johan Anthony Willem Kamp) का जन्म 5 सितंबर 1940 को उत्तरी हॉलैंड तट के शीर्ष पर स्थित डच द्वीप टेसेल (Texel) के डेन बर्ग (Den Burg) में हुआ था। वह 1952 से 1958 तक अल्कमार (Alkmaar) के मुरमेलियस व्यायामशाला (Murmellius Gymnasium) गए और फिर लीडेन विश्वविद्यालय (University of Leiden) गए, जहाँ 1958 से 1961 तक उन्होंने भौतिकी और गणित का अध्ययन किया। इसके बाद जो हुआ उसने उनके करियर का पैटर्न सेट कर दिया: उन्हें तर्कशास्त्र की लत लग गई, और 1961 से 1965 तक वह एम्स्टर्डम विश्वविद्यालय (University of Amsterdam) चले गए, जहाँ उन्होंने तर्कशास्त्र, गणित की नींव और अनुभवजन्य विज्ञान के दर्शन में डॉक्टोरेंडस (doctorandus) की उपाधि प्राप्त की। उन्होंने एम्स्टर्डम स्कूल के ई. डब्ल्यू. बेथ (E. W. Beth) को अपने विचारों पर सबसे मजबूत तीन प्रभावों में से एक के रूप में वर्णित किया है।

मोंटागु के छात्र

1965 में वह यूसीएलए (UCLA) गए, और यह विकल्प निर्णायक था। उनके पर्यवेक्षक रिचर्ड मोंटागु (Richard Montague) थे, जो उस समय ऐसा प्रोग्राम बना रहे थे जो प्राकृतिक भाषा को एक औपचारिक भाषा मानता है, जो तर्क की भाषाओं के समान मॉडल-सैद्धांतिक उपचार के लिए उत्तरदायी है। उनकी डॉक्टरेट समिति में चेन चुंग चांग (Chen Chung Chang), डेविड कपलान (David Kaplan), इयानिस मोस्कोवाकिस (Yiannis Moschovakis) और जॉर्डन हॉवर्ड सोबेल (Jordan Howard Sobel) भी शामिल थे - तर्कशास्त्रियों का एक ऐसा केंद्रित समूह जिसके सामने कोई भी छात्र बैठ सकता है। उन्होंने 1968 में टेन्स लॉजिक एंड द थ्योरी ऑफ लीनियर ऑर्डर (Tense Logic and the Theory of Linear Order) पर शोध प्रबंध के साथ दर्शनशास्त्र में पीएचडी की, जिसमें उन्होंने कार्यात्मक पूर्णता का परिणाम साबित किया: निरंतर रैखिक क्रम पर अन्य सभी को परिभाषित करने के लिए काल ऑपरेटर सिंस (since) और अंटिल (until) पर्याप्त हैं। मोंटागु और बेथ के साथ-साथ, वह आधुनिक काल तर्क के संस्थापक आर्थर प्रायर (Arthur Prior) को एक रचनात्मक प्रभाव के रूप में श्रेय देते हैं - हर मामले में पद्धतिगत कठोरता और बौद्धिक ईमानदारी के लिए, न कि सिद्धांत के लिए।

अब

उनका 1971 का पेपर "फॉर्मल प्रॉपर्टीज ऑफ 'नाउ'" (Formal Properties of 'Now') एक छोटा क्लासिक है। नाउ (now) शब्द मानक मॉडल-सैद्धांतिक अर्थविज्ञान के लिए एक उपद्रव है: इसका संदर्भ उच्चारण के क्षण पर निर्भर करता है, लेकिन इसे उन ऑपरेटरों के अंदर भी एम्बेड किया जा सकता है जो मूल्यांकन के समय को बदलते हैं, और दो सूचकांक अलग हो जाते हैं। कैंप का समाधान - डबल इंडेक्सिंग, एक ही समय में दो अस्थायी निर्देशांकों के खिलाफ अभिव्यक्तियों का मूल्यांकन करना - इंडेक्सिकल्स और मोडलिटि के अर्थविज्ञान में मानक उपकरण बन गया।

तब तक वह लगातार आगे बढ़ रहे थे: 1968 में यूसीएलए में प्रशिक्षक, 1968 से 1970 तक कॉर्नेल में सहायक प्रोफेसर, 1970-71 में एम्स्टर्डम, फिर 1971 से 1984 तक यूनिवर्सिटी कॉलेज लंदन और बेडफोर्ड कॉलेज में तेरह साल तक व्याख्यान दिया, 1983 में मैसाचुसेट्स विश्वविद्यालय, एमहर्स्ट (University of Massachusetts, Amherst) में प्रोफेसरशिप के साथ और 1984 से 1988 तक टेक्सास विश्वविद्यालय, ऑस्टिन (University of Texas at Austin) में एक प्रोफेसरशिप के साथ।

डिस्कोर्स की ओर मोड़

1981 में "ए थ्योरी ऑफ ट्रुथ एंड सिमेंटिक रिप्रेजेंटेशन" (A Theory of Truth and Semantic Representation) दिखाई दिया और इसने डिस्कोर्स रिप्रेजेंटेशन थ्योरी (DRT) की शुरुआत की। इसका केंद्रीय कदम एक उलटफेर है। मोंटागु सिमेंटिक्स वाक्य-दर-वाक्य सत्य शर्तें सौंपता है; DRT प्रतिनिधित्व का एक स्तर डालता है - एक डिस्कोर्स प्रतिनिधित्व संरचना - जिसे श्रोता पाठ के आगे बढ़ने के साथ वृद्धिशील रूप से बनाता है, उन चीजों के लिए मार्कर पेश करता है जिनके बारे में बात की जा रही है और उन पर शर्तें, और जिसे फिर एक मॉडल के खिलाफ व्याख्या की जाती है। वाक्य सीमाओं के पार एनाफोरा, जिसने दशकों तक संरचनात्मक अर्थविज्ञान को शर्मिंदा किया था, स्वाभाविक हो जाता है: दूसरे वाक्य में सर्वनाम एक मार्कर उठाता है जिसे पहले वाक्य ने बोर्ड पर रखा था।

परिणाम यह है कि अर्थ गतिशील हो जाता है। एक वाक्य अब सत्य शर्तों का एक स्थिर पैकेज नहीं है बल्कि एक प्रतिनिधित्व को अपडेट करने का निर्देश है, और संदर्भ एक निश्चित पृष्ठभूमि नहीं है बल्कि कुछ ऐसा है जिसे डिस्कोर्स खुद लगातार बनाता है। कैंप ने उसी वर्ष "द पैराडॉक्स ऑफ द हीप" (The Paradox of the Heap) प्रकाशित किया, अस्पष्टता और सोराइट्स पर - 1981 के दो पेपर एक साथ उन्हें एक ऐसे तर्कशास्त्री के रूप में चिह्नित करते हैं जो ठीक उन जगहों पर आकर्षित होता है जहाँ औपचारिक उपचार सबसे कठिन है।

डिस्कोर्स से तर्कशास्त्र तक

वह 1988 में स्टटगार्ट विश्वविद्यालय (University of Stuttgart) में औपचारिक तर्क और भाषा के दर्शन के प्रोफेसर के रूप में प्राकृतिक भाषा प्रसंस्करण संस्थान में चले गए, और वहीं रहे। 1993 में उन्होंने और उवे रेले (Uwe Reyle) ने फ्रॉम डिस्कोर्स टू लॉजिक (From Discourse to Logic) प्रकाशित किया, वह पूर्ण-पोशाक उपचार जिसने DRT को एक आकर्षक पेपर से एक कार्यशील प्रणाली में बदल दिया, जिसमें पर्याप्त कवरेज था कि कम्प्यूटेशनल भाषाविद् इसे लागू कर सकें। इसके चारों ओर उन्होंने बड़े सहयोगी प्रोजेक्ट्स की एक श्रृंखला चलाई - 1989 से 1995 तक यूरोपीय डायना (Dyana) पहल, 1989 से 2000 तक कम्प्यूटेशनल भाषाई विधियों पर जर्मन विशेष अनुसंधान केंद्र SFB 340, 1995 से 1997 तक FraCaS, और 2000 से 2002 तक एक DFG तर्क समूह - जो यह है कि कैसे एक ढांचा उपयोगकर्ताओं की एक पीढ़ी प्राप्त करता है।

अनुसंधान का विस्तार होता रहा: अस्थायी संदर्भ, पूर्वधारणा, संदर्भ निर्भरता, प्रोटोटाइप और संरचनात्मकता (बारबरा पार्टी (Barbara Partee), 1995 के साथ), और गैर-शाब्दिक भाषा - रूपक और व्यंजना - जो एक औपचारिक अर्थविज्ञानी के लिए असामान्य क्षेत्र है। उनके जीन निकोड व्याख्यान (Jean Nicod Lectures) एमआईटी प्रेस (MIT Press) द्वारा थिंकिंग एंड टॉकिंग अबाउट थिंग्स (Thinking and Talking about Things) के रूप में प्रकाशित किए गए थे, और उनके चयनित लेखन का एक खंड मीनिंग एंड द डायनामिक्स ऑफ इंटरप्रिटेशन (Meaning and the Dynamics of Interpretation) के रूप में सामने आया।

हंस को जीनियस क्यों कहा जाता है

दावा एक संरचनात्मक अंतर्दृष्टि और इसे काम करने के अनुशासन पर टिका है। कैंप ने देखा कि वाक्य गलत इकाई थी - कि यदि आप यह समझाना चाहते हैं कि लोग वास्तव में जुड़े हुए पाठ को कैसे समझते हैं, तो आपको एक मध्यवर्ती प्रतिनिधित्व की आवश्यकता है जो डिस्कोर्स के बढ़ने के साथ बढ़ता है, और यह कि इस प्रतिनिधित्व को मनोविज्ञान के रूप में लहराए जाने के बजाय एक कठोर मॉडल-सैद्धांतिक व्याख्या दी जा सकती है। दोनों हिस्सों को प्राप्त करना कठिन हिस्सा है। बहुत से लोगों के पास डिस्कोर्स और संदर्भ के बारे में अंतर्ज्ञान था; उपलब्धि कुछ ऐसी औपचारिक निर्माण करना था जिसे सिद्ध किया जा सके और कंप्यूटर पर लागू किया जा सके, जबकि श्रोता जो करता है उसके मॉडल के रूप में पहचाने जाने योग्य बना रहे।

समर्थन करने वाला गुण सीमा है। बहुत कम लोग एक करियर में काल तर्क में कार्यात्मक पूर्णता प्रमाण, सोराइट्स विरोधाभास का विश्लेषण, पूर्वधारणा का सिद्धांत और रूपक का एक कार्यशील खाता रखते हैं, और कैंप का आत्म-विवरण - वास्तव में एक भाषाविद्, दार्शनिक या तर्कशास्त्री नहीं - किसी ऐसे व्यक्ति की सटीक रिपोर्ट है जो उनमें से किसी के द्वारा घरेलू होने से इनकार करके तीन क्षेत्रों में वास्तव में उपयोगी रहा है।

विपरीत मामला स्पष्ट रूप से बताने लायक है। 2024 का रॉल्फ शॉक पुरस्कार (Rolf Schock Prize) कैंप को संयुक्त रूप से आइरीन हेम (Irene Heim) के साथ दिया गया था, और जब एक से अधिक व्यक्ति आते हैं तो पुरस्कार साझा किए जाते हैं - 1980 के आसपास अर्थविज्ञान में गतिशील मोड़ हवा में था, और DRT एकमात्र संभव समाधान के बजाय कई में से एक समाधान है। यह संकेतात्मक रूप से भी भारी है, और प्रतिद्वंद्वी गतिशील ढांचे ने बाजार हिस्सेदारी ले ली है। और कैंप की प्रतिष्ठा पूरी तरह से एक तकनीकी अनुशासन के आंतरिक है: उनका कोई सार्वजनिक प्रोफ़ाइल नहीं है, कोई लोकप्रिय पुस्तक नहीं है, कोई विचार नहीं है जो सामान्य संस्कृति में बच निकला हो। औपचारिक अर्थविज्ञान के भीतर उनकी स्थिति निर्विवाद के करीब है। इसके बाहर, लगभग किसी ने उनके बारे में नहीं सुना है।

विरासत

सम्मान लगातार जमा हुए हैं: 1996 में जीन निकोड पुरस्कार (Jean Nicod Prize), 1997 में रॉयल नीदरलैंड एकेडमी ऑफ आर्ट्स एंड साइंसेज (Royal Netherlands Academy of Arts and Sciences) की संबंधित सदस्यता, एक मानद डॉक्टरेट, 2015 में अमेरिकन एकेडमी ऑफ आर्ट्स एंड साइंसेज (American Academy of Arts and Sciences) की फैलोशिप, और 2024 में तर्क और दर्शन में रॉल्फ शॉक पुरस्कार। गहरी विरासत यह है कि सवालों ने आकार बदल दिया। DRT से पहले, अर्थविज्ञान पूछता था कि एक वाक्य का क्या अर्थ है; इसके बाद, मानक प्रश्न यह है कि एक वाक्य संदर्भ के लिए क्या करता है - यह चल रही व्याख्या की स्थिति को कैसे अपडेट करता है। हर प्रणाली जो वाक्यों के पार डिस्कोर्स संदर्भों को ट्रैक करती है, सैद्धांतिक भाषाविज्ञान में या कम्प्यूटेशनल भाषा प्रसंस्करण में, एक परंपरा में काम कर रही है जो 1981 में कैंप द्वारा लिखे गए एक पेपर से शुरू होती है कि हम कैसे जानते हैं कि "वह" कौन है।