طبيعة النتيجة المنطقية
ما الذي يجعل الاستنتاج يتبع حقًا من المقدمات؟ يتناول هذا الموضوع التحليلات المتنافسة لعلاقة النتيجة التي تقع في صميم المنطق.
Definition
النتيجة المنطقية هي العلاقة القائمة بين مجموعة من المقدمات ونتيجة بحيث، بالضرورة وبحكم الشكل، تكون النتيجة صحيحة كلما كانت جميع المقدمات صحيحة.
Scope
يتناول هذا الموضوع التحليل المفاهيمي للنتيجة المنطقية: التفسير القائم على نظرية النموذج (model-theoretic) الذي يعتبر الصلاحية حفظًا للحقيقة عبر جميع التفسيرات؛ والتفسير القائم على نظرية البرهان (proof-theoretic) الذي يعتبرها قابلية للاشتقاق؛ والسؤال الفلسفي عما إذا كان أي منهما يجسد الطابع الضروري، الشكلي، والمسبق الظاهر لـ 'الاستتباع'. كما يغطي التفاعل بين نظريات الصحة والاكتمال، التي تربط بين التحليلين للمنطق الكلاسيكي من الدرجة الأولى.
Core questions
- هل تُفهم النتيجة على أفضل وجه على أنها حفظ للحقيقة عبر النماذج أم كقابلية للاشتقاق في نظام برهاني؟
- ما الذي يرتكز عليه الضرورة والشكلية التي تنتمي بديهيًا إلى النتيجة المنطقية؟
- هل تُظهر نتائج الصحة والاكتمال أن التحليلين يحددان نفس العلاقة؟
- هل يمكن لتعريف امتدادي بحت أن يجسد مفهومًا مشروطيًا أساسيًا؟
Key concepts
- حفظ الحقيقة
- الضرورة والشكلية
- النتيجة القائمة على نظرية النموذج
- النتيجة القائمة على نظرية البرهان
- الصحة والاكتمال
- الشكل المنطقي
Key theories
- تحليل تارسكي القائم على نظرية النموذج
- تكون الجملة نتيجة منطقية لمجموعة من الجمل إذا وفقط إذا كان كل نموذج للمجموعة هو نموذج للجملة؛ تُختزل النتيجة إلى الحقيقة في جميع إعادة تفسيرات الثوابت غير المنطقية.
- اعتراض المشروطية
- يزعم إيتشمندي أن التفسير القائم على نظرية النموذج، من خلال تحديد كمية التفسيرات الفعلية، لا يمكنه التقاط الضرورة الحقيقية للنتيجة وينتج أحكامًا صحيحة بشكل عرضي فقط، اعتمادًا على مدى ثراء المجال.
History
قدمت ورقة تارسكي عام 1936 التعريف القائم على نظرية النموذج الذي أصبح تقليديًا بعد تطور نظرية النموذج في منتصف القرن. أثار نقد إيتشمندي عام 1990 إعادة تقييم مستمرة لما إذا كان التعريف الرسمي يتتبع المفهوم البديهي، وبحثت الأعمال اللاحقة (مثل شابيرو) كيف تدخل المشروطية (modality) واختيار الثوابت المنطقية في التحليل.
Debates
- الكفاية الامتدادية مقابل التحليل المفاهيمي
- ما إذا كان التعريف القائم على نظرية النموذج يقدم بالصدفة الامتداد الصحيح للحجج الصحيحة، أو يحلل حقًا ماهية النتيجة، بالنظر إلى أنه يبدو أنه يغفل القوة المشروطية للعلاقة.
Key figures
- Alfred Tarski
- John Etchemendy
- Stewart Shapiro
- Gottlob Frege
Related topics
Seminal works
- tarski1936
- etchemendy1990
Frequently asked questions
- هل التفسيرات القائمة على نظرية النموذج والقائمة على نظرية البرهان متكافئة؟
- بالنسبة للمنطق الكلاسيكي من الدرجة الأولى، تُظهر نظريات الصحة والاكتمال أن التفسيرين يتطابقان امتداديًا: يمكن اشتقاق نتيجة من مقدمات بالضبط عندما تكون صحيحة في كل نموذج منها. ومع ذلك، يظل ما إذا كانت العلاقة هي نفسها مفاهيميًا أمرًا متنازعًا عليه فلسفيًا.