أى نظرية عامة للمنطق الأستنتاجي لابد وأن تحقق هدفين: الأول، تفسير العلاقات بين المقدمات والنتيجة داخل الحُجة. والثاني تقديم طرق وأدوات للتفريق ما بين الاستنتاج الصالح و الغير صالح. وفي الواقع هناك منظومتين فقط في تاريخ علم المنطق حاولتا التعامل مع هذين الهدفين، وهما منظومة المنطق ...Show more
EP62: Categorical Syllogism القياس الحملي
القياس واحد من أقدم منظومات المنطق الكلاسيكي أو الصوري. و يرجع إلى مؤسس منظومة المنطق الكلاسيكي أرسطو تقريبا في المائة الثالثة قبل الميلاد. أرسطو أجمل تعريف القياس المنطقي كالاتي "قول مؤلف من قضايا إذا سلمت لزم عنها لذاتها قول آخر" .. فعند قولنا "العالم متغير، وكل متغير حادث" قد ...Show more