المنطق الحر والافتراض المسبق
يفترض المنطق الكلاسيكي أن كل مصطلح مفرد يشير إلى شيء؛ يخفف المنطق الحر هذا الافتراض للتعامل مع الأسماء الفارغة مثل 'بيغاسوس' والأوصاف المحددة التي لا تشير إلى شيء.
Definition
المنطق الحر هو نظام للكمية لا يلزم أن تشير مصطلحاته المفردة إلى كائنات موجودة، بحيث لا تصح الاستدلالات مثل الانتقال من 'أ هو ف' إلى 'شيء ما هو ف' إلا بافتراض إضافي بأن أ موجود.
Scope
يغطي هذا الموضوع المنطق الحر — وهو منطق خالٍ من افتراضات الوجود لمصطلحاته المفردة — والظاهرة وثيقة الصلة بفشل الافتراض المسبق. ويتناول كيف تعدل المنطق الحر القواعد الكلاسيكية للاستدلال الكلي والتعميم الوجودي للمصطلحات غير الدالة، والمتغيرات الإيجابية والسلبية والمحايدة (التقييم الفائق)، والخلفية الفلسفية في نزاع راسل-ستراوسون حول كيفية حصول الجمل التي تحتوي على أوصاف غير مرجعية على قيم الصدق.
Core questions
- كيف ينبغي للمنطق أن يتعامل مع الجمل التي تحتوي على أسماء فارغة أو أوصاف فاشلة؟
- هل تفتقر هذه الجمل إلى قيمة صدق (فشل الافتراض المسبق) أم أنها خاطئة؟
- ما هي قواعد الاستدلال الكلاسيكية التي يجب تقييدها عندما قد لا تشير المصطلحات إلى شيء؟
- هل الوجود محمول، وكيف ينبغي أن ترتبط المحددات بالوجود؟
Key concepts
- المصطلحات المفردة غير الدالة
- الاستدلال الكلي والتعميم الوجودي
- المنطق الحر الإيجابي والسلبي والمحايد
- فشل الافتراض المسبق
- فجوات قيم الصدق
- الوجود كمحمول
Key theories
- المنطق الحر
- يقوم لامبرت بتنظيم المنطق الذي قد تكون فيه المصطلحات المفردة فارغة؛ ويتم تقييد الاستدلال الكلي والتعميم الوجودي بافتراض الوجود، وتختلف المتغيرات حول قيم صدق الجمل الذرية ذات المصطلحات غير الدالة.
- الافتراض المسبق وفجوات قيم الصدق
- يجادل ستراوسون بأن الجملة التي تستخدم وصفًا غير مرجعي (مثل 'ملك فرنسا الحالي' لراسل) تفترض الوجود بدلاً من تأكيده، وبالتالي فهي ليست صحيحة ولا خاطئة؛ ويقوم فان فراسن بنمذجة هذا باستخدام التقييمات الفائقة.
History
تعاملت نظرية راسل للأوصاف عام 1905 مع المصطلحات الفارغة بالتحليل بدلاً من المراجعة المنطقية؛ وقدم رد ستراوسون عام 1950 الافتراض المسبق وفجوات قيم الصدق. ومنذ الستينيات، صاغ لامبرت وطور المنطق الحر كبديل منهجي، وقدم فان فراسن دلالات التقييم الفائق (supervaluational semantics) للفجوات الناتجة.
Debates
- خطأ أم بلا قيمة صدق؟
- ما إذا كانت الجمل ذات المصطلحات غير المرجعية خاطئة ببساطة، كما تشير نظرية راسل للأوصاف، أو أنها تعاني من فشل الافتراض المسبق وتفتقر إلى قيمة صدق، كما يرى ستراوسون والمنطقي الحر ذو التقييم الفائق.
Key figures
- Karel Lambert
- P. F. Strawson
- Bas van Fraassen
- Bertrand Russell
- Hugues Leblanc
Related topics
Seminal works
- strawson1950
- lambert2003
Frequently asked questions
- لماذا لا يستطيع المنطق الكلاسيكي التعامل مع الأسماء الفارغة؟
- يسمح المنطق الكلاسيكي بالاستدلال على 'شيء ما هو ف' من 'أ هو ف' لأي مصطلح أ، وهو ما يفشل إذا لم يشير أ إلى أي شيء — على سبيل المثال، الاستدلال على أن شيئًا ما هو حصان مجنح من 'بيغاسوس حصان مجنح'. يقيد المنطق الحر مثل هذه الاستدلالات بحيث تتطلب فرضية إضافية مفادها أن الكائن المسمى موجود.