المعجم الفلسفي — الجزء ١، الصفحة ٧٦

الاستنتاج

( 2 ) ليس في النتيجة علم زائد على المقدمات . ( 3 ) لا تصدق النتيجة ولا تكذب الا على افتراض صدق المقدمات أو كذبها . وهذه الصفة الأخيرة تدل على أن الاستنتاج الصوري هو استنتاج شرطي .

وأما الاستنتاج التحليلي

( Deduction analytique )

فهو الاستدلال المؤلف من مقدمات مركبة ، إذا وضعت استخرج العقل منها بسائط داخلة فيها ، كالبرهان التحليلي ( في الرياضيات ) المؤلف من سلسلة من القضايا ، أولها القضية المراد اثباتها ، وآخرها القضية المعلومة .

فإذا انتقلنا من الأولى إلى الأخيرة كانت كل قضية نتيجة للتي بعدها ، وكانت القضية الأولى نفسها نتيجة للقضية الأخيرة وصادقة مثلها .

وأما الاستنتاج التركيبي

( Deduction synthetique )

أو الانشائي

( constructive )

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

بل هي لازمة عنها وزائدة عليها .

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

والنتيجة في القياس داخلة في المقدمات ، في حين ان علاقة المقدم بالتالي في الاستنتاج الرياضي ليست علاقة شمول أو تضمن وإنما هي علاقة لزوم والتزام . لذلك قال ديكارت :

القياس المنطقي عقيم ، والاستنتاج الرياضي منتج .

ثم إن الاستنتاج والاستقراء متقابلان ، والطريقة الاستنتاجية المستعملة في العلم الرياضي مضادة الطريقة التجريبية والاستقرائية المتبعة في العلم الطبيعي . ولكن ( استوارت