المنطق الموجه (المنطق المشروط)
يضيف المنطق الموجه عوامل للضرورة والإمكانية إلى المنطق الكلاسيكي، مما يوفر الآلية الرسمية وراء الاستدلال حول ما يجب أن يكون، أو قد يكون، أو ينبغي أن يكون، أو سيكون عليه الحال.
Definition
المنطق الموجه هو دراسة الاستدلال الذي يتضمن عوامل الضرورة والإمكانية (وما يماثلها)، ويتم تفسيره عبر نماذج تُقيّم فيها الجمل بالنسبة لعوالم ممكنة متصلة بعلاقة إمكانية الوصول.
Scope
يغطي هذا المجال الأنظمة الرسمية للمنطق الموجه وتفسيرها الفلسفي. ويتناول دلالات العوالم الممكنة (كريبتكي)، والتسلسل الهرمي القياسي للأنظمة الموجهة (K, T, S4, S5) وبديهياتها المميزة، وتوسيع المنطق الموجه باستخدام المحددات وعلاقته بالجوهرية والنمطية الموضوعية (de re modality)، وعائلة المنطق القصدي (intensional logics) ذات الصلة — الزمني، والواجباتي، والمعرفي — التي تشترك في نفس جهاز الإطار العلائقي.
Sub-topics
Core questions
- كيف ينبغي تفسير عوامل الضرورة والإمكانية، وما هي العوالم الممكنة؟
- ما هي البديهيات التي تحكم الاستدلال الموجه الصحيح، وكيف تتوافق مع خصائص علاقة إمكانية الوصول؟
- كيف تتفاعل النمطية مع التحديد، والهوية، ووجود الكائنات عبر العوالم؟
- هل يمكن توحيد المنطق القصدي (intensional logics) المختلفة — الزمني، والواجباتي، والمعرفي — تحت إطار واحد؟
Key concepts
- الضرورة والإمكانية
- العوالم الممكنة
- علاقة إمكانية الوصول
- الأنظمة الموجهة (K, T, S4, S5)
- النمطية الموضوعية (de re) مقابل النمطية القضوية (de dicto)
- التسمية الصارمة (rigid designation)
Key theories
- دلالات العوالم الممكنة (كريبتكي)
- تُقيّم الجمل الموجهة في عوالم متصلة بعلاقة إمكانية الوصول: 'بالضرورة أ' تكون صحيحة في عالم ما إذا وفقط إذا كانت أ صحيحة في كل عالم يمكن الوصول إليه، ويؤدي تغيير خصائص العلاقة إلى أنظمة موجهة مختلفة.
- الواقعية النمطية
- يرى لويس أن العوالم الممكنة هي أكوان ملموسة ومعزولة متبادلة وحقيقية مثل العالم الفعلي، مما يوفر محقق حقيقة اختزالي للمزاعم النمطية على حساب أنطولوجيا باهظة.
History
أعاد سي. آي. لويس إحياء المنطق الموجه في أوائل القرن العشرين لالتقاط الاستلزام الصارم، لكنه افتقر إلى دلالات واضحة حتى قدم كريبتكي (وبشكل مستقل هينتيكا وكانجر) نماذج العوالم الممكنة العلائقية حوالي 1959-1963. وقد أثار هذا ميتافيزيقا النمطية، مع الواقعية النمطية للويس والواقعية الفعلية (actualism) لبلانتينغا كحسابات متنافسة لماهية العوالم الممكنة.
Debates
- أنطولوجيا العوالم الممكنة
- ما إذا كانت العوالم الممكنة هي أكوان موجودة ملموسة (الواقعية النمطية للويس) أو كيانات مجردة مثل الحالات القصوى للأمور أو مجموعات من القضايا (الواقعية الفعلية)، وأي من الحسابين يؤسس الحقيقة النمطية بشكل أفضل.
Key figures
- Saul Kripke
- C. I. Lewis
- Rudolf Carnap
- David Lewis
- Ruth Barcan Marcus
- Alvin Plantinga
Related topics
Seminal works
- kripke1963
- lewis1986plurality
- hughescresswell1996
Frequently asked questions
- ما الفرق بين النمطية الموضوعية (de re) والنمطية القضوية (de dicto)؟
- تنسب المطالبة النمطية القضوية (de dicto) الضرورة أو الإمكانية إلى قضية كاملة ('بالضرورة، جميع العزاب غير متزوجين')، بينما تنسب المطالبة النمطية الموضوعية (de re) خاصية نمطية إلى كائن بغض النظر عن كيفية وصفه ('هذا الرجل بالضرورة إنسان'). هذا التمييز محوري في النقاشات حول الجوهرية.