रचनात्मक और औपचारिक शब्दार्थ विज्ञान
औपचारिक शब्दार्थ विज्ञान अर्थ का एक सटीक, सत्य-शर्त संबंधी विवरण देता है जिसमें एक जटिल अभिव्यक्ति का अर्थ उसके घटकों के अर्थ से रचनात्मक रूप से निर्मित होता है।
Definition
रचनात्मक और औपचारिक शब्दार्थ विज्ञान औपचारिक तर्क और मॉडल सिद्धांत का उपयोग करके भाषाई अर्थ का अध्ययन है, जो अभिव्यक्तियों की रचनात्मक, सत्य-शर्त संबंधी व्याख्या पर केंद्रित है।
Scope
यह क्षेत्र प्राकृतिक भाषा के अर्थ के औपचारिक, मॉडल-सैद्धांतिक अध्ययन को शामिल करता है। इसमें रचनात्मकता का सिद्धांत, अभिव्यक्तियों को अर्थ देने के लिए तार्किक और समुच्चय-सैद्धांतिक उपकरणों का उपयोग, मोंटेग्यू का प्राकृतिक भाषा को औपचारिक तर्क की कठोरता के साथ व्यवहार करने का कार्यक्रम, परिमाणीकरण और दायरे का विश्लेषण, और काल, पक्ष और मोडलटी का शब्दार्थ शामिल है। मार्गदर्शक विचार यह है कि एक वाक्य का अर्थ जानना उसकी सत्य शर्तों को जानना है, और ये उसके घटकों के अर्थ और संयोजन के तरीके से व्यवस्थित रूप से गणना की जाती हैं।
Sub-topics
Core questions
- एक जटिल अभिव्यक्ति का अर्थ उसके घटकों के अर्थ और उनके वाक्यात्मक संयोजन से कैसे निर्धारित होता है?
- प्राकृतिक-भाषा अभिव्यक्तियों के अर्थ को एक औपचारिक, मॉडल-सैद्धांतिक प्रणाली में कैसे दर्शाया जा सकता है?
- परिमाणकों, दायरे और बंधन का विश्लेषण कैसे किया जाना चाहिए?
- संदर्भ-निर्भर और अभिप्राय संबंधी घटनाओं (काल, मोडलटी) को कैसे प्रतिरूपित किया जाना चाहिए?
Key concepts
- रचनात्मकता का सिद्धांत
- सत्य शर्तें
- अर्थ और शब्दार्थ प्रकार
- लैम्डा कैलकुलस
- मॉडल और व्याख्या कार्य
- अभिप्राय और विस्तार
- कार्यात्मक अनुप्रयोग
Key theories
- सत्य-शर्त संबंधी, मॉडल-सैद्धांतिक शब्दार्थ विज्ञान
- एक घोषणात्मक वाक्य का अर्थ उसकी सत्य शर्तों के साथ पहचाना जाता है, जिसकी गणना एक मॉडल के सापेक्ष की जाती है जो फ्रेगे और टार्स्की की परंपरा का पालन करते हुए मूल अभिव्यक्तियों की व्याख्या करता है।
- मोंटेग्यू व्याकरण
- प्राकृतिक भाषा को एक औपचारिक भाषा के रूप में माना जा सकता है: एक सिंटैक्स जो एक समरूपता के माध्यम से एक मॉडल-सैद्धांतिक शब्दार्थ के साथ युग्मित होता है, जिसमें अभिव्यक्तियों की रचनात्मक व्याख्या के लिए टाइप किए गए लैम्डा कैलकुलस और अभिप्राय संबंधी तर्क का उपयोग किया जाता है।
- प्रकार-संचालित रचनात्मक व्याख्या
- अभिव्यक्तियों को शब्दार्थ प्रकार दिए जाते हैं और कार्यात्मक अनुप्रयोग जैसे सामान्य नियमों द्वारा संयोजित किया जाता है, ताकि व्याख्या घटकों के प्रकारों द्वारा संचालित हो, जैसा कि हीम और क्रेट्ज़र फ्रेमवर्क में व्यवस्थित किया गया है।
History
औपचारिक शब्दार्थ विज्ञान फ्रेगे के अर्थ और संदर्भ पर काम और औपचारिक भाषाओं के लिए टार्स्की की सत्य की परिभाषा से निकला है। निर्णायक कदम 1970 के दशक की शुरुआत में मोंटेग्यू का यह दावा था कि प्राकृतिक और औपचारिक भाषाओं के बीच कोई मौलिक अंतर नहीं है, और अंग्रेजी को एक मॉडल-सैद्धांतिक शब्दार्थ दिया जा सकता है। बारबरा पार्टी ने मोंटेग्यू के कार्यक्रम को भाषा विज्ञान में प्रसारित करने में केंद्रीय भूमिका निभाई, और हीम और क्रेट्ज़र की पाठ्यपुस्तक ने बाद में जनरेटिव व्याकरण में प्रकार-संचालित रचनात्मक शब्दार्थ को मानक बना दिया।
Debates
- प्रत्यक्ष बनाम अप्रत्यक्ष (प्रतिनिधित्वात्मक) व्याख्या
- क्या प्राकृतिक भाषा की व्याख्या सीधे एक मॉडल में की जानी चाहिए, जैसा कि मोंटेग्यू के कार्यक्रम में है, या तार्किक रूप / मानसिक प्रतिनिधित्व के स्तर में अनुवाद के माध्यम से।
Key figures
- Richard Montague
- Barbara Partee
- Irene Heim
- Angelika Kratzer
- Gottlob Frege
- Alfred Tarski
Related topics
Seminal works
- montague1974
- heimkratzer1998
- partee1990
Frequently asked questions
- शब्दार्थ को सत्य-शर्त संबंधी कहने का क्या अर्थ है?
- इसका अर्थ है कि एक घोषणात्मक वाक्य के अर्थ को निर्दिष्ट करना उन शर्तों को निर्दिष्ट करना है जिनके तहत वह सत्य होगा; अर्थ जानना यह जानना है कि वाक्य के सही होने के लिए दुनिया को कैसा होना चाहिए।