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