الأهداف العامة للمقرر:
شحذ ذهن الطالب للاشتغال بالكتابة الرمزية والتدليل الصوري.
مضامين المقرر:
1. منطق القضايا:
1. 1. الكتابة الرمزية
1. 2. تعريف الروابط وخصائصها
1. 3. طرق البت:
أ ـ الطريقة الجدولية
ب ـ الطريقة التحليلية والمختصرة
ج ـ طريقة التشجير
2. منطق المحمولات:
2. 1. اللغة المحمولية
2. 2. الموضوع والمحمول
2. 3. مجال القول
2. 4. الأسوار
2. 5. طرق البت في المنطق المحمولي
مصادر ومراجع:
محمد مرسلي، مدخل إلى المنطق الرمزي الاستدلالي، دار توبقال للنشر، الدار البيضاء، 1989.
محمد مرسلي، منطق المحمولات، دار توبقال للنشر، الدار البيضاء، 2004.
أسعد الجنابي، المنطق الرمزي المعاصر، دار الشروق للنشر والتوزيع، عمان، 2007.
Agler, David A., Symbolic Logic: Syntax, Semantics and Proof, Rowman& Littlefield Publishers, London-New York, 2013
Copi, Irving, Symbolic Logic, 4th Ed., Macmillan Publishing, New York, 1973
Quine, Willard V., Methods of Logic, Revisited Ed., Holt, Rinhart and Winston, New York, 1959
Merrie Bergman, James Moore and Jack Nelson, The Logic Book, 5th Ed., McGraw-Hill Primis, New York, 2000
الدكتور سعيد بنتاجر
-
أستاذ التعليم العالي لمادة المنطق بجامعة الحسن الثاني – الدار البيضاء/ المغرب.
-
أستاذ زائر لمادة المنطق الرياضي في مجموعة من المؤسسات الجامعية.
-
عضو هيئة تحرير مجلة "مخاطبات" الصادرة من تونس.
-
عضو الجمعية المغربية لتاريخ العلوم، الرباط.
-
شارك في مجموعة من الأوراش والندوات واللقاءات العلمية المحلية والدولية.
-
نُشرت له العديد من المقالات والدراسات العلمية في مجلات محكمة محلية ودولية.