(و كل ممكن العروض ممكن1 ذاتي) أي: كما أن الوجود إما وجود الشيء في نفسه، كوجود الجسم مثلا، وإما وجوده لغيره، كوجود السواد للجسم مثلا، كذلك الإمكان إما إمكان وجود الشيء في نفسه، و إما إمكان وجوده لغيره.

و المدعى أن كل ما هو ممكن الوجود لشيء آخر فهو ممكن الوجود في حد ذاته؛ إذ لو كان ممتنع الوجود في حد ذاته لامتنع وجوده لغيره، ولو كان واجب الوجود في حد ذاته لما أمكن حلوله في غيره، فظهر أن إمكان وجود شيء لآخر فرع لإمكان وجوده في نفسه.

أقول: هذا مخالف لما تقرر من أن وجود شيء لآخر في الخارج، وإن اقتضى وجود ذلك الآخر في الخارج، لكنه لا يقتضي وجود ذلك الشيء فيه؛ فإن العمى مثلا موجود لزيد في الخارج مع أنه غير موجود فيه، فليس كل ممكن الوجود لآخر ممكن الوجود2 في نفسه، كالعمى مثلا؛ فإنه ممكن الوجود لزيد في الخارج، وإن لم يكن ممكن الوجود في نفسه.

و يمكن أن يقال: ليس مراد المصنف بممكن العروض ما يكون ممكن الوجود لشيء آخر على أي وجه كان، بل هو ممكن الحلول في شيء آخر، إما حلول الأعراض في محالها أو حلول الصور في موادها.

(ولا عكس) أي: ليس كل ما هو ممكن الوجود في ذاته ممكن الوجود لشيء آخر؛ فإن الشيء قد يكون ممكن الوجود في ذاته وممتنع الوجود لغيره، كالمفارقات؛ فإنها لا يمكن حلولها في غيرها حلول الأعراض في موضوعاتها؛ لأنها جواهر، ولا حلول الصور في هيولياتها2؛ لأنها مجردة.