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