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

व्युत्पत्ति विज्ञान यह जानने की अनुमति देता है कि 'लॉजिक' शब्द का मूल लैटिन शब्द logmca में है, जो बदले में ग्रीक logikós ( logos, "कारण" या "अध्ययन" ) से निकलता है । ग्रीक दार्शनिक अरस्तू, ऐतिहासिक सवालों के विशेषज्ञ, ने विज्ञान के भीतर सत्य के संकेतक के रूप में तर्कों की जांच का नाम देने के लिए धारणा का उपयोग करने और एक वैध तर्क के रूप में समाजवाद को प्रस्तुत करने का बीड़ा उठाया।

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

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

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

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

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

प्राकृतिक तर्क विज्ञान की अपील के बिना तर्क करने की स्वाभाविक क्षमता है। दूसरी ओर, तथाकथित फ़र्ज़ी या फैलाने वाला तर्क, वह है जो प्रस्तावों के वास्तविक या झूठे चरित्र का विश्लेषण करते समय एक निश्चित अनिश्चितता पर विचार करता है, जो मनुष्य के उचित तर्क के समान है।

दूसरी ओर, गणितीय तर्क को एक कृत्रिम प्रतीकात्मक भाषा और सामग्री के एक अमूर्त उपयोग की विशेषता है।

तर्क के अन्य प्रकार या वर्ग हैं, जैसे बाइनरी लॉजिक कॉल, जो चर के साथ काम करता है जो केवल दो असतत मान लेते हैं।