تنقسم أنواع المنطق إلى عدة تصنيفات، بحسب المعايير المُعتمدة. إليك بعض أهمها :

1. بحسب مجال التطبيق:

*

المنطق الرياضي (Formal Logic):

يهتم بدراسة البنى الرسمية للبرهان والاستنتاج، بغض النظر عن محتوى العبارات. يشمل عدة أنظمة مثل:
*

المنطق القياسي (Propositional Logic):

يتعامل مع العبارات البسيطة ومعاملاتها المنطقية (و، أو، لا، إلخ).
*

المنطق الرمزي من الدرجة الأولى (First-Order Logic):

يتعامل مع المتغيرات، الدوال، والكميات (الكل، بعض). أكثر تعقيدًا من المنطق القياسي ويستخدم في العديد من المجالات.
*

المنطق ذو الرتب الأعلى (Higher-Order Logic):

يتيح الكميّة على الدوال والمتنبّئات.
*

المنطق الغامض (Fuzzy Logic):

يتعامل مع الحقائق غير الدقيقة أو الجزئية، حيث لا تكون العبارات إما صحيحة أو خاطئة بشكل مطلق.
*

المنطق الاحتمالي (Probabilistic Logic):

يدمج الاحتمالات مع المنطق الكلاسيكي لتحديد درجات صحة العبارات.
*

المنطق الزمني (Temporal Logic):

يعالج العبارات التي تتغير قيمتها الحقيقة مع الزمن.
*

المنطق المودالي (Modal Logic):

يدرس المفاهيم مثل الضرورة والإمكانية.


*

المنطق غير الرسمي (Informal Logic):

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


*

المنطق الفلسفي:

يُستخدم في دراسة المواضيع الفلسفية، مثل الوجود، المعرفة، الأخلاق.


2. بحسب نوع الاستنتاج:

*

الاستنتاج الاستنتاجي (Deductive Reasoning):

الانتقال من premises عامة إلى استنتاج خاص. إذا كانت premises صحيحة، يكون الاستنتاج صحيحًا بشكل مؤكد. مثال: "جميع البشر بشر، سقراط إنسان، إذًا سقراط بشر".
*

الاستنتاج الاستقرائي (Inductive Reasoning):

الانتقال من premises خاصة إلى استنتاج عام. حتى لو كانت premises صحيحة، لا يضمن ذلك صحة الاستنتاج بشكل قطعي، وإنما يعزز احتماليته. مثال: "رأيت عشرة أرانب بيضاء، إذًا جميع الأرانب بيضاء".
*

الاستنتاج الاستنتاجي الإحصائي (Statistical Reasoning):

يستخدم الإحصاءات والاحتمالات للوصول إلى استنتاجات.


3. بحسب طبيعة العبارات:

*

المنطق ثنائي القيمة (Bivalent Logic):

كل عبارة إما صحيحة أو خاطئة.
*

المنطق متعدد القيم (Multi-valued Logic):

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



هذا التصنيف ليس شاملاً، فهناك تداخلات بين هذه الأنواع، وقد توجد تصنيفات أخرى. الاختيار بين نوع المنطق المُناسب يعتمد على سياق المشكلة أو السؤال المطروح.