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

مفهوم أساسي في المنطق

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

قضية شرطية
معلومات عامة
صنف فرعي من
جزء من
يدرسه
تعريف الصيغة
عدل القيمة على Wikidata
التدوين الرياضي

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

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

عدل
  • تضمين مادي وهو واحد أو أكثر من أشكال الروابط المنطقية لافتراضين:  
  • تضمين صياغي وهو يعتمد على صياغة الحجة المنطقية، ومثال ذلك:   أي : من أجل كل عنصر x: عندما يكون لx الخاصية A باتالي يكون له الخاصية B.

انظر أيضًا

عدل

المراجع

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