वह एक विज्ञान के रूप में तर्क के संस्थापक हैं। तर्क के गठन का इतिहास. आई. कांट का नैतिक सिद्धांत

1. तर्क का विषय

2. तर्क का उद्भव एवं विकास

3. तर्क की भाषा

4. सोच के रूप और नियम

1. तर्क का विषय

मुख्य शब्द: तर्क, सोच, संवेदी ज्ञान, अमूर्त सोच।

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

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

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

सनसनी;

2) धारणा;

3) प्रस्तुति.

अनुभूति के इस स्तर में कई महत्वपूर्ण तकनीकें हैं, जिनमें संवेदनाओं का विश्लेषण और व्यवस्थितकरण, एक समग्र छवि में छापों का निर्माण, पहले से प्राप्त ज्ञान, कल्पना आदि को याद रखना और स्मरण करना शामिल है। इंद्रिय अनुभूति बाहरी, व्यक्तिगत गुणों और के बारे में ज्ञान प्रदान करती है। घटना के गुण. दूसरी ओर, मनुष्य चीजों और घटनाओं के गहरे गुणों और सार, दुनिया और समाज के अस्तित्व के नियमों को पहचानने का प्रयास करता है। इसलिए, वह अमूर्त-सैद्धांतिक स्तर पर अपनी रुचि की समस्याओं के अध्ययन का सहारा लेता है। इस स्तर पर, अमूर्त ज्ञान के ऐसे रूप बनते हैं:

संप्रत्यय;

बी) निर्णय;

ग) अनुमान.

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

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

अमूर्त सोच का भाषा के साथ अटूट संबंध है। भाषा विचार स्थिरीकरण का प्रमुख साधन है। भाषाई रूप में न केवल सार्थक अर्थ बताये जाते हैं, बल्कि तार्किक अर्थ भी बताये जाते हैं। भाषा की सहायता से व्यक्ति विचारों का निर्माण, अभिव्यक्ति और संचारण करता है, ज्ञान का स्थिरीकरण करता है।

यह समझना महत्वपूर्ण है कि हमारी सोच अप्रत्यक्ष रूप से वास्तविकता को प्रतिबिंबित करती है: परस्पर जुड़े ज्ञान की एक श्रृंखला के माध्यम से, तार्किक परिणामों से, वस्तु-संवेदी दुनिया को सीधे छूने के बिना नए ज्ञान तक पहुंचना संभव है।

अनुभूति में तर्क का महत्व न केवल औपचारिक-तार्किक तरीके से, बल्कि द्वंद्वात्मक तरीके से भी विश्वसनीय ज्ञान प्राप्त करने की संभावना से होता है।

तार्किक कार्रवाई का कार्य, सबसे पहले, ऐसे नियमों और सोच के रूपों की खोज करना है, जो विशिष्ट अर्थों की परवाह किए बिना, हमेशा सही निष्कर्ष पर ले जाएंगे।

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

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

तर्क ज्ञानमीमांसा संबंधी कार्य भी करने में सक्षम है। औपचारिक संबंधों और सोच के तत्वों के निर्माण पर ध्यान दिए बिना, तार्किक ज्ञान भाषाई अभिव्यक्तियों के अर्थ और अर्थ को पर्याप्त रूप से समझाने में सक्षम है, संज्ञानात्मक विषय और संज्ञानात्मक वस्तु के बीच संबंध को व्यक्त करता है, और तार्किक-द्वंद्वात्मक विकास को भी प्रकट करता है। वस्तुनिष्ठ संसार.

कार्य और अभ्यास

1. एक ही घन, जिसके किनारों पर संख्याएँ (0, 1, 4, 5, 6, 8) हैं, तीन अलग-अलग स्थितियों में है।

अनुभूति के संवेदी रूपों (संवेदना, धारणा और प्रतिनिधित्व) का उपयोग करके, निर्धारित करें कि तीनों मामलों में घन के निचले भाग में कौन सी संख्या है।

2. स्वेतलाना, लारिसा और इरीना विश्वविद्यालय में विभिन्न विदेशी भाषाओं का अध्ययन करती हैं: जर्मन, अंग्रेजी और स्पेनिश। जब उनसे पूछा गया कि उनमें से प्रत्येक ने कौन सी भाषा सीखी है, तो उनकी दोस्त मरीना ने डरते हुए जवाब दिया: "स्वेतलाना अंग्रेजी पढ़ रही है, लारिसा अंग्रेजी नहीं पढ़ रही है, और इरीना जर्मन नहीं पढ़ रही है।" यह पता चला कि इस उत्तर में केवल एक कथन सत्य है, और दो गलत हैं। प्रत्येक लड़की कौन सी भाषा सीख रही है?

3. इवानोव, पेत्रोव, स्टेपानोव और सिदोरोव - ग्रोड्नो के निवासी। इनका पेशा कैशियर, डॉक्टर, इंजीनियर और पुलिसकर्मी है। इवानोव और पर्टोव पड़ोसी हैं, वे हमेशा साथ मिलकर काम करते हैं। पेत्रोव सिदोरोव से बड़े हैं। शतरंज में इवानोव हमेशा स्टेपानोव को हराता है। खजांची हमेशा काम पर चलकर जाता है। पुलिसकर्मी डॉक्टर के पास नहीं रहता है. एक इंजीनियर और एक पुलिसकर्मी की मुलाकात एकमात्र बार तब हुई थी जब पहले ने दूसरे पर यातायात नियमों का उल्लंघन करने के लिए जुर्माना लगाया था। सिपाही डॉक्टर और इंजीनियर से भी बड़ा है। जानी मानी हस्तियां?

4. मस्कटियर दोस्तों एथोस, पोर्थोस, अरामिस और डी'आर्टागनन ने रस्साकशी के साथ कुछ मजा करने का फैसला किया। पोर्थोस और डी'आर्टागनन ने आसानी से एथोस और अरामिस को पछाड़ दिया। लेकिन जब पोर्थोस एथोस के साथ खड़ा हुआ, तो उन्होंने डी'आर्टागनन और अरामिस पर अधिक कठिन जीत हासिल की। और जब पोर्थोस और अरामिस ने एथोस और डी'आर्टागनन के खिलाफ लड़ाई लड़ी, तो कोई भी रस्सी नहीं खींच सका। बंदूकधारियों को ताकत में कैसे वितरित किया जाता है?

ज्ञान के स्तरों और रूपों के बीच संबंध का एक तार्किक आरेख बनाएं।

2. तर्क का उद्भव एवं विकास

मुख्य शब्द: निगमन, औपचारिक तर्क, आगमनात्मक तर्क, गणितीय तर्क, द्वंद्वात्मक तर्क।

तर्क की उत्पत्ति के कारण एवं शर्तें। तर्क के उद्भव का सबसे महत्वपूर्ण कारण प्राचीन विश्व में पहले से ही बौद्धिक संस्कृति का उच्च विकास है। विकास के उस चरण में समाज वास्तविकता की मौजूदा पौराणिक व्याख्या से संतुष्ट नहीं है, वह प्राकृतिक घटनाओं के सार की तर्कसंगत व्याख्या करना चाहता है। धीरे-धीरे, सट्टा, लेकिन साथ ही साक्ष्य-आधारित और सुसंगत ज्ञान की एक प्रणाली बन रही है।

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

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

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

तार्किक ज्ञान का विकास. प्राचीन तर्क का एक और विकास स्टोइक दार्शनिकों की शिक्षा थी, जो दार्शनिक और नैतिक समस्याओं के साथ, तर्क को "विश्व लोगो का बहिर्वाह", इसका सांसारिक, मानवीय रूप मानते हैं। स्टोइक्स ज़ेनो (333 - 262 ईसा पूर्व), क्रिसिपस (लगभग 281 - 205 ईसा पूर्व) और अन्य ने कथनों (प्रस्तावों) और उनसे निष्कर्षों की एक प्रणाली के साथ तर्क को पूरक किया, उन्होंने जटिल निर्णयों के आधार पर अनुमान की योजनाएं प्रस्तावित कीं, श्रेणीबद्ध तंत्र को समृद्ध किया। और विज्ञान की भाषा. "तर्क" शब्द का उद्भव इसी समय (तीसरी शताब्दी ईसा पूर्व) में हुआ था। स्टोइक्स द्वारा तार्किक ज्ञान को शास्त्रीय अवतार की तुलना में कुछ हद तक व्यापक रूप से प्रस्तुत किया गया था। इसने सोच के रूपों और संचालन के सिद्धांत, चर्चा की कला (द्वंद्वात्मकता), सार्वजनिक बोलने का कौशल (बयानबाजी) और भाषा के सिद्धांत को संयोजित किया।

आधुनिक समय में, यूरोप में व्यापक प्राकृतिक विज्ञान ज्ञान (यांत्रिकी, भूगोल, आदि) की अवधि के दौरान, आगमनात्मक सोच के सिद्धांतों के साथ निगमनात्मक तर्क प्रणाली को पूरक करने की आवश्यकता है। संचित अनुभवजन्य, तथ्यात्मक सामग्री, अभ्यास और जीवन से विशेष मामले, तुलना और सामान्यीकरण के माध्यम से, इस तरह से निर्माण करना संभव हो गया कि वे सामान्य प्रकृति के सच्चे निर्णय की ओर ले जाएं। व्यक्तिगत चीज़ों के बारे में ज्ञान उनके अस्तित्व के सामान्य पैटर्न के अस्तित्व के विचार को "नेतृत्व" (लैटिन: इंडक्टियो) कर सकता है। वैज्ञानिक नियमितता के रूप में सोचने की यह संपत्ति, शैक्षिक तर्क के विपरीत, अंग्रेजी दार्शनिक और प्रकृतिवादी फ्रांसिस बेकन (1561 - 1626) ने अपने काम "द न्यू ऑर्गनन या ट्रू डायरेक्शन्स फॉर द इंटरप्रिटेशन ऑफ नेचर" में नोट की थी। इस प्रकार उन्होंने आगमनात्मक तर्क के संस्थापक के रूप में कार्य किया

बारीकियों वैज्ञानिक ज्ञाननए युग के फ्रांसीसी विचारक रेने डेसकार्टेस (1596 - 1650) की तर्कवादी पद्धति में प्रतिबिंबित हुआ था। "अपने दिमाग को सही ढंग से निर्देशित करने और विज्ञान में सत्य की तलाश करने की विधि पर प्रवचन" और "मन के मार्गदर्शन के लिए नियम" में उन्होंने अनुभूति के सबसे महत्वपूर्ण तरीकों को तैयार किया है: स्वयंसिद्ध, विश्लेषणात्मक और सिंथेटिक, और अंत में भी। अनुभूति, व्यवस्थित विधि. डेसकार्टेस के अनुसार, तर्कसंगत पद्धति के कार्यान्वयन का उच्चतम रूप गणित है। तर्क को अनुभूति की एक पद्धति की भूमिका दी गई है, जो ज्ञान बढ़ाने के लिए नए सत्य प्राप्त करने के तरीकों की खोज करने में सक्षम है।

गणितीय (या प्रतीकात्मक) तर्क के मौलिक विचारों को जर्मन विचारक जी.डब्ल्यू. लीबनिज (1646 - 1716) ने अपने कार्यों "ऑन द आर्ट ऑफ कॉम्बिनेटरिक्स", "एक्सपीरियंस इन यूनिवर्सल कैलकुलस", "ऑन द मैथमेटिकल डेफिनिशन ऑफ सिलोजिक फॉर्म्स" में प्रस्तावित किया था। , आदि। वह पारंपरिक तर्क के प्रश्न विकसित करता है (पर्याप्त कारण का कानून बनाता है, तर्क की श्रेणियों के व्यवस्थितकरण पर काम करता है, आदि), लेकिन भाषा की औपचारिकता, तार्किक की शैली के गणितीकरण पर अधिक ध्यान देता है। सोच। उस समय से, तर्कशास्त्र में विशेष चिह्नों-प्रतीकों का उपयोग किया जाने लगा जो प्राकृतिक भाषा में उपयोग नहीं किये जाते। लाइबनिज तर्क के नियमों और गणित के नियमों के बीच पत्राचार के आधार पर अंकगणितीय तार्किक अनुमान की संभावनाओं का पता लगाने वाले पहले व्यक्ति थे। इसका उद्देश्य सैद्धांतिक वैज्ञानिक तर्क को गणितीय गणनाओं में लाना है, जिसकी बदौलत किसी भी विवाद को सुलझाना और सच्चाई पर आना संभव है।

पारंपरिक तर्क को गणितीय तर्क द्वारा प्रतिस्थापित किया जा रहा है, जो मानसिक गतिविधि के विश्लेषणात्मक तरीकों में लागू नियमों और प्रमेयों के सख्त फॉर्मूलेशन में मानसिक रूपों को संलग्न करता है।

उन्नीसवीं सदी में प्रतीकात्मक तर्क तार्किक ज्ञान का सबसे आकर्षक क्षेत्र बन जाता है। गणितीय तर्क के सबसे प्रसिद्ध प्रतिनिधियों में अंग्रेजी गणितज्ञ डी. बूले (1815 - 1864) प्रमुख हैं। "तर्क का गणितीय विश्लेषण" और "सोच के नियमों की जांच" कार्यों में वह संबंधों (संचालन) के रूप में विशिष्ट तत्वों (वर्गों) की बीजगणितीय गणना की नींव रखता है। बूले ने विचारों, वस्तुओं और अमूर्त प्रणालियों के बीच संबंधों को सांकेतिक भाषा में अनुवाद करने की कोशिश की। बूलियन बीजगणित तीन संक्रियाओं का उपयोग करके तार्किक समस्याओं का समाधान है: ए) वर्ग जोड़ (ए यू बी), वर्ग गुणन (ए ∩ बी), और वर्ग जोड़ (ए′)। बूले का बीजगणित लागू मामलों में भी लागू था, उदाहरण के लिए, कंक्रीट रिले सर्किट की व्याख्या में, कंप्यूटर पर प्रोग्रामिंग करते समय कैलकुलस में, आदि।

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

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

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

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

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

द्वंद्वात्मक तर्क, तर्क के विकास की पूरी अवधि के दौरान अपने ज्ञान को संचित और सामान्यीकृत करते हुए, जर्मन शास्त्रीय दर्शन में एक व्यवस्थित रूप में प्रस्तुत किया गया था। आई. कांट (1724 - 1804) के कार्यों में "शुद्ध कारण की आलोचना" और "निर्णय की क्षमता की आलोचना" में पारलौकिक तर्क की पुष्टि की जाती है, जो प्राथमिक ज्ञान की उत्पत्ति, सामग्री और वस्तुनिष्ठ महत्व को निर्धारित करता है। हेगेल (1770 - 1831) के दर्शन में, आत्म-ज्ञान और अवधारणा के आत्म-विकास के एक सार्वभौमिक रूप के रूप में द्वंद्वात्मक तर्क की उद्देश्य-आदर्शवादी प्रणाली ने अपना समापन पाया। तर्क विज्ञान में, वह न केवल सोच के औपचारिक तार्किक कानूनों की "नियोन्टोलॉजिकल" के रूप में आलोचना करते हैं, बल्कि तार्किक ज्ञान की मौलिक रूप से भिन्न सामग्री - कानूनों, अवधारणाओं और निष्कर्षों की भी पुष्टि करते हैं, जो एक उद्देश्य भावना की सोच की द्वंद्वात्मकता पर आधारित हैं। .

द्वंद्वात्मक तर्क की समझ में एक नया चरण के. मार्क्स (1818-1883) और एफ. एंगेल्स (1820-1895) के नामों से जुड़ा है। एफ. एंगेल्स "एंटी-डुहरिंग", "डायलेक्टिक्स ऑफ नेचर", के. मार्क्स "कैपिटल" और अन्य के कार्यों में, विकासशील रूपों की व्याख्या "स्व-विकासशील अवधारणा" की मौलिकता पर आधारित नहीं है, बल्कि पर आधारित है। वस्तुगत (भौतिक) संसार में द्वंद्वात्मक परिवर्तनों की खोज। प्रकृति और समाज, उनके दृष्टिकोण से, द्वंद्वात्मक सोच के नियमों को समझने का आधार हैं। मार्क्सवादी द्वंद्वात्मकता में, भौतिकवादी दृष्टिकोण से, द्वंद्वात्मकता के तीन सबसे महत्वपूर्ण नियम तैयार किए गए हैं (विपरीतताओं की एकता और संघर्ष का कानून, मात्रात्मक और गुणात्मक परिवर्तनों के पारस्परिक परिवर्तन का कानून, निषेध के निषेध का कानून), बुनियादी सिद्धांत और भौतिकवादी द्वंद्वात्मकता की श्रेणियाँ।

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

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

कार्य और अभ्यास

1. क्रियाओं के गणितीय अनुक्रम का उपयोग करते हुए, संख्याओं का अनुमान लगाने का रहस्य प्रकट करें। किसी भी संख्या के बारे में सोचें, उसमें से 1 घटाएं, परिणाम को 2 से गुणा करें, परिणामी उत्पाद से इच्छित संख्या घटाएं और परिणाम की रिपोर्ट करें। किसी मित्र द्वारा कल्पित संख्या का अनुमान कैसे लगाएं?

2. यदि 9 लीटर और 4 लीटर के कंटेनर हैं तो 6 लीटर पानी कैसे मापें:

3. प्राचीन बयानबाजी में, एक भाषण निर्माण योजना विकसित की गई थी, जिसमें पांच सबसे महत्वपूर्ण चरण शामिल थे। उन्हें तार्किक क्रम में व्यवस्थित करें:

उच्चारण, मौखिक डिज़ाइन, आविष्कार, योजना, याद रखना।

4. एक विस्तृत तार्किक आरेख या तालिका बनाएं जो तार्किक ज्ञान के विकास के इतिहास को प्रकट करे।

3. तर्क की भाषा

मुख्य शब्द: भाषा, सांकेतिकता, अर्थ श्रेणियाँ, कृत्रिम भाषा, शब्द।

भाषा एक सांकेतिक प्रणाली के रूप में। तर्क का विषय सोच के नियम और रूप हैं। सोच आदर्श वास्तविकता है. मानव मस्तिष्क में जो कुछ भी घटित होता है वह प्रत्यक्ष वस्तुकरण, भौतिकीकरण के अधीन नहीं है। विचार व्यक्त करने के विशेष माध्यमों को जोड़े बिना इसका पर्याप्त अध्ययन नहीं किया जा सकता। हम अक्सर यह प्रश्न पूछते हैं: किन प्रक्रियाओं की सहायता से किसी व्यक्ति की मानसिक गतिविधि को पहचानना संभव है? यह, सबसे पहले और सबसे महत्वपूर्ण, भाषा के माध्यम से और भाषा के माध्यम से है। मानव सोच को भाषा, वाणी के साथ अविभाज्य संबंध में महसूस किया जाता है, भाषाई अभिव्यक्तियों की मदद से दूसरों तक प्रेषित किया जाता है। यही कारण है कि तर्क भाषा में इसके ठोस निर्धारण के आधार पर सोच की खोज करता है।

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

विचार की भाषिक अभिव्यक्तियों के अध्ययन में तर्क इसे मुख्य एवं तात्कालिक कार्यों में से एक मानता है। एक सांकेतिक प्रणाली के रूप में भाषा का अध्ययन सांकेतिकता विज्ञान द्वारा किया जाता है, जो इसके निर्माण और उपयोग की विशिष्टताओं को प्रकट करता है। इसका एक खंड - वाक्यविन्यास - भाषा की बारीकियों, संरचना, गठन और परिवर्तन के तरीकों, प्रणाली के संकेतों के बीच संबंध का विश्लेषण करता है। उदाहरण के लिए, समानता संबंध (3 + 2 = 5), परिणाम संबंध ("कोगिटो एर्गो योग"), प्रमाण संबंध (पाइथागोरस प्रमेय का प्रमाण), आदि।

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

एक अन्य प्रकार का संबंध है, जिसके बिना न तो भाषा का निर्माण और न ही उसका व्यावहारिक कार्यान्वयन अकल्पनीय है। यह एक अर्थपूर्ण संबंध है: सिस्टम के संकेतों और उनके द्वारा नामित वस्तुओं, वस्तु और उसके नाम (संदर्भ का सिद्धांत) के बीच संबंध, संकेतों का संबंध और जिस भाषा को वे प्रतिस्थापित करते हैं उसकी शब्दार्थ अभिव्यक्ति की सामग्री (द) अर्थ का सिद्धांत) इस अनुभाग को शब्दार्थ कहा जाता है. सिमेंटिक श्रेणियां भाषाई अर्थों और संदर्भों के ऐसे वर्ग को नामित करती हैं जो एक संकेत को दूसरे के साथ प्रतिस्थापित करने पर अपनी सार्थकता बरकरार रखता है। उदाहरण के लिए, कथन 3 + 2 = 5 सार्थक रहता है जब चिह्न "2" को चिह्न "3" से बदल दिया जाता है, या कहें, यदि चिह्न "+" को चिन्ह "-" से बदल दिया जाता है। सत्य खोकर वह शब्दार्थ परिभाषित होकर रह जाता है। पारंपरिक तर्क की भाषा में, शब्दार्थ श्रेणियों के तीन सामान्य वर्ग हैं: नाम, फ़ैक्टर, कथन।

प्राकृतिक और कृत्रिम भाषाएँ। तर्क न केवल अध्ययन करता है, बल्कि भाषाई संकेत प्रणाली का भी उपयोग करता है। समाज में भाषा दो रूपों में विद्यमान है। यह, सबसे पहले, ऐतिहासिक और राष्ट्रीय स्तर पर निर्मित ध्वनि (भाषण) और ग्राफिक (लेखन) संकेत-संकेतों के रूप में एक प्राकृतिक भाषा है जो जानकारी प्राप्त करने, संचय करने, संचारित करने और संग्रहीत करने की जरूरतों को पूरा करना संभव बनाती है। प्राकृतिक भाषा की सबसे आम किस्म राष्ट्रीय (लोक) भाषा है। भाषा का दूसरा रूप कृत्रिम भाषा है। इसे एक निश्चित संकेत प्रणाली के रूप में समझा जाता है, जो विशेष रूप से वैज्ञानिक और अन्य सूचनाओं के रखरखाव और सुविधाजनक उपयोग और प्रसारण के लिए बनाई गई है। कृत्रिम भाषाओं में गणित, भौतिकी, रसायन विज्ञान, कंप्यूटर प्रोग्रामिंग भाषाएँ आदि की औपचारिक भाषाएँ हैं, जिनकी अपनी शब्दावली और प्रतीक हैं।

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

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

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

ए) सरल और जटिल (वर्णनात्मक): उदाहरण के लिए, क्रमशः - बेलारूस गणराज्य की भूमि और राजधानी);

बी) एकल (स्वयं) और सामान्य (उदाहरण के लिए, क्रमशः - वासिल बायकोव और कानून)।

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

एक कथन एक भाषाई अभिव्यक्ति है जिसमें एक सच्चा या गलत विचार होता है। उदाहरण के लिए, "नेपोलियन फ्रांस का सम्राट था।" यह व्याकरण की दृष्टि से सही, शब्दार्थ की दृष्टि से परिभाषित, सुस्पष्ट, पूर्ण घोषणात्मक वाक्य है। उदाहरण के लिए, "अभाज्य संख्याओं को दो प्रकारों में विभाजित किया गया है।" कथन या तो सत्य है या असत्य। ये इसके बूलियन मान हैं. उदाहरण के लिए, "सूर्य मंगल से बड़ा है" कथन सत्य है, लेकिन इस कथन में नामों की अदला-बदली करने पर गलत मान आएगा।

किसी कथन में नए सार्थक कथन बनाने के साधन के रूप में कार्य करने वाली अभिव्यक्ति को फ़नकार कहा जाता है। फनकार न तो कोई नाम है और न ही कोई कथन। यह एक सेवा भाषा निर्माण है, जिसके माध्यम से तथाकथित तर्क एक नया कथन बनाते हैं। उदाहरण के लिए, यदि a \u003d b, तो 2a \u003d 2b, 2 + 3 \u003d 5. इन उदाहरणों में, गणितीय संबंधों के संकेत फ़ैक्टर के रूप में कार्य करते हैं: "=" और "+"। फ़नकार एक-तर्क (जंगल हरा हो गया है), दो-तर्क ('नीचता झूठ से अधिक खतरनाक है', 3 + 4, आदि) हो सकते हैं। पारंपरिक तर्क में, दो-तर्क फ़ैक्टर्स को अक्सर तार्किक संघ (तार्किक संयोजक) कहा जाता है।

विज्ञान में, फ़ंक्शन की अवधारणा का व्यापक रूप से चर x और y के बीच पत्राचार के रूप में उपयोग किया जाता है। गणित में, इसे अभिव्यक्ति y \u003d f (x) के रूप में लिखा जाता है। तर्कशास्त्र में, यह अवधारणा भी मौजूद है, नाममात्र और प्रस्तावक कार्यों की अवधारणाओं का बहुत महत्व है।

नाममात्र फ़ंक्शन एक अभिव्यक्ति है जिसमें वेरिएबल होते हैं जो संबंधित तर्कों को उनके स्थान पर प्रतिस्थापित करने पर एक नाम में बदल जाते हैं। नाममात्र फ़ंक्शन के उदाहरण "कॉस्मोनॉट एक्स", "ब्रदर वाई" अभिव्यक्ति हो सकते हैं। अर्थात्, जब चर x और y को प्रतिस्थापित किया जाता है, तो ये अभिव्यक्तियाँ किसी वस्तु के पदनाम, किसी नाम, किसी चीज़ के नाम आदि में बदल जाती हैं।

एक प्रस्तावक फ़ंक्शन एक उच्चारण के एक रूप को व्यक्त करता है, जिसमें, जब संबंधित मानों को चर के लिए प्रतिस्थापित किया जाता है, तो एक शब्दार्थिक रूप से परिभाषित उच्चारण बनता है। उदाहरण के लिए, x, y से बड़ा है, x ने अधिशेष मूल्य के नियम की खोज की। एक प्रस्तावक फ़ंक्शन जिसके तर्कों के नाम होते हैं, उसे विधेय कहा जाता है। उदाहरण के लिए, R एक फर्म का अध्यक्ष है। एक विधेय जो किसी वस्तु की एक संपत्ति को दर्शाता है और जिसमें एक चर - एक नाम होता है, उसे एक-स्थान विधेय कहा जाता है (ए का मतलब गुणवत्ता है)। दो (एन - स्थानीय) विधेय, दो या दो से अधिक चर वाले, नामों के बीच संबंधों को दर्शाते हैं - चर: "ए प्यार करता है", "ए इन और सी के बीच है", आदि।

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

आम तौर पर स्वीकृत और सबसे अधिक इस्तेमाल की जाने वाली तार्किक शब्दावली का सारांश देते हुए, इसे औपचारिक रूप में लिया जाना चाहिए:

1) नाम - ए, बी, सी, आदि;

2) फ़ैनक्टर (तार्किक स्थिरांक) -

Щ - "और";

बी - "या";

® - "यदि, तो";

"-" कब और केवल कब ";

यू, ЇЇЇ - "यह सच नहीं है कि";

- "ज़रूरी" ;

ए - "शायद"

विषय चर - ए, बी, सी;

प्रस्तावात्मक चर - पी, क्यू, आर, एस;

नाममात्र फ़ंक्शन - ए (एक्स);

प्रस्तावात्मक फलन - x P(x);

भविष्यवक्ता - पी, क्यू, आर; एक-स्थान विधेय - पी (एक्स): (एक्स में संपत्ति पी है); दो-स्थान विधेय P (x; y): (x और y P से संबंधित हैं);

कोष्ठक - (;);

सामान्य परिमाणक - " x (किसी भी x के लिए यह सत्य है कि...);

अस्तित्व परिमाणक - $ x (वहाँ x है जिसके लिए यह सत्य है कि...)।

इस प्रकार, भाषा के संज्ञानात्मक मूल्य, विचार प्रक्रियाओं के साथ इसके संबंध को समझते हुए, तार्किक शब्दावली और तार्किक सूत्रों में प्रयुक्त मुख्य संकेतों के सार में महारत हासिल करना आवश्यक है।

कार्य और अभ्यास

1. संख्याओं और अक्षरों के छिपे अनुक्रम का उपयोग करके रिक्त वर्गों में लुप्त संख्याओं और अक्षरों को भरें।

संबंधित के बड़े अक्षरों को एक गोलाकार पैटर्न में व्यवस्थित करें भाषाओं के प्रकार, जिससे उनका अनुपात निर्धारित होता है: ई - प्राकृतिक भाषा, एच - वैज्ञानिक भाषा, आई - कृत्रिम भाषा:

3. ऐसी भाषा अभिव्यक्तियाँ लिखें जो प्रतिबिंबित करें:

क) साक्ष्य का संबंध; बी) निम्नलिखित का संबंध, सी) एक सार्थक, लेकिन गलत बयान; घ) नाममात्र कार्य; ई) अस्तित्व की मात्रा का ठहराव।

4. तर्क की औपचारिक और प्राकृतिक भाषाओं का तुलनात्मक विवरण प्रस्तुत करें।

5. प्रस्तावात्मक और नाममात्र कार्यों को सत्य कथनों में बदलें: a) x, y का कारण है; बी) एक्स एक अभाज्य संख्या है; ग) ए बेलारूस का एक शहर है; घ) एक्स उपन्यास "यू" का लेखक है; ई) ए और बी के बीच सी स्थित है; ई) यदि पी तो क्यू।

4. सोच के रूप और नियम

कीवर्ड: विचार का रूप, तार्किक कानून, तार्किक परिणाम।

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

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

सोच का वह रूप जो विचार की वस्तुओं के बीच गुणात्मक और मात्रात्मक संबंध स्थापित करता है और उन्हें कथन या खंडन के रूप में तय करता है, निर्णय कहलाता है। इसलिए, उदाहरण के लिए, उत्पादन गतिविधि के माध्यम से वस्तुओं के प्रति किसी व्यक्ति का दृष्टिकोण इस निर्णय में व्यक्त किया जा सकता है "श्रम गतिविधि की प्रक्रिया में एक व्यक्ति भौतिक और आध्यात्मिक सामान बनाता है।" जो निर्णय सामग्री, भावनात्मक-मूल्यांकन और अन्य पहलुओं में भिन्न होते हैं, उन्हें हमेशा विचार के एक एकीकृत रूप (संरचना) में घटाया जा सकता है। औपचारिक तर्क की दृष्टि से इसके सभी भागों को जोड़ने की विधि एक समान होगी। यदि हम निर्णय की संरचना में शामिल अवधारणाओं को एस (विचार का विषय) संकेतों के साथ नामित करते हैं, यानी, क्या (किसके बारे में) चर्चा चल रही है) और पी (विधेय - एक बयान, संकेतों की अभिव्यक्ति या गुणों की अभिव्यक्ति) निर्दिष्ट विषय (एस)). यदि हम उनके कनेक्शन की विधि को तार्किक संयोजक "है" (है, इसलिए, आदि) के रूप में प्रस्तुत करते हैं, तो हमें किसी भी निर्णय के लिए सामान्य तार्किक रूप मिलता है: एस - पी (सभी एस पी हैं)। उदाहरण के लिए, कथनों की संरचना: "प्रत्येक व्यक्ति खुशी का पात्र है", "एक नदी पृथ्वी की जल धमनी है" और "त्रिभुज के कोणों का योग 180 डिग्री है" मूल रूप से समान है, उनके बावजूद सार्थक, अर्थपूर्ण पॉलीफोनी। उनमें, कोई एस (एक व्यक्ति, एक नदी, एक त्रिकोण के कोणों का योग), पी (खुशी के योग्य, पृथ्वी की जल धमनी, 180 डिग्री) और एक सकारात्मक तार्किक संयोजक को अलग कर सकता है, जो निहित है इन उदाहरणों में, लेकिन भाषाई रूप से अव्यक्त।

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

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

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

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

तार्किक कानून और तार्किक परिणाम. तार्किक कानून और तार्किक परिणाम की अवधारणाएँ तार्किक रूप की अवधारणा से जुड़ी हुई हैं। तर्क के दौरान विचारों के तत्वों का सही संबंध सोच के नियमों - तार्किक कानूनों द्वारा निर्धारित होता है। एक तार्किक कानून एक अभिव्यक्ति है जो अपनी विशिष्ट सामग्री की परवाह किए बिना अपनी सच्चाई बरकरार रखती है। इस प्रकार, कथन "यदि सभी x के लिए यह सत्य है कि x P है, तो एक भी x ऐसा नहीं है जो P नहीं है" किसी भी मामले में सत्य होगा (एक कानून है), चाहे इसमें कोई भी विशिष्ट सामग्री क्यों न हो। उदाहरण के लिए, इस भाषा सूत्र में नामों को प्रतिस्थापित करने पर, हम पाते हैं: "यदि यह सभी लोगों के लिए सच है कि उनमें चेतना है, तो एक भी व्यक्ति ऐसा नहीं है जिसके पास यह नहीं है।"

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

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

मुख्य औपचारिक-तार्किक कानून हैं:

1. पहचान का नियम: तर्क की प्रक्रिया में प्रत्येक विचार स्वयं के समान होना चाहिए। ((पी → पी): यदि पी, तो पी)। "प्रत्येक व्यक्ति एक व्यक्ति है", "ड्यूरा लेक्स, सेड लेक्स" (कठोर कानून है, लेकिन कानून है)।

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

3. बहिष्कृत मध्य का नियम: या तो कथन स्वयं या उसका निषेध सत्य है: (पी बी श पी): (पी या नहीं-पी)। “प्रथम वर्ष के कुछ छात्र आर्थिक गतिविधियों में शामिल हैं। प्रथम वर्ष का एक भी छात्र आर्थिक गतिविधि से नहीं जुड़ा है।” अर्थात्, दो विरोधाभासी कथन एक ही समय में सत्य नहीं हो सकते, उनमें से एक आवश्यक रूप से असत्य है। कोई तीसरा विकल्प नहीं है. बर्फ सफेद है या सफेद नहीं है.

4. पर्याप्त कारण का नियम: कोई विचार तभी सत्य होता है जब उसके पास पर्याप्त कारण हो। (पी → क्यू); (p मौजूद है क्योंकि q मौजूद है)। किसी विचार का प्रमाण तभी मिलता है जब वह प्रमाणित, आवश्यक, मौलिक तर्कों पर आधारित हो। यहां एक उदाहरण दिया गया है: "किसी त्रिभुज के समबाहु होने के लिए, यह आवश्यक और पर्याप्त है कि उसके सभी कोण बराबर हों।"

विचार के नियम तथाकथित तार्किक अनुसरण की अभिव्यक्ति हैं। तार्किक परिणाम एक मानसिक संबंध है जो परिसर (निर्णय) और उनसे निकले निष्कर्ष (निष्कर्ष) के बीच मौजूद होता है। तार्किक परिणाम सिद्धांत के अनुसार एक विचार के निर्माण के लिए एक प्रकार के मॉडल के रूप में कार्य करता है: जब कथन q तार्किक रूप से हमारे कथन p से अनुसरण करता है और यह कथन p → q के रूप में सत्य है, तो इस आधार पर नया कथन wq → w p भी होगा सत्य। अर्थात्, प्रस्ताव p → q की सत्यता, प्रस्ताव w q → w p की सत्यता की गारंटी देती है। तार्किक परिणाम का मूल सिद्धांत यह दावा है कि अधिक सामान्य योजना की शुद्धता कम सामान्य योजना की शुद्धता की गारंटी देती है, लेकिन इसके विपरीत नहीं।

कार्य और अभ्यास

1. अपनी चुनी हुई व्यावसायिक गतिविधि से सोच के मुख्य तार्किक रूपों के उदाहरण दें:

संप्रत्यय; बी) निर्णय; ग) अनुमान.

2. क्या निम्नलिखित कथन तर्क के नियमों की अभिव्यक्ति हैं:

ए) पर्याप्त कारण: "एक व्यक्ति के शरीर का तापमान बढ़ गया है, इसलिए वह बीमार पड़ गया", "यह विचार सही ढंग से बनाया गया है, इसलिए यह सच है";

बी) बहिष्कृत तीसरा: "सभी छात्र तर्कशास्त्र का अध्ययन करते हैं या कोई भी छात्र तर्कशास्त्र का अध्ययन नहीं करता है", "न्यायालय का आदेश कानूनी है या नहीं"?

औपचारिक और द्वंद्वात्मक तर्क के बीच अंतर स्पष्ट करें। जैसा कि आप जानते हैं, पारंपरिक औपचारिक तर्क के संस्थापक अरस्तू हैं। शब्द "द्वंद्वात्मक तर्क" को जर्मन दार्शनिक, वस्तुनिष्ठ आदर्शवादी जी. हेगेल (1770 - 1831) द्वारा विज्ञान में पेश किया गया था, उन्होंने आदर्शवादी आधार पर पहली बार द्वंद्वात्मक तर्क के बुनियादी कानूनों और सिद्धांतों को एक सिद्धांत के रूप में रेखांकित किया। पूर्ण आत्मा का सामान्य विकास।
तार्किक विज्ञान के विकास में द्वंद्वात्मक तर्क उच्चतम डिग्री है, लेकिन यह औपचारिक तर्क को रद्द या अवशोषित नहीं करता है, बाद वाले को पारित चरण के रूप में नहीं माना जाना चाहिए।
द्वंद्वात्मक तर्क, औपचारिक तर्क की तरह, सोच का अध्ययन करता है, लेकिन दूसरी ओर, और अन्य तरीकों से। औपचारिक तर्क एक तर्क है जो सोच की संरचना का अध्ययन करता है, हमारी राय की संरचना के नियमों का पता लगाता है। यह उत्तर देने के लिए डिज़ाइन किया गया है कि विचार की संरचना क्या होनी चाहिए ताकि यह सत्य हो और वास्तविकता को सही ढंग से पुन: पेश करे। द्वंद्वात्मक तर्क यह पता लगाता है कि कैसे अमूर्त सोच में, सत्य को पहचाना जाता है, कार्य किया जाता है सामान्य कानूनद्वंद्वात्मकता। द्वंद्वात्मक तर्क तार्किक रूपों की प्रकृति, उनके संज्ञानात्मक सार का अध्ययन करता है, वस्तुनिष्ठ दुनिया के नियमों के साथ सोच के रूपों और कानूनों के बीच संबंध को प्रकट करता है। औपचारिक तर्क तैयार, स्थापित तार्किक रूपों की संरचना का अध्ययन करता है, उनके आनुवंशिक कनेक्शन और पारस्परिक संक्रमण में रुचि किए बिना, जबकि द्वंद्वात्मक तर्क उनके कनेक्शन, संक्रमण, विकास, आंदोलन में सोच के रूपों का अध्ययन करता है।
औपचारिक तर्क की सीमा इस तथ्य में निहित है कि केवल इसके कानूनों का पालन ही अनुभूति के लिए पर्याप्त नहीं है, और इस तथ्य में भी नहीं कि इसका उपयोग केवल कुछ प्राथमिक कनेक्शनों और संबंधों के संज्ञान के लिए किया जाता है, बल्कि जटिल घटनाओं और कनेक्शनों के अध्ययन में किया जाता है। , इसके कानून काम नहीं करते। अमूर्त सोच के स्तर पर अनुभूति की प्रक्रिया में, दो क्षणों का निरंतर संयोजन होता है - विचार के प्रत्येक कार्य में औपचारिक पालन और समग्र रूप से विचार की द्वंद्वात्मक दिशा। औपचारिक और द्वंद्वात्मक तर्क दोनों हर जगह काम करते हैं, किसी भी वस्तु के संज्ञान में, सरल और जटिल दोनों, अपेक्षाकृत अचल वस्तुओं और चलती वस्तुओं दोनों के संज्ञान में, वे बदलते हैं।
प्राथमिक संबंधों का ऐसा कोई विशेष क्षेत्र नहीं है जिसे केवल औपचारिक तर्क की सहायता से पहचाना जा सके और उनमें द्वंद्वात्मक तर्क अनुपयुक्त होगा, जैसे ज्ञान का कोई ऐसा क्षेत्र नहीं है जहां सोच केवल कानूनों के अधीन हो द्वंद्वात्मक तर्क की और जहां औपचारिक तर्क की आवश्यकताओं का अनुपालन करना आवश्यक नहीं है। जहां औपचारिक तर्क के नियमों का पालन किया जाता है, वहां वास्तव में द्वंद्वात्मक सोच असंभव हो जाती है, जहां द्वंद्वात्मकता का स्थान परिष्कार और उदारवाद ने ले लिया है। औपचारिक तर्क निश्चितता, स्पष्टता, सोच की स्थिरता प्रदान करता है, कुछ ऐसा जिसके बिना तार्किक प्रक्रिया के रूप में सोचना अनिवार्य रूप से असंभव है।
औपचारिक और गणितीय तर्क के बीच सहसंबंध का प्रश्न कठिन है। अलग-अलग दृष्टिकोण हैं। कुछ का मानना ​​है कि आधुनिक औपचारिक तर्क गणितीय तर्क है और गणितीय को छोड़कर अन्य (सामान्य, पारंपरिक, शास्त्रीय) में से एक, आज मौजूद नहीं है। गणितीय तर्क, जो पारंपरिक तर्क की एक शाखा के रूप में गणित की जरूरतों से उत्पन्न हुआ, बाद वाले द्वारा प्राप्त सभी मूल्यों को अवशोषित करता है, और औपचारिक तर्क के विकास में एक नया, उच्च चरण है।
अन्य लोग इस तथ्य से आगे बढ़ते हैं कि एक सामान्य औपचारिक तर्क और गणितीय तर्क है, हालांकि वे करीब हैं, वे अलग-अलग विज्ञान हैं और उन्हें पहचाना नहीं जा सकता है। इनमें से प्रत्येक विज्ञान का अपना विषय, अपने कार्य और विधियाँ हैं। इस दृष्टिकोण के समर्थकों का मानना ​​है कि गणितीय तर्क औपचारिक तर्क की सभी समस्याओं को कवर नहीं करता है, इसलिए इसे गणितीय तर्क से प्रतिस्थापित नहीं किया जा सकता है।
कुछ वैज्ञानिक गणितीय तर्क को गणित कहते हैं और इसे उचित अर्थ में तर्क मानते हैं।
अधिकांश आधुनिक तर्कशास्त्री पहले दृष्टिकोण को पहचानते हैं, उनका मानना ​​है कि तार्किक विज्ञान के विकास के वर्तमान चरण में औपचारिक तर्क गणितीय (प्रतीकात्मक) तर्क है। इस मुद्दे पर व्यक्तिगत लेखकों के बयान यहां दिए गए हैं। उदाहरण के लिए, बी. रसेल कहते हैं: "मुख्य स्थिति... यह है कि गणित और तर्क समान हैं, और मैंने इस दृष्टिकोण को बदलने का एक भी कारण कभी नहीं देखा" 3।
जी. क्लॉस भी इसी दृष्टिकोण का पालन करते हैं। उन्होंने नोट किया कि "केवल एक ही तर्क है, औपचारिक तर्क की संरचना से गणितीय तर्क को हटाना असंभव है, और ऐसा कोई भी प्रयास आधुनिक तर्क की पूर्ण अस्वीकृति से जुड़ा है - पारंपरिक तर्क में मौजूद हर चीज़ स्थिर, हर मूल्यवान चीज़ एक ढूंढती है आधुनिक तर्कशास्त्र में स्वयं के लिए स्थान और इसकी सहायता से इसे बेहतर और गहराई से समझा जा सकता है''4.
इसके विपरीत, जे. स्कोनफ़ील्ड का मानना ​​है कि "तर्क उन प्रकार के तर्कों का अध्ययन करता है जिनका उपयोग गणित द्वारा किया जाता है" 6. बी. मेंडेलसोहन उसी दृष्टिकोण का पालन करते हैं: "हेगेल, टार्स्की, रसेल, क्लेन और कई के गहन और विनाशकारी परिणाम अन्य निवेश किए गए श्रम के लिए एक समृद्ध पुरस्कार थे और गणितीय तर्क के लिए गणित की एक स्वतंत्र शाखा की स्थिति जीती। आर. एल. गुडस्टीन गणितीय तर्क के समान दृष्टिकोण का पालन करते हैं: "गणितीय तर्क का उद्देश्य गणितीय तर्क में उपयोग की जाने वाली तार्किक प्रक्रियाओं को व्यक्त और व्यवस्थित करना है, साथ ही गणितीय अवधारणाओं को स्पष्ट करना है। यह स्वयं गणित की एक शाखा है जो गणितीय प्रतीकवाद और प्रौद्योगिकी का उपयोग करती है ...''7. "दार्शनिक विज्ञान के रूप में तर्क का विषय," बी. फोगराशी कहते हैं, "केवल गणितीय नहीं है, बल्कि संपूर्ण मानव सोच है। लेकिन तर्क की गणितीय नींव होती है, और गणित की तार्किक नींव होती है" 8.
मानव सोच को गणितीय सोच तक सीमित नहीं किया जा सकता है, जिसका अर्थ है कि तर्क, सोच के विज्ञान के रूप में, गणितीय तर्क तक सीमित नहीं किया जा सकता है।

जानना दिलचस्प है:

लेकिन अगर आपको जरूरत है

पारंपरिक तर्कअनुमानात्मक ज्ञान के नियमों का विज्ञान है। इसके संस्थापक प्राचीन काल के सबसे महान विचारक अरस्तू (384-322 ईसा पूर्व) हैं, जिन्हें के. मार्क्स और एफ. एंगेल्स ने "विचार का विशाल" कहा था।

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

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

इसलिए तार्किक रूप का अध्ययन अत्यधिक वैज्ञानिक महत्व का है। किसी भी रूप की तरह, तार्किक रूप है आंतरिक संगठनसामग्री, में इस मामले मेंकिसी व्यक्ति के दिमाग में किसी वस्तु और भौतिक जगत की घटनाओं की मानसिक छवियों का संगठन।

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

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

अरबों बार दोहराने का अभ्यास व्यक्ति के दिमाग में तर्क के आंकड़ों द्वारा तय किया जाता है। इन आंकड़ों में पूर्वाग्रह की ताकत है, इस अरबवें दोहराव के आधार पर एक स्वयंसिद्ध चरित्र सटीक (और केवल) है।

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

तार्किक रूप की सापेक्ष स्वतंत्रता इस तथ्य में भी व्यक्त की जाती है कि तार्किक रूप जबरदस्ती है, जो स्वीकृत परिसर से निष्कर्ष निकालने के लिए मजबूर करता है।

जबरदस्ती के चरित्र का कोई तार्किक रूप होता है। इस प्रकार, सभी तार्किक रूपों में सापेक्ष स्वतंत्रता और जबरदस्ती का चरित्र होता है।

तर्क का महत्व इस तथ्य में निहित है कि यह सिखाता है कि तर्क को फॉर्म (संरचना) में सही ढंग से कैसे बनाया जाए ताकि, औपचारिक तार्किक कानूनों के सही अनुप्रयोग के अधीन, सच्चे परिसर से सही निष्कर्ष पर पहुंचा जा सके जो हमारे ज्ञान का विस्तार करता है। तर्क की आवश्यकताओं का अनुपालन सुसंगत, सुसंगत, उचित सोच के लिए एक अनिवार्य शर्त है। यह आश्चर्य की बात नहीं है कि प्राचीन काल से लोग "तर्क" शब्द को वस्तुनिष्ठ वास्तविकता के महत्वपूर्ण गुणों के ज्ञान के साथ जोड़ने के आदी रहे हैं: घटनाओं के अनुक्रम के विचार में प्रतिबिंब, दूसरों द्वारा कुछ घटनाओं की वैधता, कार्य-कारण, प्रणालीगतता, क्रम , आदि ए आइंस्टीन ने एक बार इसे अच्छी तरह से व्यक्त किया था जब उन्होंने कहा था कि विज्ञान "हमारे अनुभवों को व्यवस्थित करना और उन्हें एक तार्किक प्रणाली में डालना चाहता है"।

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

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

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

परिचय
1. एक विज्ञान के रूप में तर्क की उत्पत्ति और सार
2. तर्क के विकास में मुख्य ऐतिहासिक चरण
2.1 प्रतीकात्मक (गणितीय) तर्क का निर्माण
2.2 आगमनात्मक तर्क का उदय
2.3 द्वंद्वात्मक तर्क का गठन
निष्कर्ष
साहित्य

परिचय

तर्क सबसे पुराने विज्ञानों में से एक है। वर्तमान में यह स्थापित करना संभव नहीं है कि किसने, कब और कहाँ सबसे पहले सोच के उन पहलुओं की ओर रुख किया जो तर्क का विषय हैं। तार्किक सिद्धांत के अलग-अलग स्रोत ईसा पूर्व दूसरी सहस्राब्दी के अंत में भारत में पाए जा सकते हैं। इ। हालाँकि, अगर हम एक विज्ञान के रूप में तर्क के उद्भव के बारे में बात करते हैं, यानी ज्ञान के अधिक या कम व्यवस्थित निकाय के बारे में, तो प्राचीन ग्रीस की महान सभ्यता को तर्क का जन्मस्थान मानना ​​उचित होगा। यह यहाँ V-IV सदियों ईसा पूर्व में था। इ। लोकतंत्र के तेजी से विकास और उससे जुड़े सामाजिक और राजनीतिक जीवन के अभूतपूर्व पुनरुद्धार की अवधि के दौरान, इस विज्ञान की नींव डेमोक्रिटस, सुकरात और प्लेटो के कार्यों द्वारा रखी गई थी। पूर्वज, तर्क के "पिता", को प्राचीनता का सबसे बड़ा विचारक, प्लेटो का छात्र - अरस्तू (384-322 ईसा पूर्व) माना जाता है। यह वह था जिसने अपने कार्यों में, सामान्य नाम "ऑर्गनॉन" (ज्ञान का साधन) से एकजुट होकर, पहली बार तर्क के मुख्य तार्किक रूपों और नियमों का गहन विश्लेषण और वर्णन किया, अर्थात्: निष्कर्ष के रूप- श्रेणीबद्ध निर्णय कहा जाता है - श्रेणीबद्ध न्यायशास्त्र ("प्रथम विश्लेषिकी"), वैज्ञानिक साक्ष्य ("द्वितीय विश्लेषिकी") के बुनियादी सिद्धांतों को तैयार किया, कुछ प्रकार के कथनों ("व्याख्या पर") के अर्थ का विश्लेषण दिया, मुख्य दृष्टिकोणों की रूपरेखा तैयार की अवधारणा के सिद्धांत का विकास ("श्रेणियाँ")। अरस्तू ने विवादों में विभिन्न प्रकार की तार्किक त्रुटियों और परिष्कृत तकनीकों को उजागर करने पर भी गंभीरता से ध्यान दिया ("परिष्कार खंडन पर")।

1. एक विज्ञान के रूप में तर्क की उत्पत्ति और सार

तर्क का एक लंबा और समृद्ध इतिहास है, जो समग्र रूप से समाज के विकास के इतिहास से अटूट रूप से जुड़ा हुआ है।

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

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

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

तर्क, सबसे पहले, उन आवश्यकताओं को पहचानने और उचित ठहराने के प्रयास के रूप में उत्पन्न हुआ, जिन्हें वैज्ञानिक सोच को पूरा करना होगा ताकि उसके परिणाम वास्तविकता के अनुरूप हो सकें।

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

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

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

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

तर्क के संस्थापक - या, जैसा कि वे कभी-कभी कहते हैं, "तर्क का जनक" - सबसे बड़ा माना जाता है प्राचीन यूनानी दार्शनिकऔर विश्वकोश वैज्ञानिक अरस्तू (384-322 ईसा पूर्व)।

अरस्तू के पास तर्क पर कई ग्रंथ हैं, जिन्हें बाद में "ऑर्गनॉन" (ग्रीक ऑर्गेनन से - उपकरण, उपकरण) नाम से एकजुट किया गया।

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

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

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

आगमनात्मक तर्क को बाद में अंग्रेजी दार्शनिक और वैज्ञानिक जे. सेंट द्वारा व्यवस्थित और विकसित किया गया। मिल (1806-1873) ने अपने दो खंडों वाले कार्य "द सिस्टम ऑफ लॉजिक, सिलोजिस्टिक एंड इंडक्टिव" में लिखा है। इसने वैज्ञानिक ज्ञान के आगे के विकास को महत्वपूर्ण रूप से प्रभावित किया, नई ऊंचाइयों की उपलब्धि में योगदान दिया।

17वीं शताब्दी में न केवल आगमनात्मक, बल्कि निगमनात्मक पद्धति में भी वैज्ञानिक ज्ञान की आवश्यकता हुई। इसे पूरी तरह से फ्रांसीसी दार्शनिक और वैज्ञानिक रेने डेसकार्टेस (1596-1650) ने मूर्त रूप दिया। डेटा, मुख्य रूप से गणित पर आधारित अपने मुख्य कार्य "डिस्कोर्स ऑन द मेथड ..." में, उन्होंने वैज्ञानिक ज्ञान की मुख्य विधि के रूप में तर्कसंगत कटौती के महत्व पर जोर दिया। पोर्ट-रॉयल में मठ के डेसकार्टेस के अनुयायियों ए. अर्नो और पी. निकोल ने "लॉजिक, या द आर्ट ऑफ़ थिंकिंग" नामक कृति बनाई। इसे "द लॉजिक ऑफ़ पोर्ट-रॉयल" के नाम से जाना जाने लगा और लंबे समय तक इस विज्ञान पर पाठ्यपुस्तक के रूप में इसका उपयोग किया गया। इसमें, लेखक पारंपरिक तर्क से बहुत आगे निकल गए और वैज्ञानिक ज्ञान की पद्धति, खोजों के तर्क पर ध्यान केंद्रित किया। उनके द्वारा तर्क को सभी विज्ञानों का संज्ञानात्मक उपकरण माना गया। इस तरह के "विस्तारित तर्क" का निर्माण 19वीं-20वीं शताब्दी में विशेषता बन गया।

2. तर्क के विकास में मुख्य ऐतिहासिक चरण

2.1 प्रतीकात्मक (गणितीय) तर्क का निर्माण

तार्किक अनुसंधान में वास्तविक क्रांति 19वीं शताब्दी के उत्तरार्ध में सृजन के कारण हुई। गणितीय तर्क, जिसे प्रतीकात्मक भी कहा जाता था और एक नया नाम दिया गया, आधुनिक मंचतर्क के विकास में

इस तर्क की शुरुआत पहले से ही अरस्तू के साथ-साथ उनके अनुयायियों में भी, विधेय तर्क के तत्वों और मोडल अनुमानों के सिद्धांत के साथ-साथ प्रस्तावात्मक तर्क के रूप में देखी जा सकती है। हालाँकि, इसकी समस्याओं का व्यवस्थित विकास बहुत बाद के समय का है।

17वीं शताब्दी के उत्तरार्ध में ही गणित के विकास में सफलताएँ बढ़ रही थीं और गणितीय विधियों का अन्य विज्ञानों में प्रवेश हो रहा था। दो मूलभूत समस्याओं को जोरदार ढंग से उठाया। एक ओर, यह गणित की सैद्धांतिक नींव विकसित करने के लिए तर्क का अनुप्रयोग है, और दूसरी ओर, एक विज्ञान के रूप में तर्क का गणितीकरण है। उत्पन्न हुई समस्याओं को हल करने का सबसे गहन और फलदायी प्रयास महानतम जर्मन दार्शनिक और गणितज्ञ जी. लीबनिज (1646-1416) द्वारा किया गया था। इस प्रकार, वह, संक्षेप में, गणितीय (प्रतीकात्मक) तर्क के सर्जक बन गए। लीबनिज ने एक ऐसे समय का सपना देखा था जब वैज्ञानिक अनुभवजन्य अनुसंधान में नहीं, बल्कि हाथों में पेंसिल लेकर कैलकुलस में लगे होंगे। उन्होंने इस उद्देश्य के लिए एक सार्वभौमिक प्रतीकात्मक भाषा का आविष्कार करने की कोशिश की जिसके माध्यम से किसी भी अनुभवजन्य विज्ञान को तर्कसंगत बनाया जा सके। उनकी राय में, नया ज्ञान तार्किक गणना - कैलकुलस का परिणाम होगा।

18वीं शताब्दी में लाइबनिज़ के विचारों को कुछ विकास प्राप्त हुआ। और 19वीं सदी का पूर्वार्द्ध। हालाँकि, प्रतीकात्मक तर्क के शक्तिशाली विकास के लिए सबसे अनुकूल परिस्थितियाँ 19वीं सदी के उत्तरार्ध में ही विकसित हुईं। इस समय तक, विज्ञान के गणितीकरण ने विशेष रूप से महत्वपूर्ण प्रगति हासिल कर ली थी, और गणित में ही इसके औचित्य की नई मूलभूत समस्याएं पैदा हुईं। . अंग्रेज वैज्ञानिक, गणितज्ञ और तर्कशास्त्री जे. बूले (1815-1864) ने अपने कार्यों में सबसे पहले गणित को तर्क पर लागू किया। उन्होंने अनुमान के सिद्धांत का गणितीय विश्लेषण दिया, एक तार्किक कैलकुलस ("बूलियन बीजगणित") विकसित किया। जर्मन तर्कशास्त्री और गणितज्ञ एच. फ़्रीज (1848-1925) ने गणित के अध्ययन में तर्क को लागू किया। विस्तारित विधेय कलन के माध्यम से, उन्होंने अंकगणित की एक औपचारिक प्रणाली का निर्माण किया। अंग्रेजी दार्शनिक, तर्कशास्त्री और गणितज्ञ बी. रसेल (1872-1970) ए. व्हाइटहेड (1861-1947) के साथ तीन खंडों में मौलिक कार्य"गणित के सिद्धांतों" ने अपनी तार्किक पुष्टि के उद्देश्य से तर्क के निगमनात्मक-स्वयंसिद्ध निर्माण को व्यवस्थित रूप में लागू करने का प्रयास किया।

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

2.2 आगमनात्मक तर्क का उदय

बेकन की प्रयोगात्मक-आगमनात्मक पद्धति में तथ्यों और प्राकृतिक घटनाओं की व्याख्या के माध्यम से नई अवधारणाओं का क्रमिक निर्माण शामिल था। बेकन के अनुसार, केवल ऐसी पद्धति के माध्यम से ही नए सत्य की खोज करना संभव है, न कि समय को चिह्नित करना। कटौती को अस्वीकार किए बिना, बेकन ने अनुभूति के इन दो तरीकों के अंतर और विशेषताओं को इस प्रकार परिभाषित किया: “सच्चाई की खोज के लिए दो तरीके मौजूद हैं और मौजूद हो सकते हैं। व्यक्ति संवेदनाओं और विशिष्टताओं से सबसे सामान्य सिद्धांतों की ओर बढ़ता है, और, इन नींवों और उनके अटल सत्य से आगे बढ़ते हुए, मध्य सिद्धांतों पर चर्चा करता है और उनकी खोज करता है। आज भी वे इसका इसी तरह उपयोग करते हैं। दूसरी ओर, दूसरा मार्ग, संवेदनाओं और विवरणों से स्वयंसिद्धों को प्राप्त करता है, जो लगातार और धीरे-धीरे बढ़ते हुए अंततः सबसे सामान्य सिद्धांतों तक पहुंच जाता है। यह सच्चा मार्ग है, लेकिन परीक्षण नहीं किया गया है।

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

बेकन की आगमनात्मक विधि में आवश्यक चरणों में तथ्यों का संग्रह, उनका व्यवस्थितकरण शामिल है। बेकन ने शोध की तीन तालिकाएँ संकलित करने का विचार सामने रखा - उपस्थिति, अनुपस्थिति और मध्यवर्ती चरणों की एक तालिका। यदि, बेकन के पसंदीदा उदाहरण का उपयोग करते हुए, कोई गर्मी का रूप खोजना चाहता है, तो वह पहली तालिका में गर्मी के विभिन्न मामलों को इकट्ठा करता है, उन सभी चीजों को हटाने की कोशिश करता है जिनमें कुछ भी सामान्य नहीं है, यानी। जब गर्मी मौजूद है तो क्या है? दूसरी तालिका में वह ऐसे मामले एकत्र करता है जो पहले के समान हैं, लेकिन जिनमें कोई गर्मी नहीं है। उदाहरण के लिए, पहली तालिका में सूर्य की किरणें सूचीबद्ध हो सकती हैं जो गर्मी पैदा करती हैं, दूसरी में चंद्रमा या सितारों की किरणें जैसी चीजें शामिल हो सकती हैं जो गर्मी पैदा नहीं करती हैं। इस आधार पर उन सभी चीजों को अलग करना संभव है जो गर्मी मौजूद होने पर मौजूद होती हैं। अंत में, तीसरी तालिका में, ऐसे मामले एकत्र किए जाते हैं जिनमें गर्मी अलग-अलग डिग्री तक मौजूद होती है। बेकन के अनुसार, इन तीन तालिकाओं का एक साथ उपयोग करके, हम उस कारण का पता लगा सकते हैं जो गर्मी का कारण बनता है, अर्थात्, बेकन के अनुसार, गति। यह घटना के सामान्य गुणों के अध्ययन, उनके विश्लेषण के सिद्धांत को प्रकट करता है। बेकन की आगमनात्मक विधि में एक प्रयोग करना भी शामिल है।

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

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

2.3 द्वंद्वात्मक तर्क का गठन

यदि पारंपरिक (अरिस्टोटेलियन) और प्रतीकात्मक (गणितीय) तर्क दोनों एक ही औपचारिक तर्क के विकास में गुणात्मक रूप से भिन्न चरण हैं, तो द्वंद्वात्मक तर्क एक और महत्वपूर्ण है अवयवसोच के विज्ञान के रूप में आधुनिक तर्क। तर्क के इतिहास की ओर फिर से मुड़ने पर, हम पाते हैं कि अरस्तू ने पहले ही द्वंद्वात्मक तर्क की कई मूलभूत समस्याओं को सामने रखा और हल करने का प्रयास किया - अवधारणाओं में वास्तविक विरोधाभासों को प्रतिबिंबित करने की समस्या, व्यक्ति और सामान्य के बीच संबंधों की समस्या, वस्तु और इसकी अवधारणा, आदि। द्वंद्वात्मक तर्क के तत्व धीरे-धीरे बाद के विचारकों के कार्यों में जमा हुए और विशेष रूप से बेकन, हॉब्स, डेसकार्टेस, लाइबनिज़ के कार्यों में स्पष्ट रूप से प्रकट हुए। हालाँकि, एक अपेक्षाकृत स्वतंत्र तार्किक विज्ञान के रूप में, सोच के दृष्टिकोण में औपचारिक तर्क से गुणात्मक रूप से भिन्न, द्वंद्वात्मक तर्क केवल XVIII के अंत में आकार लेना शुरू हुआ - प्रारंभिक XIXवी और यह भी सबसे पहले विज्ञान की प्रगति से जुड़ा है। उनके विकास में, एक नया चरण अधिक से अधिक स्पष्ट रूप से पहचाना गया: स्थापित, "तैयार" वस्तुओं के विज्ञान से, वे तेजी से प्रक्रियाओं के बारे में, इन वस्तुओं की उत्पत्ति और विकास के बारे में, साथ ही साथ विज्ञान में बदल गए। वह संबंध जिसने उन्हें एक महान इकाई में एकजुट किया।

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

ऐसी परिस्थितियों में, द्वंद्वात्मक सोच की नियमितता का प्रश्न पूरी ताकत से उठा। द्वंद्वात्मकता को तर्कशास्त्र में सचेत रूप से शामिल करने का प्रयास करने वाले पहले व्यक्ति जर्मन दार्शनिक आई. कांट (1724-1804) थे। अरस्तू से शुरू करके तर्क के विकास के सदियों पुराने इतिहास की समीक्षा करते हुए, उन्होंने सबसे पहले, इस विकास के परिणामों को संक्षेप में प्रस्तुत किया। अपने कुछ पूर्ववर्तियों के विपरीत, कांट ने इसकी उपलब्धियों से इनकार नहीं किया। इसके विपरीत, दार्शनिक का मानना ​​था, तर्क ने कुछ सफलताएँ हासिल की हैं, और यह इन सफलताओं का श्रेय "अपनी सीमाओं की निश्चितता" को देता है, और इसकी सीमाएँ इस तथ्य के कारण हैं कि यह "एक विज्ञान है जो विस्तार से और सख्ती से निर्धारित करता है" सभी सोच के केवल औपचारिक नियम ही साबित होते हैं..."।

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

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

एक नए, द्वंद्वात्मक तर्क की एक अभिन्न प्रणाली विकसित करने का एक भव्य प्रयास एक अन्य जर्मन दार्शनिक, जी. हेगेल (1770-1831) द्वारा किया गया था। अपने मौलिक कार्य द साइंस ऑफ लॉजिक में, उन्होंने सबसे पहले उपलब्ध तार्किक सिद्धांतों और सोच के वास्तविक अभ्यास के बीच मूलभूत विरोधाभास को प्रकट किया, जो उस समय तक महत्वपूर्ण ऊंचाइयों तक पहुंच चुका था। इस विरोधाभास को हल करने का साधन उनके द्वारा - एक अजीब, धार्मिक-रहस्यमय रूप में - नए तर्क की एक प्रणाली का निर्माण था। यह अपनी सारी जटिलता और असंगतता में सोच की द्वंद्वात्मकता पर ध्यान केंद्रित करता है। हेगेल ने विचार की प्रकृति, उसके नियमों और रूपों की पुनः जाँच की। इस संबंध में, वह इस निष्कर्ष पर पहुंचे कि "द्वंद्वात्मकता स्वयं सोच की प्रकृति है, कि तर्क की क्षमता में इसे स्वयं के निषेध में, विरोधाभास में गिरना चाहिए।"

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

लेकिन इस आलोचना में वह इस हद तक आगे बढ़ गए कि उन्होंने पहचान के नियम और विरोधाभास के नियम पर आधारित इसके सिद्धांतों को अस्वीकार कर दिया। औपचारिक तर्क और द्वंद्वात्मक तर्क के बीच वास्तविक संबंध को विकृत करने के बाद, उन्होंने पहला बड़ा झटका दिया, जिससे इसके बाद के विकास की गति धीमी हो गई।

निष्कर्ष

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

अरस्तू के तार्किक अनुसंधान की मौलिक प्रकृति इस तथ्य में प्रकट होती है कि उनकी तार्किक शिक्षा, कुछ पहलुओं में सुधारित और कभी-कभी विकृत, 19वीं शताब्दी के मध्य तक बिना किसी मूलभूत परिवर्तन के अस्तित्व में थी और इसे पारंपरिक तर्क कहा जाता था।

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

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

प्रयुक्त साहित्य की सूची

1. ब्रायुशिंकिन वी.एन. तर्क: प्रोक. विश्वविद्यालयों के लिए. - तीसरा संस्करण; सही है, जोड़ें. - एम.: गार्डारिकी, 2001।
2. डिग्टिएरेव एम.जी. तर्क: प्रोक. विश्वविद्यालयों के लिए भत्ता. - एम.: पर्से, 2003।
3. गेटमानोवा ए.डी. तर्क पर पाठ्यपुस्तक। - एम., 1995.
4. एरीशेव ए. ए. एट अल. तर्क: व्याख्यान का एक कोर्स / ए. ए. एरीशेव, एन. पी. लुकाशेविच, ई. एफ. स्लैस्टेंको। - कीव: एमएयूपी, 2000.
5. इविन ए.ए. तर्क. - एम।: ग्रेजुएट स्कूल, 2002.
6. किरिलोव वी.आई., स्टारचेंको ए.ए. तर्क. - एम., 2000.
7. तर्क. पाठ्यपुस्तक / एड. इवानोवा ई.आई. - एम., 2000.

एक विज्ञान के रूप में तर्क 5वीं के अंत में - 4थी शताब्दी की शुरुआत में प्राचीन ग्रीस (एथेंस) में उत्पन्न हुआ और कई शताब्दियों तक इसे शिक्षा का एक मानदंड माना जाता था। प्राचीन यूनानी दार्शनिक अरस्तू को तर्कशास्त्र का संस्थापक माना जाता है। प्राचीन ग्रीस में तार्किक विज्ञान के विकास में अरस्तू के अग्रदूत पारमेनाइड्स, एलिया के ज़ेनो, सुकरात और प्लेटो थे। अरस्तू ने पहली बार तर्क के बारे में उपलब्ध ज्ञान को व्यवस्थित किया, तार्किक सोच के रूपों और नियमों को प्रमाणित किया। उनके कार्यों "ऑर्गनॉन" ("ज्ञान के उपकरण") में, विचार के बुनियादी नियम तैयार किए गए, जैसे पहचान का कानून, विरोधाभास और बहिष्कृत मध्य। उन्होंने अवधारणाओं और निर्णयों का एक सिद्धांत भी विकसित किया, और निगमनात्मक और न्यायशास्त्रीय तर्क की खोज की।

विज्ञान के रूप में तर्क के उद्भव के दो मुख्य कारण हैं:

1) दर्शन और विज्ञान, मुख्यतः गणित की उत्पत्ति और प्रारंभिक विकास।

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

तर्क, सबसे पहले, उन आवश्यकताओं को पहचानने और समझाने के प्रयास के रूप में उत्पन्न हुआ, जिन्हें तर्कसंगत वैज्ञानिक सोच को पूरा करना होगा ताकि उसके परिणाम वास्तविकता के अनुरूप हो सकें।

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

प्राचीन ग्रीस में अरस्तू के बाद तर्कशास्त्र का विकास स्टोइक स्कूल के प्रतिनिधियों द्वारा भी किया गया था। इस विज्ञान के विकास में एक महान योगदान वक्ता सिसरो और वक्तृत्व के प्राचीन रोमन सिद्धांतकार क्विंटिलियन द्वारा किया गया था।

19वीं सदी की शुरुआत में जी.वी.एफ. हेगेल ने विचार-गति की प्रक्रिया को प्रतिबिंबित करने की दृष्टि से इसकी सीमाओं और अपर्याप्तता की ओर संकेत किया। उन्होंने कहा कि ऐसा तर्क विचार की सामग्री की गति को नहीं, बल्कि विचार प्रक्रिया के रूप को दर्शाता है। इस कमी की भरपाई करने के लिए, हेगेल ने एक नया द्वंद्वात्मक तर्क बनाया, और जो इसके पहले अस्तित्व में था उसे औपचारिक कहा।

द्वंद्वात्मक तर्क के अध्ययन का विषय मानव सोच के विकास के नियम और उन पर आधारित कार्यप्रणाली सिद्धांत (निष्पक्षता, विषय का व्यापक विचार, ऐतिहासिकता का सिद्धांत, एक का विपरीत पक्षों में विभाजन, एक से ऊपर उठना) हैं। कंक्रीट के लिए सार, आदि)।

द्वंद्वात्मक तर्क वास्तविकता की द्वंद्वात्मकता को जानने का एक तरीका है।

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

औपचारिक तर्क रूप का अध्ययन सामग्री से अलग, कुछ अलग के रूप में करता है।

औपचारिक तर्क के अध्ययन का विषय सोच का रूप है।

औपचारिक तर्क का विज्ञान है सामान्य संरचनाएँअपने भाषाई रूप में सही सोच, इसके अंतर्निहित पैटर्न को प्रकट करना।

तार्किक रूपों को विचारों के विभिन्न कनेक्शन कहा जाता है, जिन्हें सोच की संरचनात्मक संरचना माना जाता है।

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

सामान्य तर्क तीन तार्किक रूपों का सिद्धांत है: अवधारणा, निर्णय, अनुमान।