हम समझाते हैं कि तर्क क्या है और दार्शनिक, अरिस्टोटेलियन, गणितीय, कम्प्यूटेशनल, औपचारिक और अनौपचारिक तर्क की विशेषताएं क्या हैं।
तर्क क्या है?
तर्क एक है औपचारिक विज्ञान, जो का हिस्सा है दर्शन और के गणित. यह वैध और अमान्य प्रक्रियाओं के अध्ययन पर केंद्रित है विचार, अर्थात्, प्रदर्शन, अनुमान या कटौती जैसी प्रक्रियाओं में, साथ ही भ्रम जैसी अवधारणाओं में, विरोधाभास और यह सत्य.
तर्क एक है अनुशासन अत्यंत प्राचीन, स्वतंत्र रूप से महान के विचारकों के बीच पैदा हुआ शास्त्रीय और प्राचीन सभ्यताएं, चीनी, ग्रीक या भारतीय की तरह। इसकी शुरुआत से, इसे इसकी औपचारिक वैधता की जांच करने के लिए विचार करने के तरीके के रूप में समझा जाता था, अर्थात यह पहचानने के लिए कि आदर्श प्रक्रिया क्या है विचार, वह जो वास्तव में सत्य की ओर ले जाता है।
हालाँकि, 20वीं शताब्दी से, इसे गणित के समान एक क्षेत्र के रूप में माना जाता है, क्योंकि बाद के अनुप्रयोगों ने महान औद्योगिक, सामाजिक और तकनीकी महत्व प्राप्त किया।
शब्द "तर्क" की उत्पत्ति ग्रीक आवाज में हुई है तर्कशास्त्र ("कारण से संपन्न"), शब्द से लोगो, "शब्द" या "विचार" के समान समान।
हालाँकि, रोज़मर्रा की भाषा में हम इस शब्द का उपयोग "सामान्य ज्ञान" के पर्याय के रूप में करते हैं, जो कि अपने-अपने तरीके से मूल्यवान या मूल्यवान तरीके से होता है। संदर्भों संभव। इसका उपयोग a . के रूप में भी किया जाता है पर्याय "सोचने का तरीका", जैसे "खेल तर्क", "सैन्य तर्क", और इसी तरह।
दार्शनिक तर्क
इस शब्द से हम दर्शन के उन क्षेत्रों को कहते हैं जिनमें तरीकों कुछ दार्शनिक दुविधाओं को हल करने या आगे बढ़ाने के लिए तर्क का, पारंपरिक तर्क के भीतर या इसके विपरीत, गैर-शास्त्रीय तर्क को संभालने में सक्षम होना। दूसरे शब्दों में, दर्शन के ढांचे के भीतर तर्क।
यह के दर्शन के बहुत करीब एक अनुशासन है भाषा: हिन्दी, और अनिवार्य रूप से पुरातनता के तर्क की निरंतरता है, जो विचार और प्राकृतिक भाषा पर केंद्रित है। हम आमतौर पर इस नाम का उपयोग नवीनतम गणितीय तर्क से अलग करने के लिए करते हैं।
अरिस्टोटेलियन तर्क
दार्शनिक तर्क के भीतर, विचार की परंपरा जो ग्रीक दार्शनिक अरस्तू डी एस्टागिरा (384-322 ईसा पूर्व) के कार्यों से शुरू होती है, जिसे तर्क के पश्चिमी संस्थापक और सबसे महत्वपूर्ण लेखकों में से एक माना जाता है, अरिस्टोटेलियन तर्क के रूप में जाना जाता है। दुनिया की दार्शनिक परंपरा।
तर्क पर अरस्तू की मुख्य कृतियाँ उनके में संकलित हैं: अंग (ग्रीक "इंस्ट्रूमेंट" से), एंड्रोनिकस ऑफ रोड्स द्वारा लिखने के कई शताब्दियों बाद संकलित किया गया। उनमें एक पूरी तार्किक प्रणाली सामने आती है जो कि अत्यंत प्रभावशाली थी यूरोप और मध्य पूर्व के बाद तक मध्य युग.
इसके अलावा, इस काम में, अरस्तू ने तर्क के मूलभूत सिद्धांतों को निरूपित किया:
- गैर-विरोधाभास का सिद्धांत। जिसके अनुसार कुछ एक ही समय में नहीं हो सकता और न ही हो सकता है (A और A एक ही समय में सत्य नहीं हो सकते हैं)।
- पहचान का सिद्धांत। जिसके अनुसार कोई वस्तु सदैव अपने समान होती है (A सदैव A के बराबर होती है)।
- बहिष्कृत तीसरे का सिद्धांत। जिसके अनुसार कुछ संभव है या नहीं, बिना किसी संभावित उन्नयन के (ए या फिर ¬ए)।
गणितीय तर्क
इसे गणितीय तर्क के रूप में जाना जाता है, जिसे प्रतीकात्मक तर्क, औपचारिक तर्क, सैद्धांतिक या तार्किक तर्क भी कहा जाता है तार्किक सोच गणित के कुछ क्षेत्रों के लिए और विज्ञान.
इसका तात्पर्य प्रतिनिधित्व की औपचारिक प्रणालियों के माध्यम से अनुमान की प्रक्रिया के अध्ययन से है, जैसे कि प्रपोजल लॉजिक, मोडल लॉजिक या फर्स्ट-ऑर्डर लॉजिक, जो कठोर प्रदर्शनों को विकसित करने के लिए प्राकृतिक भाषा को गणितीय भाषा में "अनुवाद" करने की अनुमति देता है।
गणितीय तर्क में चार प्रमुख क्षेत्र शामिल हैं, जो हैं:
- मॉडल सिद्धांत। जो समूहों, निकायों या रेखांकन के रूप में जानी जाने वाली गणितीय संरचनाओं के माध्यम से स्वयंसिद्ध सिद्धांतों और गणितीय तर्क के अध्ययन का प्रस्ताव करता है, इस प्रकार तर्क के विशुद्ध रूप से औपचारिक निर्माण के लिए एक शब्दार्थ सामग्री को जिम्मेदार ठहराता है।
- प्रदर्शन सिद्धांत। सबूत सिद्धांत भी कहा जाता है, यह गणितीय वस्तुओं के माध्यम से सबूत का प्रस्ताव करता है और तकनीक तर्क समस्याओं की जाँच करने के तरीके के रूप में गणित। इस प्रकार, जहां मॉडल सिद्धांत a . देने से संबंधित है अर्थ विज्ञान (एक अर्थ) तर्क की औपचारिक संरचनाओं के लिए, सबूत का सिद्धांत उनके साथ व्यवहार करता है वाक्य - विन्यास (इसका क्रम)।
- का सिद्धांत सेट. वस्तुओं के अमूर्त संग्रह के अध्ययन पर ध्यान केंद्रित किया, जो स्वयं को वस्तुओं के रूप में समझा जाता है, साथ ही साथ उनके बुनियादी संचालन और अंतर्संबंध भी। गणितीय तर्क की यह शाखा सबसे मौलिक में से एक है जो मौजूद है, इतना अधिक है कि यह किसी भी गणितीय सिद्धांत का एक मूल उपकरण है।
- संगणनीयता सिद्धांत। गणित और के बीच साझा क्षेत्र कम्प्यूटिंग या कम्प्यूटिंग, उन निर्णय समस्याओं का अध्ययन करता है जिनके लिए a कलन विधि (ट्यूरिंग मशीन के बराबर) सामना कर सकता है। ऐसा करने के लिए, वह सेट सिद्धांत का उपयोग करता है, उन्हें गणना योग्य या गैर-कम्प्यूटेबल सेट के रूप में समझता है।
कम्प्यूटेशनल तर्क
कम्प्यूटेशनल तर्क बुद्धिमान कंप्यूटिंग सिस्टम बनाता है।कम्प्यूटेशनल तर्क एक ही गणितीय तर्क है लेकिन कंप्यूटिंग के क्षेत्र में लागू होता है, अर्थात कंप्यूटिंग के विभिन्न मूलभूत स्तरों पर: कम्प्यूटेशनल सर्किट, प्रोग्रामिंग तर्क और प्रबंधन एल्गोरिदम। आर्टिफिशियल इंटेलिजेंस, इस क्षेत्र में अपेक्षाकृत हालिया क्षेत्र, भी इसका हिस्सा है।
यह कहा जा सकता है कि, मोटे तौर पर, कम्प्यूटेशनल तर्क एक कंप्यूटर सिस्टम को तार्किक संरचनाओं के माध्यम से खिलाने की इच्छा रखता है, जो गणितीय भाषा में, मानव विचार की विभिन्न संभावनाओं को व्यक्त करता है, इस प्रकार बुद्धिमान कंप्यूटर सिस्टम बनाता है।
औपचारिक और अनौपचारिक तर्क
तर्क के दो अलग-अलग क्षेत्रों के बीच अक्सर अंतर किया जाता है: औपचारिक और अनौपचारिक, जिस भाषा में बयान व्यक्त किए जाते हैं, उनके दृष्टिकोण के आधार पर।
- औपचारिक तर्क। यह वह है जो औपचारिक भाषा में शामिल होता है, अर्थात, इसकी सामग्री को व्यक्त करने के तरीके के लिए, उनका सख्ती से, अस्पष्टता के बिना उपयोग करते हुए, इस तरह से निगमन पथ का विश्लेषण इसकी सामग्री की वैधता से किया जा सकता है। आकार (इसलिए इसका नाम)।
- अनौपचारिक तर्क। इसके बजाय, उनका अध्ययन करें बहस एक पोस्टीरियर, दी गई जानकारी से वैध और अमान्य रूपों को अलग करना, इसके तार्किक रूप या इसकी औपचारिक भाषा की परवाह किए बिना। यह संस्करण बीसवीं शताब्दी के मध्य में दर्शनशास्त्र के भीतर एक अनुशासन के रूप में उभरा।