المنطق الرمزي هو طريقة لتمثيل العبارات المنطقية باستخدام الرموز والمتغيرات بدلًا من اللغة العادية، وقد جرى تقعيدها ورائدها الرياضي الإنجليزي جورج بول. ويُعرض مثال على ذلك بصيغة رمزية للحجة: «إذا أمطرت، فإن الأرصفة تبتل. أمطرت. إذن تبتل الأرصفة» على صورة راء → سين | راء | ∴ سين، حيث تشير → إلى «إذا/فإن»، ويعني الرمز | «ليس الاثنان معًا»، و∴ تعني «إذن».

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

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

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

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