औपचारिक ज्ञानमीमांसा

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

Definition

औपचारिक ज्ञानमीमांसा ज्ञानमीमांसा की वह शाखा है जो तर्कसंगत विश्वास, विश्वास की डिग्री, साक्ष्य और नई जानकारी के आलोक में किसी के मन को बदलने की गतिशीलता को प्रतिरूपित करने के लिए औपचारिक तरीकों — संभाव्यता सिद्धांत, निर्णय सिद्धांत और तर्क — को लागू करती है।

Scope

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

Sub-topics

• बेयसियन ज्ञानमीमांसा
• विश्वास, स्वीकृति और लॉटरी विरोधाभास
• आगमनात्मक तर्क की समस्या

Core questions

• क्या तर्कसंगत विश्वास की डिग्री को संभाव्यता अभिगृहीतों का पालन करना चाहिए?
• नए साक्ष्य आने पर एक एजेंट को विश्वासों को कैसे अद्यतन करना चाहिए?
• क्या अनुभव से आगमनात्मक अनुमान को तर्कसंगत रूप से उचित ठहराया जा सकता है?
• विश्वास की डिग्री पूर्ण या शून्य विश्वास से कैसे संबंधित है?

Key theories

बायेसियन ज्ञानमीमांसा

तर्कसंगत विश्वास ऐसी डिग्री में आता है जो संभाव्यता अभिगृहीतों (संभाव्यतावाद) का पालन करती है और नए साक्ष्य पर सशर्तता द्वारा संशोधित होती है; यह ढाँचा रामसे द्वारा सट्टेबाजी के स्वभाव के साथ विश्वास की डिग्री की पहचान से निकला है।

पुष्टिकरण के तार्किक सिद्धांत

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

History

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

Debates

क्या संभाव्यतावाद ज्ञानमीमांसीय तर्कसंगतता के सभी पहलुओं को समाहित करता है

बायेसियन तर्क देते हैं कि तर्कसंगत विश्वास पूरी तरह से संभाव्य सुसंगतता और सशर्तता द्वारा नियंत्रित होता है, जबकि आलोचक पूर्ववृत्तों की समस्या, श्रेणीगत विश्वास की स्पष्ट भूमिका, और स्वीकृति के विरोधाभासों को इस बात के प्रमाण के रूप में इंगित करते हैं कि केवल संभाव्यता ही ज्ञानमीमांसीय तर्कसंगतता को समाप्त नहीं करती है।

Key figures

• Frank Ramsey
• Rudolf Carnap
• David Hume
• Bruno de Finetti

Seminal works

• ramsey1926
• carnap1950

Frequently asked questions

औपचारिक ज्ञानमीमांसा पारंपरिक ज्ञानमीमांसा में क्या जोड़ती है?

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

क्रेडेंस क्या है?

क्रेडेंस विश्वास की एक डिग्री है, एक प्रस्ताव के सच होने का एक श्रेणीबद्ध विश्वास, जिसे अक्सर 0 और 1 के बीच की संख्या से दर्शाया जाता है। औपचारिक ज्ञानमीमांसा उन मानदंडों का अध्ययन करती है जो क्रेडेंस को नियंत्रित करते हैं, जैसे कि यह आवश्यकता कि वे संभाव्यता अभिगृहीतों का पालन करें और सशर्तता द्वारा अद्यतन करें।