मॉडल तर्क

मॉडल तर्क शास्त्रीय तर्क में आवश्यकता और संभावना के ऑपरेटरों को जोड़ता है, जो इस बारे में तर्क के पीछे औपचारिक मशीनरी प्रदान करता है कि क्या होना चाहिए, हो सकता है, होना चाहिए, या होगा।

Definition

मॉडल तर्क आवश्यकता और संभावना (और उनके अनुरूप) के ऑपरेटरों से जुड़े अनुमान का अध्ययन है, जिसकी व्याख्या उन मॉडलों के माध्यम से की जाती है जिनमें वाक्यों का मूल्यांकन पहुंच संबंध से जुड़े संभावित दुनिया के सापेक्ष किया जाता है।

Scope

यह क्षेत्र मॉडल तर्क की औपचारिक प्रणालियों और उनकी दार्शनिक व्याख्या को शामिल करता है। यह संभावित-विश्व (क्रिपके) सिमेंटिक्स, मॉडल प्रणालियों का मानक पदानुक्रम (K, T, S4, S5) और उनके विशिष्ट स्वयंसिद्धों, क्वांटिफायर के साथ मॉडल तर्क के विस्तार और आवश्यकवाद और डी रे मोडेलिटी से इसके संबंध, और संबंधित इंटेंशनल लॉजिक्स के परिवार — लौकिक, डियोंटिक और ज्ञानमीमांसीय — जो समान संबंधपरक-फ्रेम उपकरण साझा करते हैं, का उपचार करता है।

Sub-topics

• मोडल सिस्टम और उनके स्वयंसिद्ध
• संभावित-विश्व शब्दार्थ विज्ञान
• परिमाणित मोडल तर्क और अनिवार्यवाद
• सामयिक, कर्तव्यमूलक और ज्ञानमीमांसीय तर्कशास्त्र

Core questions

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

Key concepts

• आवश्यकता और संभावना
• संभावित दुनिया
• पहुंच संबंध
• मॉडल प्रणालियाँ (K, T, S4, S5)
• डी रे बनाम डी डिक्टो मोडेलिटी
• कठोर पदनाम

Key theories

संभावित-विश्व (क्रिपके) सिमेंटिक्स

मॉडल वाक्यों का मूल्यांकन पहुंच संबंध से जुड़ी दुनिया में किया जाता है: 'आवश्यक रूप से ए' एक दुनिया में तभी सत्य होता है जब ए हर सुलभ दुनिया में सत्य हो, और संबंध के गुणों को बदलने से विभिन्न मॉडल प्रणालियाँ प्राप्त होती हैं।

मॉडल यथार्थवाद

लुईस का मानना है कि संभावित दुनिया ठोस, परस्पर अलग-थलग ब्रह्मांड हैं जो वास्तविक दुनिया जितनी ही वास्तविक हैं, जो एक असाधारण ऑन्टोलॉजी की कीमत पर मॉडल दावों के लिए एक न्यूनीकरणवादी सत्यनिर्माता प्रदान करती हैं।

History

सी. आई. लुईस ने बीसवीं शताब्दी की शुरुआत में सख्त निहितार्थ को पकड़ने के लिए मॉडल तर्क को पुनर्जीवित किया, लेकिन 1959-1963 के आसपास क्रिपके (और स्वतंत्र रूप से हिंटिक्का और कांगर) द्वारा संबंधपरक संभावित-विश्व मॉडल प्रदान किए जाने तक इसमें स्पष्ट सिमेंटिक्स का अभाव था। इसने मोडेलिटी के तत्वमीमांसा को जन्म दिया, जिसमें लुईस का मॉडल यथार्थवाद और प्लांटिंगा का एक्चुअलिज्म इस बात के प्रतिद्वंद्वी खाते थे कि संभावित दुनिया क्या हैं।

Debates

संभावित दुनिया की ऑन्टोलॉजी

क्या संभावित दुनिया ठोस मौजूदा ब्रह्मांड हैं (लुईस का मॉडल यथार्थवाद) या अमूर्त संस्थाएं जैसे कि अधिकतम स्थितियां या प्रस्तावों के सेट (एक्चुअलिज्म), और कौन सा खाता मॉडल सत्य को सबसे अच्छी तरह से आधार बनाता है।

Key figures

• Saul Kripke
• C. I. Lewis
• Rudolf Carnap
• David Lewis
• Ruth Barcan Marcus
• Alvin Plantinga

Seminal works

• kripke1963
• lewis1986plurality
• hughescresswell1996

Frequently asked questions

डी रे और डी डिक्टो मोडेलिटी में क्या अंतर है?

एक डी डिक्टो मॉडल दावा एक पूरे प्रस्ताव को आवश्यकता या संभावना प्रदान करता है ('आवश्यक रूप से, सभी स्नातक अविवाहित हैं'), जबकि एक डी रे दावा एक वस्तु को एक मॉडल गुण प्रदान करता है, चाहे उसे कैसे भी वर्णित किया गया हो ('यह आदमी आवश्यक रूप से मानव है')। यह भेद आवश्यकवाद के बारे में बहसों के लिए केंद्रीय है।