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