تحتاج هذه المقالة إلى الاستشهاد بمصادر إضافية لتحسين وثوقيتها. فضلاً ساهم في تطوير هذه المقالة بإضافة استشهادات من مصادر موثوق بها. من الممكن التشكيك بالمعلومات غير المنسوبة إلى مصدر وإزالتها. بحاجة للاستشهاد بمعجم مطبوع بدلاً عن قاعدة بيانات معجمية على الإنترنت.
الاستنباط أو الاستدلال الاستنباطي[5] هو انتقال الذهن من قضية أو عدة قضايا (المقدّمات) إلى قضية أخرى (النتيجة) وفق قواعد المنطق،[6][7] وليس بالضرورة أن يكون انتقالاً من العام إلى الخاص أو من الكلي إلى الجزئي؛ ومن أوضح صوره البرهنة الرياضية.[8]
الاستنباط هو تصميم من نوع أعلى أسفل، وهو أحد أشكال الاستنتاج، ويمكن قياس الجدل عندما تعتمد صحة البرهان على منطقية الفرضية العامة أو المبدئية. والمنهج الاستنباطي ضربان، حملي إذا كانت مقدماته مسلَّمٌ بصدقها بصفة نهائية، وفرضي إذا سلِّم بصدقها بصفة مؤقتة.[8][9][10][11][12][13]
الربط بين الصلاحية والسلامة
يحلَّل المنطق الاستنباطي من خلال تتبع الربط بين ما هو "صالح (بالإنجليزية: valid)" وما هو "سليم (بالإنجليزية: sound)".يمكن أن يكون الحجاج صالحا حتى وإن كانت الفرضية المعروضة خاطئة، والنتيجة الصحيحة المشتقة من فرضية صحيحة تثبت صلاح الحجاج. وجود حجاجصالح مع فرضيات صحيحة يحتم سلامة البرهان ويسمى في هذه الحالة حجاجا سليما، بغير ذلك يصبح غير سليم.
الصيغة العامة:
كل س له خواص ص.
هذا الشيء هو س.
إذن، هذا الشيء له خواص ص.
مثال:
كل الفواكه لونها أحمر.
الموز من الفواكه.
إذن، الموز لونه أحمر.
لاحظ أن الجدل هنا غير سليم لأنه لا يكفي ان تكون الفرضية الثانية صحيحة ولكن يجب أن تكون الأولى المبنية عليها كذلك صحيحة.
^مُعرِّف موسوعة بريتانيكا على الإنترنت (EBID): topic/inference-reason. الاقتباس: Inferences are commonly drawn (1) by deduction, which, by analyzing valid argument forms, draws out the conclusions implicit in their premises, (2) by induction, which argues from many instances to a general statement, ....
^ ابالمعجم الفلسفي(PDF)، مجمع اللغة العربية، القاهرة، جمهورية مصر العربية: الهيئة العامة لشؤون المطابع الأميرية، 1983م - 1403 هـ، ص. 12، مؤرشف من الأصل(PDF) في 3 فبراير 2020 {{استشهاد}}: تحقق من التاريخ في: |سنة= (مساعدة)
^Houde, R. "Deduction". New Catholic Encyclopedia. Modern logicians sometimes oppose deduction to induction on the basis that the first concludes from the general to the particular, whereas the second concludes from the particular to the general; this characterization is inaccurate, however, since deduction need not conclude to the particular and its process is far from being the logical inverse of the inductive procedure.نسخة محفوظة 2023-07-29 على موقع واي باك مشين.
