استتباع منطقي

الاستتباع المنطقي أوالتضمين أوالاقتضاء أوالاستلزام هوأحد المفاهيم الأساسية في المنطق، وهويعبر عن العلاقة بين افتراضات تكون سليمة عندما تلي جميع خطوة التالية بتسلسل منطقي. إذا مدى صحّة أي حجة منطقيةقد يكون إذا أمكن وجود تالٍ من المقدمات، وإذا كانت نتائج الحجة هي نتائج فرضيتها. إذا التحليل الفلسفي للتوالي المنطقية يتضمن السؤال: ما مقدار صواب استنتاج تال من فرضيته،يا ترى؟ وماذا يعني حتىقد يكون الاستنباط تالياً للفرضيات؟.

يمكن القول حتى حجج المنطق الفلسفي تعطي أهمية بالغة لطبيعة التضمين أوالاقتضاء وكذلك للحقيقة المنطقية.

أنواع التضمين

تضمين مادي ويعتبر واحد أوأكثر من أشكال الروابط المنطقية لافتراضين: ${\displaystyle a\rightarrow b$
تضمين صياغي وهويعتمد على صياغة الحجة المنطقية، ومثال ذلك: ${\displaystyle \bigwedge _{x (A(x)\rightarrow B(x))$ أي : من أجل جميع عنصر x: عندماقد يكون لx الخاصية A باتاليقد يكون له الخاصية B.

انظر أيضا

تكافؤ منطقي
عكس استلزام
جبر بول

المراجع

^ Beall, JC and Restall, Greg, Logical Consequence The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.). نسخة محفوظة 02 ديسمبر 2013 على مسقط واي باك مشين.
^ Quine, Willard Van Orman, Philosophy of logic