الاستنتاج Reasoning هو العملية العقلية (الاستعرافية) للبحث عن سبب أو تفسير منطقي للحوادث بهذف الفهم أو دعم المعتقدات ، أو استخراج عبر و مفاهيم ، او أفعال أو مشاعر. [1] في الفلسفة ، دراسة الاستنتاج تركز عادة على ما الذي يجعل عملية الاستنتاج كافية أو كافية ، مناسبة او لا ، جيدة أو سيئة لتعطي نتائج صحيحة او خاطئة. يقوم الفلاسفة بهذا البحث عن قواعد الاستنتاج الصحيح إما بفحص الشكل أو بنية الاستنتاج من خلال محاججات او باعتبار الطرق الأعم المستعملة للوصول لأهداف الاستنتاج. على العكس علماء النفس يميلون لدراسة كيف يقوم الناس بالاستنتاج و المحاكمة ، ما هي العمليات العقلية المساهمة في هذهه الاجرائية ، و كيف يتأثر الاستنتاج ببنية الدماغ.
الاستنتاج يدرس أيضا من قبل الرياضياتيون، اختصاصيو الذكاء الاصطناعي و علماء الاستعراف.
يميز عادة بين ثلاثةانواع من الاستنتاج :
اقرأ أيضا
- Non-montonic reasoning
- Casuistry
- Categorical syllogism
- Critical thinking
- Defeasible reasoning
- Evidence
- Inference
- Logic
- Logical fallacy
- Logical reasoning
- Practical reason
- Retroduction
- Recognition primed decision
- Theoretical reason
|
المنطق |
| مقالات رئيسية: |
• // العقل الفلسفي • // تاريخ المنطق • // منطق فلسفي • // منطق رياضي • // ما بعد المنطق • //
|
| مفاهيم مفتاحية |
- استنتاج: • // قياس • // استقراء • // 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 • // رموز منطقية • //
|