المنطق هو دراسة الاستدلال الصحيح، وهو يُعنى بدراسة ما يترتب على ماذا. الحجة الصحيحة هي تلك التي تكون فيها النتيجة صحيحة بالضرورة إذا كانت المقدمات صحيحة. يوفر المنطق الأدوات اللازمة لتمييز الحجج الجيدة عن السيئة. قام أرسطو بتنظيم المنطق باستخدام القياس المنطقي، ثم قام علماء المنطق في العصور الوسطى بتطويره. أما فريجه وراسل فقد طورا المنطق الرمزي الحديث، الذي يستخدم لغات رسمية لتمثيل الحجج وقواعد الاستدلال للوصول إلى النتائج. يُستخدم المنطق في الرياضيات وعلوم الحاسوب واللغويات والفلسفة.

المنطق ليس علم النفس. فهو يدرس المبادئ المعيارية، لا كيفية تفكير الناس فعليًا. غالبًا ما يلجأ الناس إلى التفكير غير المنطقي، لكن هذا لا يغير من متطلبات الصلاحية. كما أن المنطق ليس البلاغة. فالبلاغة تهدف إلى الإقناع، بينما يهدف المنطق إلى الإثبات. قد يتداخلان، لكنهما متميزان. للمنطق فروع عديدة: منطق القضايا، ومنطق المحمولات، والمنطق الموجه، والمنطق الزمني، والمنطق متعدد القيم، وغيرها. ولكل فرع رموزه وقواعده ودلالاته الخاصة. المنطق علمٌ رسمي، كالهندسة، وله تطبيقات في أي مجال يتطلب تفكيرًا دقيقًا.

أنواع المنطق

• Propositional. يتعامل مع القضايا الكاملة والروابط.
• Predicate. يتعامل مع الكائنات والخصائص والمحددات الكمية.
• Modal. يتعامل مع الإمكانية والضرورة.
• Informal. يتعامل مع الاستدلال باللغة الطبيعية.

المنطق ليس مجموعة من المعارف حول العالم، بل هو مجموعة من المعارف حول ما يترتب على ماذا.