عِلْمُ المَنْطِقِ هُوَ عِلْمٌ يَبْحَثُ في القواعدِ والأُسُسِ التي تُنظِّم التفكيرَ الصحيح ، وتُميِّز بَيْنَ الاستدلالِ السليمِ والاستدلالِ الخاطئ . وَهَذا العِلْمُ آلةٌ قانونية تَحْمِي الذِّهْنَ مِنَ الخَطأ في الفِكْرِ .
يُعْتَبَرُ الفَيلسوفُ اليوناني أَرِسْطُو طاليس ( 384 ق. م _ 322 ق.م ) مُؤسِّسَ عِلْمِ المَنْطِقِ . وَهُوَ أوَّلُ فَيلسوف قامَ بتحليل العملية التي بِمُوجِبها يُمْكِن مَنطقيًّا استنتاج أنَّ أيَّة قضية مِنَ المُمْكِن أن تكون صحيحة استنادًا إلى صِحَّة قضايا أُخْرَى ، وقد كان اعتقادُه أنَّ عملية الاستدلال المَنطقي تَقُوم عَلى أساس شكل من أشكال البُرهان سَمَّاه القِياس . وفي حالة القِياس ، يُمْكِن البَرْهَنَة أو الاستدلال مَنطقيًّا على صِحَّةِ قضية مُعيَّنة ، إذا كانت هُناك قَضِيَّتَان أُخْرَيَان صحيحتان .
والفَيلسوفُ الإيطالي توما الأكويني ( 1225 _ 1274 ) تَمَسَّكَ بِمَنْطِقِ أَرِسْطُو ، واتَّخَذَ مِنَ المَنهجِ الأَرِسْطِيِّ أساسًا لأبحاثِه ، فَبَدَأ أوَّلًا بِتَحديدِ المُشكلة ، ثُمَّ حَصْر أوْجُهِ الخِلاف فِيها ، باستعراض شَتَّى المُشكلات والشُّكوك التي تُثَار حَوْلَها ، والعمل على الإجابة عنها بالأدلة المَنْطِقِيَّة المُقْنِعَة . وكانَ دَوْرُهُ مُهِمًّا مِنْ ناحيةِ الشَّرْحِ والدَّمْجِ بَيْنَ الفلسفةِ الأَرِسْطِيَّةِ والعَقيدةِ المَسِيحِيَّةِ .
والفَيلسوفُ الألماني جوتلوب فريجه ( 1848_ 1925 ) يُعَدُّ أشهرَ مَن اهْتَمَّ بالفلسفةِ التَّحليليةِ ، وَمَنْطِقِ الرِّياضياتِ الحديثة . وَهُوَ أحَدُ مُؤسِّسي المَنْطِقِ الحديث ، وأحد أكبر فلاسفة المَنْطِقِ بَعْدَ أَرِسْطُو . وقد ابتكرَ فريجه لُغةً اصطناعية بواسطة الرموز المَنْطِقِيَّة ، وساهمَ في تطوير جُزْء كبير من أبحاث المَنْطِقِ الرِّياضي ، وكانَ مِنْ دُعَاةِ مَا يُعْرَف بالمَذهَبِ المَنْطِقِيِّ ، وَهُوَ اتِّجاه يَدْعُو إلى رَدِّ التَّصَوُّراتِ الرِّياضيَّة الأساسيَّة إلى تَصَوُّرَاتٍ مَنْطِقِيَّة خالصة .
والفَيلسوفُ الألماني إدموند هُوسِّرل ( 1859_ 1938 ) طَوَّرَ عِلْمَ المَنْطِقِ ، وساهمَ في كَشْفِ الجَوانبِ المَعْرفيةِ والفَلسفيةِ للمَنْطِقِ . وَنَفَى أنْ تَكُون العَلاقاتُ المَنْطِقِيَّةُ خاضعةً للتأثيراتِ النَّفْسِيَّة ، واعتبرَ العَلاقاتِ المَنْطِقِيَّة تَنْتمي إلى عَالَمٍ خاص ( المَاهِيَّات ) المُستقلة عَن العَقْلِ البَشَرِيِّ . وهذه المَاهِيَّاتُ بِمَثابةِ حقائق ثابتة تَجْعَل الأفرادَ يَتَّفقون حَوْلَها ، فَيُصْدِرُون أحكامَهم وقَرَاراتهم .