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

يُمكن تعريف المنطق من خلال عدة جوانب :

*

الاستدلال:

المنطق يُعنى بكيفية الوصول إلى استنتاجات من معلومات مُعطاة (براهين). يُحدد قواعد الاستدلال الصحيح والخطأ.
*

الحجج:

يُحلل المنطق الحجج لتحديد صحتها، أي هل الاستنتاج يتبع منطقياً من الفرضيات. ويُميّز بين الحجج الصحيحة (الصالحة) والحجج غير الصحيحة (غير الصالحة).
*

العبارات:

يتعامل المنطق مع العبارات، ويُحدد قيمتها الصحيحة (صحيح أو خطأ) وكيفية ارتباط هذه العبارات ببعضها البعض.
*

النماذج:

يُستخدم المنطق لإنشاء نماذج للتفكير، والتي تُساعد في تمثيل المعلومات و التحقق من صحة الاستنتاجات.


هناك أنواع مختلفة من المنطق، منها:

*

المنطق الرمزي:

يستخدم الرموز والرموز الرياضية لتمثيل العبارات و العلاقات المنطقية.
*

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

يتعامل مع الحجج القياسية التي تتكون من مقدمتين واستنتاج.
*

المنطق الغامض:

يتعامل مع المفاهيم الغامضة التي لا يمكن تحديدها بدقة.
*

المنطق الحدسي:

يتعامل مع المفاهيم و الاستدلالات الحدسية.


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