من ويكيبيديا، الموسوعة الحرة
الاستقراء Induction أو الاستنتاج الاستقرائي inductive reasoning ، أحيانا المنطق الاستقرائي inductive logic هو أحد أشكال الاستنتاج تكون فيه معطيات و عناصر الحجج المقدمة تدعم الاستنتاج النهائي لكنها لاتؤكده مئة بالمئة. يستعمل لااستقراء لتوصيف الخواص و العلاقات ضمن أنماط الموجودات بناء على الأعراض tokens (أي على واحد او مجموعة صغيرة من الملاحظات او التجارب) في محاولة لصياغة قانون يعتمد على عدد محدود من الظواهر المتكررة. فهو نوع من تعميم الملاحظة المتكررة بشدة لصياغة ما يشبه قانون يخضع لاحقا للتمحيص و الفحص و التجربة مرات و مرات .
فمثلا بناء على ملاحظات مثل :
- هذا الثلج بارد.
- كرات البليار التي تضربها العصا تتحرك
يمكن ان نأخذ منها بعد عدة ملاحظات ان :
- كل الثلج بارد
- جكيع كرات البليار التي تضربها العصا تتحرك
[تحرير] See also
- استنتاج تفسيري Abductive reasoning
- استنتاج قياسي
- تفسير Explanation
- قابلية التكذيب Falsifiability
- موقف مستنتج استقرائيا Inductive reasoning aptitude
- مفارقة رافين Raven paradox
|
- إحصاء استدلالي Inferential statistics
- Inquiry
- منطق
- استقراء رياضي
- استنتاج استرجاعي Retroductive reasoning
|
المنطق |
مقالات رئيسية: |
• العقل الفلسفي • تاريخ المنطق • منطق فلسفي • منطق رياضي • ما بعد المنطق •
|
مفاهيم مفتاحية |
- استنتاج: • قياس • استقراء • Abduction •
- منطق لاشكلي: • افتراض • استدلال • حجة • Validity • Cogency • Term logic • تفكير نقدي • Fallacies • Syllogism •
- منطق رياضي: • مجموعة • نحو • سيمانتيك • Wff • بديهية • مبرهنة • التماسك • Soundness • نظرية كاملة • قابلية القرار • نظام شكلي • نظرية المجموعات • نظرية البرهان • نظرية النموذج • نظرية العودية •
- منطق الرتبة صفر: • دالة بوليانية • Monadic predicate calculus • حسبان القضايا • Logical connectives • جداول الحقيقة
- منطق الرتبة الأولى: • Predicate Logic • Quantifiers •
- منطق الرتبة الثانية: •
- منطق طوري : • Deontic logic • منطق إبستيمي • منطق ظرفي • Doxastic logic •
- أنواع منطقية لاكلاسيكية : • منطق الحسوبية • منطق ضبابي • منطق خطي • Relevance logic • Non-monotonic logic •
|
جدليات |
• Paraconsistent Logic • Dialetheism • Intuitionistic logic • Paradoxes • Antinomies • Is logic empirical? •
|
شخصيات أساسية |
• Aristotle • Boole • Cantor • Carnap • Church • Frege • Gentzen • Gödel • Hilbert • Kripke • Peano • Peirce • Putnam • Quine • Russell • Skolem • Tarski • Turing • Whitehead •
|
قوائم |
• مواضيع أساسية • مواضيع منطقية • منطقيون • قواعد الاستدلال • منطق رياضي • رياضيات متقطعة • نظرية المجموعات • مفارقات • Fallacies • رموز منطقية •
|