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