U3F1ZWV6ZTM5NTkyMDU0NjA5X0FjdGl2YXRpb240NDg1MjMzNTMyNzE=
recent
أخر المواضيع

خالد بوزوبع فنان، مدخل الى المنطق الطبيعي، ماستر الفلسفة العملية

مدخل الى المنطق الطبيعي 

خالد بوزوبع فنان، مدخل الى المنطق الطبيعي، ماستر الفلسفة العملية pdf, khalid bouzoubaa
هل نتحدث عن منطق للعقل العملي؟ ≡ مثلا: هل يختزل مفهوم العقل العملي لل"واجب" الى التصور المنطقي لل"لزوم"؟

مقدمة

1- عن "قصور" المنطق الصوري (المعاصر) عن تحليل طبيعة اللغة الطبيعية.
  • المنطق الصوري أداة لتحليل اللغة الرياضية.
  • اللغة الطبيعية أغنى من اللغة الرياضية: هي غاية التحليل المنطقي، وبالتالي: ضرورة وضع إطار منطقي أشمل.
2- عن الامتدادات الثلاثة لتحديد المنطق الطبيعي.
  •  منطق اللغة الطبيعية: تحديد علاقة الشكل النحوي بالشكل الصوري للجملة.
  • تعميم المنطق الأرسطي: وضع نظرية عامة للأسوار.
  •  إمكانية التطبيق العملي: التركيب بين أنساق منطقية مثل المنطق الموجه ومنطق اللزوم لمقاربة بعض أسئلة "الفلسفة العملية".

الفصل الأول: استعراض أبعاد المنطق الطبيعي باعتباره توسيعا لتصورات المنطق الصوري.

■ تتميم بحث فريجه Frege: من التأسيس المنطقي للرياضيات الى البحث في نظرية الدلالة.
  •  ماهية العلاقة بين دلالة القضية وقيمتها الإخبارية.
  •  مقاربة لاكوف Lakoff للمنطق الطبيعي:
1- ما يحدد أشكال صورية مختلفة لكل الجمل التي تتضمن دلالات مختلفة.
2- ما يحدد الاستنتاجات الصحيحة التي تحدث في سياق استعمالنا للغة العادية، مقصيا بذلك الاستنتاجات غير الصحيحة.
3- عن المسلمات الممكنة لتصور "فئة الدلالات الطبيعية".
■ التأسيس الصوري - مقاربة فان بنثيم Van Benthem و فان إييك Van Eijck.
1- مراجعة سريعة لمنطق القضايا ومنطق الدرجة الأولى.
2- مراجعة سريعة لمنطق القياس الأرسطي.
3- المنطق الطبيعي ك"حساب للرتابة Monotonicity Calculus":
  • تعميم التصور المنطقي للشرط على أنماط متعددة كالجمل الفعلية والمحمولات، عدا نمط الأحكام.
  •  القواعد العامة للرتابة. مثال: كل دالة F تحافظ على الرتابة، ونرمز إليها ب⬆️F، ويعبر عنها بواسطة الصيغةالتالية: (x⇒y) ∕ (fx⇒fy)
4- توسيع حساب الرتابة لاحتواء "علاقة الإقصاء الدلالي Semantic Exclusion Relation"، مثل علاقة النفي: النموذج الموسع لمانينغ-ماركارتني Extended Model -of Manining-MacCartney.
■ البعد العملي للمنطق الطبيعي.
1- العمل على "إدماج" اللغة الطبيعية في تصور الذكاء الاصطناعي.
2- دراسة بعض السلوكات الذكائية، مثل المعرفة والاعتقاد والأفضلية، بناء على توجهين منطقيين:
  • توجه سكوني Static Logic يحدد الحالات المعلوماتية (المعرفية) التي يكون عليها العامل الذكي (العاقل).
  • توجه دينامي Dynamic Logic، يعمم الأول، ويصف الأفعال والأحداث التي تنتج، لدى العامل الذكي، المعلومات أو المعتقدات أو الأفضليات، وكذا التغيرات التي تطرأ عليها.
3- نظرية اللعبة كنوذج.

الفصل الثاني: ماذا عن التساؤلات الميثافيزيقية للفلسفة العملية.

■ تمهيد: مفهوم "القانون" بين العقل النظري والعملي.
  • القانون = نتيجة القدرة التفسيرية للعقل النظري.
                  التعبير عن "التطابق" بين العقل النظري والعالم.
  • القانون = نتيجة لاستيعاب (تحمل) العقل العملي ل"المسؤولية" (هيجل)
                   = نتيجة للتداخل بين "الإرادة الحرة" و "الواجب" (كانط)
                  ≡ التعبير عن "التطابق" بين العقل العملي والمجتمع (أو التاريخ)
■ هل من علاقة بين تحديدي مفهوم "القانون"؟
  • ما الطبيعة المنطقية للقانون في تحديده العملي؟
  • قراءة ممكنة لسبينوزا وكانط ≡ "البناء الأكسيومي" لنظرية الأخلاق.

الملف

يمكنكم تحميل تفاصيل البرنامج الدراسي كاملا للأستاذ خالد بوزوبع بصيغة PDF, بالضغط على زر التحميل أسفله، ولا تنسى مشاركة الموضوع مع الأصدقاء بالضغط على أحد أزرار المشاركة عبر مواقع التوصل الاجتماعي الموجودة أسفل التدوينة

بعض المراجع

اضغط هنا للاستماع الى بعض المحاضرات التي ألقاها الأستاذ خالد بوزوبع في المنطق الطبيعي
  1. Lakoff, G, (1970) "Linguistic and Natural Logic", in Synthese, 22, 151-271.
  2. Van Benthem, J., (2008) "The Stories of Logic and Information" in Handbook of the Philosiphy of informatin, Elsevier, Amsterdam.
  3. Van Benthem, J, Pacuit, E, (2011) "Dynamic Logic of Evidence-Based Belief", in Studia Logica 99:1, 61-92.
  4. Van Benthem, J, (2007) "Logic in Philosophy" in Dale Jacquette, ed. Handbook of the Philosophy of Logic, Elsevier Amsterdam (cf. https://staff.fnwi.uva.nl/j.vanbenthem/research.html)
  5. Van Eijck, E, "Natural Logic For Natural Language", in https://www.cwi.nl/∼jve
الاسمبريد إلكترونيرسالة