المنطق الزماني، والواجباتي، والمعرفي
تتعمم الآلية العلائقية للمنطق المشروط لتشمل الزمان، والالتزام، والمعرفة، مما ينتج عنه منطق لما كان وسيكون، وما يجب أن يكون، وما هو معلوم.
Definition
هذه هي منطقيات مشروطة غير أليثية (non-alethic modal logics) حيث يُعاد تفسير علاقة الوصول (accessibility relation): كترتيب زمني لمنطق الأزمنة، وكوصول إلى عوالم مثالية واجباتياً للمنطق الواجباتي، وكالتوافق مع ما يعرفه الفاعل للمنطق المعرفي.
Scope
يغطي هذا الموضوع المنطق القصدي (intensional logics) الرئيسي الذي يتشارك مع جهاز العوالم الممكنة للمنطق المشروط: المنطق الزماني (منطق الأزمنة) مع مؤثرات الماضي والمستقبل التي تُقيّم بناءً على ترتيب الأزمنة؛ والمنطق الواجباتي (deontic logic) مع مؤثرات الالتزام، والإذن، والتحريم؛ والمنطق المعرفي (epistemic logic) مع مؤثرات المعرفة والاعتقاد التي تُقيّم بناءً على البدائل المعرفية. ويشمل هذا الموضوع ألغازها المميزة، مثل مفارقات المنطق الواجباتي ومشكلة الإحاطة المنطقية (logical omniscience).
Core questions
- كيف ينبغي أن تُصاغ مؤثرات الماضي والمستقبل بشكل بديهي (axiomatized) على هياكل مختلفة للزمن؟
- هل يمكن التعامل مع الالتزام والإذن كمؤثرات مشروطة، وكيف تُحل مفارقات المنطق الواجباتي؟
- هل يؤدي التعامل مع المعرفة بشكل مشروط إلى فرض أطروحة الإحاطة المنطقية غير المعقولة؟
- ما الذي يوحد هذه المنطقيات، وأين تنهار أوجه التشابه بينها؟
Key concepts
- مؤثرات الأزمنة (الماضي/المستقبل)
- الالتزام، الإذن، التحريم
- عوالم مثالية واجباتياً
- بدائل معرفية
- الإحاطة المنطقية
- مفارقات واجباتية
Key theories
- المنطق الواجباتي المعياري
- يصوغ فون رايت الالتزام كحقيقة في جميع العوالم المثالية الواجباتياً التي يمكن الوصول إليها، والإذن كحقيقة في بعضها، مما يقدم نظامًا بديهيًا يلتقط الاستدلالات الأساسية ولكنه يولد مفارقات معروفة.
- المنطق المعرفي والعوالم الممكنة
- يحلل هينتيكا عبارة 'أ يعرف أن ص' على أنها ص صحيحة في جميع العوالم المتوافقة مع معلومات أ، مؤسسًا بذلك المنطق المشروط للمعرفة والاعتقاد وكاشفًا عن مشكلة الإحاطة المنطقية.
History
أطلق فون رايت (von Wright) المنطق الواجباتي في عام 1951، وطور براير (Prior) منطق الأزمنة خلال الخمسينيات والستينيات، وبلغ ذروته في كتابه "الماضي والحاضر والمستقبل" (Past, Present and Future) عام 1967. وسع كتاب هينتيكا (Hintikka) "المعرفة والاعتقاد" (Knowledge and Belief) عام 1962 الإطار المشروط ليشمل المؤثرات المعرفية، ووجدت جميع هذه المنطقيات الثلاثة لاحقًا تطبيقًا واسعًا في علوم الحاسوب ونظرية الألعاب.
Debates
- مشكلة الإحاطة المنطقية
- ما إذا كان تحليل العوالم الممكنة للمعرفة يستلزم خطأً أن الفاعلين يعرفون جميع النتائج المنطقية لما يعرفونه، وكيفية نمذجة المعرفة المحدودة الموارد أو المجزأة دون التخلي عن الإطار المشروط.
Key figures
- Arthur Prior
- Georg Henrik von Wright
- Jaakko Hintikka
- Robert Stalnaker
Related topics
Seminal works
- vonwright1951
- prior1967
- hintikka1962
Frequently asked questions
- هل هذه حقًا أنواع من المنطق المشروط؟
- نعم. تستخدم المنطقيات الزمانية والواجباتية والمعرفية جميعها نفس دلالات الإطار العلائقي (relational-frame semantics) مثل المنطق المشروط الأليثي (alethic modal logic)، وتختلف فقط في كيفية تفسير علاقة الوصول — كترتيب زمني، أو مثالية واجباتية، أو توافق معرفي. هذا الهيكل المشترك هو السبب في سهولة انتقال النتائج والتقنيات بينها.