استتباع منطقي: الفرق بين النسختين

[نسخة منشورة][نسخة منشورة]
تم حذف المحتوى تمت إضافة المحتوى
ط بوت:إضافة قوالب تصفح (1)
وسم: تعديل المحمول المتقدم
JarBot (نقاش | مساهمات)
ط بوت:الإبلاغ عن رابط معطوب أو مؤرشف V4.2 (تجريبي)
سطر 1:
{{رسالة توضيح|التضمين في المنطق|تضمين (توضيح)}}
'''الاستتباع المنطقي''' أو ''التضمين'' أو ''الاقتضاء'' أو ''الاستلزام'' هو أحد [[مفهوم|المفاهيم]] الأساسية في [[المنطق]]، وهو يعبر عن العلاقة بين [[افتراض (منطق)|افتراضات]] تكون صحيحة عندما تلي كل خطوة التالية بتسلسل منطقي. إن مدى [[صحة (المنطق)|صحّة]] أي [[حجاجحجة (المنطق)منطقية|حجة]] منطقية يكون إذا أمكن وجود [[تال (منطق)|تالٍ]] من [[مقدمة (منطق)|المقدمات]]، وإذا كانت نتائج الحجة هي نتائج فرضيتها. إن [[تحليل فلسفي|التحليل الفلسفي]] للتوالي المنطقية يتضمن السؤال: ما هو مقدار صواب استنتاج تال من فرضيته؟ وماذا يعني أن يكون الاستنباط تالياً للفرضيات؟.<ref name="sep" >Beall, JC and Restall, Greg, ''[http://plato.stanford.edu/archives/fall2009/entries/logical-consequence/ Logical Consequence]'' The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.). {{Webarchive|url=httphttps://web.archive.org/web/20131202065245/http://plato.stanford.edu/archives/fall2009/entries/logical-consequence/ |date=02 ديسمبر 2013}}</ref>
 
يمكن القول أن حجج [[منطق فلسفي|المنطق الفلسفي]] تعطي أهمية بالغة لطبيعة التضمين أو الاقتضاء وكذلك [[حقيقة منطقية|للحقيقة المنطقية]].<ref>Quine, Willard Van Orman, ''Philosophy of logic''</ref>