لأن تلك الأجزاء إن كانت وجودات لزم تعريف الشئ بنفسه، وإن لم تكن وجودات فعند اجتماعها إن لم يحصل أمر زائد، كان الوجود محض ما ليس بوجود هذا خلف، وإن حصل أمر زائد هو الوجود، كان التركيب في قابل الوجود أو فاعله لا فيه (1)، ولا بالأمور الخارجة عنه (2)، لأن الخارجي أنما يصلح للتعريف لو كان مساويا للمعرف، لأن الأعم لا يفيد التمييز الذي هو أقل مراتب التعريف، والأخص أخفى، وقد حذر في المنطق عن التعريف به، لكن العلم بالمساواة يتوقف على العلم بالماهية فيلزم الدور.
وهذان الوجهان باطلان، أما الأول فلأن التصديق البديهي لا يجب أن تكون تصوراته بديهية، لما ثبت في المنطق من جواز توقف البديهي من التصديقات على التصور الكسبي، سلمنا لكن جاز أن يكون التصور للمفردات ناقصا، أي يكون معلوما، باعتبار ما من الاعتبارات، وذلك يكفي في باب التصديقات، ويكون المراد من الحد حصول كمال التصور.
وأما الثاني فلأن ما ذكره في نفي تركيب الوجود عائد في كل ماهية مركبة على الاطلاق (3) وهو باطل بالضرورة، سلمنا لكن جاز التعريف (4) بالخارجي، وشرطه المساواة في نفس الأمر لا العلم بالمساواة، فالناظر في اكتساب الماهية إذا عرض على ذهنه (5) عوارضها فاستفاد من بعضها، تصور تلك الماهية علم بعد ذلك