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

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

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

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

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

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

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

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

ثم ان الاستنتاج والاستقراء متقابلان، والطريقة الاستنتاجية المستعملة في العلم الرياضي مضادة الطريقة التجريبية والاستقرائية المتبعة في العلم الطبيعي. ولكن (استوارت ميل) يقول أن هناك تقابلا بين الاستقراء والقياس، لا بين الاستقراء والاستنتاج، لأن الاستقراء هو انتقال من الخاص الى العام، والقياس انتقال من العام الى الخاص. أما البرهان الاستنتاجي فهو سلسلة من الاستدلالات العقلية المضادة للبرهان التجريبي لا للاستقراء.

وقد بين (ديكارت) ان الاستنتاج والحدس متقابلان، لأن الحدس هو الادراك المباشر لعلاقة المبادي بالنتائج، أما الاستنتاج فهو حركة فكرية متصلة تدرك الأشياء واحدا بعد آخر ادراكا بديهيا. فالعقل اللامتناهي يدرك النتائج في المبادي دفعة واحدة، أما العقل المتناهي فلا يدرك إلا عددا محدودا من الحقائق ولا يصل الى النتيجة إلا بالتدريج.

والاستنتاج المتعالي ( noitcudeD elatnednecsnart)  عند كانت هو البرهان على امكان انطباق الكليات القبلية ( iroirpa)  على التجربة، وهو مقابل للاستنتاج التجربي القائم على استخراج الكليات العقلية من التجربة الحسية.