ابدأ بمقدمات تضمن الوصول إلى نتيجة، وبذلك تكون قد بدأت الاستدلال الاستنتاجي. كل البشر فانون. سقراط بشر. إذن، سقراط فانٍ. إذا كانت المقدمات صحيحة والصيغة صحيحة، فلا بد أن تكون النتيجة صحيحة. لا مجال للاحتمالات هنا. الاستنتاج هو أساس المنطق والرياضيات والبرهان الرسمي.

كان أرسطو أول من وضع منهجية للاستدلال، مستخدمًا القياس المنطقي كأداة أساسية. يتألف القياس المنطقي من مقدمتين ونتيجة، مرتبة بحيث تتبع النتيجة بالضرورة. قام علماء المنطق في العصور الوسطى بتطوير هذا النظام، بينما طور علماء المنطق المعاصرون، مثل فريجه وراسل، المنطق الرمزي، الذي يمثل أشكال الاستدلال برموز وقواعد. الاستدلال يحافظ على الصدق: فهو لا ينقلك من مقدمات صحيحة إلى نتيجة خاطئة. ولكنه لا يستطيع توليد محتوى جديد يتجاوز ما تحتويه المقدمات. ولذلك، يُعد الاستدلال قويًا في البرهان ومحدودًا في الاكتشاف.

المفاهيم الأساسية

• Validity. النتيجة تتبع بالضرورة من المقدمات.
• Soundness. شكل صحيح بالإضافة إلى مقدمات صحيحة.
• Syllogism. مقدمتان ونتيجة.
• Counterexample. حالة تُظهر نموذجًا غير صالح.

يظهر الاستدلال في التفكير اليومي، والحجج القانونية، وبرمجة الحاسوب، والبرهان الفلسفي. عندما يقول أحدهم "يترتب على ذلك منطقياً"، فإنه يقصد عادةً الاستدلال الاستنتاجي.