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