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