मॉडल-सैद्धांतिक और मोंटेग्यू सिमेंटिक्स

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

Definition

मॉडल-सैद्धांतिक सिमेंटिक्स एक औपचारिक मॉडल के सापेक्ष अभिव्यक्तियों की व्याख्या करता है; मोंटेग्यू सिमेंटिक्स प्राकृतिक भाषा के लिए टाइप किए गए इंटेंशनल लॉजिक और एक होमोमॉर्फिक सिंटैक्स-सिमेंटिक्स मैपिंग का उपयोग करके ऐसा करने का विशिष्ट कार्यक्रम है।

Scope

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

Core questions

• एक प्राकृतिक भाषा की अभिव्यक्तियों को एक औपचारिक मॉडल में अर्थ कैसे प्रदान किए जाते हैं?
• रचनात्मक व्याख्या में सिमेंटिक प्रकार और लैम्ब्डा कैलकुलस की क्या भूमिकाएँ हैं?
• इंटेंशन और एक्सटेंशन को कैसे अलग किया जाता है, और संभावित दुनियाओं की आवश्यकता क्यों है?
• मोंटेग्यू का उपचार क्वांटिफायर वाक्यांशों और दायरे को कैसे संभालता है?

Key concepts

• संभावित दुनियाएँ
• इंटेंशन बनाम एक्सटेंशन
• सिमेंटिक प्रकार
• टाइप किया गया लैम्ब्डा कैलकुलस
• सामान्यीकृत क्वांटिफायर
• होमोमॉर्फिक सिंटैक्स-सिमेंटिक्स मैपिंग
• इंटेंशनल लॉजिक

Key theories

द प्रॉपर ट्रीटमेंट ऑफ क्वांटिफिकेशन (PTQ)

अंग्रेजी का मोंटेग्यू का खंड जिसमें वाक्यात्मक नियमों को सिमेंटिक व्याख्या नियमों के साथ एक-से-एक जोड़ा जाता है, संज्ञा वाक्यांश सामान्यीकृत क्वांटिफायर को दर्शाते हैं, और इंटेंशनल लॉजिक अपारदर्शिता और मोडेलिटी को संभालता है।

प्रकार सिद्धांत और इंटेंशनल लॉजिक

अभिव्यक्तियों को मूल प्रकारों (इकाइयाँ, सत्य मान) और संभवतः दुनिया/समय से निर्मित प्रकारों को सौंपा जाता है; इंटेंशन संभावित दुनियाओं से एक्सटेंशन तक के कार्य हैं, जो अपारदर्शी और मोडल संदर्भों के अर्थ को कैप्चर करते हैं।

History

फ्रेगे, कार्नाप के इंटेंशन/एक्सटेंशन भेद और टार्स्कियन मॉडल सिद्धांत पर आधारित होकर, मोंटेग्यू ने 1970 के आसपास कई पेपर प्रकाशित किए, जिनमें सबसे प्रसिद्ध PTQ था, जिसमें तर्क दिया गया था कि अंग्रेजी को मॉडल-सैद्धांतिक सिमेंटिक्स के साथ एक औपचारिक भाषा के रूप में माना जा सकता है। डॉवी, वॉल और पीटर्स की पाठ्यपुस्तक ने तकनीकी उपकरण को भाषाविदों के लिए सुलभ बनाया, और यह ढांचा आधुनिक औपचारिक सिमेंटिक्स की नींव बन गया।

Debates

संभावित-दुनिया इंटेंशन और ग्रैन्युलैरिटी की समस्या

अर्थों को संभावित दुनियाओं से एक्सटेंशन तक के कार्यों के रूप में मानना सभी आवश्यक रूप से समतुल्य अभिव्यक्तियों को गलत तरीके से बराबर करता है, जिससे अर्थ की अधिक बारीक, संरचित, या हाइपरइंटेंशनल धारणाओं के प्रस्ताव सामने आते हैं।

Key figures

• Richard Montague
• Barbara Partee
• David Dowty
• Stanley Peters

Seminal works

• montague1974
• dowtywallpeters1981

Frequently asked questions

इंटेंशन और एक्सटेंशन में क्या अंतर है?

एक अभिव्यक्ति का एक्सटेंशन एक दी गई दुनिया में उसका अर्थ है (उदाहरण के लिए कुत्तों का वास्तविक सेट), जबकि उसका इंटेंशन वह कार्य है जो प्रत्येक संभावित दुनिया के लिए एक एक्सटेंशन उत्पन्न करता है (मोटे तौर पर, अवधारणा), जिसकी मोडल और अपारदर्शी संदर्भों की व्याख्या करने के लिए आवश्यकता होती है।