सामयिक, कर्तव्यमूलक और ज्ञानमीमांसीय तर्कशास्त्र

मॉडल तर्कशास्त्र की संबंधपरक मशीनरी समय, दायित्व और ज्ञान तक सामान्यीकृत होती है, जिससे यह तर्कशास्त्र उत्पन्न होता है कि क्या था और क्या होगा, क्या होना चाहिए और क्या ज्ञात है।

Definition

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

Scope

यह विषय प्रमुख अभिप्रायपरक तर्कशास्त्रों को शामिल करता है जो मॉडल तर्कशास्त्र के संभावित-विश्व उपकरण को साझा करते हैं: सामयिक (काल) तर्कशास्त्र जिसमें भूत और भविष्य के ऑपरेटरों का मूल्यांकन समय के क्रम पर किया जाता है; कर्तव्यमूलक तर्कशास्त्र जिसमें दायित्व, अनुमति और निषेध के लिए ऑपरेटर होते हैं; और ज्ञानमीमांसीय तर्कशास्त्र जिसमें ज्ञान और विश्वास के लिए ऑपरेटर होते हैं जिनका मूल्यांकन ज्ञानमीमांसीय विकल्पों पर किया जाता है। इसमें उनकी विशिष्ट पहेलियाँ भी शामिल हैं, जैसे कर्तव्यमूलक तर्कशास्त्र के विरोधाभास और तार्किक सर्वज्ञता की समस्या।

Core questions

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

Key concepts

• काल ऑपरेटर (भूत/भविष्य)
• दायित्व, अनुमति, निषेध
• कर्तव्यमूलक रूप से आदर्श दुनिया
• ज्ञानमीमांसीय विकल्प
• तार्किक सर्वज्ञता
• कर्तव्यमूलक विरोधाभास

Key theories

मानक कर्तव्यमूलक तर्कशास्त्र

वॉन राइट दायित्व को सभी कर्तव्यमूलक रूप से आदर्श सुलभ दुनिया में सत्य के रूप में और अनुमति को कुछ में सत्य के रूप में मॉडल करते हैं, एक स्वयंसिद्ध प्रणाली प्रदान करते हैं जो बुनियादी अनुमानों को पकड़ती है लेकिन ज्ञात विरोधाभासों को उत्पन्न करती है।

ज्ञानमीमांसीय तर्कशास्त्र और संभावित दुनिया

हिंटिक्का 'ए जानता है कि पी' का विश्लेषण पी के रूप में करता है जो ए की जानकारी के साथ संगत सभी दुनिया में होता है, ज्ञान और विश्वास के मॉडल तर्कशास्त्र की स्थापना करता है और तार्किक सर्वज्ञता की समस्या को उजागर करता है।

History

वॉन राइट ने 1951 में कर्तव्यमूलक तर्कशास्त्र की शुरुआत की और प्रायर ने 1950 और 1960 के दशक में काल तर्कशास्त्र का विकास किया, जिसका समापन पास्ट, प्रेजेंट एंड फ्यूचर (1967) में हुआ। हिंटिक्का की नॉलेज एंड बिलीफ (1962) ने मॉडल ढांचे को ज्ञानमीमांसीय ऑपरेटरों तक बढ़ाया, और बाद में इन तीनों तर्कशास्त्रों को कंप्यूटर विज्ञान और खेल सिद्धांत में व्यापक अनुप्रयोग मिला।

Debates

तार्किक सर्वज्ञता की समस्या

क्या ज्ञान का संभावित-विश्व विश्लेषण गलत तरीके से यह बताता है कि एजेंट अपने ज्ञान के सभी तार्किक परिणामों को जानते हैं, और मॉडल ढांचे को छोड़े बिना संसाधन-सीमित या खंडित ज्ञान को कैसे मॉडल किया जाए।

Key figures

• Arthur Prior
• Georg Henrik von Wright
• Jaakko Hintikka
• Robert Stalnaker

Seminal works

• vonwright1951
• prior1967
• hintikka1962

Frequently asked questions

क्या ये वास्तव में मॉडल तर्कशास्त्र के प्रकार हैं?

हाँ। सामयिक, कर्तव्यमूलक और ज्ञानमीमांसीय तर्कशास्त्र सभी एलेथिक मॉडल तर्कशास्त्र के समान संबंधपरक-फ्रेम सिमेंटिक्स का उपयोग करते हैं, केवल इस बात में भिन्न होते हैं कि अभिगम्यता संबंध की व्याख्या कैसे की जाती है — समय क्रम, कर्तव्यमूलक आदर्शता, या ज्ञानमीमांसीय संगतता के रूप में। यह साझा संरचना ही कारण है कि परिणाम और तकनीकें उनके बीच आसानी से स्थानांतरित होती हैं।