EP63: Propositional Logic منطق القضايا
Listen now
Description
أى نظرية عامة للمنطق الأستنتاجي لابد وأن تحقق هدفين: الأول، تفسير العلاقات بين المقدمات والنتيجة داخل الحُجة. والثاني تقديم طرق وأدوات للتفريق ما بين الاستنتاج الصالح و الغير صالح. وفي الواقع هناك منظومتين فقط في تاريخ علم المنطق حاولتا التعامل مع هذين الهدفين، وهما منظومة المنطق الكلاسيكية أو الأرسطوطالية، والثانية عادة ما يطلق عليها منظومة المنطق الرمزية او الرياضية، والبعض قد يطلق عليها المنطق الحديث . Continue reading →
More Episodes
القياس واحد من أقدم منظومات المنطق الكلاسيكي أو الصوري. و يرجع إلى مؤسس منظومة المنطق الكلاسيكي أرسطو تقريبا في المائة الثالثة قبل الميلاد. أرسطو أجمل تعريف القياس المنطقي كالاتي "قول مؤلف من قضايا إذا سلمت لزم عنها لذاتها قول آخر" .. فعند قولنا "العالم متغير، وكل متغير حادث" قد ركبنا قضيتين إن...
Published 03/07/21
جوهر المنطق الكلاسيكي أو منطق أرسطو هو أنواع القضايا الأربعة التى بنى عليها أرسطو منظومته المنطقية، القضايا الكلية الموجبة ك-م ، القضايا الكلية السالبة ك-س ، القضايا الجزئية الموجبة ج-م ، القضايا الجزئية السالبة ج-س . هذة هي القضايا الاربعة هى التى بنى عليها كل القواعد المنطقية التى تعرضنا لها....
Published 09/06/20