तर्क का शब्दार्थ

तर्क में, तर्क या औपचारिक शब्दार्थ का शब्दार्थ, औपचारिक भाषा और (आदर्शीकरण) प्राकृतिक भाषाओं के शब्दार्थ, या व्याख्या (तर्क) का अध्ययन है, जो आमतौर पर तार्किक परिणाम की पूर्व-सैद्धांतिक धारणा को पकड़ने की कोशिश करता है।

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

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

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

यह भी देखें

 * बीजगणितीय शब्दार्थ (गणितीय तर्क)
 * औपचारिक शब्दार्थ (प्राकृतिक भाषा)

संदर्भ

 * Jaakko Hintikka (2007), Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning, Cambridge: Cambridge University Press.
 * Ilkka Niiniluoto (1999), Critical Scientific Realism, Oxford: Oxford University Press.