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

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

तर्क के भाग

• परिसर. कारण के रूप में प्रस्तुत कथन.
• निष्कर्ष. कथन का समर्थन किया जा रहा है.
• अनुमान. आधार वाक्य और निष्कर्ष के बीच का संबंध।
• वैधता. क्या निष्कर्ष अनिवार्य रूप से निकलता है.
• साउंडनेस. वैधता और सही आधार।

किसी तर्क को पहचानना यानी उसका निष्कर्ष निकालना और यह पूछना कि उसे क्या समर्थन देता है। यह कौशल दर्शनशास्त्र, कानून, विज्ञान और रोजमर्रा के निर्णय लेने में अत्यंत महत्वपूर्ण है।