برهان نور الانوار

EP63: Propositional Logic منطق القضايا

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

. 1h 43min restantes

EP62: Categorical Syllogism القياس الحملي

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

. 1h 24min restantes