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