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

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

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

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

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