तर्क के 4 सबसे महत्वपूर्ण प्रकार (और विशेषताएँ)

तर्क तर्क और अनुमानों का अध्ययन है. यह प्रश्नों और विश्लेषणों का एक समूह है जिसने यह समझना संभव बना दिया है कि कैसे वैध तर्क भ्रांतियों से भिन्न होते हैं और हम उन तक कैसे पहुंचते हैं।

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

• अनुशंसित लेख: "10 प्रकार के तार्किक और तर्कपूर्ण भ्रम"

तर्क क्या है?

शब्द "तर्क" ग्रीक "लोगो" से आया है जिसका विभिन्न तरीकों से अनुवाद किया जा सकता है: शब्द, विचार, तर्क, सिद्धांत या कारण कुछ मुख्य हैं। इस अर्थ में, तर्क सिद्धांतों और तर्क का अध्ययन है।

इस अध्ययन का उद्देश्य अनुमानों के विभिन्न मानदंडों को समझना है और यह कैसे है कि हम अमान्य प्रमाणों के विपरीत, वैध प्रमाणों तक पहुँचते हैं। तो तर्क का मूल प्रश्न यह है कि सही सोच क्या है और हम एक वैध तर्क और एक झूठ के बीच अंतर कैसे कर सकते हैं?

इस प्रश्न का उत्तर देने के लिए, तर्क कथनों और तर्कों को वर्गीकृत करने के विभिन्न तरीकों का प्रस्ताव करता है, चाहे वे औपचारिक प्रणालियों में हों या प्राकृतिक भाषा में। विशेष रूप से, यह उन प्रस्तावों (घोषणात्मक वाक्यों) का विश्लेषण करता है जो सही या गलत हो सकते हैं, साथ ही भ्रम, विरोधाभास, कार्य-कारण से जुड़े तर्क और सामान्य तौर पर, का सिद्धांत तर्क

सामान्य शब्दों में, एक प्रणाली को तार्किक मानने के लिए, उन्हें तीन मानदंडों को पूरा करना होगा:

• संगति (सिस्टम बनाने वाले प्रमेयों के बीच कोई विरोधाभास नहीं है)
• दृढ़ता (परीक्षण प्रणालियों में झूठे अनुमान शामिल नहीं हैं)
• संपूर्णता (सभी सच्चे वाक्य परीक्षण योग्य होने चाहिए)

तर्क के 4 प्रकार

जैसा कि हमने देखा है, तर्क को समझने के लिए तर्क विभिन्न उपकरणों का उपयोग करता है जिसका उपयोग हम किसी चीज़ को सही ठहराने के लिए करते हैं। परंपरागत रूप से, चार प्रमुख प्रकार के तर्कों को मान्यता दी जाती है, प्रत्येक में कुछ उपप्रकार और विशिष्टताएँ होती हैं। हम नीचे देखेंगे कि प्रत्येक के बारे में क्या है।

1. औपचारिक तर्क

पारंपरिक तर्क या दार्शनिक तर्क के रूप में भी जाना जाता है, यह विशुद्ध रूप से औपचारिक और स्पष्ट सामग्री के साथ अनुमानों का अध्ययन है. यह औपचारिक बयानों (तार्किक या गणितीय) का विश्लेषण करने के बारे में है, जिसका अर्थ आंतरिक नहीं है, बल्कि इसके प्रतीकों को उनके दिए गए उपयोगी अनुप्रयोग के कारण समझ में आता है। दार्शनिक परंपरा जिससे उत्तरार्द्ध प्राप्त होता है, उसे "औपचारिकता" कहा जाता है।

बदले में, एक औपचारिक प्रणाली वह है जिसका उपयोग एक या अधिक परिसर से निष्कर्ष निकालने के लिए किया जाता है। उत्तरार्द्ध स्वयंसिद्ध (स्व-स्पष्ट प्रस्ताव) या प्रमेय (अनुमानों और स्वयंसिद्ध नियमों के एक निश्चित सेट से निष्कर्ष) हो सकते हैं।

औपचारिक तर्क के माध्यम से हम जिन निष्कर्षों पर पहुंचे, यदि वे वैध परिसरों पर आधारित हैं और तार्किक संचालन में कोई विफलता नहीं है, तो वे अपने आप में सत्य हैं. वास्तव में, यह इस बारे में एक खुली बहस की ओर ले जाता है कि औपचारिक तर्क विज्ञान की दुनिया से संबंधित है या नहीं। या वे ज्ञान के किसी अन्य क्षेत्र से संबंधित हैं, क्योंकि वे वास्तविकता का वर्णन नहीं करते हैं, बल्कि अपने स्वयं के नियमों का वर्णन करते हैं कामकाज।

2. अनौपचारिक तर्क

इसके भाग के लिए, अनौपचारिक तर्क एक अधिक हालिया अनुशासन है, जो प्राकृतिक या रोजमर्रा की भाषा में तैनात तर्कों का अध्ययन, मूल्यांकन और विश्लेषण करता है. इसलिए, यह "अनौपचारिक" की श्रेणी प्राप्त करता है। यह बोली जाने वाली और लिखित भाषा, या किसी बात को संप्रेषित करने के लिए प्रयुक्त किसी भी प्रकार की क्रियाविधि और अंतःक्रिया दोनों हो सकती है। औपचारिक तर्क के विपरीत, जो उदाहरण के लिए कंप्यूटर भाषाओं के अध्ययन और विकास पर लागू होगा; औपचारिक भाषा का तात्पर्य भाषाओं और भाषाओं से है।

इस प्रकार, अनौपचारिक तर्क व्यक्तिगत तर्क और तर्क से लेकर राजनीतिक बहस तक हर चीज का विश्लेषण कर सकता है, मीडिया द्वारा प्रसारित कानूनी तर्क या परिसर जैसे समाचार पत्र, टेलीविजन, इंटरनेट, आदि।

3. प्रतीकात्मक तर्क

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

• विधेय या प्रथम-क्रम तर्क: यह सूत्रों और मात्रात्मक चर से बना एक औपचारिक प्रणाली है composed
• प्रोपोज़िशनल: यह प्रस्तावों से बनी एक औपचारिक प्रणाली है, जो "तार्किक संयोजक" नामक कनेक्टर्स के माध्यम से अन्य प्रस्ताव बनाने में सक्षम है। इसमें लगभग कोई मात्रात्मक चर नहीं हैं।

4. गणितीय तर्क

इसका वर्णन करने वाले लेखक के आधार पर, गणितीय तर्क को एक प्रकार का औपचारिक तर्क माना जा सकता है। दूसरों का मानना ​​​​है कि गणितीय तर्क में गणित के लिए औपचारिक तर्क के आवेदन और औपचारिक तर्क के लिए गणितीय तर्क के आवेदन दोनों शामिल हैं।

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

इसे आमतौर पर दो उपप्रकारों में विभाजित किया जाता है:

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

आगमनात्मक, निगमनात्मक और मोडल रीजनिंग

दूसरी ओर, तीन प्रकार के तर्क हैं जिन्हें तार्किक प्रणाली भी माना जा सकता है. ये तंत्र हैं जो हमें परिसर से निष्कर्ष निकालने की अनुमति देते हैं। निगमनात्मक तर्क इस निष्कर्ष को एक सामान्य आधार से एक विशेष आधार तक बनाता है। अरस्तू द्वारा प्रस्तावित एक उत्कृष्ट उदाहरण है: सभी मनुष्य नश्वर हैं (यह सामान्य आधार है); सुकरात मानव है (यह प्रमुख आधार है), और अंत में, सुकरात नश्वर है (यह निष्कर्ष है)।

इसके भाग के लिए, आगमनात्मक तर्क वह प्रक्रिया है जिसके द्वारा विपरीत दिशा में निष्कर्ष निकाला जाता है: विशेष से सामान्य तक। इसका एक उदाहरण होगा "सभी कौवे जो मैं देख सकता हूं वे काले हैं" (विशेष आधार); इसलिए सभी कौवे काले हैं (निष्कर्ष)।

अंत में, रीजनिंग या मोडल लॉजिक संभाव्य तर्कों पर आधारित होता है, यानी वे एक संभावना (एक तौर-तरीके) व्यक्त करते हैं। यह एक औपचारिक तर्क प्रणाली है जिसमें "हो सकता है", "हो सकता है", "चाहिए", "अंततः" जैसे शब्द शामिल हैं।

ग्रंथ सूची संदर्भ:

• ग्रोर्क, एल. (2017). अनौपचारिक तर्क। स्टैनफोर्ड इनसाइक्लोपीडिया ऑफ फिलॉसफी। 2 अक्टूबर 2018 को लिया गया। में उपलब्ध https://plato.stanford.edu/entries/logic-informal/
• तर्क (2018)। दर्शन की मूल बातें। 2 अक्टूबर 2018 को लिया गया। में उपलब्ध https://www.philosophybasics.com/branch_logic.html
• मगनानी, एल. (2001). अपहरण, कारण और विज्ञान: खोज और स्पष्टीकरण की प्रक्रियाएं। न्यूयॉर्क: क्लूवर एकेडमिक प्लेनम पब्लिशर्स।
• मैकगिन, सी। (2000). तार्किक गुण: पहचान, अस्तित्व, भविष्यवाणी, आवश्यकता, सत्य। ऑक्सफोर्ड: क्लेरेंडन प्रेस।
• क्विन, डब्ल्यू.वी.ओ. (1986) (1970)। तर्कशास्त्र का दर्शन। कैम्ब्रिज, एमए: हार्वर्ड यूनिवर्सिटी प्रेस।
• शापिरो, एस। और कौरी, एस. (2018). शास्त्रीय तर्क। 2 अक्टूबर 2018 को लिया गया। तर्क (2018) में उपलब्ध है। दर्शन की मूल बातें। 2 अक्टूबर 2018 को लिया गया। में उपलब्ध https://www.philosophybasics.com/branch_logic.html
• गार्सन, जे। (2018). मोडल लॉजिक। स्टैनफोर्ड इनसाइक्लोपीडिया ऑफ फिलॉसफी। 2 अक्टूबर 2018 को लिया गया। में उपलब्ध https://plato.stanford.edu/entries/logic-modal/