औपचारिक तर्क भी तार्किक सैद्धांतिक या गणितीय तर्क कहा जाता है, जो तर्क की वैध और सही रूपों को निर्धारित करता है कर रहे हैं। इस अभ्यास के माध्यम से हम यह बताना चाहते हैं कि क्या गलत है क्या सही है।
औपचारिक तर्क में, प्रतीकों का उपयोग स्पष्ट रूप से और स्पष्ट रूप से संभव तरीके से किया जाता है, ताकि उन्हें हेरफेर न किया जा सके। इस अभ्यास के लिए धन्यवाद अपने स्वयं के विचारों को विकसित करना संभव है।
अल्फ्रेड नॉर्थ व्हाइटहेड औपचारिक तर्क के समर्थकों में से एक था। स्रोत: वेलकम ट्रस्ट
शब्द "लॉजिक" प्राचीन ग्रीक λοκήιiklogik comes से आया है, जिसका अर्थ है "बौद्धिक, द्वंद्वात्मक, तर्कपूर्ण कारण।" तर्क दर्शन और गणित की शाखाओं में से एक है, और यह इन विषयों के लिए बहुत उपयोग माना जाता है।
सामान्य तौर पर, तर्क विचार के रूप का अध्ययन करता है। तर्क के संबंध में किए गए पहले कामों का श्रेय ग्रीक दार्शनिक अरस्तू को दिया जाता है, यही वजह है कि उन्हें विचार के इस क्षेत्र के संस्थापक पिता के रूप में जाना जाता है।
पूरे इतिहास में, विभिन्न दार्शनिकों, गणितज्ञों और तर्कशास्त्रियों ने औपचारिक तर्क का बचाव किया है। उनमें से हम गणितज्ञ और तर्कशास्त्री अलोंजो चर्च का नाम ले सकते हैं; दार्शनिक, गणितज्ञ और तर्कशास्त्री गोटलोब फ्रेज; और गणितज्ञ और दार्शनिक अल्फ्रेड नॉर्थ व्हाइटहेड भी।
अल्फ्रेड टार्स्की, कर्टगोडेल, बर्ट्रेंड रसेल और विलार्ड वान ओरमैन क्वीन, अन्य लोगों में भी महान रक्षक रहे हैं।
अध्ययन का उद्देश्य
औपचारिक तर्क अध्ययन के उद्देश्य के रूप में तर्क, अवधारणा, निर्णय और प्रदर्शन जैसे पहलुओं का उपयोग करता है। इन तत्वों से वह किसी निष्कर्ष तक पहुंचने के लिए भाषा और शब्दार्थ के सभी संसाधनों का विश्लेषण और अध्ययन करता है।
इस अर्थ में, यह स्थापित किया जाता है कि औपचारिक तर्क तर्क में इसकी वैधता या अमान्यता से संरचित बिंदु का अध्ययन किया जाता है।
औपचारिक तर्क तर्क प्रक्रिया का अनुभवजन्य अध्ययन नहीं है। न ही इसे अनुनय के साथ भ्रमित किया जाना चाहिए, क्योंकि यह निष्कर्ष प्राप्त करने के लिए तर्कों की संरचना लेता है।
इस तर्क को सैद्धांतिक या शुद्ध तर्क के रूप में भी जाना जाता है, और यह कटौतीत्मक तर्कों, कथनों, प्रस्तावों और मुखर रूप से उपयोग किए जाने वाले वाक्यों की सामग्री या तार्किक रूपों का एक सार अध्ययन करने का प्रयास करता है।
औपचारिक तर्क के पैटर्न का एक विस्तृत अध्ययन करने से प्रत्येक व्यक्ति को उनकी सोच से जुड़ी प्रक्रियाओं को जानने का मौका मिलेगा।
विशेषताएँ
नीचे सबसे विशेष विशेषताएं हैं जो अन्य प्रकार के तर्क से औपचारिक तर्क को अलग करती हैं:
-यह एक ऐसा विज्ञान है जो केवल सामग्री का अध्ययन करने वाले अन्य प्रकार के तर्क के विपरीत, आधार के रूप का अध्ययन करता है।
-यह बिना किसी पदार्थ के एक संरचना है।
-यह औपचारिक प्रणालियों के सबसेट के तहत स्थापित है।
-अपने तरीके इतने कुशल हैं कि औपचारिक तर्क के माध्यम से आप यह बता सकते हैं कि क्या सही है क्या गलत है।
- सही तर्क या वैधता के निष्कर्ष उत्पन्न होते हैं क्योंकि सच्चे परिसर की संरचना का विश्लेषण किया जाता है।
-सुधार और विश्लेषण करने के लिए लोगों को सीधे विचार करने के लिए, और इस प्रकार प्रत्येक व्यक्ति के दिमाग में नए पैटर्न स्थापित करने में सक्षम हो।
-यह प्रतीकात्मक होने की विशेषता है।
-एक औपचारिक विज्ञान के दृष्टिकोण से, यह गणित, दर्शन, कंप्यूटर विज्ञान और सांख्यिकी में एक महत्वपूर्ण भूमिका निभाता है।
-यह शब्दार्थ के अध्ययन के कारण व्याकरण से संबंधित है।
-स्टडी स्ट्रक्चर, यही वजह है कि इसकी तुलना गणित से की जाती है।
-यह मनोविज्ञान से भी संबंधित है क्योंकि यह प्रत्येक व्यक्ति के विचार के अध्ययन पर केंद्रित है।
प्रकार
निर्विवाद तर्क
यह प्राचीन ग्रीक νον déon से आता है और इसका अर्थ है "क्या कारण है" या "क्या आवश्यक है"। ऑस्ट्रियाई तर्कशास्त्री Alois Höffler इस अवधारणा के अग्रणी हैं, जो मानदंडों के अध्ययन और विश्लेषण को संदर्भित करता है।
द्विज तर्क
यह तर्क का प्रकार है जो केवल सच्चे और झूठे मूल्यों का समर्थन करता है। वह रंगों में विश्वास नहीं करता है, सब कुछ काला या सफेद है; इस तरह के तर्क में ग्रेस्केल असंभव है।
इसके सिद्धांत अरिस्टोटेलियन तर्क पर आधारित हैं, जो पहचान, गैर-अंतर्विरोध और बहिष्कृत तृतीय पक्ष हैं।
बहुविकल्पी या बहुउद्देशीय तर्क
दार्शनिकों जन Łukasiewicz और एमिल पोस्ट द्वारा किए गए अध्ययन के परिणामस्वरूप इस प्रकार के तर्क का जन्म हुआ, जिसमें वे कहते हैं कि पहले से ही सामान्य "सत्य" और "असत्य" के अलावा अन्य मूल्यों को स्वीकार किया जा सकता है, और ये मान व्यावहारिक रूप से पहुंच सकते हैं अनन्त तक।
इस अर्थ में यह द्विविवाद तर्क से अलग है, जो केवल दो मूल्यों को मानता है। अध्ययनों से पता चलता है कि बहुस्तरीय या बहुस्तरीय तर्क संभावना, आवश्यकता, गैर-आवश्यकता, सत्य, असत्य और असंभव जैसे मूल्यों को संभालते हैं।
इसी तरह, इस प्रकार के औपचारिक तर्क भी दलीलों के दार्शनिक और संरचनात्मक पहलुओं का अध्ययन करने के प्रभारी हैं।
उदाहरण
औपचारिक तर्क के माध्यम से एक विशिष्ट तर्क के लिए सत्य या असत्य के मूल्य को जोड़ना संभव है।
जैसा कि हमने पहले बताया है, औपचारिक तर्क उन सभी संभावनाओं पर ध्यान केंद्रित नहीं करता है जिन्हें एक तर्क से निकाला जा सकता है; यह केवल इस बात पर केंद्रित है कि यह सही है या गलत। इस अर्थ में, नीचे हम औपचारिक तर्क के आधार पर कुछ उदाहरण सूचीबद्ध करते हैं:
-Buenos Aires अर्जेंटीना की राजधानी है; फिर, ब्यूनस आयर्स में पैदा हुए सभी लोग अर्जेंटीना हैं।
-जोआओ पुर्तगाली बोलता है। जोआओ का जन्म पुर्तगाल में हुआ था। पुर्तगाल में हर कोई पुर्तगाली बोलता है।
-गायों को दूध देते हैं। गायें स्तनधारी हैं। सभी स्तनधारी दूध देते हैं।
-पेड्रो सफेद है और मारिया श्यामला है, इसलिए सफेद और भूरे लोग हैं।
-मारिया रॉक ऑर्केस्ट्रा में खेलती है। संगीतकार वही हैं जो रॉक ऑर्केस्ट्रा में बजाते हैं। मारिया एक संगीतकार हैं।
-जोसे के काले बाल हैं। ऐलेना के भूरे बाल हैं। उनकी बेटी काले या भूरे बालों के साथ पैदा हो सकती है।
-फुट में पांच पैर होते हैं। इंसान का दायां पैर और बायां पैर होता है। प्रत्येक व्यक्ति के दस पैर होते हैं।
-स्पेन एक देश है। यूरोप में स्पेन रहता है। सभी स्पेनवासी यूरोपीय हैं।
- एना एक जीवित प्राणी है। अना नश्वर है। सभी जीवित चीजें नश्वर हैं।
- जोस पानी से भीग गया। पानी गीला हो जाता है।
- मारिया ने अपना गर्म खाना खाया। मारिया अपना गर्म खाना खाकर जल गई। गर्म भोजन जलता है।
- पृथ्वी ब्रह्मांड का हिस्सा है। ब्रह्मांड में ग्रह हैं। पृथ्वी एक ग्रह है।
- विद्युत प्रकाश प्रकाशित करता है। गलियों में बिजली की रोशनी है। बिजली की रोशनी सड़कों को रोशन करती है।
संदर्भ
- नई दुनिया के विश्वकोश में "औपचारिक तर्क"। 21 अप्रैल, 2019 को नई दुनिया के विश्वकोश से लिया गया: newworldencyclopedia.org।
- मोर्टन एल। शेहरगिन जी ह्यूजेस "औपचारिक तर्क" 21 अप्रैल, 2019 को ब्रिटानिका: britannica.com से लिया गया।
- अकादमी में "द लॉजिक एंड इट्स वर्गीकरण"। 23 अप्रैल, 2019 को एकेडेमिया से लिया गया: academia.edu।
- दार्शनिक शब्दकोश में "औपचारिक तर्क"। 23 अप्रैल, 2019 को दार्शनिक शब्दकोश से लिया गया: फिलॉसफी। ओआरजी।
- दार्शनिक शब्दकोश में "पॉलीवलेंट लॉजिक"। 23 अप्रैल, 2019 को दार्शनिक शब्दकोश से लिया गया: फिलॉसफी। ओआरजी।
- क्लब निबंध (18 अगस्त 2013) में "तर्क के सामान्य पहलू"। 23 अप्रैल, 2019 को क्लब ट्रायल से प्राप्त किया गया: clubensayos.com।
- विकिपीडिया में "डीओटिक लॉजिक" । 23 अप्रैल, 2019 को विकिपीडिया: es.wikipedia.org से पुनः प्राप्त।
- विकिपीडिया में "बहुउद्देशीय तर्क" । 23 अप्रैल, 2019 को विकिपीडिया: es.wikipedia.org से पुनः प्राप्त।
- विकिपीडिया में "प्रतिद्वंद्वी तर्क" । 23 अप्रैल, 2019 को विकिपीडिया: es.wikipedia.org से पुनः प्राप्त