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