संभावित-विश्व शब्दार्थ विज्ञान

संभावित-विश्व शब्दार्थ विज्ञान आवश्यकता को सभी सुलभ दुनियाओं में सत्य के रूप में और संभावना को कुछ में सत्य के रूप में व्याख्यायित करता है, जिससे मोडल तर्क एक सुगम मॉडल सिद्धांत में बदल जाता है।

Definition

संभावित-विश्व शब्दार्थ विज्ञान 'दुनिया' नामक बिंदुओं पर मोडल वाक्यों का मूल्यांकन करता है जो एक अभिगम्यता संबंध से जुड़े होते हैं, जिसमें 'अनिवार्य रूप से A' एक दुनिया में तभी सत्य होता है जब A उससे सुलभ हर दुनिया में मान्य हो।

Scope

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

Core questions

• संभावित दुनिया वास्तव में क्या है, और क्या दुनियाएँ मौजूद हैं?
• अभिगम्यता संबंध क्या है, और यह क्या दर्शाता है?
• क्या औपचारिक शब्दार्थ विज्ञान मोडल सत्य की व्याख्या करता है या केवल उसे मॉडल करता है?
• दुनियाएँ प्रति-तथ्यात्मक, प्रस्तावों और सामग्री का विश्लेषण करने में कैसे मदद करती हैं?

Key concepts

• संभावित दुनिया
• अभिगम्यता संबंध
• फ्रेम और मॉडल
• मूल्यांकन
• वास्तविकतावाद बनाम संभावनावाद
• एर्ज़ैट्ज़ दुनियाएँ

Key theories

क्रिपके संबंधपरक मॉडल

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

अमूर्त वस्तुओं के रूप में दुनियाएँ

स्टालनाकर संभावित दुनियाओं को उन तरीकों के रूप में मानते हैं जिनसे चीजें हो सकती थीं — अमूर्त अधिकतम संभावनाएँ — लुईस की ठोस दुनियाओं को अस्वीकार करते हुए मोडलटी और सामग्री के लिए दुनियाओं के व्याख्यात्मक लाभों को बनाए रखते हैं।

History

कार्नाप के राज्य-विवरण और लाइबनिज़ की संभावित दुनियाओं की बात ने इस विचार की प्रत्याशा की थी, लेकिन कठोर शब्दार्थ विज्ञान क्रिपके के 1963 के संबंधपरक मॉडलों के साथ उभरा। दार्शनिक तब तत्वमीमांसा पर विभाजित हो गए: लुईस का 1986 का मोडल यथार्थवाद दुनियाओं को ठोस मानता है, जबकि स्टालनाकर और अन्य अमूर्त 'एर्ज़ैट्ज़' दुनियाओं का बचाव करते हैं।

Debates

ठोस बनाम अमूर्त दुनियाएँ

क्या शब्दार्थ विज्ञान जिन दुनियाओं पर मात्रा निर्धारित करता है वे ठोस स्थानिक-कालिक ब्रह्मांड हैं या अमूर्त विकल्प जैसे कि प्रस्तावों के अधिकतम सुसंगत सेट, और कौन सी व्याख्या शब्दार्थ विज्ञान को वास्तव में व्याख्यात्मक बनाती है।

Key figures

• Saul Kripke
• David Lewis
• Robert Stalnaker
• Jaakko Hintikka
• Rudolf Carnap

Seminal works

• kripke1963
• lewis1986plurality

Frequently asked questions

क्या संभावित-विश्व शब्दार्थ विज्ञान को अन्य दुनियाओं में विश्वास की आवश्यकता है?

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